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
public class CommonExpressionsTypeIdAsConstructorCTTIVisitor extends CommonExpressionsCTTIVisitor
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, traverser
-
Fields inherited from class de.monticore.types3.AbstractTypeVisitor
ctx4Ast, LOG_NAME, tmpMap, type4Ast
-
-
Constructor Summary
Constructors Constructor Description CommonExpressionsTypeIdAsConstructorCTTIVisitor()
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description protected java.util.Optional<SymTypeExpression>calculateExprQName(ASTFieldAccessExpression expr, boolean resultsAreOptional)calculates a.b.c as expression with a.b being a qualifierprotected java.util.Optional<SymTypeExpression>calculateTypeIdFieldAccess(ASTFieldAccessExpression expr, boolean resultsAreOptional)calculates a.b.c with a.b being a type identifier, e.g., XClass.staticVarprotected java.util.Optional<SymTypeExpression>constructorsOfTypeId(SymTypeExpression typeIdType, de.monticore.symboltable.IScope enclosingScope)-
Methods inherited from class de.monticore.expressions.commonexpressions.types3.CommonExpressionsCTTIVisitor
handle, handle, handle, handleFieldAccessResolvedType, visitForInference
-
Methods 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, 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
-
-
-
-
Method Detail
-
calculateTypeIdFieldAccess
protected java.util.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 java.util.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 java.util.Optional<SymTypeExpression> constructorsOfTypeId(SymTypeExpression typeIdType, de.monticore.symboltable.IScope enclosingScope)
-
-