Class StackConsistencyScope

java.lang.Object

org.ek9lang.compiler.symbols.Symbol

org.ek9lang.compiler.symbols.ScopedSymbol

org.ek9lang.compiler.symbols.StackConsistencyScope

All Implemented Interfaces:

Serializable, ICanCaptureVariables, IScope, IScopedSymbol, ISymbol, ISymbolNature, ITokenReference

public class StackConsistencyScope
extends ScopedSymbol
implements ICanCaptureVariables

Used when duplicate symbols are found, where we need to add a placeholder. So the result of the listening and processing can take place, symbols can still be put into some sort of scope; so they don't mess up other valid scopes. The phase will fail compilation with duplicate errors, but we will have ensured that other symbols and processing has been put somewhere.

See Also:

• Serialized Form

Nested Class Summary

Nested classes/interfaces inherited from interface IScope

IScope.ScopeType

Constructor Summary

Constructors

Constructor	Description
StackConsistencyScope(IScope enclosingScope)
StackConsistencyScope(IScope enclosingScope, IScope.ScopeType scopeType)

Method Summary

Modifier and Type	Method	Description
StackConsistencyScope	clone(IScope withParentAsAppropriate)	Clone the symbol and re-parent if this symbol like a method should have a parent.
StackConsistencyScope	cloneIntoStackConsistencyScope(StackConsistencyScope newCopy)	Clones the content of this into the new copy.
boolean	equals(Object o)
Optional<CaptureScope>	getCapturedVariables()	Make the scope that holds the captured variables (if any accessible).
int	hashCode()
Optional<ISymbol>	resolve(SymbolSearch search)	Find the nearest symbol of that name up the scope tree.
Optional<ISymbol>	resolveExcludingCapturedVariables(SymbolSearch search)	Try and resolve a symbol but exclude looking in captured variables.
Optional<ISymbol>	resolveInThisScopeOnly(SymbolSearch search)	Just look in own scope.
void	setCapturedVariables(CaptureScope capturedVariables)	So that a number of variables can be captured when a new dynamic type is defined.

Methods inherited from class ScopedSymbol

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

Methods inherited from class Symbol

clearInitialisedBy, cloneIntoSymbol, copySymbolProperties, getAssignableCostTo, getAssignableCostTo, getCategory, getFriendlyName, getFullyQualifiedName, getGenus, getInitialisedBy, getName, getParsedModule, getProduceFullyQualifiedName, getSourceToken, getSquirrelledData, getSymbolTypeAsString, getType, getUnCoercedAssignableCostTo, 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 Object

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

Methods inherited from interface ISymbol

clearInitialisedBy, getAssignableCostTo, getAssignableCostTo, getFriendlyName, getFullyQualifiedName, getInitialisedBy, getName, getParsedModule, getSourceToken, getSquirrelledData, getType, getUnCoercedAssignableCostTo, isAssignableTo, isAssignableTo, isDeclaredAsConstant, isDevSource, isExactSameType, isExtensionOfInjectable, isFromLiteral, isIncomingParameter, isInitialised, isInjectable, isInjectionExpected, isLibSource, isLoopVariable, isMarkedAbstract, isNullAllowed, isPrivate, isPromotionSupported, isPropertyField, isProtected, isPublic, isReferenced, isReturningParameter, putSquirrelledData, setInitialisedBy, setInjectionExpected, setName, setNotMutable, setNullAllowed, setParsedModule, setReferenced, setType, setType

Methods inherited from interface ISymbolNature

getCategory, getGenus, isApplication, isConceptualTypeParameter, isConstant, isControl, isEk9Core, isFunction, isGenericInNature, isMethod, isParameterisedType, isPrimitiveType, isTemplateFunction, isTemplateType, isType, isVariable, setGenus

Methods inherited from interface ITokenReference

setSourceToken

Constructor Details

StackConsistencyScope

public StackConsistencyScope(IScope enclosingScope,
 IScope.ScopeType scopeType)

StackConsistencyScope

public StackConsistencyScope(IScope enclosingScope)

Method Details

getCapturedVariables

public Optional<CaptureScope> getCapturedVariables()

Description copied from interface: ICanCaptureVariables

Make the scope that holds the captured variables (if any accessible).

Specified by:

getCapturedVariables in interface ICanCaptureVariables

Returns:

The scope holding the captured variables.

setCapturedVariables

public void setCapturedVariables(CaptureScope capturedVariables)

Description copied from interface: ICanCaptureVariables

So that a number of variables can be captured when a new dynamic type is defined.

Specified by:

setCapturedVariables in interface ICanCaptureVariables

Parameters:

capturedVariables - The variables to capture.

resolveInThisScopeOnly

public Optional<ISymbol> resolveInThisScopeOnly(SymbolSearch search)

Description copied from interface: IScope

Just look in own scope.

Specified by:

resolveInThisScopeOnly in interface IScope

Overrides:

resolveInThisScopeOnly in class ScopedSymbol

resolveExcludingCapturedVariables

public Optional<ISymbol> resolveExcludingCapturedVariables(SymbolSearch search)

Description copied from interface: ICanCaptureVariables

Try and resolve a symbol but exclude looking in captured variables.

Specified by:

resolveExcludingCapturedVariables in interface ICanCaptureVariables

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

Overrides:

resolve in class ScopedSymbol

clone

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

cloneIntoStackConsistencyScope

public StackConsistencyScope cloneIntoStackConsistencyScope(StackConsistencyScope newCopy)

Clones the content of this into the new copy.

equals

public boolean equals(Object o)

Overrides:

equals in class ScopedSymbol

hashCode

public int hashCode()

Overrides:

hashCode in class ScopedSymbol