Class ProgramPublishedValues

java.lang.Object
org.ek9lang.compiler.phase9.ProgramPublishedValues
All Implemented Interfaces:
BiFunction<CompilableProgram, Collection<IRConstruct>, PublishedValues>

public final class ProgramPublishedValues extends Object implements BiFunction<CompilableProgram, Collection<IRConstruct>, PublishedValues>
THE PublishedValues of a whole program (S2b): the registered-type fact by name - every aggregate the program knows, core ones included (a List of String a registered component holds is registered; one nothing published reaches is not), and every construct in its IR, read through IsRegisteredType - failing closed for a name it does not know; and CalleeOfCall over the program's constructs and module-level symbols (a parameterisation such as _List_<digest> is found there, not by a search for its name), then a fully qualified search. PublishPlacement and PublishVerifier are handed the same one. Call under the program lock, after the constructs' facts are set.