Package de.monticore.types.check

Class DeriveSymTypeOfCommonExpressions

java.lang.Object

de.monticore.types.check.AbstractDeriveFromExpression

de.monticore.types.check.DeriveSymTypeOfBSCommonExpressions

de.monticore.types.check.DeriveSymTypeOfCommonExpressions

All Implemented Interfaces:

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

@Deprecated
public class DeriveSymTypeOfCommonExpressions
extends DeriveSymTypeOfBSCommonExpressions

Deprecated.

part of typecheck1, use TypeCheck3 instead.

This Visitor can calculate a SymTypeExpression (type) for the expressions in CommonExpressions. It is the OO extension of the class DeriveSymTypeOfBSCommonExpressions and adds OO functionalities like modifiers to the derivation of a SymTypeExpression. It can be combined with other expressions in your language by creating a DelegatorVisitor

Field Summary

Fields inherited from class de.monticore.types.check.DeriveSymTypeOfBSCommonExpressions

definingSymbolSetter, subExprNameExtractor, traverser

Fields inherited from class de.monticore.types.check.AbstractDeriveFromExpression

ERROR_MSG, typeCheckResult

Constructor Summary

Constructors

Constructor	Description
DeriveSymTypeOfCommonExpressions()	Deprecated.

Method Summary

Modifier and Type	Method	Description
protected boolean	checkModifierType(TypeSymbol typeSymbol)	Deprecated. Hookpoint for object oriented languages that offer modifiers like static, public, private, ...
protected List<FunctionSymbol>	filterModifiersFunctions(List<FunctionSymbol> functionSymbols)	Deprecated. Hookpoint for object oriented languages that offer modifiers like static, public, private, ...
protected List<VariableSymbol>	filterModifiersVariables(List<VariableSymbol> variableSymbols)	Deprecated. Hookpoint for object oriented languages that offer modifiers like static, public, private, ...
protected List<VariableSymbol>	getCorrectFieldsFromInnerType(SymTypeExpression innerResult, ASTFieldAccessExpression expr)	Deprecated. Hookpoint for object oriented languages to get the correct variables/fields from a type based on their modifiers
protected List<FunctionSymbol>	getCorrectMethodsFromInnerType(SymTypeExpression innerResult, ASTCallExpression expr, String name)	Deprecated. Hookpoint for object oriented languages to get the correct functions/methods from a type based on their modifiers

Methods inherited from class de.monticore.types.check.DeriveSymTypeOfBSCommonExpressions

booleanNot, calculateArguments, calculateArithmeticCallExpression, calculateArithmeticExpression, calculateArithmeticFieldAccessExpression, calculateArrayExpression, calculateBooleanAndOpExpression, calculateBooleanOrOpExpression, calculateConditionalExpressionType, calculateDivideExpression, calculatedQualifiedEntity, calculateEqualsExpression, calculateFieldAccess, calculateFunctionReturnTypeBasedOnSignature, calculateFunctionReturnTypeBasedOnSignature, calculateGreaterThanExpression, calculateLogicalOrOpAndOp, calculateMethodReturnTypeBasedOnSignature, calculateMinusExpression, calculateModuloExpression, calculateMultExpression, calculateNamingChainCallExpression, calculateNamingChainFieldAccess, calculateNotEqualsExpression, calculateOwnedCallExpression, calculatePlusExpression, calculateQualifiedMethod, calculateTypeCompare, calculateTypeLogical, checkForReturnType, checkForReturnType, chooseMostSpecificFunction, derive, derive, getBinaryNumericPromotion, getCorrectResultArrayExpression, getDefiningSymbolSetter, getFittingFunctions, getSubExprNameExtractor, getTraverser, greaterEqual, less, lessEqual, logicalNot, numericPrefix, numericPrefix, replaceTypeVariables, setDefiningSymbolSetter, setSubExprNameExtractor, setTraverser, traverse, traverse, traverse, traverse, traverse, traverse, traverse, traverse, traverse, traverse, traverse, traverse, traverse, traverse, traverse, traverse, traverse, traverse, traverse, traverse, traverse

Methods inherited from class de.monticore.types.check.AbstractDeriveFromExpression

acceptThisAndReturnSymTypeExpression, acceptThisAndReturnSymTypeExpression, calculateInnerTypes, checkNotObscure, getScope, getTypeCheckResult, isIntegralType, isNumericType, logError, setTypeCheckResult, storeResultOrLogError

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, handle, handle, handle, traverse, traverse, traverse, traverse, traverse

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

endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, 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, 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 Details

DeriveSymTypeOfCommonExpressions

public DeriveSymTypeOfCommonExpressions()

Deprecated.

Method Details

filterModifiersVariables

protected List<VariableSymbol> filterModifiersVariables(List<VariableSymbol> variableSymbols)

Deprecated.

Description copied from class: DeriveSymTypeOfBSCommonExpressions

Hookpoint for object oriented languages that offer modifiers like static, public, private, ...

Overrides:

filterModifiersVariables in class DeriveSymTypeOfBSCommonExpressions

filterModifiersFunctions

protected List<FunctionSymbol> filterModifiersFunctions(List<FunctionSymbol> functionSymbols)

Deprecated.

Description copied from class: DeriveSymTypeOfBSCommonExpressions

Hookpoint for object oriented languages that offer modifiers like static, public, private, ...

Overrides:

filterModifiersFunctions in class DeriveSymTypeOfBSCommonExpressions

checkModifierType

protected boolean checkModifierType(TypeSymbol typeSymbol)

Deprecated.

Description copied from class: DeriveSymTypeOfBSCommonExpressions

Hookpoint for object oriented languages that offer modifiers like static, public, private, ...

Overrides:

checkModifierType in class DeriveSymTypeOfBSCommonExpressions

getCorrectMethodsFromInnerType

protected List<FunctionSymbol> getCorrectMethodsFromInnerType(SymTypeExpression innerResult,
 ASTCallExpression expr,
 String name)

Deprecated.

Description copied from class: DeriveSymTypeOfBSCommonExpressions

Hookpoint for object oriented languages to get the correct functions/methods from a type based on their modifiers

Overrides:

getCorrectMethodsFromInnerType in class DeriveSymTypeOfBSCommonExpressions

getCorrectFieldsFromInnerType

protected List<VariableSymbol> getCorrectFieldsFromInnerType(SymTypeExpression innerResult,
 ASTFieldAccessExpression expr)

Deprecated.

Description copied from class: DeriveSymTypeOfBSCommonExpressions

Hookpoint for object oriented languages to get the correct variables/fields from a type based on their modifiers

Overrides:

getCorrectFieldsFromInnerType in class DeriveSymTypeOfBSCommonExpressions