Package de.monticore.expressions.commonexpressions.types3

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

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 qualifier
protected java.util.Optional<SymTypeExpression>	calculateTypeIdFieldAccess(ASTFieldAccessExpression expr, boolean resultsAreOptional)	calculates a.b.c with a.b being a type identifier, e.g., XClass.staticVar
protected 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

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

CommonExpressionsTypeIdAsConstructorCTTIVisitor

public CommonExpressionsTypeIdAsConstructorCTTIVisitor()

Method Detail

calculateTypeIdFieldAccess

protected java.util.Optional<SymTypeExpression> calculateTypeIdFieldAccess(ASTFieldAccessExpression expr,
                                                                           boolean resultsAreOptional)

Description copied from class: CommonExpressionsTypeVisitor

calculates a.b.c with a.b being a type identifier, e.g., XClass.staticVar

Overrides:

calculateTypeIdFieldAccess in class CommonExpressionsTypeVisitor

calculateExprQName

protected java.util.Optional<SymTypeExpression> calculateExprQName(ASTFieldAccessExpression expr,
                                                                   boolean resultsAreOptional)

Description copied from class: CommonExpressionsTypeVisitor

calculates a.b.c as expression with a.b being a qualifier

Overrides:

calculateExprQName in class CommonExpressionsTypeVisitor

constructorsOfTypeId

protected java.util.Optional<SymTypeExpression> constructorsOfTypeId(SymTypeExpression typeIdType,
                                                                     de.monticore.symboltable.IScope enclosingScope)