Class ReachableConstructions

java.lang.Object

org.ek9lang.compiler.phase5.ReachableConstructions

final class ReachableConstructions
extends Object

THE "what does running this callable construct, and what does that construction run with no edge of its own" for the dependency-injection checks that walk CallGraph.getReachableIncludingReferences(Set, Function): DI completeness (ReachableInjectionsOrError, E08210/E08220) and DI ordering (TransitiveInjectionOrderingOrError, E08200). Use it - do not re-derive a third variant.

A constructor constructs its own type; a generic's member that constructs a type parameter (T()) constructs whatever each of the program's parameterisations of that generic substitutes - every aggregate type argument of each, an over-approximation that cannot miss the one substituted for T (that construction has no edge, D15). Constructing a type runs its property initialisers (_i_init) and one of its constructors (a type substituted for a T() has no edge to the one that runs, so all are taken).

Deliberately NOT here: the members a constructed type makes callable with no call site (its operators, a for loop's iterator()). They run LATER, so DI completeness adds them and DI ordering must not - a component method that injects a type registered below it is legal.

Constructor Summary

Constructors

Constructor	Description
ReachableConstructions(CallGraph callGraph, Parameterisations parameterisations)

Method Summary

Modifier and Type	Method	Description
(package private) List<AggregateSymbol>	constructedBy(String callable)	The types running this callable constructs with no edge of its own to say so.
(package private) Set<String>	constructionRuns(String callable)	What constructing those types runs with no edge: each one's _i_init and constructors.
(package private) static List<AggregateSymbol>	withSupers(AggregateSymbol aggregate)	A type and its supers - constructing it constructs the parts its supers declare.

Methods inherited from class Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Details

ReachableConstructions

ReachableConstructions(CallGraph callGraph,
 Parameterisations parameterisations)

Method Details

constructedBy

List<AggregateSymbol> constructedBy(String callable)

The types running this callable constructs with no edge of its own to say so.

constructionRuns

Set<String> constructionRuns(String callable)

What constructing those types runs with no edge: each one's _i_init and constructors. Suitable as (part of) the implicitlyRun of CallGraph.getReachableIncludingReferences(Set, Function).

withSupers

static List<AggregateSymbol> withSupers(AggregateSymbol aggregate)

A type and its supers - constructing it constructs the parts its supers declare.