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 -
Method Summary
Modifier and TypeMethodDescriptionprotected SymTypeExpressioncalculateConditionalBooleanOperation(ASTExpression left, ASTExpression right, SymTypeExpression leftResult, SymTypeExpression rightResult, String operator) protected SymTypeExpressioncalculateConditionalExpression(SymTypeExpression thenType, SymTypeExpression elseType) protected SymTypeExpressioncalculateQuantificationExpression(ASTExpression innerExpr, String exprName, SymTypeExpression innerType) voidendVisit(ASTAnyExpression expr) voidvoidendVisit(ASTExistsExpression expr) voidendVisit(ASTForallExpression expr) voidvoidendVisit(ASTImpliesExpression expr) voidendVisit(ASTIterateExpression expr) voidendVisit(ASTLetinExpression expr) voidvoidvoidendVisit(ASTTypeIfExpression expr) protected SymTypeExpressionevaluateInDeclarationType(ASTInDeclaration inDeclaration) checks the InDeclaration for typing issues, logs on errorprotected booleanisSetOrList(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, setType4AstMethods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, waitMethods inherited from interface de.monticore.visitor.IVisitor
endVisit, endVisit, endVisit, endVisit, visit, visit, visit, visitMethods 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
- Specified by:
endVisitin interfaceOCLExpressionsVisitor2
-
endVisit
- Specified by:
endVisitin interfaceOCLExpressionsVisitor2
-
calculateConditionalExpression
protected SymTypeExpression calculateConditionalExpression(SymTypeExpression thenType, SymTypeExpression elseType) -
endVisit
- Specified by:
endVisitin interfaceOCLExpressionsVisitor2
-
endVisit
- Specified by:
endVisitin interfaceOCLExpressionsVisitor2
-
calculateConditionalBooleanOperation
protected SymTypeExpression calculateConditionalBooleanOperation(ASTExpression left, ASTExpression right, SymTypeExpression leftResult, SymTypeExpression rightResult, String operator) -
endVisit
- Specified by:
endVisitin interfaceOCLExpressionsVisitor2
-
endVisit
- Specified by:
endVisitin interfaceOCLExpressionsVisitor2
-
calculateQuantificationExpression
protected SymTypeExpression calculateQuantificationExpression(ASTExpression innerExpr, String exprName, SymTypeExpression innerType) -
endVisit
- Specified by:
endVisitin interfaceOCLExpressionsVisitor2
-
endVisit
- Specified by:
endVisitin interfaceOCLExpressionsVisitor2
-
endVisit
- Specified by:
endVisitin interfaceOCLExpressionsVisitor2
-
evaluateInDeclarationType
checks the InDeclaration for typing issues, logs on error- Returns:
- the type of the variable, Obscure on error
-
endVisit
- Specified by:
endVisitin interfaceOCLExpressionsVisitor2
-
endVisit
- Specified by:
endVisitin interfaceOCLExpressionsVisitor2
-
isSetOrList
whether a type is a collection-type, this differs between languages (s.a. OCL)
-