Package de.uka.ipd.sdq.stoex.analyser.visitors

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

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

Methods inherited from class org.eclipse.emf.ecore.util.Switch

doSwitch, doSwitch

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Details

NonProbabilisticExpressionInferTypeVisitor

public NonProbabilisticExpressionInferTypeVisitor()

Method Details

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 class ExpressionInferTypeVisitor

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 class ExpressionInferTypeVisitor

Parameters:

expr - the target of the switch.

Returns:

the result of interpreting the object as an instance of 'Power Expression'.

See Also:

• doSwitch(EObject)