Package de.monticore.types3

Class TypeCalculator3

java.lang.Object

de.monticore.types3.TypeCalculator3

All Implemented Interfaces:

ITypeCalculator

@Deprecated
public class TypeCalculator3
extends Object
implements ITypeCalculator

Deprecated.

use TypeCheck3

Temporary(!) interface implementation for the temporary(!) usage of TC3. This is temporary as the interface had not been discussed yet. s. https://git.rwth-aachen.de/monticore/monticore/-/issues/3420

Field Summary

Fields

Modifier and Type	Field	Description
protected InferenceContext4Ast	ctx4Ast	Deprecated.
protected Type4Ast	type4Ast	Deprecated.
protected de.monticore.visitor.ITraverser	typeTraverser	Deprecated.

Constructor Summary

Constructors

Constructor	Description
TypeCalculator3(de.monticore.visitor.ITraverser typeTraverser, Type4Ast type4Ast, InferenceContext4Ast ctx4Ast)	Deprecated.

Method Summary

Modifier and Type	Method	Description
InferenceContext4Ast	getCtx4Ast()	Deprecated.
Type4Ast	getType4Ast()	Deprecated.
de.monticore.visitor.ITraverser	getTypeTraverser()	Deprecated.
SymTypeExpression	symTypeFromAST(ASTMCQualifiedName mcQualifiedName)	Deprecated.
SymTypeExpression	symTypeFromAST(ASTMCReturnType mcReturnType)	Deprecated.
SymTypeExpression	symTypeFromAST(ASTMCType mcType)	Deprecated.
SymTypeExpression	symTypeFromAST(ASTMCVoidType mcVoidType)	Deprecated.
SymTypeExpression	typeOf(ASTExpression expr)	Deprecated.
SymTypeExpression	typeOf(ASTExpression expr, SymTypeExpression targetType)	Deprecated.
SymTypeExpression	typeOf(ASTLiteral lit)	Deprecated.

Methods inherited from class java.lang.Object

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

Field Details

typeTraverser

protected de.monticore.visitor.ITraverser typeTraverser

Deprecated.

type4Ast

protected Type4Ast type4Ast

Deprecated.

ctx4Ast

protected InferenceContext4Ast ctx4Ast

Deprecated.

Constructor Details

TypeCalculator3

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

Deprecated.

Parameters:

typeTraverser - traverser filling type4Ast, language specific

type4Ast - a map of types to be filled

ctx4Ast - a map of contexts to be filled

Method Details

getTypeTraverser

public de.monticore.visitor.ITraverser getTypeTraverser()

Deprecated.

getType4Ast

public Type4Ast getType4Ast()

Deprecated.

getCtx4Ast

public InferenceContext4Ast getCtx4Ast()

Deprecated.

symTypeFromAST

public SymTypeExpression symTypeFromAST(ASTMCType mcType)

Deprecated.

Specified by:

symTypeFromAST in interface ITypeCalculator

symTypeFromAST

public SymTypeExpression symTypeFromAST(ASTMCVoidType mcVoidType)

Deprecated.

Specified by:

symTypeFromAST in interface ITypeCalculator

symTypeFromAST

public SymTypeExpression symTypeFromAST(ASTMCReturnType mcReturnType)

Deprecated.

Specified by:

symTypeFromAST in interface ITypeCalculator

symTypeFromAST

public SymTypeExpression symTypeFromAST(ASTMCQualifiedName mcQualifiedName)

Deprecated.

Specified by:

symTypeFromAST in interface ITypeCalculator

typeOf

public SymTypeExpression typeOf(ASTExpression expr,
 SymTypeExpression targetType)

Deprecated.

Specified by:

typeOf in interface ITypeCalculator

typeOf

public SymTypeExpression typeOf(ASTExpression expr)

Deprecated.

Specified by:

typeOf in interface ITypeCalculator

typeOf

public SymTypeExpression typeOf(ASTLiteral lit)

Deprecated.

Specified by:

typeOf in interface ITypeCalculator