Uses of Class
org.ek9lang.compiler.ParsedModule
Packages that use ParsedModule
Package
Description
B - For the EK9 compiler itself.
Common parts of processing that can be reused across various phases.
E - Initial Symbol definition by traversing the 'ANTLR' - 'AST'.
F - Resolution of Explicitly Defined Type Symbols - at this point phase3 processing should have defined
most of the explicitly defined symbols, so they should be resolvable.
G - Full Symbol Resolution can now take place.
I - PRE Intermediate Representation generation checks.
Call graph infrastructure for EK9 compiler static analysis.
K - Intermediate Representation Generation.
Contains critical general components used in the
Ek9Compiler listeners.-
Uses of ParsedModule in org.ek9lang.compiler
Methods in org.ek9lang.compiler that return ParsedModuleModifier and TypeMethodDescriptionCompilableProgram.getParsedModuleForCompilableSource(CompilableSource source) For a specific source the ParsedModule is returned.protected ParsedModuleCompilerPhase.getParsedModuleForSource(CompilableSource source) Methods in org.ek9lang.compiler that return types with arguments of type ParsedModuleModifier and TypeMethodDescriptionCompilableProgram.allParsedModules()THE sweep of every parsed module (one per file) of every module name, in module-name then parsed-module order - the order ofCompilableProgram.getParsedModuleNames().CompilableProgram.getParsedModules(String moduleName) Provide read only access to the list of modules for a particular moduleName.Methods in org.ek9lang.compiler with parameters of type ParsedModuleModifier and TypeMethodDescriptionvoidCompilableProgram.add(ParsedModule parsedModule) Add in a newly parsed module to the list of parsed modules.protected final voidCompilerPhase.announce(ParsedModule parsedModule) THE completion event of this phase for one parsed module (its own source).protected final voidCompilerPhase.announce(ParsedModule parsedModule, CompilableSource source) THE completion event of this phase for a source and its (possibly null) parsed module.voidCompilableProgram.remove(ParsedModule parsedModule) If some source has been altered, then its corresponding parsedModule must be removed.Method parameters in org.ek9lang.compiler with type arguments of type ParsedModuleModifier and TypeMethodDescriptionvoidCompilableProgram.forEachModuleScope(BiConsumer<ParsedModule, ModuleScope> consumer) THE program-wide module scope sweep: every parsed module that has a module scope, with that scope.Constructors in org.ek9lang.compiler with parameters of type ParsedModuleModifierConstructorDescription(package private)ParseTreeSymbolLocator(ParsedModule parsedModule) -
Uses of ParsedModule in org.ek9lang.compiler.common
Methods in org.ek9lang.compiler.common that return ParsedModuleModifier and TypeMethodDescriptionprotected ParsedModuleAbstractEK9PhaseListener.getParsedModule()Provide access to the parsedModule.CompilationEvent.parsedModule()Returns the value of theparsedModulerecord component.Constructors in org.ek9lang.compiler.common with parameters of type ParsedModuleModifierConstructorDescriptionprotectedAbstractEK9PhaseListener(ParsedModule parsedModule) CompilationEvent(CompilationPhase phase, ParsedModule parsedModule, CompilableSource source) Creates an instance of aCompilationEventrecord class.protectedScopeStackConsistencyListener(ParsedModule parsedModule) SymbolsAndScopes(ParsedModule parsedModule, ScopeStack scopeStack) Create a new instance for symbol and scope management. -
Uses of ParsedModule in org.ek9lang.compiler.phase1
Classes in org.ek9lang.compiler.phase1 that implement interfaces with type arguments of type ParsedModuleModifier and TypeClassDescription(package private) final classChecks constant organization within a multi-file module and emits errors if constants are scattered.Method parameters in org.ek9lang.compiler.phase1 with type arguments of type ParsedModuleModifier and TypeMethodDescriptionvoidConstantOrganizationOrError.accept(String moduleName, List<ParsedModule> parsedModules) Constructors in org.ek9lang.compiler.phase1 with parameters of type ParsedModuleModifierConstructorDescription(package private)DefinitionListener(ParsedModule parsedModule) First phase after parsing.(package private)ReferencesPhase1Listener(CompilableProgram compilableProgram, ParsedModule parsedModule, ReferencesPhase1Listener.Pass pass) Next phase after symbol definition, now check for explicit references. -
Uses of ParsedModule in org.ek9lang.compiler.phase2
Classes in org.ek9lang.compiler.phase2 that implement interfaces with type arguments of type ParsedModuleModifier and TypeClassDescription(package private) final classTHE place a constrained type (Age as Integer constrain as ..., or a plain aliasCoord as Point) gets its base's constructors, methods and operators cloned onto it - in TYPE_HIERARCHY_CHECKS.(package private) final classEvery LOCAL variable of a module checked against the methods of the type it is declared in - its own, inherited and from traits (seeNoNameCollisionOrError.errorsIfLocalNamedLikeAMethod(IAggregateSymbol, ISymbol)).(package private) final classTHE place a sub-type (a class, record or component that 'extends'/'is' a super) gets its generated public no-argument constructor - after every source has been through EXPLICIT_TYPE_SYMBOL_DEFINITION, supers first.Methods in org.ek9lang.compiler.phase2 that return ParsedModuleModifier and TypeMethodDescriptionPostPassSites.DefaultOperatorSite.parsedModule()Returns the value of theparsedModulerecord component.Methods in org.ek9lang.compiler.phase2 that return types with arguments of type ParsedModuleModifier and TypeMethodDescription(package private) Map<IAggregateSymbol, ParsedModule> PostPassSites.samenessDeclaredIn()The aggregates whose sameness is completed (not built-in, not Java-backed), in walk order, with their module.(package private) Map<IAggregateSymbol, ParsedModule> PostPassSites.servicesDeclaredIn()The services (not built-in, not Java-backed), in walk order, with their module.Methods in org.ek9lang.compiler.phase2 with parameters of type ParsedModuleModifier and TypeMethodDescriptionvoidNoLocalNamedLikeAMethodOrError.accept(ParsedModule parsedModule) (package private) SymbolFactoryModuleSymbolFactories.forModule(ParsedModule parsedModule) Method parameters in org.ek9lang.compiler.phase2 with type arguments of type ParsedModuleModifier and TypeMethodDescriptionvoidConstrainedTypesPopulator.accept(List<ParsedModule> parsedModules) voidSubTypeSyntheticConstructorCreator.accept(List<ParsedModule> parsedModules) Constructors in org.ek9lang.compiler.phase2 with parameters of type ParsedModuleModifierConstructorDescription(package private)DefaultOperatorSite(EK9Parser.DefaultOperatorContext ctx, IAggregateSymbol aggregate, ParsedModule parsedModule) Creates an instance of aDefaultOperatorSiterecord class.(package private)ResolveDefineExplicitTypeListener(ParsedModule parsedModule) Still defining some stuff here, but also resolving where possible.Constructor parameters in org.ek9lang.compiler.phase2 with type arguments of type ParsedModuleModifierConstructorDescription(package private)PostPassSites(List<ParsedModule> parsedModules) Gather the sites of every source, in source order. -
Uses of ParsedModule in org.ek9lang.compiler.phase3
Constructors in org.ek9lang.compiler.phase3 with parameters of type ParsedModuleModifierConstructorDescriptionprotectedExpressionsListener(ParsedModule parsedModule) (package private)ResolveDefineInferredTypeListener(ParsedModule parsedModule) Create a new instance to define or resolve inferred types. -
Uses of ParsedModule in org.ek9lang.compiler.phase5
Classes in org.ek9lang.compiler.phase5 that implement interfaces with type arguments of type ParsedModuleModifier and TypeClassDescription(package private) classValidates module-level cohesion against threshold and emits E11017 error if exceeded.(package private) classValidates module-level efferent coupling against threshold and emits E11016 error if exceeded.(package private) classValidates the number of constructs declared in a module againstMetricLimits.MODULE_SIZEand emits E11027 if exceeded.(package private) classValidates that a module does not contain data clumps (E11053).(package private) classValidates that a module does not contain repeated magic literals (E11065).(package private) final classThe variables of one source that a signal handler captures, by IDENTITY (design ยง13.11 S2c, option A): the outer symbol each argument of aSignalHandlerimplementation's capture list names.Methods in org.ek9lang.compiler.phase5 that return ParsedModuleModifier and TypeMethodDescriptionMutatedOnlyVariables.Deferred.parsedModule()Returns the value of theparsedModulerecord component.MutatedOnlyVariables.ReturningCallable.parsedModule()Returns the value of theparsedModulerecord component.Methods in org.ek9lang.compiler.phase5 with parameters of type ParsedModuleModifier and TypeMethodDescriptionValuesCapturedBySignalHandlers.apply(ParsedModule parsedModule, org.antlr.v4.runtime.tree.ParseTree source) (package private) MutatedOnlyVariables.CollectorMutatedOnlyVariables.forSource(ParsedModule parsedModule, SymbolsAndScopes symbolsAndScopes) The collector for one source's walk.ModuleErrorListenerLookup.getErrorListener(ParsedModule module) The listener of the module's source; null only if the lookup cannot find one.default ErrorListenerModuleErrorListenerLookup.listenerOrThrow(ParsedModule module, IToken location, String what) The listener for the module, or a hard internal error naming the diagnostic that would have been dropped.Method parameters in org.ek9lang.compiler.phase5 with type arguments of type ParsedModuleModifier and TypeMethodDescriptionvoidAcceptableModuleCohesionOrError.accept(String moduleName, List<ParsedModule> parsedModules) voidAcceptableModuleCouplingOrError.accept(String moduleName, List<ParsedModule> parsedModules) voidAcceptableModuleSizeOrError.accept(String moduleName, List<ParsedModule> parsedModules) voidDataClumpOrError.accept(String moduleName, List<ParsedModule> parsedModules) voidMagicLiteralDuplicationOrError.accept(String moduleName, List<ParsedModule> parsedModules) default voidModuleErrorListenerLookup.reportOnModuleDeclaration(List<ParsedModule> parsedModules, String message, ErrorListener.SemanticClassification classification) THE module-level diagnostic prologue: report on the 'defines module' token of the first file (by file name, so the choice is deterministic for a module spanning several files).Constructors in org.ek9lang.compiler.phase5 with parameters of type ParsedModuleModifierConstructorDescription(package private)CapabilityTypeReferenceOrError(SymbolsAndScopes symbolsAndScopes, ErrorListener errorListener, ParsedModule parsedModule) (package private)CompileTimeKnownText(ParsedModule parsedModule) (package private)ConstructorFieldInitialisationListener(ParsedModule parsedModule) (package private)DataRaceCheckListener(ParsedModule parsedModule) (package private)Deferred(ParsedModule parsedModule, ISymbol variable, EK9Parser.ExpressionContext initialiser) Creates an instance of aDeferredrecord class.(package private)DynamicClassComparatorRetraction(ParsedModule parsedModule, ISymbol ek9Any) (package private)LockAnalysisListener(ParsedModule parsedModule, LockAnalysis lockAnalysis) (package private)NeverEndingIterationMarker(ParsedModule parsedModule) (package private)OrderingResultSources(ParsedModule parsedModule, OrderingTotality totality) (package private)PreIRListener(ParsedModule parsedModule, ModuleCouplingTracker moduleCouplingTracker, ModuleCohesionTracker moduleCohesionTracker, DataClumpTracker dataClumpTracker, MagicLiteralTracker magicLiteralTracker, MutatedOnlyVariables mutatedOnlyVariables, CloseableArgumentKeeping closeableArgumentKeeping) (package private)RetractedComparatorUseOrError(ParsedModule parsedModule) (package private)ReturningCallable(ParsedModule parsedModule, ScopedSymbol callable, List<EK9Parser.ExpressionContext> sources) Creates an instance of aReturningCallablerecord class.(package private)ServiceSecurityConstraintOrError(SymbolsAndScopes symbolsAndScopes, ErrorListener errorListener, ParsedModule parsedModule) (package private)UrlTextKnownAtCompileTimeOrError(ParsedModule parsedModule, SymbolsAndScopes symbolsAndScopes, ErrorListener errorListener) -
Uses of ParsedModule in org.ek9lang.compiler.phase5.callgraph
Constructors in org.ek9lang.compiler.phase5.callgraph with parameters of type ParsedModuleModifierConstructorDescriptionCallGraphCollector(ParsedModule parsedModule, CallGraph callGraph) Create a collector for call graph information.CallGraphCollector(ParsedModule parsedModule, CallGraph callGraph, ConstructionEdges constructionEdges, CallGraphCollector.OwnershipDecision ownershipDecision) Create the phase-5 collector: it also records the calls that always run, for the construction-recursion check, and asks the closeable ownership decision at every call site, so it can record the close of every statement-owned temporary. -
Uses of ParsedModule in org.ek9lang.compiler.phase5.flow
Constructors in org.ek9lang.compiler.phase5.flow with parameters of type ParsedModule -
Uses of ParsedModule in org.ek9lang.compiler.phase7
Methods in org.ek9lang.compiler.phase7 that return ParsedModuleModifier and TypeMethodDescriptionprotected ParsedModuleAbstractDfnGenerator.getParsedModule()Get the parsed module from stack context - the single source of truth.Methods in org.ek9lang.compiler.phase7 with parameters of type ParsedModuleModifier and TypeMethodDescriptionvoidParameterizedTypeScenarioProcessor.accept(ParsedModule parsedModule, IRModule irModule, Function<ParsedModule, IRGenerationContext> generationContextFactory) Process parameterized types in a module.Method parameters in org.ek9lang.compiler.phase7 with type arguments of type ParsedModuleModifier and TypeMethodDescriptionvoidParameterizedTypeScenarioProcessor.accept(ParsedModule parsedModule, IRModule irModule, Function<ParsedModule, IRGenerationContext> generationContextFactory) Process parameterized types in a module. -
Uses of ParsedModule in org.ek9lang.compiler.phase7.generation
Methods in org.ek9lang.compiler.phase7.generation that return ParsedModuleModifier and TypeMethodDescriptionIRContext.getParsedModule()Get the parsed module for symbol resolution.IRGenerationContext.getParsedModule()Get the parsed module from IRContext.Constructors in org.ek9lang.compiler.phase7.generation with parameters of type ParsedModuleModifierConstructorDescriptionIRContext(ParsedModule parsedModule, IRModule irModule, CompilerFlags compilerFlags) Create new IR generation context for an executable scope.IRContext(ParsedModule parsedModule, IRModule irModule, CompilerFlags compilerFlags, SharedThreadContext<CompilableProgram> compilableProgramAccess) Create new IR generation context with compilable program access for cross-module operations. -
Uses of ParsedModule in org.ek9lang.compiler.phase7.support
Methods in org.ek9lang.compiler.phase7.support with parameters of type ParsedModuleModifier and TypeMethodDescription(package private) Optional<OperationDetailsLocator.Located> OperationDetailsLocator.find(ParsedModule parsedModule, EK9Parser.AggregatePartsContext ctx, Predicate<ISymbol> matches) Find the declaration whose recorded symbol satisfiesmatches.Constructors in org.ek9lang.compiler.phase7.support with parameters of type ParsedModuleModifierConstructorDescriptionBodiesInAggregateParts(ParsedModule parsedModule, EK9Parser.AggregatePartsContext ctx) BodiesInServiceDeclaration(ParsedModule parsedModule, EK9Parser.ServiceDeclarationContext ctx) ClonedBodiesInAggregateParts(ParsedModule genericParsedModule, EK9Parser.AggregatePartsContext ctx) TextBodyDetailContextOrError(ParsedModule parsedModule) -
Uses of ParsedModule in org.ek9lang.compiler.support
Classes in org.ek9lang.compiler.support that implement interfaces with type arguments of type ParsedModuleModifier and TypeClassDescriptionfinal classTHE declarations in a fragment of the COMPILED tree, by the symbols the compiler recorded - the declaration half ofRecordedSymbols' identity walk.final classTHE symbol-identity walk over a parse-tree fragment for the compiler and themcp.oracletools - use this (moved down from compiler-services withSymbolWrites, 2026-10-04), never a by-NAME walk (a regex over body text,getText().equals(name)on identifier nodes, a set of names).Fields in org.ek9lang.compiler.support declared as ParsedModuleMethods in org.ek9lang.compiler.support with parameters of type ParsedModuleModifier and TypeMethodDescriptionCaptureAliases.aliasesOf(ParsedModule parsedModule, org.antlr.v4.runtime.tree.ParseTree within, ISymbol symbol) symboland every captured copy of it made by a dynamic function or class insidewithin(transitively: a capture of a capture), as an identity set.RecordedDeclarations.apply(ParsedModule parsedModule, org.antlr.v4.runtime.tree.ParseTree fragment) The declarations infragment, in source order: variables (x <- 1,x as T: v, thes <- next()of a guard), variable-only declarations (parameters, returns,x as T?) and loop variables.RecordedSymbols.apply(ParsedModule parsedModule, org.antlr.v4.runtime.tree.ParseTree fragment) Every identifier infragmentthat the compiler bound to a symbol, in source order: variables, parameters, properties (bare and through.), functions and methods called, types named,thisandsuper.booleanSymbolWrites.isWrittenBetween(ParsedModule parsedModule, org.antlr.v4.runtime.tree.ParseTree region, Set<ISymbol> symbols, int afterTokenIndex, int beforeTokenIndex) Is any ofsymbolswritten inregionstrictly between two token positions (token indexes in the compiled token stream: passfirst.getStop().getTokenIndex()andsecond.getStart().getTokenIndex()to ask "does anything change these between the two occurrences?").booleanSymbolWrites.isWrittenIn(ParsedModule parsedModule, org.antlr.v4.runtime.tree.ParseTree region, Set<ISymbol> symbols) Is any ofsymbolswritten anywhere inregion.SymbolUses.usesOf(ParsedModule parsedModule, org.antlr.v4.runtime.tree.ParseTree within, ISymbol symbol) The references inwithintosymbol- that INSTANCE, never another symbol with the same name - plus the references to the copies of it that dynamic functions and classes insidewithincaptured (a capture is a copy symbol; a+=on it mutates the same object).SymbolWrites.writesOf(ParsedModule parsedModule, org.antlr.v4.runtime.tree.ParseTree region, ISymbol symbol) Every write tosymbol(or to a captured copy of it) inregion, in source order.Constructors in org.ek9lang.compiler.support with parameters of type ParsedModuleModifierConstructorDescription(package private)AggregateFactory(ParsedModule parsedModule) (package private)BasicSymbolFactory(ParsedModule parsedModule) (package private)CommonFactory(ParsedModule parsedModule) (package private)DirectiveFactory(ParsedModule parsedModule) (package private)FunctionFactory(ParsedModule parsedModule) (package private)OperationFactory(ParsedModule parsedModule) (package private)ServiceFactory(ParsedModule parsedModule) (package private)StreamFactory(ParsedModule parsedModule) SymbolFactory(ParsedModule parsedModule) Create a new symbol factory for use with the parsedModule.(package private)TextFactory(ParsedModule parsedModule) -
Uses of ParsedModule in org.ek9lang.compiler.symbolic
Methods in org.ek9lang.compiler.symbolic with parameters of type ParsedModuleModifier and TypeMethodDescriptionGuardCouplingReader.read(org.antlr.v4.runtime.tree.ParseTree constructCtx, List<ISymbol> callParameters, ParsedModule module) Read every coupling expressed by a control condition inconstructCtx.RequirePredicateReader.read(org.antlr.v4.runtime.tree.ParseTree constructCtx, List<ISymbol> callParameters, ParsedModule module) Read every modellablerequireprecondition inconstructCtx.Constructors in org.ek9lang.compiler.symbolic with parameters of type ParsedModuleModifierConstructorDescriptionSymbolicEngine(ParsedModule parsedModule) Same-module engine: a callee whose declaration is not inparsedModuleis not summarised.SymbolicEngine(ParsedModule parsedModule, Function<String, List<ParsedModule>> moduleResolver) Whole-program engine:moduleResolvermaps a module name to its parsed modules so a cross-module callee'srequiresummary can be read (Example 2 across a module boundary).Constructor parameters in org.ek9lang.compiler.symbolic with type arguments of type ParsedModuleModifierConstructorDescriptionSymbolicEngine(ParsedModule parsedModule, Function<String, List<ParsedModule>> moduleResolver) Whole-program engine:moduleResolvermaps a module name to its parsed modules so a cross-module callee'srequiresummary can be read (Example 2 across a module boundary).