Uses of Package
org.ek9lang.compiler.phase5
Packages that use org.ek9lang.compiler.phase5
Package
Description
I - PRE Intermediate Representation generation checks.
Call graph infrastructure for EK9 compiler static analysis.
-
Classes in org.ek9lang.compiler.phase5 used by org.ek9lang.compiler.phase5ClassDescriptionDoes checks on the control part of a while loop to see if Optional/Result/Iterator are now safe via method access.Once an expression has been assessed as being simple enough to process, this consumer is called to mark the appropriate symbol(s) used in the expression as safe if the appropriate methods are called.Functional interface to get the appropriate ErrorListener for a ParsedModule.Functional interface to get the appropriate ErrorListener for a ParsedModule.Tracks cognitive complexity within functions/methods/operators.Tracks method-field relationships to calculate LCOM4 (Lack of Cohesion of Methods v4).Designed to give a broad indication of complexity, this is not true pure Cyclometric Complexity.Finds all concrete (non-abstract) subtypes of a given abstract aggregate type.The per-construct obligation rollup accumulated during the phase-5 walk of one callable body, then squirrelled as
OBLIGATIONS_TOTAL/DISCHARGED/UNDISCHARGEDat construct exit (docs/tooling/EK9_SYMBOLIC_SCANNER_IMPLEMENTATION_SPEC.md §2.1/§2.4).Tracks efferent coupling (Ce) - the number of external types a construct depends on.Tracks function/method/constructor parameter signatures for data clump detection (E11053).An immutable (type, name) pair from a parameter, ordered for deterministic comparison.One callable's parameter signature for data clump analysis.Why an obligation is considered discharged (proven safe) by an existing analysis, orDischargeReason.UNDISCHARGEDwhen no analysis proves it — the discharge-detection order of docs/tooling/EK9_SYMBOLIC_SCANNER_IMPLEMENTATION_SPEC.md §2.3.Tracks complexity of coalescing expression trees with depth-based multiplier.Result of field classification for an aggregate.Tracks injection counts within functions/methods/operators.A stack of integer counters, one per nested function/method/operator scope, accumulated during AST traversal.Tracks literal occurrences across files for repeated magic literal detection (E11065).One recorded occurrence of a literal.Tracks module-level cohesion by recording constructs and their intra-module type references.Tracks module-level efferent coupling (Ce) - the number of distinct external modules that a module depends on.Tracks nesting depth within functions/methods/operators.A single contract/partiality obligation found in a construct body, tagged with the analysis (if any) that discharges it (docs/tooling/EK9_SYMBOLIC_SCANNER_IMPLEMENTATION_SPEC.md §2.1).The taxonomy of contract/partiality obligations the census counts, from what already exists in the language and analysis (docs/tooling/EK9_SYMBOLIC_SCANNER_IMPLEMENTATION_SPEC.md §2.2).Used as a base for a range of constructs that can be expressions.Marks specific types of variable of specific types (generic Result/Option) in a manner that enables the compiler to check if access to certain methods is safe.Tests specific types of variable of specific types (generic Result/Option) in a manner that enables the compiler to check if access to certain methods is safe.Tracks statement counts within functions/methods/operators.Result of analyzing trait implementation for potential missing 'by' delegation. -
Classes in org.ek9lang.compiler.phase5 used by org.ek9lang.compiler.phase5.callgraphClassDescriptionFinds all concrete (non-abstract) subtypes of a given abstract aggregate type.