Package de.monticore.expressions.commonexpressions.types3

Class CommonExpressionsCTTIVisitor

java.lang.Object

de.monticore.types3.AbstractTypeVisitor

de.monticore.expressions.commonexpressions.types3.CommonExpressionsTypeVisitor

de.monticore.expressions.commonexpressions.types3.CommonExpressionsCTTIVisitor

All Implemented Interfaces:

CommonExpressionsHandler, CommonExpressionsVisitor2, de.monticore.visitor.IHandler, de.monticore.visitor.IVisitor

Direct Known Subclasses:

CommonExpressionsTypeIdAsConstructorCTTIVisitor

public class CommonExpressionsCTTIVisitor
extends CommonExpressionsTypeVisitor

CommonExpressionsTypeVisitor + generics support

Nested Class Summary

Nested classes/interfaces inherited from class de.monticore.expressions.commonexpressions.types3.CommonExpressionsTypeVisitor

CommonExpressionsTypeVisitor.FieldAccessExpectedResult

Field Summary

Fields inherited from class de.monticore.expressions.commonexpressions.types3.CommonExpressionsTypeVisitor

ARITHMETIC_OPERATOR_ERROR_CODE, BOOLEAN_CONDITIONAL_ERROR_CODE, EQUALITY_OPERATOR_ERROR_CODE, NUMERIC_COMPARISON_ERROR_CODE, NUMERIC_PREFIX_ERROR_CODE, traverser

Fields inherited from class de.monticore.types3.AbstractTypeVisitor

ctx4Ast, LOG_NAME, tmpMap, type4Ast

Constructor Summary

Constructors

Constructor	Description
CommonExpressionsCTTIVisitor()

Method Summary

Modifier and Type	Method	Description
void	handle(ASTBracketExpression expr)
void	handle(ASTCallExpression expr)
void	handle(ASTConditionalExpression expr)
protected void	handleFieldAccessResolvedType(ASTFieldAccessExpression expr, SymTypeExpression resolvedType)	field accesses are a special case with regard to the visitor structure as such, this hook-point is required to enable generics support.
protected void	visitForInference(ASTCallExpression expr)	collects information of the inner expression of the callExpression (which has to be a function), by passing the available information about the function type to the inner expression.

Methods inherited from class de.monticore.expressions.commonexpressions.types3.CommonExpressionsTypeVisitor

calculateArrayAccess, calculateArrayAccessForArray, calculateArrayAccessForTuple, calculateExprFieldAccess, calculateExprFieldAccess, calculateExprFieldAccessOrLogError, calculateExprQName, calculateExprQName, calculateExprQName, calculateExprQNameOrLogError, calculateFieldAccess, calculateFieldAccessFirstName, calculateInnerTypeIdFieldAccess, calculateInnerTypeIdFieldAccessOrLogError, calculateTypeIdFieldAccess, calculateTypeIdFieldAccessOrLogError, calculateTypeIdQName, calculateTypeIdQName, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, fieldAccessCustomTraverse, getExprAsQName, getTraverser, getTypeDispatcher, getTypeForInfixOrLogError, getTypeForPrefixOrLogError, isSeriesOfNames, printFunctionForLog, resolveVariablesAndFunctionsWithinType, setOperatorCalculator, setTraverser, setTypeContextCalculator, setWithinScopeResolver, setWithinTypeBasicSymbolsResolver, traverse

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.expressions.commonexpressions._visitor.CommonExpressionsHandler

handle, handle, handle, handle, handle, handle, handle, handle, handle, handle, handle, handle, handle, handle, handle, handle, handle, handle, handle, handle, handle, handle, handle, handle, handle, traverse, traverse, traverse, traverse, traverse, traverse, traverse, traverse, traverse, traverse, traverse, traverse, traverse, traverse, traverse, traverse, traverse, traverse, traverse, traverse, traverse, traverse, traverse, traverse, traverse

Methods inherited from interface de.monticore.expressions.commonexpressions._visitor.CommonExpressionsVisitor2

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

Methods inherited from interface de.monticore.visitor.IHandler

handle, handle, handle, handle, handle, traverse, traverse

Methods inherited from interface de.monticore.visitor.IVisitor

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

Constructor Detail

CommonExpressionsCTTIVisitor

public CommonExpressionsCTTIVisitor()

Method Detail

handle

public void handle(ASTConditionalExpression expr)

handle

public void handle(ASTBracketExpression expr)

handle

public void handle(ASTCallExpression expr)

visitForInference

protected void visitForInference(ASTCallExpression expr)

collects information of the inner expression of the callExpression (which has to be a function), by passing the available information about the function type to the inner expression. The kind of information gathered is dependent on the inference mode the visitor is in.

handleFieldAccessResolvedType

protected void handleFieldAccessResolvedType(ASTFieldAccessExpression expr,
                                             SymTypeExpression resolvedType)

Description copied from class: CommonExpressionsTypeVisitor

field accesses are a special case with regard to the visitor structure as such, this hook-point is required to enable generics support.

Overrides:

handleFieldAccessResolvedType in class CommonExpressionsTypeVisitor