Class NonProbabilisticExpressionInferTypeVisitor
- java.lang.Object
-
- org.eclipse.emf.ecore.util.Switch<T>
-
- de.uka.ipd.sdq.stoex.util.StoexSwitch<Object>
-
- de.uka.ipd.sdq.stoex.analyser.visitors.ExpressionInferTypeVisitor
-
- de.uka.ipd.sdq.stoex.analyser.visitors.NonProbabilisticExpressionInferTypeVisitor
-
public class NonProbabilisticExpressionInferTypeVisitor extends ExpressionInferTypeVisitor
-
-
Field Summary
-
Fields inherited from class de.uka.ipd.sdq.stoex.util.StoexSwitch
copyright, modelPackage
-
-
Constructor Summary
Constructors Constructor Description NonProbabilisticExpressionInferTypeVisitor()
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description Object
casePowerExpression(PowerExpression expr)
Result of a power expression so far only be of type DOUBLE, as the power operation is only allowed on NUMBERs, not PMFs.TypeEnum
getType(Expression e)
Return the inferred type of the passed expression node.-
Methods inherited from class de.uka.ipd.sdq.stoex.analyser.visitors.ExpressionInferTypeVisitor
caseBooleanOperatorExpression, caseBoolLiteral, caseCompareExpression, caseDoubleLiteral, caseFunctionLiteral, caseIfElseExpression, caseIntLiteral, caseNegativeExpression, caseNotExpression, caseParenthesis, caseProbabilityFunctionLiteral, caseProductExpression, caseStringLiteral, caseTermExpression, caseVariable, findTypeInferenceExtension, getTypeAnnotation, isNumeric, setTypeAnnotation
-
Methods inherited from class de.uka.ipd.sdq.stoex.util.StoexSwitch
caseAbstractNamedReference, caseAtom, caseBooleanExpression, caseComparison, caseExpression, caseIfElse, caseNamespaceReference, caseNumericLiteral, casePower, caseProduct, caseRandomVariable, caseTerm, caseUnary, caseUnitCarryingElement, caseVariableReference, defaultCase, doSwitch, isSwitchFor
-
-
-
-
Method Detail
-
getType
public TypeEnum getType(Expression e)
Description copied from class:ExpressionInferTypeVisitor
Return the inferred type of the passed expression node. The type annotation is automatically stored in the Map if it has not been inferred before.- Overrides:
getType
in classExpressionInferTypeVisitor
- Parameters:
e
- The node whose type should be returned.- Returns:
- The inferred type of the expression.
-
casePowerExpression
public Object casePowerExpression(PowerExpression expr)
Result of a power expression so far only be of type DOUBLE, as the power operation is only allowed on NUMBERs, not PMFs.- Overrides:
casePowerExpression
in classExpressionInferTypeVisitor
- Parameters:
expr
- the target of the switch.- Returns:
- the result of interpreting the object as an instance of 'Power Expression'.
- See Also:
doSwitch(EObject)
-
-