Package org.ek9lang.compiler.symbols

Class ScopedSymbol

java.lang.Object

org.ek9lang.compiler.symbols.Symbol

org.ek9lang.compiler.symbols.ScopedSymbol

All Implemented Interfaces:

Serializable, IScope, IScopedSymbol, ISymbol, ITokenReference

Direct Known Subclasses:

CaptureScopedSymbol, ControlSymbol, ForSymbol, MethodSymbol, StackConsistencyScope, WhileSymbol

public class ScopedSymbol
extends Symbol
implements IScopedSymbol

Represents a symbol that also has a scope. Typically, this means it can have variables, methods and function declared within it. But also includes block scoped constructs like for loops for example. It's turning into a bit of a 'bitbucket' because I don't really want duplication at the FunctionSymbol and AggregateSymbol level. So some things like CaptureVariables are not really applicable (yet). But I may use them later for other constructs and controls. I may refactor the generic bits out to a new Symbol type between ScopedSymbol and Symbol

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
ScopedSymbol(String name, Optional<ISymbol> type, IScope enclosingScope)
ScopedSymbol(String name, IScope enclosingScope)
ScopedSymbol(IScope.ScopeType scopeType, String scopeName, IScope enclosingScope)

Method Summary

Modifier and Type	Method	Description
ScopedSymbol	clone(IScope withParentAsAppropriate)	Clone the symbol and re-parent if this symbol like a method should have a parent.
protected ScopedSymbol	cloneIntoScopeSymbol(ScopedSymbol newCopy)
ScopedSymbol	copyScopedSymbolProperties(ScopedSymbol newCopy)	Just copies the properties over.
void	define(ISymbol symbol)	Define a Symbol in this scope.
boolean	equals(Object o)
Optional<ScopedSymbol>	findNearestDynamicBlockScopeInEnclosingScopes()
Optional<ScopedSymbol>	findNearestNonBlockScopeInEnclosingScopes()
LocalScope	getActualScope()
List<ISymbol>	getAllSymbolsMatchingName(String symbolName)	Return a list of all the symbols that match the name.
Optional<IScope>	getAnySuperTypeOrFunction()
IScope	getEnclosingScope()
IToken	getEncounteredExceptionToken()
String	getFriendlyScopeName()	Useful for printing out errors and information.
Optional<IScopedSymbol>	getOuterMostTypeOrFunction()
String	getScopeName()
IScope.ScopeType	getScopeType()
List<ISymbol>	getSymbolsForThisScope()	Provide a list of all the parameters held in this scope and only this scope.
int	hashCode()
boolean	isMarkedPure()	This symbol itself can be marked as pure - i.e.
boolean	isMutable()	Even constants can be mutable until set.
boolean	isNotMarkedPure()
boolean	isScopeAMatchForEnclosingScope(IScope toCheck)
boolean	isTerminatedNormally()	Typically in a scoped block we can encounter situations (like exceptions) that cause the block to end (terminate) early.
Optional<ISymbol>	resolve(SymbolSearch search)	Find the nearest symbol of that name up the scope tree.
Optional<ISymbol>	resolveInThisScopeOnly(SymbolSearch search)	Just look in own scope.
MethodSymbolSearchResult	resolveMatchingMethods(MethodSymbolSearch search, MethodSymbolSearchResult result)	Looks in scope and parent scopes.
MethodSymbolSearchResult	resolveMatchingMethodsInThisScopeOnly(MethodSymbolSearch search, MethodSymbolSearchResult result)	Look in own scope just for methods and return all those that could match.
Optional<ISymbol>	resolveMember(SymbolSearch search)	Just resolve on this or supers/traits - but not anything outside of the class hierarchy.
Optional<ISymbol>	resolveWithParentScope(SymbolSearch search)	Resolve with super type/function or via enclosing scope.
void	setEncounteredExceptionToken(IToken encounteredExceptionToken)
void	setMarkedPure(boolean markedPure)
void	setOuterMostTypeOrFunction(IScopedSymbol outerMostTypeOrFunction)
void	setScopeType(IScope.ScopeType scopeType)

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

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

Methods inherited from class java.lang.Object

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

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

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

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

setSourceToken

Constructor Details

ScopedSymbol

public ScopedSymbol(String name,
 IScope enclosingScope)

ScopedSymbol

public ScopedSymbol(IScope.ScopeType scopeType,
 String scopeName,
 IScope enclosingScope)

ScopedSymbol

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

Method Details

clone

public ScopedSymbol 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 IScope

Specified by:

clone in interface IScopedSymbol

Specified by:

clone in interface ISymbol

Overrides:

clone in class Symbol

cloneIntoScopeSymbol

protected ScopedSymbol cloneIntoScopeSymbol(ScopedSymbol newCopy)

copyScopedSymbolProperties

public ScopedSymbol copyScopedSymbolProperties(ScopedSymbol newCopy)

Just copies the properties over.

getOuterMostTypeOrFunction

public Optional<IScopedSymbol> getOuterMostTypeOrFunction()

setOuterMostTypeOrFunction

public void setOuterMostTypeOrFunction(IScopedSymbol outerMostTypeOrFunction)

getActualScope

public LocalScope getActualScope()

getScopeType

public IScope.ScopeType getScopeType()

Specified by:

getScopeType in interface IScope

setScopeType

public void setScopeType(IScope.ScopeType scopeType)

resolveWithParentScope

public Optional<ISymbol> resolveWithParentScope(SymbolSearch search)

Resolve with super type/function or via enclosing scope.

isMarkedPure

public boolean isMarkedPure()

Description copied from interface: ISymbol

This symbol itself can be marked as pure - i.e. an operator with no side effects.

Specified by:

isMarkedPure in interface IScope

Specified by:

isMarkedPure in interface ISymbol

Overrides:

isMarkedPure in class Symbol

Returns:

true if pure, false otherwise. By default, false - lets assume the worst.

isNotMarkedPure

public boolean isNotMarkedPure()

setMarkedPure

public void setMarkedPure(boolean markedPure)

Overrides:

setMarkedPure in class Symbol

isMutable

public boolean isMutable()

Description copied from interface: ISymbol

Even constants can be mutable until set. then they change to being none mutable. Likewise in 'pure' scopes a variable can be mutable until it is first set then none mutable.

Specified by:

isMutable in interface ISymbol

Overrides:

isMutable in class Symbol

Returns:

If this symbol is mutable or not.

isTerminatedNormally

public boolean isTerminatedNormally()

Description copied from interface: IScope

Typically in a scoped block we can encounter situations (like exceptions) that cause the block to end (terminate) early.

Specified by:

isTerminatedNormally in interface IScope

getEncounteredExceptionToken

public IToken getEncounteredExceptionToken()

Specified by:

getEncounteredExceptionToken in interface IScope

setEncounteredExceptionToken

public void setEncounteredExceptionToken(IToken encounteredExceptionToken)

Specified by:

setEncounteredExceptionToken in interface IScope

getScopeName

public String getScopeName()

Specified by:

getScopeName in interface IScope

getFriendlyScopeName

public String getFriendlyScopeName()

Description copied from interface: IScope

Useful for printing out errors and information. The scope name might be a complex generated name used internally a bit like symbol names are. So some items are both scopes and symbols - so ideally we'd want to use a friendly name where possible.

Specified by:

getFriendlyScopeName in interface IScope

Returns:

The friendly name to be used for the developer.

define

public void define(ISymbol symbol)

Description copied from interface: IScope

Define a Symbol in this scope.

Specified by:

define in interface IScope

getEnclosingScope

public IScope getEnclosingScope()

Specified by:

getEnclosingScope in interface IScope

getAnySuperTypeOrFunction

public Optional<IScope> getAnySuperTypeOrFunction()

getSymbolsForThisScope

public List<ISymbol> getSymbolsForThisScope()

Description copied from interface: IScope

Provide a list of all the parameters held in this scope and only this scope.

Specified by:

getSymbolsForThisScope in interface IScope

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

resolveMatchingMethods

public MethodSymbolSearchResult resolveMatchingMethods(MethodSymbolSearch search,
 MethodSymbolSearchResult result)

Description copied from interface: IScope

Looks in scope and parent scopes.

Specified by:

resolveMatchingMethods in interface IScope

resolveMatchingMethodsInThisScopeOnly

public MethodSymbolSearchResult resolveMatchingMethodsInThisScopeOnly(MethodSymbolSearch search,
 MethodSymbolSearchResult result)

Description copied from interface: IScope

Look in own scope just for methods and return all those that could match. ideally there would be one in the case of ambiguities there will be more.

Specified by:

resolveMatchingMethodsInThisScopeOnly in interface IScope

resolveInThisScopeOnly

public Optional<ISymbol> resolveInThisScopeOnly(SymbolSearch search)

Description copied from interface: IScope

Just look in own scope.

Specified by:

resolveInThisScopeOnly in interface IScope

resolve

public Optional<ISymbol> resolve(SymbolSearch search)

Description copied from interface: IScope

Find the nearest symbol of that name up the scope tree.

Specified by:

resolve in interface IScope

resolveMember

public Optional<ISymbol> resolveMember(SymbolSearch search)

Description copied from interface: IScope

Just resolve on this or supers/traits - but not anything outside of the class hierarchy.

Specified by:

resolveMember in interface IScope

findNearestNonBlockScopeInEnclosingScopes

public Optional<ScopedSymbol> findNearestNonBlockScopeInEnclosingScopes()

Specified by:

findNearestNonBlockScopeInEnclosingScopes in interface IScope

findNearestDynamicBlockScopeInEnclosingScopes

public Optional<ScopedSymbol> findNearestDynamicBlockScopeInEnclosingScopes()

Specified by:

findNearestDynamicBlockScopeInEnclosingScopes in interface IScope

isScopeAMatchForEnclosingScope

public boolean isScopeAMatchForEnclosingScope(IScope toCheck)

Specified by:

isScopeAMatchForEnclosingScope in interface IScope

equals

public boolean equals(Object o)

Overrides:

equals in class Symbol

hashCode

public int hashCode()

Overrides:

hashCode in class Symbol