PtcRunner.Lisp.Java.Dispatch (PtcRunner v0.14.0)

Copy Markdown View Source

Closed selector and postcondition boundary for admitted Java operations.

Dispatch starts from stable manifest identities, selects one exact overload, invokes one code-owned implementation key, and validates the handler outcome. It never reflects, loads a class, or falls back to open host dispatch.

Summary

Types

invocation_kind()
result()

Functions

invoke(reference_id, kind, receiver, arguments)
invoke_family(member_family_id, receiver, arguments)

Selects one closed instance reference from a finite manifest member family.

Types

invocation_kind()

@type invocation_kind() :: :static | :constructor | :instance | :field

result()

@type result() :: {:ok, term(), atom()} | {:error, PtcRunner.Lisp.Java.Condition.t()}

Functions

invoke(reference_id, kind, receiver, arguments)

@spec invoke(atom(), invocation_kind(), term(), [term()]) :: result()

invoke_family(member_family_id, receiver, arguments)

@spec invoke_family(atom(), term(), [term()]) :: result()

Selects one closed instance reference from a finite manifest member family.