Package de.monticore.ocl.oclexpressions.types3

Class OCLExpressionsTypeVisitor

java.lang.Object

de.monticore.types3.AbstractTypeVisitor

de.monticore.ocl.oclexpressions.types3.OCLExpressionsTypeVisitor

All Implemented Interfaces:

OCLExpressionsVisitor2, de.monticore.visitor.IVisitor

Direct Known Subclasses:

OCLExpressionsCTTIVisitor

public class OCLExpressionsTypeVisitor
extends AbstractTypeVisitor
implements OCLExpressionsVisitor2

Field Summary

Fields inherited from class de.monticore.types3.AbstractTypeVisitor

ctx4Ast, LOG_NAME, tmpMap, type4Ast

Constructor Summary

Constructors

Constructor	Description
OCLExpressionsTypeVisitor()

Method Summary

Modifier and Type	Method	Description
protected SymTypeExpression	calculateConditionalBooleanOperation(ASTExpression left, ASTExpression right, SymTypeExpression leftResult, SymTypeExpression rightResult, String operator)
protected SymTypeExpression	calculateConditionalExpression(SymTypeExpression thenType, SymTypeExpression elseType)
protected SymTypeExpression	calculateQuantificationExpression(ASTExpression innerExpr, String exprName, SymTypeExpression innerType)
void	endVisit(ASTAnyExpression expr)
void	endVisit(ASTEquivalentExpression expr)
void	endVisit(ASTExistsExpression expr)
void	endVisit(ASTForallExpression expr)
void	endVisit(ASTIfThenElseExpression expr)
void	endVisit(ASTImpliesExpression expr)
void	endVisit(ASTIterateExpression expr)
void	endVisit(ASTLetinExpression expr)
void	endVisit(ASTOCLAtPreQualification expr)
void	endVisit(ASTOCLTransitiveQualification expr)
void	endVisit(ASTTypeIfExpression expr)
protected SymTypeExpression	evaluateInDeclarationType(ASTInDeclaration inDeclaration)	checks the InDeclaration for typing issues, logs on error
protected boolean	isSetOrList(SymTypeExpression type)	whether a type is a collection-type, this differs between languages (s.a.

Methods inherited from class de.monticore.types3.AbstractTypeVisitor

getAsBasicSymbolsScope, getInferenceContext4Ast, getType4Ast, setContext4Ast, setType4Ast

Methods inherited from class java.lang.Object

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

Methods inherited from interface de.monticore.visitor.IVisitor

endVisit, endVisit, endVisit, endVisit, visit, visit, visit, visit

Methods inherited from interface de.monticore.ocl.oclexpressions._visitor.OCLExpressionsVisitor2

endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit

Constructor Details

OCLExpressionsTypeVisitor

public OCLExpressionsTypeVisitor()

Method Details

endVisit

public void endVisit(ASTTypeIfExpression expr)

Specified by:

endVisit in interface OCLExpressionsVisitor2

endVisit

public void endVisit(ASTIfThenElseExpression expr)

Specified by:

endVisit in interface OCLExpressionsVisitor2

calculateConditionalExpression

protected SymTypeExpression calculateConditionalExpression(SymTypeExpression thenType,
 SymTypeExpression elseType)

endVisit

public void endVisit(ASTImpliesExpression expr)

Specified by:

endVisit in interface OCLExpressionsVisitor2

endVisit

public void endVisit(ASTEquivalentExpression expr)

Specified by:

endVisit in interface OCLExpressionsVisitor2

calculateConditionalBooleanOperation

protected SymTypeExpression calculateConditionalBooleanOperation(ASTExpression left,
 ASTExpression right,
 SymTypeExpression leftResult,
 SymTypeExpression rightResult,
 String operator)

endVisit

public void endVisit(ASTForallExpression expr)

Specified by:

endVisit in interface OCLExpressionsVisitor2

endVisit

public void endVisit(ASTExistsExpression expr)

Specified by:

endVisit in interface OCLExpressionsVisitor2

calculateQuantificationExpression

protected SymTypeExpression calculateQuantificationExpression(ASTExpression innerExpr,
 String exprName,
 SymTypeExpression innerType)

endVisit

public void endVisit(ASTAnyExpression expr)

Specified by:

endVisit in interface OCLExpressionsVisitor2

endVisit

public void endVisit(ASTLetinExpression expr)

Specified by:

endVisit in interface OCLExpressionsVisitor2

endVisit

public void endVisit(ASTIterateExpression expr)

Specified by:

endVisit in interface OCLExpressionsVisitor2

evaluateInDeclarationType

protected SymTypeExpression evaluateInDeclarationType(ASTInDeclaration inDeclaration)

checks the InDeclaration for typing issues, logs on error

Returns:

the type of the variable, Obscure on error

endVisit

public void endVisit(ASTOCLAtPreQualification expr)

Specified by:

endVisit in interface OCLExpressionsVisitor2

endVisit

public void endVisit(ASTOCLTransitiveQualification expr)

Specified by:

endVisit in interface OCLExpressionsVisitor2

isSetOrList

protected boolean isSetOrList(SymTypeExpression type)

whether a type is a collection-type, this differs between languages (s.a. OCL)