Compile-time authority for the bounded PTC-Lisp Java compatibility surface.
The surface is data, not reflection. priv/java_interop.exs owns admitted
classes and references, JVM descriptors, closed dispatch routes, audit
targets, and documentation projections. Every admitted overload resolves to
a code-owned Java handler. Pinned JVM oracle fixtures independently attest
the executable descriptor inventory.
Summary
Functions
Returns one Java audit with stable manifest target/reference IDs removed for public compatibility.
Returns sorted Java audit keys.
Returns Java audit specifications used by docs and upstream checks.
Returns one Java audit including stable manifest identities.
Returns Java namespace labels for analyzer diagnostics.
Returns the canonical implemented-function name for one accepted namespace member.
Returns every admitted source spelling owned by a Java class.
Returns admitted and inventory-only Java class records.
Returns string-to-atom Java namespace mappings used by Registry documentation lookup.
Fetches a Java audit specification.
Fetches one admitted or inventory Java class by stable ID.
Fetches one Java overload by stable ID.
Fetches one Java reference by stable ID.
Returns Java-owned implemented-function presentation rows.
Returns generated Java interop reference presentation rows.
Returns true when an ID names a finite manifest-derived instance member family.
Returns true when a direct-dot spelling names an admitted member family.
Returns true when namespace is owned by the Java surface.
Returns Java compatibility namespace categories for Env diagnostics.
Returns the currently accepted source members of a Java namespace.
Returns admitted overload records on validated closed dispatch routes.
Returns the canonical inert label for a Java reference.
Returns admitted Java reference records.
Appends manifest projections after rejecting legacy generic Java rows.
Resolves a direct-dot source spelling to its finite instance member family.
Resolves a plain constructor source spelling to its admitted reference.
Resolves a bounded Java class/member source identity.
Returns all Java namespace atoms admitted by the source vocabulary.
Returns the validated manifest version.
Functions
Returns one Java audit with stable manifest target/reference IDs removed for public compatibility.
@spec audit_keys() :: [atom()]
Returns sorted Java audit keys.
@spec audit_specs() :: [map()]
Returns Java audit specifications used by docs and upstream checks.
Returns one Java audit including stable manifest identities.
@spec available_namespace_labels() :: [String.t()]
Returns Java namespace labels for analyzer diagnostics.
Returns the canonical implemented-function name for one accepted namespace member.
@spec class_spellings() :: [String.t()]
Returns every admitted source spelling owned by a Java class.
@spec classes() :: [map()]
Returns admitted and inventory-only Java class records.
Returns string-to-atom Java namespace mappings used by Registry documentation lookup.
Fetches a Java audit specification.
Fetches one admitted or inventory Java class by stable ID.
Fetches one Java overload by stable ID.
Fetches one Java reference by stable ID.
@spec function_entries() :: [map()]
Returns Java-owned implemented-function presentation rows.
@spec interop_entries() :: [map()]
Returns generated Java interop reference presentation rows.
Returns true when an ID names a finite manifest-derived instance member family.
Returns true when a direct-dot spelling names an admitted member family.
Returns true when namespace is owned by the Java surface.
Returns Java compatibility namespace categories for Env diagnostics.
Returns the currently accepted source members of a Java namespace.
@spec overloads() :: [map()]
Returns admitted overload records on validated closed dispatch routes.
Returns the canonical inert label for a Java reference.
@spec references() :: [map()]
Returns admitted Java reference records.
Appends manifest projections after rejecting legacy generic Java rows.
Resolves a direct-dot source spelling to its finite instance member family.
Resolves a plain constructor source spelling to its admitted reference.
@spec resolve_reference(atom() | String.t(), atom() | String.t()) :: {:ok, map()} | :unknown_member | :not_java_class
Resolves a bounded Java class/member source identity.
@spec source_namespace_atoms() :: [atom()]
Returns all Java namespace atoms admitted by the source vocabulary.
@spec version() :: pos_integer()
Returns the validated manifest version.