Uses of Class
org.ek9lang.compiler.ParsedModule

Packages that use ParsedModule

Package	Description
org.ek9lang.compiler	B - For the EK9 compiler itself.
org.ek9lang.compiler.common	Common parts of processing that can be reused across various phases.
org.ek9lang.compiler.phase1	E - Initial Symbol definition by traversing the 'ANTLR' - 'AST'.
org.ek9lang.compiler.phase2	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.
org.ek9lang.compiler.phase3	G - Full Symbol Resolution can now take place.
org.ek9lang.compiler.phase5	I - PRE Intermediate Representation generation checks.
org.ek9lang.compiler.phase5.callgraph	Call graph infrastructure for EK9 compiler static analysis.
org.ek9lang.compiler.phase5.flow
org.ek9lang.compiler.phase7	K - Intermediate Representation Generation.
org.ek9lang.compiler.phase7.generation
org.ek9lang.compiler.phase7.support
org.ek9lang.compiler.repair	THE automatic source repairs - one engine for every door (ek9 -ff, ek9_format, the MCP editors, ek9_write_file, ek9_edit_file, ek9_compile).
org.ek9lang.compiler.support	Contains critical general components used in the Ek9Compiler listeners.
org.ek9lang.compiler.symbolic

Uses of ParsedModule in org.ek9lang.compiler

Methods in org.ek9lang.compiler that return ParsedModule

Modifier and Type	Method	Description
ParsedModule	CompilableProgram.getParsedModuleForCompilableSource(CompilableSource source)	For a specific source the ParsedModule is returned.
protected ParsedModule	CompilerPhase.getParsedModuleForSource(CompilableSource source)

Methods in org.ek9lang.compiler that return types with arguments of type ParsedModule

Modifier and Type	Method	Description
List<ParsedModule>	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 ParsedModule

Modifier and Type	Method	Description
void	CompilableProgram.add(ParsedModule parsedModule)	Add in a newly parsed module to the list of parsed modules.
void	CompilableProgram.remove(ParsedModule parsedModule)	If some source has been altered, then its corresponding parsedModule must be removed.

Constructors in org.ek9lang.compiler with parameters of type ParsedModule

Modifier	Constructor	Description
(package private)	ParseTreeSymbolLocator(ParsedModule parsedModule)

Uses of ParsedModule in org.ek9lang.compiler.common

Methods in org.ek9lang.compiler.common that return ParsedModule

Modifier and Type	Method	Description
protected ParsedModule	AbstractEK9PhaseListener.getParsedModule()	Provide access to the parsedModule.
ParsedModule	CompilationEvent.parsedModule()	Returns the value of the parsedModule record component.

Constructors in org.ek9lang.compiler.common with parameters of type ParsedModule

Modifier	Constructor	Description
protected	AbstractEK9PhaseListener(ParsedModule parsedModule)
	CompilationEvent(CompilationPhase phase, ParsedModule parsedModule, CompilableSource source)	Creates an instance of a CompilationEvent record class.
protected	ScopeStackConsistencyListener(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 ParsedModule

Modifier and Type	Class	Description
(package private) final class	ConstantOrganizationOrError	Checks 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 ParsedModule

Modifier and Type	Method	Description
void	ConstantOrganizationOrError.accept(String moduleName, List<ParsedModule> parsedModules)

Constructors in org.ek9lang.compiler.phase1 with parameters of type ParsedModule

Modifier	Constructor	Description
(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 ParsedModule

Modifier and Type	Class	Description
(package private) final class	ConstrainedTypesPopulator	THE place a constrained type (Age as Integer constrain as ..., or a plain alias Coord as Point) gets its base's constructors, methods and operators cloned onto it - in TYPE_HIERARCHY_CHECKS.
(package private) final class	NoLocalNamedLikeAMethodOrError	Every LOCAL variable of a module checked against the methods of the type it is declared in - its own, inherited and from traits (see NoNameCollisionOrError.errorsIfLocalNamedLikeAMethod(IAggregateSymbol, ISymbol)).
(package private) final class	SubTypeSyntheticConstructorCreator	THE 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 ParsedModule

Modifier and Type	Method	Description
ParsedModule	PostPassSites.DefaultOperatorSite.parsedModule()	Returns the value of the parsedModule record component.

Methods in org.ek9lang.compiler.phase2 that return types with arguments of type ParsedModule

Modifier and Type	Method	Description
(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 ParsedModule

Modifier and Type	Method	Description
void	NoLocalNamedLikeAMethodOrError.accept(ParsedModule parsedModule)

Method parameters in org.ek9lang.compiler.phase2 with type arguments of type ParsedModule

Modifier and Type	Method	Description
void	ConstrainedTypesPopulator.accept(List<ParsedModule> parsedModules)
void	SubTypeSyntheticConstructorCreator.accept(List<ParsedModule> parsedModules)
(package private) static PostPassSites	PostPassSites.of(List<ParsedModule> parsedModules)	Gather the sites of every source, in source order.

Constructors in org.ek9lang.compiler.phase2 with parameters of type ParsedModule

Modifier	Constructor	Description
(package private)	DefaultOperatorSite(EK9Parser.DefaultOperatorContext ctx, IAggregateSymbol aggregate, ParsedModule parsedModule)	Creates an instance of a DefaultOperatorSite record class.
(package private)	ResolveDefineExplicitTypeListener(ParsedModule parsedModule)	Still defining some stuff here, but also resolving where possible.

Uses of ParsedModule in org.ek9lang.compiler.phase3

Constructors in org.ek9lang.compiler.phase3 with parameters of type ParsedModule

Modifier	Constructor	Description
protected	ExpressionsListener(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 ParsedModule

Modifier and Type	Class	Description
(package private) class	AcceptableModuleCohesionOrError	Validates module-level cohesion against threshold and emits E11017 error if exceeded.
(package private) class	AcceptableModuleCouplingOrError	Validates module-level efferent coupling against threshold and emits E11016 error if exceeded.
(package private) class	AcceptableModuleSizeOrError	Validates the number of constructs declared in a module against MetricLimits.MODULE_SIZE and emits E11027 if exceeded.
(package private) class	DataClumpOrError	Validates that a module does not contain data clumps (E11053).
(package private) class	MagicLiteralDuplicationOrError	Validates that a module does not contain repeated magic literals (E11065).

Methods in org.ek9lang.compiler.phase5 that return ParsedModule

Modifier and Type	Method	Description
ParsedModule	MutatedOnlyVariables.Deferred.parsedModule()	Returns the value of the parsedModule record component.
ParsedModule	MutatedOnlyVariables.ReturningCallable.parsedModule()	Returns the value of the parsedModule record component.

Methods in org.ek9lang.compiler.phase5 with parameters of type ParsedModule

Modifier and Type	Method	Description
(package private) MutatedOnlyVariables.Collector	MutatedOnlyVariables.forSource(ParsedModule parsedModule, SymbolsAndScopes symbolsAndScopes)	The collector for one source's walk.
ErrorListener	AcceptableModuleCohesionOrError.ErrorListenerLookup.getErrorListener(ParsedModule module)
ErrorListener	AcceptableModuleCouplingOrError.ErrorListenerLookup.getErrorListener(ParsedModule module)
(package private) static ReturnSourceKind	ReturnSourceKind.of(ParsedModule parsedModule, ScopedSymbol callable, EK9Parser.ExpressionContext source)	Classify one source of a callable's returning variable.

Method parameters in org.ek9lang.compiler.phase5 with type arguments of type ParsedModule

Modifier and Type	Method	Description
void	AcceptableModuleCohesionOrError.accept(String moduleName, List<ParsedModule> parsedModules)
void	AcceptableModuleCouplingOrError.accept(String moduleName, List<ParsedModule> parsedModules)
void	AcceptableModuleSizeOrError.accept(String moduleName, List<ParsedModule> parsedModules)
void	DataClumpOrError.accept(String moduleName, List<ParsedModule> parsedModules)
void	MagicLiteralDuplicationOrError.accept(String moduleName, List<ParsedModule> parsedModules)

Constructors in org.ek9lang.compiler.phase5 with parameters of type ParsedModule

Modifier	Constructor	Description
(package private)	CapabilityTypeReferenceOrError(SymbolsAndScopes symbolsAndScopes, ErrorListener errorListener, 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 a Deferred record class.
(package private)	LockAnalysisListener(ParsedModule parsedModule, LockAnalysis lockAnalysis)
(package private)	NeverEndingIterationMarker(ParsedModule parsedModule)
(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 a ReturningCallable record class.
(package private)	ServiceSecurityConstraintOrError(SymbolsAndScopes symbolsAndScopes, ErrorListener errorListener, ParsedModule parsedModule)

Uses of ParsedModule in org.ek9lang.compiler.phase5.callgraph

Constructors in org.ek9lang.compiler.phase5.callgraph with parameters of type ParsedModule

Modifier	Constructor	Description
	CallGraphCollector(ParsedModule parsedModule, CallGraph callGraph)	Create a collector for call graph information.
	CallGraphCollector(ParsedModule parsedModule, CallGraph callGraph, ConstructionEdges constructionEdges)	Create a collector that also records the calls that always run, for the construction-recursion check.

Uses of ParsedModule in org.ek9lang.compiler.phase5.flow

Constructors in org.ek9lang.compiler.phase5.flow with parameters of type ParsedModule

Modifier	Constructor	Description
	SymbolicPathConditionWalker(ParsedModule parsedModule)

Uses of ParsedModule in org.ek9lang.compiler.phase7

Methods in org.ek9lang.compiler.phase7 that return ParsedModule

Modifier and Type	Method	Description
protected ParsedModule	AbstractDfnGenerator.getParsedModule()	Get the parsed module from stack context - the single source of truth.

Methods in org.ek9lang.compiler.phase7 with parameters of type ParsedModule

Modifier and Type	Method	Description
void	ParameterizedTypeScenarioProcessor.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 ParsedModule

Modifier and Type	Method	Description
void	ParameterizedTypeScenarioProcessor.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 ParsedModule

Modifier and Type	Method	Description
ParsedModule	IRContext.getParsedModule()	Get the parsed module for symbol resolution.
ParsedModule	IRGenerationContext.getParsedModule()	Get the parsed module from IRContext.

Constructors in org.ek9lang.compiler.phase7.generation with parameters of type ParsedModule

Modifier	Constructor	Description
	IRContext(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

Constructors in org.ek9lang.compiler.phase7.support with parameters of type ParsedModule

Modifier	Constructor	Description
	OperationDetailContextOrError(ParsedModule parsedModule)
	ParameterizedOperationDetailContextOrError(ParsedModule genericParsedModule)	Create a matcher that uses the generic type's ParsedModule for AST context lookups.
	TextBodyDetailContextOrError(ParsedModule parsedModule)

Uses of ParsedModule in org.ek9lang.compiler.repair

Methods in org.ek9lang.compiler.repair with parameters of type ParsedModule

Modifier and Type	Method	Description
(package private) static ISymbol	StringConcatRewriter.resolveSymbolForTest(ParsedModule parsedModule, EK9Parser.ExpressionContext expr)	Visible for tests.

Uses of ParsedModule in org.ek9lang.compiler.support

Fields in org.ek9lang.compiler.support declared as ParsedModule

Modifier and Type	Field	Description
protected final ParsedModule	CommonFactory.parsedModule

Methods in org.ek9lang.compiler.support with parameters of type ParsedModule

Modifier and Type	Method	Description
static Set<ISymbol>	RecordedSymbols.aliasesOf(ParsedModule parsedModule, org.antlr.v4.runtime.tree.ParseTree within, ISymbol symbol)	symbol and every captured copy of it made by a dynamic function or class inside within (transitively: a capture of a capture), as an identity set.
static List<RecordedSymbols.Reference>	RecordedSymbols.declaredIn(ParsedModule parsedModule, org.antlr.v4.runtime.tree.ParseTree fragment)	The declarations in fragment, in source order: variables (x <- 1, x as T: v, the s <- next() of a guard), variable-only declarations (parameters, returns, x as T?) and loop variables.
static boolean	SymbolWrites.isWrittenBetween(ParsedModule parsedModule, org.antlr.v4.runtime.tree.ParseTree region, Set<ISymbol> symbols, int afterTokenIndex, int beforeTokenIndex)	Is any of symbols written in region strictly between two token positions (token indexes in the compiled token stream: pass first.getStop().getTokenIndex() and second.getStart().getTokenIndex() to ask "does anything change these between the two occurrences?").
static boolean	SymbolWrites.isWrittenIn(ParsedModule parsedModule, org.antlr.v4.runtime.tree.ParseTree region, Set<ISymbol> symbols)	Is any of symbols written anywhere in region.
static List<RecordedSymbols.Reference>	RecordedSymbols.referencedIn(ParsedModule parsedModule, org.antlr.v4.runtime.tree.ParseTree fragment)	Every identifier in fragment that the compiler bound to a symbol, in source order: variables, parameters, properties (bare and through .), functions and methods called, types named, this and super.
static List<RecordedSymbols.Reference>	RecordedSymbols.usesOf(ParsedModule parsedModule, org.antlr.v4.runtime.tree.ParseTree within, ISymbol symbol)	The references in within to symbol - that INSTANCE, never another symbol with the same name - plus the references to the copies of it that dynamic functions and classes inside within captured (a capture is a copy symbol; a += on it mutates the same object).
static List<SymbolWrites.Write>	SymbolWrites.writesOf(ParsedModule parsedModule, org.antlr.v4.runtime.tree.ParseTree region, ISymbol symbol)	Every write to symbol (or to a captured copy of it) in region, in source order.

Constructors in org.ek9lang.compiler.support with parameters of type ParsedModule

Modifier	Constructor	Description
(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 ParsedModule

Modifier and Type	Method	Description
List<GuardCouplingReader.GuardCoupling>	GuardCouplingReader.read(org.antlr.v4.runtime.tree.ParseTree constructCtx, List<ISymbol> callParameters, ParsedModule module)	Read every coupling expressed by a control condition in constructCtx.
List<FunctionSummary.RequirePredicate>	RequirePredicateReader.read(org.antlr.v4.runtime.tree.ParseTree constructCtx, List<ISymbol> callParameters, ParsedModule module)	Read every modellable require precondition in constructCtx.

Constructors in org.ek9lang.compiler.symbolic with parameters of type ParsedModule

Modifier	Constructor	Description
	SymbolicEngine(ParsedModule parsedModule)	Same-module engine: a callee whose declaration is not in parsedModule is not summarised.
	SymbolicEngine(ParsedModule parsedModule, Function<String, List<ParsedModule>> moduleResolver)	Whole-program engine: moduleResolver maps a module name to its parsed modules so a cross-module callee's require summary can be read (Example 2 across a module boundary).

Constructor parameters in org.ek9lang.compiler.symbolic with type arguments of type ParsedModule

Modifier	Constructor	Description
	SymbolicEngine(ParsedModule parsedModule, Function<String, List<ParsedModule>> moduleResolver)	Whole-program engine: moduleResolver maps a module name to its parsed modules so a cross-module callee's require summary can be read (Example 2 across a module boundary).