Package de.monticore.symbols.basicsymbols._symboltable

Interface IBasicSymbolsScope

All Superinterfaces:

IBasicSymbolsScopeTOP, IMCBasicsScope, de.monticore.symboltable.IScope

All Known Subinterfaces:

IBasicSymbolsArtifactScope, IBasicSymbolsGlobalScope, ICompSymbolsArtifactScope, ICompSymbolsGlobalScope, ICompSymbolsScope, IGrammar_WithConceptsArtifactScope, IGrammar_WithConceptsGlobalScope, IGrammar_WithConceptsScope, IJavaClassExpressionsArtifactScope, IJavaClassExpressionsGlobalScope, IJavaClassExpressionsScope, IJavaLightArtifactScope, IJavaLightGlobalScope, IJavaLightScope, ILambdaExpressionsArtifactScope, ILambdaExpressionsGlobalScope, ILambdaExpressionsScope, IMCArrayStatementsArtifactScope, IMCArrayStatementsGlobalScope, IMCArrayStatementsScope, IMCCommonStatementsArtifactScope, IMCCommonStatementsGlobalScope, IMCCommonStatementsScope, IMCExceptionStatementsArtifactScope, IMCExceptionStatementsGlobalScope, IMCExceptionStatementsScope, IMCFullJavaStatementsArtifactScope, IMCFullJavaStatementsGlobalScope, IMCFullJavaStatementsScope, IMCSynchronizedStatementsArtifactScope, IMCSynchronizedStatementsGlobalScope, IMCSynchronizedStatementsScope, IMCVarDeclarationStatementsArtifactScope, IMCVarDeclarationStatementsGlobalScope, IMCVarDeclarationStatementsScope, IOCLExpressionsArtifactScope, IOCLExpressionsGlobalScope, IOCLExpressionsScope, IODRulesArtifactScope, IODRulesGlobalScope, IODRulesScope, IODRulesScopeTOP, IOOSymbolsArtifactScope, IOOSymbolsGlobalScope, IOOSymbolsScope, IOOSymbolsScopeTOP, ISetExpressionsArtifactScope, ISetExpressionsGlobalScope, ISetExpressionsScope, ITFBasisExtsArtifactScope, ITFBasisExtsGlobalScope, ITFBasisExtsScope, ITFCommonsArtifactScope, ITFCommonsGlobalScope, ITFCommonsScope, ITypeParametersArtifactScope, ITypeParametersGlobalScope, ITypeParametersScope

All Known Implementing Classes:

BasicSymbolsArtifactScope, BasicSymbolsGlobalScope, BasicSymbolsScope, CompSymbolsArtifactScope, CompSymbolsGlobalScope, CompSymbolsScope, Grammar_WithConceptsArtifactScope, Grammar_WithConceptsGlobalScope, Grammar_WithConceptsGlobalScopeTOP, Grammar_WithConceptsScope, JavaClassExpressionsArtifactScope, JavaClassExpressionsGlobalScope, JavaClassExpressionsScope, JavaLightArtifactScope, JavaLightGlobalScope, JavaLightScope, LambdaExpressionsArtifactScope, LambdaExpressionsGlobalScope, LambdaExpressionsScope, MCArrayStatementsArtifactScope, MCArrayStatementsGlobalScope, MCArrayStatementsScope, MCCommonStatementsArtifactScope, MCCommonStatementsGlobalScope, MCCommonStatementsScope, MCExceptionStatementsArtifactScope, MCExceptionStatementsGlobalScope, MCExceptionStatementsScope, MCFullJavaStatementsArtifactScope, MCFullJavaStatementsGlobalScope, MCFullJavaStatementsScope, MCSynchronizedStatementsArtifactScope, MCSynchronizedStatementsGlobalScope, MCSynchronizedStatementsScope, MCVarDeclarationStatementsArtifactScope, MCVarDeclarationStatementsGlobalScope, MCVarDeclarationStatementsScope, OCLExpressionsArtifactScope, OCLExpressionsGlobalScope, OCLExpressionsScope, ODRulesArtifactScope, ODRulesGlobalScope, ODRulesScope, OOSymbolsArtifactScope, OOSymbolsGlobalScope, OOSymbolsScope, SetExpressionsArtifactScope, SetExpressionsGlobalScope, SetExpressionsScope, TFBasisExtsArtifactScope, TFBasisExtsGlobalScope, TFBasisExtsScope, TFCommonsArtifactScope, TFCommonsGlobalScope, TFCommonsScope, TypeParametersArtifactScope, TypeParametersGlobalScope, TypeParametersScope

public interface IBasicSymbolsScope
extends IBasicSymbolsScopeTOP

Method Summary

Modifier and Type	Method	Description
default boolean	isTypeVariableBound(TypeVarSymbol typeVar)	returns whether a type variable is bound within this scope e.g.
default List<FunctionSymbol>	resolveFunctionLocallyMany(boolean foundSymbols, String name, de.monticore.symboltable.modifiers.AccessModifier modifier, Predicate<FunctionSymbol> predicate)	override method from ExpressionBasisScope to resolve all methods correctly method needed to be overridden because of special cases: if the scope is spanned by a type symbol you have to look for fitting methods in its super types too because of inheritance the method resolves the methods like the overridden method and if the spanning symbol is a type symbol it additionally looks for methods in its super types it is used by the method getMethodList in SymTypeExpression
default List<VariableSymbol>	resolveVariableLocallyMany(boolean foundSymbols, String name, de.monticore.symboltable.modifiers.AccessModifier modifier, Predicate<VariableSymbol> predicate)	override method from ExpressionBasisScope to resolve all fields correctly method needed to be overridden because of special cases: if the scope is spanned by a type symbol you have to look for fitting fields in its super types too because of inheritance the method resolves the fields like the overridden method and if the spanning symbol is a type symbol it additionally looks for fields in its super types it is used by the method getFieldList in SymTypeExpression

Methods inherited from interface de.monticore.symbols.basicsymbols._symboltable.IBasicSymbolsScopeTOP

accept, accept, accept, add, add, add, add, add, add, addSubScope, continueAsDiagramSubScope, continueAsFunctionSubScope, continueAsMCStereotypeSubScope, continueAsTypeSubScope, continueAsTypeVarSubScope, continueAsVariableSubScope, continueDiagramWithEnclosingScope, continueFunctionWithEnclosingScope, continueMCStereotypeWithEnclosingScope, continueTypeVarWithEnclosingScope, continueTypeWithEnclosingScope, continueVariableWithEnclosingScope, filterDiagram, filterFunction, filterMCStereotype, filterType, filterTypeVar, filterVariable, getDiagramSymbols, getDiagramSymbolsWithSubKinds, getEnclosingScope, getFunctionSymbols, getFunctionSymbolsWithSubKinds, getLocalDiagramSymbols, getLocalFunctionSymbols, getLocalMCStereotypeSymbols, getLocalTypeSymbols, getLocalTypeVarSymbols, getLocalVariableSymbols, getMCStereotypeSymbols, getMCStereotypeSymbolsWithSubKinds, getSubScopes, getSymbolsSize, getTypeSymbols, getTypeSymbolsWithSubKinds, getTypeVarSymbols, getTypeVarSymbolsWithSubKinds, getVariableSymbols, getVariableSymbolsWithSubKinds, isDiagramSymbolsAlreadyResolved, isFunctionSymbolsAlreadyResolved, isMCStereotypeSymbolsAlreadyResolved, isTypeSymbolsAlreadyResolved, isTypeVarSymbolsAlreadyResolved, isVariableSymbolsAlreadyResolved, remove, remove, remove, remove, remove, remove, removeSubScope, resolveAdaptedDiagramLocallyMany, resolveAdaptedFunctionLocallyMany, resolveAdaptedMCStereotypeLocallyMany, resolveAdaptedTypeLocallyMany, resolveAdaptedTypeVarLocallyMany, resolveAdaptedVariableLocallyMany, resolveDiagram, resolveDiagram, resolveDiagram, resolveDiagram, resolveDiagramDown, resolveDiagramDown, resolveDiagramDown, resolveDiagramDownMany, resolveDiagramDownMany, resolveDiagramDownMany, resolveDiagramDownMany, resolveDiagramLocally, resolveDiagramLocallyMany, resolveDiagramMany, resolveDiagramMany, resolveDiagramMany, resolveDiagramMany, resolveDiagramMany, resolveDiagramMany, resolveDiagramSubKinds, resolveFunction, resolveFunction, resolveFunction, resolveFunction, resolveFunctionDown, resolveFunctionDown, resolveFunctionDown, resolveFunctionDownMany, resolveFunctionDownMany, resolveFunctionDownMany, resolveFunctionDownMany, resolveFunctionLocally, resolveFunctionMany, resolveFunctionMany, resolveFunctionMany, resolveFunctionMany, resolveFunctionMany, resolveFunctionMany, resolveFunctionSubKinds, resolveMCStereotype, resolveMCStereotype, resolveMCStereotype, resolveMCStereotype, resolveMCStereotypeDown, resolveMCStereotypeDown, resolveMCStereotypeDown, resolveMCStereotypeDownMany, resolveMCStereotypeDownMany, resolveMCStereotypeDownMany, resolveMCStereotypeDownMany, resolveMCStereotypeLocally, resolveMCStereotypeLocallyMany, resolveMCStereotypeMany, resolveMCStereotypeMany, resolveMCStereotypeMany, resolveMCStereotypeMany, resolveMCStereotypeMany, resolveMCStereotypeMany, resolveMCStereotypeSubKinds, resolveType, resolveType, resolveType, resolveType, resolveTypeDown, resolveTypeDown, resolveTypeDown, resolveTypeDownMany, resolveTypeDownMany, resolveTypeDownMany, resolveTypeDownMany, resolveTypeLocally, resolveTypeLocallyMany, resolveTypeMany, resolveTypeMany, resolveTypeMany, resolveTypeMany, resolveTypeMany, resolveTypeMany, resolveTypeSubKinds, resolveTypeVar, resolveTypeVar, resolveTypeVar, resolveTypeVar, resolveTypeVarDown, resolveTypeVarDown, resolveTypeVarDown, resolveTypeVarDownMany, resolveTypeVarDownMany, resolveTypeVarDownMany, resolveTypeVarDownMany, resolveTypeVarLocally, resolveTypeVarLocallyMany, resolveTypeVarMany, resolveTypeVarMany, resolveTypeVarMany, resolveTypeVarMany, resolveTypeVarMany, resolveTypeVarMany, resolveTypeVarSubKinds, resolveVariable, resolveVariable, resolveVariable, resolveVariable, resolveVariableDown, resolveVariableDown, resolveVariableDown, resolveVariableDownMany, resolveVariableDownMany, resolveVariableDownMany, resolveVariableDownMany, resolveVariableLocally, resolveVariableMany, resolveVariableMany, resolveVariableMany, resolveVariableMany, resolveVariableMany, resolveVariableMany, resolveVariableSubKinds, setDiagramSymbolsAlreadyResolved, setEnclosingScope, setFunctionSymbolsAlreadyResolved, setMCStereotypeSymbolsAlreadyResolved, setTypeSymbolsAlreadyResolved, setTypeVarSymbolsAlreadyResolved, setVariableSymbolsAlreadyResolved

Methods inherited from interface de.monticore.mcbasics._symboltable.IMCBasicsScope

addSubScope, removeSubScope, setEnclosingScope

Methods inherited from interface de.monticore.symboltable.IScope

add, checkIfContinueAsSubScope, checkIfContinueWithEnclosingScope, filterSymbolsByAccessModifier, getAstNode, getLocalUnknownSymbols, getName, getNameParts, getRemainingNameForResolveDown, getResolvedOrThrowException, getSpanningSymbol, getUnknownSymbols, isExportingSymbols, isOrdered, isPresentAstNode, isPresentName, isPresentSpanningSymbol, isProperSubScopeOf, isShadowing, isSubScopeOf, remove, setAstNode, setAstNodeAbsent, setExportingSymbols, setName, setNameAbsent, setOrdered, setShadowing, setSpanningSymbol, setSpanningSymbolAbsent

Method Details

isTypeVariableBound

default boolean isTypeVariableBound(TypeVarSymbol typeVar)

returns whether a type variable is bound within this scope e.g. class C<T> {} // T is bound within the class

resolveFunctionLocallyMany

default List<FunctionSymbol> resolveFunctionLocallyMany(boolean foundSymbols,
 String name,
 de.monticore.symboltable.modifiers.AccessModifier modifier,
 Predicate<FunctionSymbol> predicate)

override method from ExpressionBasisScope to resolve all methods correctly method needed to be overridden because of special cases: if the scope is spanned by a type symbol you have to look for fitting methods in its super types too because of inheritance the method resolves the methods like the overridden method and if the spanning symbol is a type symbol it additionally looks for methods in its super types it is used by the method getMethodList in SymTypeExpression

Specified by:

resolveFunctionLocallyMany in interface IBasicSymbolsScopeTOP

resolveVariableLocallyMany

default List<VariableSymbol> resolveVariableLocallyMany(boolean foundSymbols,
 String name,
 de.monticore.symboltable.modifiers.AccessModifier modifier,
 Predicate<VariableSymbol> predicate)

override method from ExpressionBasisScope to resolve all fields correctly method needed to be overridden because of special cases: if the scope is spanned by a type symbol you have to look for fitting fields in its super types too because of inheritance the method resolves the fields like the overridden method and if the spanning symbol is a type symbol it additionally looks for fields in its super types it is used by the method getFieldList in SymTypeExpression

Specified by:

resolveVariableLocallyMany in interface IBasicSymbolsScopeTOP