Package de.monticore.types3

Class AbstractTypeVisitor

java.lang.Object

de.monticore.types3.AbstractTypeVisitor

Direct Known Subclasses:

AssignmentExpressionsTypeVisitor, BitExpressionsTypeVisitor, CommonExpressionsTypeVisitor, ExpressionBasisTypeVisitor, JavaClassExpressionsTypeVisitor, LambdaExpressionsTypeVisitor, MCArrayTypesTypeVisitor, MCBasicTypesTypeVisitor, MCCollectionTypesTypeVisitor, MCCommonLiteralsTypeVisitor, MCFullGenericTypesTypeVisitor, MCFunctionTypesTypeVisitor, MCJavaLiteralsTypeVisitor, MCSimpleGenericTypesTypeVisitor, MCStructuralTypesTypeVisitor, OCLExpressionsTypeVisitor, OptionalOperatorsTypeVisitor, RegExTypeTypeVisitor, SetExpressionsTypeVisitor, SIUnitLiteralsTypeVisitor, SIUnitTypes4ComputingTypeVisitor, SIUnitTypes4MathTypeVisitor, StreamExpressionsTypeVisitor, TupleExpressionsTypeVisitor, UglyExpressionsTypeVisitor

public abstract class AbstractTypeVisitor
extends java.lang.Object

extended by the main type system visitors gives access to common functionality, e.g., the map from expression to type

Field Summary

Fields

Modifier and Type	Field	Description
protected InferenceContext4Ast	ctx4Ast	the map to be filled with inference context information, s.
protected static java.lang.String	LOG_NAME	the name to be used for Log.info, etc.
static Type4Ast	tmpMap
protected Type4Ast	type4Ast	the map to be filled with type information In most cases, this is the global map in the mill.

Constructor Summary

Constructors

Constructor	Description
AbstractTypeVisitor()

Method Summary

Modifier and Type	Method	Description
protected IBasicSymbolsScope	getAsBasicSymbolsScope(de.monticore.symboltable.IScope scope)
protected InferenceContext4Ast	getInferenceContext4Ast()	the map to be filled with type context information.
protected Type4Ast	getType4Ast()	the map to be filled with type information.
void	setContext4Ast(InferenceContext4Ast ctx4Ast)
void	setType4Ast(Type4Ast type4Ast)

Methods inherited from class java.lang.Object

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

Field Detail

LOG_NAME

protected static final java.lang.String LOG_NAME

the name to be used for Log.info, etc.

See Also:

Constant Field Values

tmpMap

public static Type4Ast tmpMap

type4Ast

protected Type4Ast type4Ast

the map to be filled with type information In most cases, this is the global map in the mill. However, if a AstNode can have multiple Types (e.g., variants within the same model), one may set a different map to be filled.

ctx4Ast

protected InferenceContext4Ast ctx4Ast

the map to be filled with inference context information, s. InferenceContext4Ast.

Constructor Detail

AbstractTypeVisitor

public AbstractTypeVisitor()

Method Detail

setType4Ast

public void setType4Ast(Type4Ast type4Ast)

setContext4Ast

public void setContext4Ast(InferenceContext4Ast ctx4Ast)

getType4Ast

protected Type4Ast getType4Ast()

the map to be filled with type information. Deriving classes should always use this method to get the map.

getInferenceContext4Ast

protected InferenceContext4Ast getInferenceContext4Ast()

the map to be filled with type context information. Deriving classes should always use this method to get the map. Only dedicated visitors for target types usage (mostly called CTTIVisitor) should make use of this map. It is set to null for all over visitors!

getAsBasicSymbolsScope

protected IBasicSymbolsScope getAsBasicSymbolsScope(de.monticore.symboltable.IScope scope)