Class CommonExpressionsTypeIdAsConstructorCTTIVisitor
java.lang.Object
de.monticore.types3.AbstractTypeVisitor
de.monticore.expressions.commonexpressions.types3.CommonExpressionsTypeVisitor
de.monticore.expressions.commonexpressions.types3.CommonExpressionsCTTIVisitor
de.monticore.expressions.commonexpressions.types3.CommonExpressionsTypeIdAsConstructorCTTIVisitor
- All Implemented Interfaces:
CommonExpressionsHandler,CommonExpressionsVisitor2,de.monticore.visitor.IHandler,de.monticore.visitor.IVisitor
This visitor allows the use of type identifiers "as" the types constructors,
e.g., pack.age.Foo(1) is accepted if the constructor
pack.age.Foo::Foo(int) exists.
-
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, traverserFields inherited from class de.monticore.types3.AbstractTypeVisitor
ctx4Ast, LOG_NAME, tmpMap, type4Ast -
Constructor Summary
Constructors -
Method Summary
Modifier and TypeMethodDescriptionprotected Optional<SymTypeExpression> calculateExprQName(ASTFieldAccessExpression expr, boolean resultsAreOptional) calculates a.b.c as expression with a.b being a qualifierprotected Optional<SymTypeExpression> calculateTypeIdFieldAccess(ASTFieldAccessExpression expr, boolean resultsAreOptional) calculates a.b.c with a.b being a type identifier, e.g., XClass.staticVarprotected Optional<SymTypeExpression> constructorsOfTypeId(SymTypeExpression typeIdType, de.monticore.symboltable.IScope enclosingScope) Methods inherited from class de.monticore.expressions.commonexpressions.types3.CommonExpressionsCTTIVisitor
handle, handle, handle, handleFieldAccessResolvedType, visitForInferenceMethods inherited from class de.monticore.expressions.commonexpressions.types3.CommonExpressionsTypeVisitor
calculateArrayAccess, calculateArrayAccessForArray, calculateArrayAccessForTuple, calculateExprFieldAccess, calculateExprFieldAccess, calculateExprFieldAccessOrLogError, calculateExprQName, calculateExprQName, calculateExprQNameOrLogError, calculateFieldAccess, calculateFieldAccessFirstName, calculateInnerTypeIdFieldAccess, calculateInnerTypeIdFieldAccessOrLogError, 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, traverseMethods 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.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, traverseMethods 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, visitMethods inherited from interface de.monticore.visitor.IHandler
handle, handle, handle, handle, handle, traverse, traverseMethods inherited from interface de.monticore.visitor.IVisitor
endVisit, endVisit, endVisit, endVisit, visit, visit, visit, visit
-
Constructor Details
-
CommonExpressionsTypeIdAsConstructorCTTIVisitor
public CommonExpressionsTypeIdAsConstructorCTTIVisitor()
-
-
Method Details
-
calculateTypeIdFieldAccess
protected Optional<SymTypeExpression> calculateTypeIdFieldAccess(ASTFieldAccessExpression expr, boolean resultsAreOptional) Description copied from class:CommonExpressionsTypeVisitorcalculates a.b.c with a.b being a type identifier, e.g., XClass.staticVar- Overrides:
calculateTypeIdFieldAccessin classCommonExpressionsTypeVisitor
-
calculateExprQName
protected Optional<SymTypeExpression> calculateExprQName(ASTFieldAccessExpression expr, boolean resultsAreOptional) Description copied from class:CommonExpressionsTypeVisitorcalculates a.b.c as expression with a.b being a qualifier- Overrides:
calculateExprQNamein classCommonExpressionsTypeVisitor
-
constructorsOfTypeId
protected Optional<SymTypeExpression> constructorsOfTypeId(SymTypeExpression typeIdType, de.monticore.symboltable.IScope enclosingScope)
-