Package de.monticore.types3.util

Class OOWithinTypeBasicSymbolsResolver

java.lang.Object

de.monticore.types3.util.WithinTypeBasicSymbolsResolver

de.monticore.types3.util.OOWithinTypeBasicSymbolsResolver

public class OOWithinTypeBasicSymbolsResolver
extends WithinTypeBasicSymbolsResolver

resolves within a type, unlike WithinTypeBasicSymbolsResolver, we further filter by "OO-rules", e.g., a constructor cannot be called like other methods

Field Summary

Fields

Modifier and Type	Field	Description
protected static OOWithinTypeBasicSymbolsResolver	delegate

Fields inherited from class de.monticore.types3.util.WithinTypeBasicSymbolsResolver

LOG_NAME

Constructor Summary

Constructors

Constructor	Description
OOWithinTypeBasicSymbolsResolver()

Method Summary

Modifier and Type	Method	Description
protected java.util.List<SymTypeOfFunction>	_resolveConstructors(SymTypeExpression thisType, de.monticore.symboltable.modifiers.AccessModifier accessModifier, java.util.function.Predicate<FunctionSymbol> predicate)
protected static OOWithinTypeBasicSymbolsResolver	getDelegate()
static void	init()
protected boolean	isConstructor(FunctionSymbol func)
protected de.monticore.symboltable.modifiers.AccessModifier	removeStaticness(de.monticore.symboltable.modifiers.AccessModifier accessModifier)	replaces any static/non-static access with all access this is done as we want to ignore isStatic in constructors There are some languages, where this distinction is relevant (e.g., C#)
protected SymTypeExpression	replaceFreeConstructorTypeVariables(SymTypeExpression type)
static void	reset()
java.util.List<FunctionSymbol>	resolveConstructorLocally(IBasicSymbolsScope scope, java.lang.String name, de.monticore.symboltable.modifiers.AccessModifier accessModifier, java.util.function.Predicate<FunctionSymbol> predicate)	Deprecated, for removal: This API element is subject to removal in a future version. is to be made private, use resolveConstructors(de.monticore.types.check.SymTypeExpression, de.monticore.symboltable.modifiers.AccessModifier, java.util.function.Predicate<de.monticore.symbols.basicsymbols._symboltable.FunctionSymbol>)
static java.util.List<SymTypeOfFunction>	resolveConstructors(SymTypeExpression thisType, de.monticore.symboltable.modifiers.AccessModifier accessModifier, java.util.function.Predicate<FunctionSymbol> predicate)	resolves within a type including supertypes
protected java.util.List<FunctionSymbol>	resolveFunctionLocally(IBasicSymbolsScope scope, java.lang.String name, de.monticore.symboltable.modifiers.AccessModifier accessModifier, java.util.function.Predicate<FunctionSymbol> predicate)	resolves locally, EXCLUDING supertypes this filters out constructors
protected static void	setDelegate(OOWithinTypeBasicSymbolsResolver newDelegate)

Methods inherited from class de.monticore.types3.util.WithinTypeBasicSymbolsResolver

_canResolveIn, _getAllFunctions, _getAllTypes, _getAllVariables, _internal_getMemberNames, _internal_getMemberNamesLocally, _resolveFunctions, _resolveType, _resolveVariable, assertTypeVarsAreIncluded, canResolveIn, getAllFunctions, getAllTypes, getAllVariables, getIsLocalSymbolPredicate, getIsNotTypeVarSymbolPredicate, getSpannedScope, getSuperTypes, getTypeDispatcher, getUnboundVariableReplaceMap, private2Protected, replaceFreeTypeVariables, replaceVariablesIfNecessary, resolvedFunctionsInSuperTypes, resolveFunctions, resolveFunctionsInThisType, resolveType, resolveTypeLocally, resolveVariable, resolveVariableLocally, setDelegate

Methods inherited from class java.lang.Object

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

Field Detail

delegate

protected static OOWithinTypeBasicSymbolsResolver delegate

Constructor Detail

OOWithinTypeBasicSymbolsResolver

public OOWithinTypeBasicSymbolsResolver()

Method Detail

resolveConstructors

public static java.util.List<SymTypeOfFunction> resolveConstructors(SymTypeExpression thisType,
                                                                    de.monticore.symboltable.modifiers.AccessModifier accessModifier,
                                                                    java.util.function.Predicate<FunctionSymbol> predicate)

resolves within a type including supertypes

_resolveConstructors

protected java.util.List<SymTypeOfFunction> _resolveConstructors(SymTypeExpression thisType,
                                                                 de.monticore.symboltable.modifiers.AccessModifier accessModifier,
                                                                 java.util.function.Predicate<FunctionSymbol> predicate)

resolveFunctionLocally

protected java.util.List<FunctionSymbol> resolveFunctionLocally(IBasicSymbolsScope scope,
                                                                java.lang.String name,
                                                                de.monticore.symboltable.modifiers.AccessModifier accessModifier,
                                                                java.util.function.Predicate<FunctionSymbol> predicate)

resolves locally, EXCLUDING supertypes this filters out constructors

Overrides:

resolveFunctionLocally in class WithinTypeBasicSymbolsResolver

resolveConstructorLocally

@Deprecated(forRemoval=true)
public java.util.List<FunctionSymbol> resolveConstructorLocally(IBasicSymbolsScope scope,
                                                                java.lang.String name,
                                                                de.monticore.symboltable.modifiers.AccessModifier accessModifier,
                                                                java.util.function.Predicate<FunctionSymbol> predicate)

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

is to be made private, use resolveConstructors(de.monticore.types.check.SymTypeExpression, de.monticore.symboltable.modifiers.AccessModifier, java.util.function.Predicate<de.monticore.symbols.basicsymbols._symboltable.FunctionSymbol>)

same as resolveFunctionLocally(de.monticore.symbols.basicsymbols._symboltable.IBasicSymbolsScope, java.lang.String, de.monticore.symboltable.modifiers.AccessModifier, java.util.function.Predicate<de.monticore.symbols.basicsymbols._symboltable.FunctionSymbol>) but does only returns constructors

replaceFreeConstructorTypeVariables

protected SymTypeExpression replaceFreeConstructorTypeVariables(SymTypeExpression type)

isConstructor

protected boolean isConstructor(FunctionSymbol func)

removeStaticness

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

replaces any static/non-static access with all access this is done as we want to ignore isStatic in constructors There are some languages, where this distinction is relevant (e.g., C#)

init

public static void init()

reset

public static void reset()

setDelegate

protected static void setDelegate(OOWithinTypeBasicSymbolsResolver newDelegate)

getDelegate

protected static OOWithinTypeBasicSymbolsResolver getDelegate()