Documentation

reflect.Diagnostic

The stable structured diagnostic surfaced by reflection constructors and runtime compilation. `message` retains the historical flattened headline-plus-primary-label representation; use `headline` and `primary_label` when those parts must be inspected independently.

Reference version

Signature

class reflect.Diagnostic

The stable structured diagnostic surfaced by reflection constructors and runtime compilation. message retains the historical flattened headline-plus-primary-label representation; use headline and primary_label when those parts must be inspected independently.

Source:<builtin>/reflect/reflect.bamlbytes 2333–2902

Fields

code

string

message

string

severity

"error" | "warning" | "info"

Severity retained from the compiler diagnostic stream.

phase

"parse" | "hir" | "validation" | "type" | null

Compiler stage that emitted a source diagnostic. Runtime-generated diagnostics which do not belong to a compiler stage report null.

headline

string

primary_label

string | null

Implementations

reflect.AnyClass for T

Instance methods

function

attributes

(self) -> reflect.Meta throws never

The class declaration's schema metadata, or empty metadata when the runtime type is not a class.

function

get

<T>(self, name: string) -> T | null throws reflect.errors.TypeMismatch

Read a field as T. A missing field returns null; use has_field to distinguish that case from a present field whose value is null.

function

get_field

(self, name: string) -> reflect.class.Field | null throws never

Return a value-bound field handle, or null when no such field exists.

function

has_field

(self, name: string) -> bool throws never

Whether this value's runtime class declares a field called name. false when the runtime type is not a class.

function

list_fields

(self) -> reflect.class.Field[] throws never

Reflected fields bound to this value for Field.value<T>().

function

name

(self) -> string throws never

The rendered name of this value's concrete runtime type.

function

type

(self) -> reflect.Type throws never

This value's concrete runtime type.

Source:<builtin>/reflect/reflect.bamlbytes 7609–7639