PtcRunner.Lisp.BuiltinNames (PtcRunner v0.14.0)

Copy Markdown View Source

Leaf source of env-dispatched builtin names and binding kinds, loaded from priv/functions.exs at compile time. It also projects the bounded source vocabulary from the validated Java surface manifest.

Exists so PtcRunner.Lisp.SourceAtoms can derive the builtin-name half of its bounded vocabulary without calling PtcRunner.Lisp.Env.initial/0 — which would pull SourceAtoms into the Lisp runtime cycle (issue #1051). It depends only on the Java manifest validator, not on another Lisp runtime module, so it stays outside that cycle.

The catalog returned here equals the names and binding kinds in Env.initial/0; drift-guard tests assert the two stay in sync.

Summary

Functions

Returns the env-dispatched builtin names as atoms.

Returns Java constructor source atoms from the bounded surface manifest.

Returns atom-named Java namespace members from the bounded surface manifest.

Returns Java namespace atoms from the bounded surface manifest.

Functions

env_names()

@spec env_names() :: [atom()]

Returns the env-dispatched builtin names as atoms.

Equal to PtcRunner.Lisp.Env.initial/0 keys, derived from the compile-time registry instead of building the runtime environment.

java_constructor_atoms()

@spec java_constructor_atoms() :: [atom()]

Returns Java constructor source atoms from the bounded surface manifest.

java_member_atoms()

@spec java_member_atoms() :: [atom()]

Returns atom-named Java namespace members from the bounded surface manifest.

java_namespace_atoms()

@spec java_namespace_atoms() :: [atom()]

Returns Java namespace atoms from the bounded surface manifest.