Documentation

reflect.Session

A live incremental evaluation environment. Its dependency aliases are fixed at construction; every eval checks in a fresh compiler context and commits successful statements to this Session's persistent runtime image.

Reference version

Signature

class reflect.Session

A live incremental evaluation environment. Its dependency aliases are fixed at construction; every eval checks in a fresh compiler context and commits successful statements to this Session's persistent runtime image.

Source:<builtin>/reflect/reflect.bamlbytes 23212–25259

Fields

_inner

unknown

Static methods

function

new

(
packages: map<string, reflect.Package> = …
) -> reflect.Session throws reflect.errors.CompilationError

Opens a session whose dependency aliases are fixed to packages.

Throws

  • reflect.errors.CompilationError if the dependencies do not resolve.

Instance methods

function

diagnostics

(self) -> reflect.Diagnostic[] throws never

Diagnostics from this session's most recent eval.

function

eval

<T>(
self,
source: string
) -> T throws reflect.errors.CompilationError | reflect.errors.EvaluationError | reflect.errors.SessionBusy

Compiles and runs source against this session, returning its value as T.

Each call checks in a fresh compiler context; statements that succeed are committed to the session's persistent image and are visible to later calls. A call that throws commits nothing.

Throws

  • reflect.errors.CompilationError if source does not compile.
  • reflect.errors.EvaluationError if it compiles but throws when run.
  • reflect.errors.SessionBusy if the session is already evaluating.

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

find

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

Read the field called name as T, or null if this value's class declares no such field. A present field holding null also reads as null; use has_field or get<T?> to tell the two apart.

Throws

  • reflect.errors.TypeMismatch if the field's value is not a T.
function

find_field

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

A value-bound handle to the field called name, or null if this value's class declares no such field.

function

get

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

Read the field called name as T. Read a nullable field with a nullable T (get<int?>). find returns null for a missing field instead of throwing.

Throws

  • reflect.errors.NotFound if this value's class declares no field called name.
  • reflect.errors.TypeMismatch if the field's value is not a T.
function

get_field

(self, name: string) -> reflect.class.Field throws reflect.errors.NotFound

A value-bound handle to the field called name. find_field returns null instead of throwing.

Throws

  • reflect.errors.NotFound if this value's class declares no field called name.
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 14431–14461