Uses of Class
org.ek9lang.compiler.symbols.PossibleGenericSymbol

Packages that use PossibleGenericSymbol

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.phase3	G - Full Symbol Resolution can now take place.
org.ek9lang.compiler.phase4	H - Generic/Parameterised types can have their methods checked when used in specific contexts.
org.ek9lang.compiler.phase5.construction
org.ek9lang.compiler.phase7	K - Intermediate Representation Generation.
org.ek9lang.compiler.support	Contains critical general components used in the Ek9Compiler listeners.
org.ek9lang.compiler.symbols	This is the main source of EK9 Symbols used within the compiler.

Uses of PossibleGenericSymbol in org.ek9lang.compiler

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

Modifier and Type	Method	Description
Optional<PossibleGenericSymbol>	ResolvedOrDefineResult.symbol()	Returns the value of the symbol record component.

Methods in org.ek9lang.compiler with parameters of type PossibleGenericSymbol

Modifier and Type	Method	Description
ResolvedOrDefineResult	CompilableProgram.resolveOrDefine(PossibleGenericSymbol possibleGenericSymbol)	When using generic types, the parameterised type goes into the same module namespace as the Generic Type.

Constructor parameters in org.ek9lang.compiler with type arguments of type PossibleGenericSymbol

Modifier	Constructor	Description
	ResolvedOrDefineResult(Optional<PossibleGenericSymbol> symbol, boolean newlyDefined)	Creates an instance of a ResolvedOrDefineResult record class.

Uses of PossibleGenericSymbol in org.ek9lang.compiler.common

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

Modifier and Type	Method	Description
Optional<PossibleGenericSymbol>	ScopeStack.traverseBackUpStackToNearestGeneric()	The nearest enclosing GENERIC type or function - the one whose type parameters a body here can name.

Methods in org.ek9lang.compiler.common with parameters of type PossibleGenericSymbol

Modifier and Type	Method	Description
Optional<ISymbol>	SymbolsAndScopes.resolveOrDefine(PossibleGenericSymbol parameterisedSymbol, SemanticErrorReporter errorListener)	Resolve or define a parameterised type here.

Uses of PossibleGenericSymbol in org.ek9lang.compiler.phase3

Classes in org.ek9lang.compiler.phase3 that implement interfaces with type arguments of type PossibleGenericSymbol

Modifier and Type	Class	Description
(package private) final class	SymbolTypeOrEmpty	Provides the PossibleGenericSymbol type of the symbol if it has been typed, or empty.

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

Modifier and Type	Method	Description
Optional<PossibleGenericSymbol>	SymbolTypeOrEmpty.apply(ISymbol symbol)

Uses of PossibleGenericSymbol in org.ek9lang.compiler.phase4

Classes in org.ek9lang.compiler.phase4 that implement interfaces with type arguments of type PossibleGenericSymbol

Modifier and Type	Class	Description
(package private) final class	ParameterisedFunctionCallOrError	Validates that parameterised function call arguments are compatible with substituted parameters.
(package private) final class	ParameterisedTypeOrError	Does the detailed for of checking a specific possible generic symbol.

Methods in org.ek9lang.compiler.phase4 with parameters of type PossibleGenericSymbol

Modifier and Type	Method	Description
void	ParameterisedFunctionCallOrError.accept(PossibleGenericSymbol possibleGenericSymbol)
void	ParameterisedTypeOrError.accept(PossibleGenericSymbol possibleGenericSymbol)

Uses of PossibleGenericSymbol in org.ek9lang.compiler.phase5.construction

Methods in org.ek9lang.compiler.phase5.construction that return types with arguments of type PossibleGenericSymbol

Modifier and Type	Method	Description
List<PossibleGenericSymbol>	Parameterisations.all()	Every concrete parameterisation of a developer's generic that exists in the program.
List<PossibleGenericSymbol>	Parameterisations.concreteOf(PossibleGenericSymbol generic)	The concrete parameterisations of a generic, in a stable order.
(package private) Optional<PossibleGenericSymbol>	Parameterisations.lookup(PossibleGenericSymbol generic, List<ISymbol> arguments)	The existing parameterisation of a generic with exactly these (concrete) arguments, if there is one.

Methods in org.ek9lang.compiler.phase5.construction with parameters of type PossibleGenericSymbol

Modifier and Type	Method	Description
List<PossibleGenericSymbol>	Parameterisations.concreteOf(PossibleGenericSymbol generic)	The concrete parameterisations of a generic, in a stable order.
(package private) Optional<PossibleGenericSymbol>	Parameterisations.lookup(PossibleGenericSymbol generic, List<ISymbol> arguments)	The existing parameterisation of a generic with exactly these (concrete) arguments, if there is one.

Uses of PossibleGenericSymbol in org.ek9lang.compiler.phase7

Classes in org.ek9lang.compiler.phase7 that implement interfaces with type arguments of type PossibleGenericSymbol

Modifier and Type	Class	Description
final class	MonomorphizationScenarioDetector	Detects which monomorphization scenario applies to a parameterized type.

Fields in org.ek9lang.compiler.phase7 declared as PossibleGenericSymbol

Modifier and Type	Field	Description
(package private) PossibleGenericSymbol	Scenario2WrapperHelper.parameterizedAggregate

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

Modifier and Type	Method	Description
MonomorphizationScenarioDetector.Scenario	MonomorphizationScenarioDetector.apply(PossibleGenericSymbol parameterizedType)
IRConstruct	Scenario2WrapperIRGenerator.generate(PossibleGenericSymbol parameterizedType)	Generate the complete IR construct for a Scenario 2 delegation wrapper.
IRConstruct	Scenario3SourceIRGenerator.generate(PossibleGenericSymbol parameterizedType)	Generate the complete IR construct for a Scenario 3 user-defined parameterized type.

Uses of PossibleGenericSymbol in org.ek9lang.compiler.support

Classes in org.ek9lang.compiler.support that implement interfaces with type arguments of type PossibleGenericSymbol

Modifier and Type	Class	Description
class	InternalNameFor	Given some sort of generic type a function or a type with a set of 'type parameters', create a unique internal name for that combination.
class	ParameterizedSymbolCreator	This will just create an Aggregate/Function 'parameterized type' of the 'generic type' with the 'type arguments' But note it will have not - repeat NOT have - traversed the 'generic type' and cloned over the methods and altered all the 'T', 'K', 'V' - 'type parameters' for each of the 'type arguments' There is a separate function (TypeSubstitution) that does that.
class	ParameterizedSymbolCreator	This will just create an Aggregate/Function 'parameterized type' of the 'generic type' with the 'type arguments' But note it will have not - repeat NOT have - traversed the 'generic type' and cloned over the methods and altered all the 'T', 'K', 'V' - 'type parameters' for each of the 'type arguments' There is a separate function (TypeSubstitution) that does that.
class	TypeSubstitution	Accepts an aggregate or a function that has been parameterized with 'type arguments'.
final class	ValidPossibleGenericSymbolOrException	Does a few checks on a PossibleGenericSymbol in terms of checking types and the generic type it is configured with.

Methods in org.ek9lang.compiler.support that return PossibleGenericSymbol

Modifier and Type	Method	Description
PossibleGenericSymbol	ParameterizedSymbolCreator.apply(PossibleGenericSymbol possibleGenericSymbol, List<ISymbol> typeArguments)
PossibleGenericSymbol	TypeSubstitution.apply(PossibleGenericSymbol parameterisedSymbol)
PossibleGenericSymbol	GenericInGenericData.dependent()	Returns the value of the dependent record component.
PossibleGenericSymbol	SymbolFactory.newParameterisedSymbol(PossibleGenericSymbol genericType, List<ISymbol> typeArguments)
PossibleGenericSymbol	GenericInGenericData.parent()	Returns the value of the parent record component.

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

Modifier and Type	Method	Description
static Optional<PossibleGenericSymbol>	TargetTypedConstruction.forCall(SymbolsAndScopes symbolsAndScopes, EK9Parser.CallContext call, ISymbol generic)	The parameterisation a bare G() at this call is completed to from its declared target, if it has one.
static Optional<PossibleGenericSymbol>	TargetTypedConstruction.parameterisationOf(ISymbol generic, ISymbol target)	THE strict condition: the target type is a parameterisation of exactly this generic (not a sub or super type).

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

Modifier and Type	Method	Description
void	ValidPossibleGenericSymbolOrException.accept(PossibleGenericSymbol possibleGenericSymbol)
String	InternalNameFor.apply(PossibleGenericSymbol possibleGenericSymbol, List<ISymbol> typeArguments)
PossibleGenericSymbol	ParameterizedSymbolCreator.apply(PossibleGenericSymbol possibleGenericSymbol, List<ISymbol> typeArguments)
PossibleGenericSymbol	TypeSubstitution.apply(PossibleGenericSymbol parameterisedSymbol)
static boolean	GenericBodyReference.isDependentOf(PossibleGenericSymbol generic, ISymbol symbol)	True when the symbol is a dependent reference of the generic - see the class description.
PossibleGenericSymbol	SymbolFactory.newParameterisedSymbol(PossibleGenericSymbol genericType, List<ISymbol> typeArguments)
ISymbol	ConceptualTypeReplacement.rebuild(PositionalConceptualLookupMapping.Mapping typeMapping, PossibleGenericSymbol forType, IToken triggeredByToken)	Rebuild a parameterised type against concrete type arguments, unconditionally.
void	TypeSubstitution.substituteLateReference(PossibleGenericSymbol genericSymbol, PossibleGenericSymbol reference)	THE late generic-in-generic reference: a parameterised type that a generic's body makes by INFERENCE during FULL_RESOLUTION (List(item), [item] or {key: item} inferring a List of T) is a dependent of that generic exactly as a declared List of T is (phase 2 records those, before any substitution).

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

Modifier	Constructor	Description
	GenericInGenericData(PossibleGenericSymbol parent, PossibleGenericSymbol dependent)	Creates an instance of a GenericInGenericData record class.

Constructor parameters in org.ek9lang.compiler.support with type arguments of type PossibleGenericSymbol

Modifier	Constructor	Description
	ConceptualTypeReplacement(BiFunction<PossibleGenericSymbol, IToken, ISymbol> onParameterisedType)	Construct the replacement with the action to apply to each rebuilt parameterised type.
	ParameterizedSymbolCreator(BiFunction<PossibleGenericSymbol, List<ISymbol>, String> internalNameFor)
	TypeSubstitution(Function<PossibleGenericSymbol, ResolvedOrDefineResult> resolveOrDefine, SemanticErrorReporter errorListener)	Construct a type substitutor.

Uses of PossibleGenericSymbol in org.ek9lang.compiler.symbols

Subclasses of PossibleGenericSymbol in org.ek9lang.compiler.symbols

Modifier and Type	Class	Description
class	AggregateSymbol	This is typically a 'class' or an interface type where it can include the definitions of new properties.
class	AggregateWithTraitsSymbol	An aggregate, but one that can have zero or more traits (like interfaces).
class	AnyTypeSymbol	Special type that is super of Aggregate and super of Function (if they don't have supers).
class	FunctionSymbol	Scope for functions that are part of a module.

Methods in org.ek9lang.compiler.symbols that return PossibleGenericSymbol

Modifier and Type	Method	Description
protected PossibleGenericSymbol	PossibleGenericSymbol.cloneIntoPossibleGenericSymbol(PossibleGenericSymbol newCopy)

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

Modifier and Type	Method	Description
List<PossibleGenericSymbol>	ICanBeGeneric.getGenericSymbolReferences()	Used to keep track of any generic types/functions used in a generic type that use some or all of the generic type parameters or arguments.
List<PossibleGenericSymbol>	PossibleGenericSymbol.getGenericSymbolReferences()
Optional<PossibleGenericSymbol>	ICanBeGeneric.getGenericType()	Not only can a class/function that implements this interface be generic in nature, they can also be a 'parameterised type'.
Optional<PossibleGenericSymbol>	PossibleGenericSymbol.getGenericType()
List<PossibleGenericSymbol>	PossibleGenericSymbol.getSubstitutedParameterisations()	The parameterisations of this generic substituted so far - see PossibleGenericSymbol.addSubstitutedParameterisation(PossibleGenericSymbol).

Methods in org.ek9lang.compiler.symbols with parameters of type PossibleGenericSymbol

Modifier and Type	Method	Description
void	ModuleScope.addGenericInGenericReference(PossibleGenericSymbol genericSymbol, PossibleGenericSymbol reference, SemanticErrorReporter errorListener)	Record that a generic type or function's body makes, by INFERENCE in FULL_RESOLUTION, a parameterised type that is still conceptual in the generic's own type parameters (a generic-in-generic reference), and bring it through for every parameterisation of the generic already substituted - see TypeSubstitution.substituteLateReference(PossibleGenericSymbol, PossibleGenericSymbol).
void	ICanBeGeneric.addGenericSymbolReference(PossibleGenericSymbol genericSymbolReference)	Provides a mechanism to record 'dependent generic types'.
void	PossibleGenericSymbol.addGenericSymbolReference(PossibleGenericSymbol genericSymbolReference)	Add a reference to a parameterised function.
void	PossibleGenericSymbol.addSubstitutedParameterisation(PossibleGenericSymbol parameterisation)	Record a parameterisation of this generic as substituted.
protected PossibleGenericSymbol	PossibleGenericSymbol.cloneIntoPossibleGenericSymbol(PossibleGenericSymbol newCopy)
Optional<ISymbol>	ModuleScope.resolveOrDefine(PossibleGenericSymbol parameterisedSymbol, SemanticErrorReporter errorListener)	Used when resolving or needing to define a parameterised type, like 'List of String' for example.
void	PossibleGenericSymbol.setGenericType(PossibleGenericSymbol genericType)

Method parameters in org.ek9lang.compiler.symbols with type arguments of type PossibleGenericSymbol

Modifier and Type	Method	Description
void	PossibleGenericSymbol.setGenericType(Optional<PossibleGenericSymbol> genericType)	Used parameterizing a generic type with type arguments.