Package de.monticore.types3.util

Class MapBasedTypeCheck3

java.lang.Object

de.monticore.types3.TypeCheck3

de.monticore.types3.util.MapBasedTypeCheck3

Direct Known Subclasses:

JavaLightTypeCheck3

public class MapBasedTypeCheck3
extends TypeCheck3

A default implementation of the TypeCheck3 interface. This class is designed to be derived from, such that the required traverser and maps are provided by the subclasses.

This implementation is based on the Maps Type4Ast and InferenceContext4Ast, which filled using a traverser. Type4Ast is filled with the result of the type derivation, while InferenceContext4Ast is used to provide information to the traverser, e.g., an expressions target type.

If the type has already been derived and stored in Type4Ast, then it will not be derived again.

Field Summary

Fields

Modifier and Type	Field	Description
protected InferenceContext4Ast	ctx4Ast
protected static java.lang.String	LOG_NAME
protected Type4Ast	type4Ast
protected de.monticore.visitor.ITraverser	typeTraverser

Fields inherited from class de.monticore.types3.TypeCheck3

delegate

Constructor Summary

Constructors

Constructor	Description
MapBasedTypeCheck3(de.monticore.visitor.ITraverser typeTraverser, Type4Ast type4Ast)	This constructor may only be used if the language does not support generics! Otherwise, use MapBasedTypeCheck3(ITraverser, Type4Ast, InferenceContext4Ast).
MapBasedTypeCheck3(de.monticore.visitor.ITraverser typeTraverser, Type4Ast type4Ast, InferenceContext4Ast ctx4Ast)	S.a.

Method Summary

Modifier and Type	Method	Description
protected SymTypeExpression	_symTypeFromAST(ASTMCQualifiedName mcQualifiedName)
protected SymTypeExpression	_symTypeFromAST(ASTMCReturnType mcReturnType)
protected SymTypeExpression	_symTypeFromAST(ASTMCType mcType)
protected SymTypeExpression	_symTypeFromAST(ASTMCVoidType mcVoidType)
protected SymTypeExpression	_typeOf(ASTExpression expr)
protected SymTypeExpression	_typeOf(ASTExpression expr, SymTypeExpression targetType)
protected SymTypeExpression	_typeOf(ASTLiteral lit)
InferenceContext4Ast	getCtx4Ast()
Type4Ast	getType4Ast()
de.monticore.visitor.ITraverser	getTypeTraverser()
void	setThisAsDelegate()	This will be set as the TypeCheck3 delegate.

Methods inherited from class de.monticore.types3.TypeCheck3

getDelegate, resetDelegate, setDelegate, symTypeFromAST, symTypeFromAST, symTypeFromAST, symTypeFromAST, typeOf, typeOf, typeOf

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

See Also:

Constant Field Values

typeTraverser

protected de.monticore.visitor.ITraverser typeTraverser

type4Ast

protected Type4Ast type4Ast

ctx4Ast

protected InferenceContext4Ast ctx4Ast

Constructor Detail

MapBasedTypeCheck3

public MapBasedTypeCheck3(de.monticore.visitor.ITraverser typeTraverser,
                          Type4Ast type4Ast,
                          InferenceContext4Ast ctx4Ast)

S.a. setThisAsDelegate().

Parameters:

typeTraverser - traverser filling type4Ast, language specific

type4Ast - a map of types to be filled

ctx4Ast - a map of contexts to be filled

MapBasedTypeCheck3

public MapBasedTypeCheck3(de.monticore.visitor.ITraverser typeTraverser,
                          Type4Ast type4Ast)

This constructor may only be used if the language does not support generics! Otherwise, use MapBasedTypeCheck3(ITraverser, Type4Ast, InferenceContext4Ast).

Method Detail

setThisAsDelegate

public void setThisAsDelegate()

This will be set as the TypeCheck3 delegate.

getTypeTraverser

public de.monticore.visitor.ITraverser getTypeTraverser()

getType4Ast

public Type4Ast getType4Ast()

getCtx4Ast

public InferenceContext4Ast getCtx4Ast()

_symTypeFromAST

protected SymTypeExpression _symTypeFromAST(ASTMCType mcType)

Specified by:

_symTypeFromAST in class TypeCheck3

_symTypeFromAST

protected SymTypeExpression _symTypeFromAST(ASTMCVoidType mcVoidType)

Specified by:

_symTypeFromAST in class TypeCheck3

_symTypeFromAST

protected SymTypeExpression _symTypeFromAST(ASTMCReturnType mcReturnType)

Specified by:

_symTypeFromAST in class TypeCheck3

_symTypeFromAST

protected SymTypeExpression _symTypeFromAST(ASTMCQualifiedName mcQualifiedName)

Specified by:

_symTypeFromAST in class TypeCheck3

_typeOf

protected SymTypeExpression _typeOf(ASTExpression expr)

Specified by:

_typeOf in class TypeCheck3

_typeOf

protected SymTypeExpression _typeOf(ASTExpression expr,
                                    SymTypeExpression targetType)

Overrides:

_typeOf in class TypeCheck3

_typeOf

protected SymTypeExpression _typeOf(ASTLiteral lit)

Specified by:

_typeOf in class TypeCheck3