Package org.ek9lang.compiler.symbols

Class AggregateSymbol

java.lang.Object

org.ek9lang.compiler.symbols.Symbol

org.ek9lang.compiler.symbols.ScopedSymbol

org.ek9lang.compiler.symbols.CaptureScopedSymbol

org.ek9lang.compiler.symbols.PossibleGenericSymbol

org.ek9lang.compiler.symbols.AggregateSymbol

All Implemented Interfaces:

Serializable, IAggregateSymbol, ICanBeGeneric, ICanCaptureVariables, IScope, IScopedSymbol, ISymbol, ITokenReference

Direct Known Subclasses:

AggregateWithTraitsSymbol

public class AggregateSymbol
extends PossibleGenericSymbol
implements IAggregateSymbol, Serializable

This is typically a 'class' or an interface type where it can include the definitions of new properties. These can then be made accessible via the symbol table to its methods. But note there is also a single super 'AggregateSymbol' that maps to a super class so here the resolve can access variables in the super class. i.e. we only support single inheritance - but see AggregateWithTraitsSymbol for 'traits' support. I've also added in a mechanism to parameterize the aggregate like Java generics. In general the resolution would be able to resolve variables in the enclosing scope because that will be module level in EK9, there are new global types and global constants that can appear to exist in the package (module) level scope. So for example it is possible to reference a 'constant' or a 'type' that is defined in the same module or if another module is drawn in through 'references'. In reality (when creating the Java code) the constants and types can just be public statics on a class. For example module "the.mod" that defines Constants could have a class called the.mod._Constants with public final statics defined. So there are two ways to resolve references first is module scope and second is super class type scope.

See Also:

• Serialized Form

Nested Class Summary

Nested classes/interfaces inherited from interface org.ek9lang.compiler.symbols.IScope

IScope.ScopeType

Nested classes/interfaces inherited from interface org.ek9lang.compiler.symbols.ISymbol

ISymbol.SymbolCategory, ISymbol.SymbolGenus

Field Summary

Fields inherited from interface org.ek9lang.compiler.symbols.ISymbol

NOT_ASSIGNABLE

Constructor Summary

Constructors

Constructor	Description
AggregateSymbol(String name, Optional<ISymbol> type, IScope enclosingScope)	A simple straight forward aggregate type, like a class or record.
AggregateSymbol(String name, IScope enclosingScope)	A simple straight forward aggregate type, like a class or record.
AggregateSymbol(String name, IScope enclosingScope, List<ISymbol> typeParameterOrArguments)	An aggregate that can be parameterised, i.e.

Method Summary

Modifier and Type	Method	Description
void	addSubAggregateSymbol(IAggregateSymbol sub)	We note down any subtypes this type is used with.
protected void	addTraitsIfNotPresent(List<AggregateWithTraitsSymbol> exiting, List<AggregateWithTraitsSymbol> additions)
AggregateSymbol	clone(IScope withParentAsAppropriate)	Clone the symbol and re-parent if this symbol like a method should have a parent.
protected AggregateSymbol	cloneIntoAggregateSymbol(AggregateSymbol newCopy)
void	define(ISymbol symbol)	Define a Symbol in this scope.
boolean	equals(Object o)
String	getAggregateDescription()	Typically used for synthetically generated aggregates.
List<MethodSymbol>	getAllAbstractMethods()	Gets all abstract methods in this aggregate and any super classes.
List<MethodSymbol>	getAllAbstractMethodsInThisScopeOnly()	Get all methods in this scope only that are abstract.
List<MethodSymbol>	getAllMethodInThisScopeOnly()	All methods abstract and non-abstract in this scope.
List<MethodSymbol>	getAllMethods()	Get all methods on this and any supers or traits.
List<MethodSymbol>	getAllNonAbstractMethods()	Get all methods not marked as abstract in this or any supers.
List<MethodSymbol>	getAllNonAbstractMethodsInThisScopeOnly()	Get all methods in this scope only that are not abstract.
List<MethodSymbol>	getAllOperators()	Get all operators on this and any supers or traits.
List<ISymbol>	getAllSymbolsMatchingName(String symbolName)	Return a list of all the symbols that match the name.
List<AggregateWithTraitsSymbol>	getAllTraits()
Optional<IScope>	getAnySuperTypeOrFunction()
List<MethodSymbol>	getConstructors()	A list of all the defined constructors.
String	getFriendlyName()	Provides a friendly name of this aggregate that could be presented to the developer.
Optional<String>	getPipeSinkType()
Optional<String>	getPipeSourceType()
List<ISymbol>	getProperties()	Provides access to the properties on this aggregate - but only this aggregate.
List<IAggregateSymbol>	getSubAggregateSymbols()	To get a full hierarchy you will need to get these subclasses and then get the subclasses of those.
Optional<IAggregateSymbol>	getSuperAggregate()
Optional<ISymbol>	getType()
double	getUnCoercedAssignableWeightTo(ISymbol s)
int	hashCode()
boolean	hasImmediateSuper(IAggregateSymbol theSuper)
boolean	isExtensionOfInjectable()	While this aggregate itself might not able been marked as injectable Does this extend an aggregate that is marked as injectable.
boolean	isImplementingInSomeWay(IAggregateSymbol aggregate)	Only really used by aggregates that can have one or more traits.
boolean	isInAggregateHierarchy(IAggregateSymbol theAggregateToCheck)	Does the aggregate passed in exist in this type hierarchy.
boolean	isInjectable()	Some classes generated can be injected and others not.
boolean	isMarkedAsDispatcher()	Is this aggregate a dispatcher or just a normal class component whatever.
MethodSymbolSearchResult	resolveMatchingMethods(MethodSymbolSearch search, MethodSymbolSearchResult result)	Looks in scope and parent scopes.
Optional<ISymbol>	resolveMember(SymbolSearch search)	Just try and resolve a member in this or super scopes.
void	setAggregateDescription(String aggregateDescription)	Typically used for synthetically generated aggregates.
void	setInjectable(boolean injectable)
void	setMarkedAsDispatcher(boolean markedAsDispatcher)
void	setName(String name)
void	setPipeSinkType(Optional<String> pipeSinkType)
void	setPipeSourceType(Optional<String> pipeSourceType)
void	setSuperAggregate(Optional<IAggregateSymbol> superAggregate)	Set the 'super' of this type.
void	setSuperAggregate(IAggregateSymbol baseSymbol)
ISymbol	setType(Optional<ISymbol> type)

Methods inherited from class org.ek9lang.compiler.symbols.PossibleGenericSymbol

addGenericSymbolReference, addTypeParameterOrArgument, cloneIntoPossibleGenericSymbol, getAnyConceptualTypeParameters, getAnyGenericParamsAsFriendlyNames, getGenericSymbolReferences, getGenericType, getTypeParameterOrArguments, isConceptualTypeParameter, isGenericInNature, isOpenForExtension, isParameterisedType, resolve, resolveFromParameterTypes, resolveInThisScopeOnly, setConceptualTypeParameter, setGenericType, setGenericType, setOpenForExtension

Methods inherited from class org.ek9lang.compiler.symbols.CaptureScopedSymbol

cloneIntoCaptureScopedSymbol, getCapturedVariables, getModuleScope, getPrivateVariablesForDisplay, isMarkedAbstract, resolveExcludingCapturedVariables, setCapturedVariables, setCapturedVariables, setCapturedVariablesVisibility, setMarkedAbstract, setModuleScope

Methods inherited from class org.ek9lang.compiler.symbols.ScopedSymbol

cloneIntoScopeSymbol, copyScopedSymbolProperties, findNearestDynamicBlockScopeInEnclosingScopes, findNearestNonBlockScopeInEnclosingScopes, getActualScope, getEnclosingScope, getEncounteredExceptionToken, getFriendlyScopeName, getOuterMostTypeOrFunction, getScopeName, getScopeType, getSymbolsForThisScope, isMarkedPure, isMutable, isNotMarkedPure, isScopeAMatchForEnclosingScope, isTerminatedNormally, resolveMatchingMethodsInThisScopeOnly, resolveWithParentScope, setEncounteredExceptionToken, setMarkedPure, setOuterMostTypeOrFunction, setScopeType

Methods inherited from class org.ek9lang.compiler.symbols.Symbol

clearInitialisedBy, cloneIntoSymbol, copySymbolProperties, getAssignableWeightTo, getAssignableWeightTo, getCategory, getFullyQualifiedName, getGenus, getInitialisedBy, getName, getParsedModule, getProduceFullyQualifiedName, getSourceToken, getSquirrelledData, getSymbolTypeAsString, isAssignableTo, isAssignableTo, isDevSource, isEk9Core, isExactSameType, isInjectionExpected, isLibSource, isNullAllowed, isPromotionSupported, isReferenced, putSquirrelledData, setCategory, setEk9Core, setGenus, setInitialisedBy, setInjectionExpected, setNotMutable, setNullAllowed, setParsedModule, setProduceFullyQualifiedName, setReferenced, setSourceToken, toString

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Methods inherited from interface org.ek9lang.compiler.symbols.IAggregateSymbol

getAllExtensionConstrainedTraits, getName, getScopeType, getTraits, isExtensionConstrained

Methods inherited from interface org.ek9lang.compiler.symbols.ICanBeGeneric

addGenericSymbolReference, addTypeParameterOrArgument, getAnyConceptualTypeParameters, getGenericSymbolReferences, getGenericType, getTypeParameterOrArguments, isOpenForExtension

Methods inherited from interface org.ek9lang.compiler.symbols.IScope

findNearestDynamicBlockScopeInEnclosingScopes, findNearestNonBlockScopeInEnclosingScopes, getEnclosingScope, getEncounteredExceptionToken, getFriendlyScopeName, getScopeName, getSymbolsForThisScope, isMarkedPure, isScopeAMatchForEnclosingScope, isTerminatedNormally, resolve, resolveInThisScopeOnly, resolveMatchingMethodsInThisScopeOnly, setEncounteredExceptionToken

Methods inherited from interface org.ek9lang.compiler.symbols.ISymbol

clearInitialisedBy, getAssignableWeightTo, getAssignableWeightTo, getCategory, getFullyQualifiedName, getGenus, getInitialisedBy, getParsedModule, getSourceToken, getSquirrelledData, isApplication, isAssignableTo, isAssignableTo, isConceptualTypeParameter, isConstant, isControl, isDeclaredAsConstant, isDevSource, isEk9Core, isExactSameType, isFromLiteral, isFunction, isGenericInNature, isIncomingParameter, isInitialised, isInjectionExpected, isLibSource, isLoopVariable, isMarkedAbstract, isMarkedPure, isMethod, isMutable, isNullAllowed, isParameterisedType, isPrimitiveType, isPrivate, isPromotionSupported, isPropertyField, isProtected, isPublic, isReferenced, isReturningParameter, isTemplateFunction, isTemplateType, isType, isVariable, putSquirrelledData, setGenus, setInitialisedBy, setInjectionExpected, setNotMutable, setNullAllowed, setParsedModule, setReferenced, setType

Methods inherited from interface org.ek9lang.compiler.symbols.ITokenReference

setSourceToken

Constructor Details

AggregateSymbol

public AggregateSymbol(String name,
 IScope enclosingScope)

A simple straight forward aggregate type, like a class or record.

AggregateSymbol

public AggregateSymbol(String name,
 Optional<ISymbol> type,
 IScope enclosingScope)

A simple straight forward aggregate type, like a class or record.

AggregateSymbol

public AggregateSymbol(String name,
 IScope enclosingScope,
 List<ISymbol> typeParameterOrArguments)

An aggregate that can be parameterised, i.e. like a 'List of T' So the name would be 'List' and the parameterTypes would be a single aggregate of a conceptual T.

Method Details

clone

public AggregateSymbol clone(IScope withParentAsAppropriate)

Description copied from interface: ISymbol

Clone the symbol and re-parent if this symbol like a method should have a parent. Other symbols like VariableSymbols are un-parented

Specified by:

clone in interface IAggregateSymbol

Specified by:

clone in interface IScope

Specified by:

clone in interface IScopedSymbol

Specified by:

clone in interface ISymbol

Overrides:

clone in class PossibleGenericSymbol

cloneIntoAggregateSymbol

protected AggregateSymbol cloneIntoAggregateSymbol(AggregateSymbol newCopy)

setName

public void setName(String name)

Specified by:

setName in interface ISymbol

Overrides:

setName in class Symbol

define

public void define(ISymbol symbol)

Description copied from interface: IScope

Define a Symbol in this scope.

Specified by:

define in interface IScope

Overrides:

define in class ScopedSymbol

getAnySuperTypeOrFunction

public Optional<IScope> getAnySuperTypeOrFunction()

Overrides:

getAnySuperTypeOrFunction in class ScopedSymbol

getFriendlyName

public String getFriendlyName()

Provides a friendly name of this aggregate that could be presented to the developer.

Specified by:

getFriendlyName in interface ISymbol

Overrides:

getFriendlyName in class PossibleGenericSymbol

Returns:

The friendly name - especially useful for anonymous dynamic types.

getAggregateDescription

public String getAggregateDescription()

Typically used for synthetically generated aggregates.

Specified by:

getAggregateDescription in interface IAggregateSymbol

Returns:

A description or the friendly name of no description has been set.

setAggregateDescription

public void setAggregateDescription(String aggregateDescription)

Typically used for synthetically generated aggregates.

getPipeSinkType

public Optional<String> getPipeSinkType()

Specified by:

getPipeSinkType in interface IAggregateSymbol

setPipeSinkType

public void setPipeSinkType(Optional<String> pipeSinkType)

getPipeSourceType

public Optional<String> getPipeSourceType()

setPipeSourceType

public void setPipeSourceType(Optional<String> pipeSourceType)

isMarkedAsDispatcher

public boolean isMarkedAsDispatcher()

Description copied from interface: IAggregateSymbol

Is this aggregate a dispatcher or just a normal class component whatever.

Specified by:

isMarkedAsDispatcher in interface IAggregateSymbol

Returns:

true if marked as a dispatcher.

setMarkedAsDispatcher

public void setMarkedAsDispatcher(boolean markedAsDispatcher)

isInjectable

public boolean isInjectable()

Description copied from interface: ISymbol

Some classes generated can be injected and others not.

Specified by:

isInjectable in interface ISymbol

Returns:

true if this can be injected, false if not.

setInjectable

public void setInjectable(boolean injectable)

getSubAggregateSymbols

public List<IAggregateSymbol> getSubAggregateSymbols()

Description copied from interface: IAggregateSymbol

To get a full hierarchy you will need to get these subclasses and then get the subclasses of those.

Specified by:

getSubAggregateSymbols in interface IAggregateSymbol

Returns:

a list of all the subclasses of this class

addSubAggregateSymbol

public void addSubAggregateSymbol(IAggregateSymbol sub)

We note down any subtypes this type is used with.

Specified by:

addSubAggregateSymbol in interface IAggregateSymbol

Parameters:

sub - The sub-class to point back to.

getAllAbstractMethods

public List<MethodSymbol> getAllAbstractMethods()

Gets all abstract methods in this aggregate and any super classes.

Specified by:

getAllAbstractMethods in interface IAggregateSymbol

Returns:

A list of all the methods marked as abstract.

getProperties

public List<ISymbol> getProperties()

Provides access to the properties on this aggregate - but only this aggregate.

Specified by:

getProperties in interface IAggregateSymbol

Returns:

The list of properties.

getConstructors

public List<MethodSymbol> getConstructors()

Description copied from interface: IAggregateSymbol

A list of all the defined constructors.

Specified by:

getConstructors in interface IAggregateSymbol

Returns:

The list of constructors

getAllMethods

public List<MethodSymbol> getAllMethods()

Description copied from interface: IAggregateSymbol

Get all methods on this and any supers or traits.

Specified by:

getAllMethods in interface IAggregateSymbol

Returns:

the list

getAllOperators

public List<MethodSymbol> getAllOperators()

Description copied from interface: IAggregateSymbol

Get all operators on this and any supers or traits.

Specified by:

getAllOperators in interface IAggregateSymbol

Returns:

the list

getAllNonAbstractMethods

public List<MethodSymbol> getAllNonAbstractMethods()

Description copied from interface: IAggregateSymbol

Get all methods not marked as abstract in this or any supers.

Specified by:

getAllNonAbstractMethods in interface IAggregateSymbol

Returns:

The list.

getAllNonAbstractMethodsInThisScopeOnly

public List<MethodSymbol> getAllNonAbstractMethodsInThisScopeOnly()

Description copied from interface: IAggregateSymbol

Get all methods in this scope only that are not abstract.

Specified by:

getAllNonAbstractMethodsInThisScopeOnly in interface IAggregateSymbol

Returns:

The list

getAllAbstractMethodsInThisScopeOnly

public List<MethodSymbol> getAllAbstractMethodsInThisScopeOnly()

Description copied from interface: IAggregateSymbol

Get all methods in this scope only that are abstract.

Specified by:

getAllAbstractMethodsInThisScopeOnly in interface IAggregateSymbol

Returns:

The list

getAllMethodInThisScopeOnly

public List<MethodSymbol> getAllMethodInThisScopeOnly()

Description copied from interface: IAggregateSymbol

All methods abstract and non-abstract in this scope.

Specified by:

getAllMethodInThisScopeOnly in interface IAggregateSymbol

isImplementingInSomeWay

public boolean isImplementingInSomeWay(IAggregateSymbol aggregate)

Description copied from interface: IAggregateSymbol

Only really used by aggregates that can have one or more traits. But also super classes or super traits. So can either be implementing directly, super, super - super or traits and supe traits.

Specified by:

isImplementingInSomeWay in interface IAggregateSymbol

getAllTraits

public List<AggregateWithTraitsSymbol> getAllTraits()

Specified by:

getAllTraits in interface IAggregateSymbol

addTraitsIfNotPresent

protected void addTraitsIfNotPresent(List<AggregateWithTraitsSymbol> exiting,
 List<AggregateWithTraitsSymbol> additions)

isExtensionOfInjectable

public boolean isExtensionOfInjectable()

Description copied from interface: ISymbol

While this aggregate itself might not able been marked as injectable Does this extend an aggregate that is marked as injectable.

Specified by:

isExtensionOfInjectable in interface ISymbol

Returns:

true if this is injectable or any of its supers area

getUnCoercedAssignableWeightTo

public double getUnCoercedAssignableWeightTo(ISymbol s)

Specified by:

getUnCoercedAssignableWeightTo in interface ISymbol

Overrides:

getUnCoercedAssignableWeightTo in class Symbol

getSuperAggregate

public Optional<IAggregateSymbol> getSuperAggregate()

Specified by:

getSuperAggregate in interface IAggregateSymbol

setSuperAggregate

public void setSuperAggregate(Optional<IAggregateSymbol> superAggregate)

Set the 'super' of this type.

Specified by:

setSuperAggregate in interface IAggregateSymbol

setSuperAggregate

public void setSuperAggregate(IAggregateSymbol baseSymbol)

Specified by:

setSuperAggregate in interface IAggregateSymbol

hasImmediateSuper

public boolean hasImmediateSuper(IAggregateSymbol theSuper)

isInAggregateHierarchy

public boolean isInAggregateHierarchy(IAggregateSymbol theAggregateToCheck)

Does the aggregate passed in exist in this type hierarchy. This does include a check that this is the same aggregate.

Specified by:

isInAggregateHierarchy in interface IAggregateSymbol

setType

public ISymbol setType(Optional<ISymbol> type)

Specified by:

setType in interface ISymbol

Overrides:

setType in class Symbol

getType

public Optional<ISymbol> getType()

Specified by:

getType in interface ISymbol

Overrides:

getType in class Symbol

getAllSymbolsMatchingName

public List<ISymbol> getAllSymbolsMatchingName(String symbolName)

Description copied from interface: IScope

Return a list of all the symbols that match the name. So for class and traits this must include supers and traits.

Specified by:

getAllSymbolsMatchingName in interface IScope

Overrides:

getAllSymbolsMatchingName in class ScopedSymbol

resolveMatchingMethods

public MethodSymbolSearchResult resolveMatchingMethods(MethodSymbolSearch search,
 MethodSymbolSearchResult result)

Description copied from interface: IScope

Looks in scope and parent scopes.

Specified by:

resolveMatchingMethods in interface IAggregateSymbol

Specified by:

resolveMatchingMethods in interface IScope

Overrides:

resolveMatchingMethods in class ScopedSymbol

resolveMember

public Optional<ISymbol> resolveMember(SymbolSearch search)

Just try and resolve a member in this or super scopes.

Specified by:

resolveMember in interface IAggregateSymbol

Specified by:

resolveMember in interface IScope

Overrides:

resolveMember in class ScopedSymbol

equals

public boolean equals(Object o)

Overrides:

equals in class PossibleGenericSymbol

hashCode

public int hashCode()

Overrides:

hashCode in class PossibleGenericSymbol