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.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 with parameters of type PossibleGenericSymbol

Modifier and Type	Method	Description
Optional<ISymbol>	SymbolsAndScopes.resolveOrDefine(PossibleGenericSymbol parameterisedSymbol, ErrorListener errorListener)

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	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	ParameterisedTypeOrError.accept(PossibleGenericSymbol possibleGenericSymbol)

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'.

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 with parameters of type PossibleGenericSymbol

Modifier and Type	Method	Description
String	InternalNameFor.apply(PossibleGenericSymbol possibleGenericSymbol, List<ISymbol> typeArguments)
PossibleGenericSymbol	ParameterizedSymbolCreator.apply(PossibleGenericSymbol possibleGenericSymbol, List<ISymbol> typeArguments)
PossibleGenericSymbol	TypeSubstitution.apply(PossibleGenericSymbol parameterisedSymbol)
PossibleGenericSymbol	SymbolFactory.newParameterisedSymbol(PossibleGenericSymbol genericType, List<ISymbol> typeArguments)

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
	ParameterizedSymbolCreator(BiFunction<PossibleGenericSymbol,List<ISymbol>,String> internalNameFor)
	TypeSubstitution(Function<PossibleGenericSymbol,ResolvedOrDefineResult> resolveOrDefine, ErrorListener 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()

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

Modifier and Type	Method	Description
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.
protected PossibleGenericSymbol	PossibleGenericSymbol.cloneIntoPossibleGenericSymbol(PossibleGenericSymbol newCopy)
Optional<ISymbol>	ModuleScope.resolveOrDefine(PossibleGenericSymbol parameterisedSymbol, ErrorListener 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.