Package de.monticore.types3.util

Class WithinTypeBasicSymbolsResolver

java.lang.Object

de.monticore.types3.util.WithinTypeBasicSymbolsResolver

Direct Known Subclasses:

OOWithinTypeBasicSymbolsResolver

public class WithinTypeBasicSymbolsResolver
extends Object

resolves within a type, but in a more type correct way than our resolve algorithm, as some additions cannot be (simply) added to it. E.g., given generics, the correct type parameters will be set. The results will be in form of SymTypeExpressions.

Field Summary

Fields

Modifier and Type	Field	Description
protected static WithinTypeBasicSymbolsResolver	delegate
protected static final String	LOG_NAME

Constructor Summary

Constructors

Constructor	Description
WithinTypeBasicSymbolsResolver()

Method Summary

Modifier and Type	Method	Description
protected boolean	_canResolveIn(SymTypeExpression thisType)
protected Map<String,List<SymTypeOfFunction>>	_getAllFunctions(SymTypeExpression thisType, de.monticore.symboltable.modifiers.AccessModifier accessModifier, Predicate<FunctionSymbol> predicate)
protected Map<String,SymTypeExpression>	_getAllTypes(SymTypeExpression thisType, de.monticore.symboltable.modifiers.AccessModifier accessModifier, Predicate<TypeSymbol> predicate)
protected Map<String,SymTypeExpression>	_getAllVariables(SymTypeExpression thisType, de.monticore.symboltable.modifiers.AccessModifier accessModifier, Predicate<VariableSymbol> predicate)
protected List<String>	_internal_getMemberNames(SymTypeExpression thisType)	internal; gets all member names, does not filter in any way, thus not generally applicable
protected List<String>	_internal_getMemberNamesLocally(IBasicSymbolsScope scope)
protected List<SymTypeOfFunction>	_resolveFunctions(SymTypeExpression thisType, String name, de.monticore.symboltable.modifiers.AccessModifier accessModifier, Predicate<FunctionSymbol> predicate)
protected Optional<SymTypeExpression>	_resolveType(SymTypeExpression thisType, String name, de.monticore.symboltable.modifiers.AccessModifier accessModifier, Predicate<TypeSymbol> predicate)
protected Optional<SymTypeExpression>	_resolveVariable(SymTypeExpression thisType, String name, de.monticore.symboltable.modifiers.AccessModifier accessModifier, Predicate<VariableSymbol> predicate)
protected void	assertTypeVarsAreIncluded(SymTypeExpression type, Collection<SymTypeVariable> freeTypeVars)
static boolean	canResolveIn(SymTypeExpression thisType)	checks if the symtypeExpression is of a (sym)type to be resolved in, e.g., this includes objects but excludes primitives.
static Map<String,List<SymTypeOfFunction>>	getAllFunctions(SymTypeExpression thisType, de.monticore.symboltable.modifiers.AccessModifier accessModifier, Predicate<FunctionSymbol> predicate)	resolves all functions within the type including supertypes
static Map<String,SymTypeExpression>	getAllTypes(SymTypeExpression thisType, de.monticore.symboltable.modifiers.AccessModifier accessModifier, Predicate<TypeSymbol> predicate)	resolves all types within the type including supertypes
static Map<String,SymTypeExpression>	getAllVariables(SymTypeExpression thisType, de.monticore.symboltable.modifiers.AccessModifier accessModifier, Predicate<VariableSymbol> predicate)	resolves all variables within the type including supertypes
protected static WithinTypeBasicSymbolsResolver	getDelegate()
protected Predicate<de.monticore.symboltable.ISymbol>	getIsLocalSymbolPredicate(de.monticore.symboltable.IScope localScope)	Even more legacy code workarounds: filter out anything that is not in the exact scope due to questionable resolve strategy overrides in Scope classes...
protected Predicate<TypeSymbol>	getIsNotTypeVarSymbolPredicate()
protected Optional<IBasicSymbolsScope>	getSpannedScope(SymTypeExpression type)
protected List<SymTypeExpression>	getSuperTypes(SymTypeExpression thisType)
protected IBasicSymbolsTypeDispatcher	getTypeDispatcher()
protected Map<SymTypeVariable,SymTypeInferenceVariable>	getUnboundVariableReplaceMap(List<SymTypeVariable> varsNotToReplace, SymTypeExpression type)
static void	init()
protected de.monticore.symboltable.modifiers.AccessModifier	private2Protected(de.monticore.symboltable.modifiers.AccessModifier accessModifier)	replaces any private access with protected access this is done to resolve in supertypes if there is no private access, this is id()
protected SymTypeExpression	replaceFreeTypeVariables(SymTypeExpression thisType, SymTypeExpression type)
protected SymTypeExpression	replaceVariablesIfNecessary(SymTypeExpression dependencyType, SymTypeExpression dependentType)
static void	reset()
protected List<SymTypeOfFunction>	resolvedFunctionsInSuperTypes(SymTypeExpression thisType, String name, de.monticore.symboltable.modifiers.AccessModifier accessModifier, Predicate<FunctionSymbol> predicate)
protected List<FunctionSymbol>	resolveFunctionLocally(IBasicSymbolsScope scope, String name, de.monticore.symboltable.modifiers.AccessModifier accessModifier, Predicate<FunctionSymbol> predicate)	Deprecated, for removal: This API element is subject to removal in a future version. renamend to resolveFunctionLocallyMany(IBasicSymbolsScope, String, AccessModifier, Predicate)
protected List<FunctionSymbol>	resolveFunctionLocallyMany(IBasicSymbolsScope scope, String name, de.monticore.symboltable.modifiers.AccessModifier accessModifier, Predicate<FunctionSymbol> predicate)	Resolves locally, EXCLUDING supertypes.
static List<SymTypeOfFunction>	resolveFunctions(SymTypeExpression thisType, String name, de.monticore.symboltable.modifiers.AccessModifier accessModifier, Predicate<FunctionSymbol> predicate)	resolves within a type including supertypes
protected List<SymTypeOfFunction>	resolveFunctionsInThisType(SymTypeExpression thisType, String name, de.monticore.symboltable.modifiers.AccessModifier accessModifier, Predicate<FunctionSymbol> predicate)
protected List<SymTypeOfFunction>	resolveFunctionsRecursive(SymTypeExpression thisType, String name, de.monticore.symboltable.modifiers.AccessModifier accessModifier, Predicate<FunctionSymbol> predicate)
static Optional<SymTypeExpression>	resolveType(SymTypeExpression thisType, String name, de.monticore.symboltable.modifiers.AccessModifier accessModifier, Predicate<TypeSymbol> predicate)	resolves within a type including supertypes
protected Optional<TypeSymbol>	resolveTypeLocally(IBasicSymbolsScope scope, String name, de.monticore.symboltable.modifiers.AccessModifier accessModifier, Predicate<TypeSymbol> predicate)	Resolves locally, EXCLUDING supertypes.
protected Optional<SymTypeExpression>	resolveTypeRecursive(SymTypeExpression thisType, String name, de.monticore.symboltable.modifiers.AccessModifier accessModifier, Predicate<TypeSymbol> predicate)
static Optional<SymTypeExpression>	resolveVariable(SymTypeExpression thisType, String name, de.monticore.symboltable.modifiers.AccessModifier accessModifier, Predicate<VariableSymbol> predicate)	resolves within a type including supertypes
protected Optional<VariableSymbol>	resolveVariableLocally(IBasicSymbolsScope scope, String name, de.monticore.symboltable.modifiers.AccessModifier accessModifier, Predicate<VariableSymbol> predicate)	Resolves locally, EXCLUDING supertypes.
protected Optional<SymTypeExpression>	resolveVariableRecursive(SymTypeExpression thisType, String name, de.monticore.symboltable.modifiers.AccessModifier accessModifier, Predicate<VariableSymbol> predicate)
protected static void	setDelegate(WithinTypeBasicSymbolsResolver newDelegate)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Details

LOG_NAME

protected static final String LOG_NAME

See Also:

• Constant Field Values

delegate

protected static WithinTypeBasicSymbolsResolver delegate

Constructor Details

WithinTypeBasicSymbolsResolver

public WithinTypeBasicSymbolsResolver()

Method Details

resolveVariable

public static Optional<SymTypeExpression> resolveVariable(SymTypeExpression thisType,
 String name,
 de.monticore.symboltable.modifiers.AccessModifier accessModifier,
 Predicate<VariableSymbol> predicate)

resolves within a type including supertypes

_resolveVariable

protected Optional<SymTypeExpression> _resolveVariable(SymTypeExpression thisType,
 String name,
 de.monticore.symboltable.modifiers.AccessModifier accessModifier,
 Predicate<VariableSymbol> predicate)

resolveVariableRecursive

protected Optional<SymTypeExpression> resolveVariableRecursive(SymTypeExpression thisType,
 String name,
 de.monticore.symboltable.modifiers.AccessModifier accessModifier,
 Predicate<VariableSymbol> predicate)

getAllVariables

public static Map<String,SymTypeExpression> getAllVariables(SymTypeExpression thisType,
 de.monticore.symboltable.modifiers.AccessModifier accessModifier,
 Predicate<VariableSymbol> predicate)

resolves all variables within the type including supertypes

_getAllVariables

protected Map<String,SymTypeExpression> _getAllVariables(SymTypeExpression thisType,
 de.monticore.symboltable.modifiers.AccessModifier accessModifier,
 Predicate<VariableSymbol> predicate)

resolveFunctions

public static List<SymTypeOfFunction> resolveFunctions(SymTypeExpression thisType,
 String name,
 de.monticore.symboltable.modifiers.AccessModifier accessModifier,
 Predicate<FunctionSymbol> predicate)

resolves within a type including supertypes

_resolveFunctions

protected List<SymTypeOfFunction> _resolveFunctions(SymTypeExpression thisType,
 String name,
 de.monticore.symboltable.modifiers.AccessModifier accessModifier,
 Predicate<FunctionSymbol> predicate)

resolveFunctionsRecursive

protected List<SymTypeOfFunction> resolveFunctionsRecursive(SymTypeExpression thisType,
 String name,
 de.monticore.symboltable.modifiers.AccessModifier accessModifier,
 Predicate<FunctionSymbol> predicate)

resolveFunctionsInThisType

protected List<SymTypeOfFunction> resolveFunctionsInThisType(SymTypeExpression thisType,
 String name,
 de.monticore.symboltable.modifiers.AccessModifier accessModifier,
 Predicate<FunctionSymbol> predicate)

resolvedFunctionsInSuperTypes

protected List<SymTypeOfFunction> resolvedFunctionsInSuperTypes(SymTypeExpression thisType,
 String name,
 de.monticore.symboltable.modifiers.AccessModifier accessModifier,
 Predicate<FunctionSymbol> predicate)

getAllFunctions

public static Map<String,List<SymTypeOfFunction>> getAllFunctions(SymTypeExpression thisType,
 de.monticore.symboltable.modifiers.AccessModifier accessModifier,
 Predicate<FunctionSymbol> predicate)

resolves all functions within the type including supertypes

_getAllFunctions

protected Map<String,List<SymTypeOfFunction>> _getAllFunctions(SymTypeExpression thisType,
 de.monticore.symboltable.modifiers.AccessModifier accessModifier,
 Predicate<FunctionSymbol> predicate)

resolveType

public static Optional<SymTypeExpression> resolveType(SymTypeExpression thisType,
 String name,
 de.monticore.symboltable.modifiers.AccessModifier accessModifier,
 Predicate<TypeSymbol> predicate)

resolves within a type including supertypes

_resolveType

protected Optional<SymTypeExpression> _resolveType(SymTypeExpression thisType,
 String name,
 de.monticore.symboltable.modifiers.AccessModifier accessModifier,
 Predicate<TypeSymbol> predicate)

resolveTypeRecursive

protected Optional<SymTypeExpression> resolveTypeRecursive(SymTypeExpression thisType,
 String name,
 de.monticore.symboltable.modifiers.AccessModifier accessModifier,
 Predicate<TypeSymbol> predicate)

getAllTypes

public static Map<String,SymTypeExpression> getAllTypes(SymTypeExpression thisType,
 de.monticore.symboltable.modifiers.AccessModifier accessModifier,
 Predicate<TypeSymbol> predicate)

resolves all types within the type including supertypes

_getAllTypes

protected Map<String,SymTypeExpression> _getAllTypes(SymTypeExpression thisType,
 de.monticore.symboltable.modifiers.AccessModifier accessModifier,
 Predicate<TypeSymbol> predicate)

canResolveIn

public static boolean canResolveIn(SymTypeExpression thisType)

checks if the symtypeExpression is of a (sym)type to be resolved in, e.g., this includes objects but excludes primitives. This method is intended to be used to increase the specificity of error messages, it is NOT necessary to check a type with it before calling resolve[...](). s. a. NominalSuperTypeCalculator

_canResolveIn

protected boolean _canResolveIn(SymTypeExpression thisType)

resolveVariableLocally

protected Optional<VariableSymbol> resolveVariableLocally(IBasicSymbolsScope scope,
 String name,
 de.monticore.symboltable.modifiers.AccessModifier accessModifier,
 Predicate<VariableSymbol> predicate)

Resolves locally, EXCLUDING supertypes. This can be used as an extension point. S.a. WithinScopeBasicSymbolsResolver.resolveType(IBasicSymbolsScope, String, AccessModifier, Predicate)

resolveFunctionLocallyMany

protected List<FunctionSymbol> resolveFunctionLocallyMany(IBasicSymbolsScope scope,
 String name,
 de.monticore.symboltable.modifiers.AccessModifier accessModifier,
 Predicate<FunctionSymbol> predicate)

Resolves locally, EXCLUDING supertypes. This can be used as an extension point.

resolveFunctionLocally

@Deprecated(forRemoval=true)
protected List<FunctionSymbol> resolveFunctionLocally(IBasicSymbolsScope scope,
 String name,
 de.monticore.symboltable.modifiers.AccessModifier accessModifier,
 Predicate<FunctionSymbol> predicate)

Deprecated, for removal: This API element is subject to removal in a future version.

renamend to resolveFunctionLocallyMany(IBasicSymbolsScope, String, AccessModifier, Predicate)

resolveTypeLocally

protected Optional<TypeSymbol> resolveTypeLocally(IBasicSymbolsScope scope,
 String name,
 de.monticore.symboltable.modifiers.AccessModifier accessModifier,
 Predicate<TypeSymbol> predicate)

Resolves locally, EXCLUDING supertypes. This can be used as an extension point. S.a. WithinScopeBasicSymbolsResolver.resolveType(IBasicSymbolsScope, String, AccessModifier, Predicate)

getIsLocalSymbolPredicate

protected Predicate<de.monticore.symboltable.ISymbol> getIsLocalSymbolPredicate(de.monticore.symboltable.IScope localScope)

Even more legacy code workarounds: filter out anything that is not in the exact scope due to questionable resolve strategy overrides in Scope classes...

getIsNotTypeVarSymbolPredicate

protected Predicate<TypeSymbol> getIsNotTypeVarSymbolPredicate()

getTypeDispatcher

protected IBasicSymbolsTypeDispatcher getTypeDispatcher()

replaceVariablesIfNecessary

protected SymTypeExpression replaceVariablesIfNecessary(SymTypeExpression dependencyType,
 SymTypeExpression dependentType)

getSpannedScope

protected Optional<IBasicSymbolsScope> getSpannedScope(SymTypeExpression type)

getSuperTypes

protected List<SymTypeExpression> getSuperTypes(SymTypeExpression thisType)

_internal_getMemberNames

protected List<String> _internal_getMemberNames(SymTypeExpression thisType)

internal; gets all member names, does not filter in any way, thus not generally applicable

_internal_getMemberNamesLocally

protected List<String> _internal_getMemberNamesLocally(IBasicSymbolsScope scope)

private2Protected

protected de.monticore.symboltable.modifiers.AccessModifier private2Protected(de.monticore.symboltable.modifiers.AccessModifier accessModifier)

replaces any private access with protected access this is done to resolve in supertypes if there is no private access, this is id()

getUnboundVariableReplaceMap

protected Map<SymTypeVariable,SymTypeInferenceVariable> getUnboundVariableReplaceMap(List<SymTypeVariable> varsNotToReplace,
 SymTypeExpression type)

replaceFreeTypeVariables

protected SymTypeExpression replaceFreeTypeVariables(SymTypeExpression thisType,
 SymTypeExpression type)

assertTypeVarsAreIncluded

protected void assertTypeVarsAreIncluded(SymTypeExpression type,
 Collection<SymTypeVariable> freeTypeVars)

init

public static void init()

reset

public static void reset()

setDelegate

protected static void setDelegate(WithinTypeBasicSymbolsResolver newDelegate)

getDelegate

protected static WithinTypeBasicSymbolsResolver getDelegate()