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

Class TypeCheckVisitor

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.TypeCheckVisitor

public class TypeCheckVisitor
extends StoexSwitch<Object>

Field Summary

Fields inherited from class de.uka.ipd.sdq.stoex.util.StoexSwitch

copyright, modelPackage

Constructor Summary

Constructors

Constructor	Description
TypeCheckVisitor(NonProbabilisticExpressionInferTypeVisitor typeVisitor)

Method Summary

Modifier and Type	Method	Description
Object	caseBooleanOperatorExpression(BooleanOperatorExpression object)	Returns the result of interpreting the object as an instance of 'Boolean Operator Expression'.
Object	caseIfElseExpression(IfElseExpression object)	Returns the result of interpreting the object as an instance of 'If Else Expression'.
Object	caseNegativeExpression(NegativeExpression object)	Returns the result of interpreting the object as an instance of 'Negative Expression'.
Object	caseNotExpression(NotExpression object)	Returns the result of interpreting the object as an instance of 'Not Expression'.
Object	caseProductExpression(ProductExpression object)	Returns the result of interpreting the object as an instance of 'Product Expression'.
Object	caseTermExpression(TermExpression object)	Returns the result of interpreting the object as an instance of 'Term Expression'.
Collection<IIssue>	getIssues()
static boolean	typesCompatible(TypeEnum expectedType, TypeEnum foundType)

Methods inherited from class de.uka.ipd.sdq.stoex.util.StoexSwitch

caseAbstractNamedReference, caseAtom, caseBooleanExpression, caseBoolLiteral, caseCompareExpression, caseComparison, caseDoubleLiteral, caseExpression, caseFunctionLiteral, caseIfElse, caseIntLiteral, caseNamespaceReference, caseNumericLiteral, caseParenthesis, casePower, casePowerExpression, caseProbabilityFunctionLiteral, caseProduct, caseRandomVariable, caseStringLiteral, caseTerm, caseUnary, caseUnitCarryingElement, caseVariable, 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 Detail

TypeCheckVisitor

public TypeCheckVisitor(NonProbabilisticExpressionInferTypeVisitor typeVisitor)

Method Detail

caseNegativeExpression

public Object caseNegativeExpression(NegativeExpression object)

Description copied from class: StoexSwitch

Returns the result of interpreting the object as an instance of 'Negative Expression'. This implementation returns null; returning a non-null result will terminate the switch.

Overrides:

caseNegativeExpression in class StoexSwitch<Object>

Parameters:

object - the target of the switch.

Returns:

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

See Also:

doSwitch(EObject)

caseBooleanOperatorExpression

public Object caseBooleanOperatorExpression(BooleanOperatorExpression object)

Description copied from class: StoexSwitch

Returns the result of interpreting the object as an instance of 'Boolean Operator Expression'. This implementation returns null; returning a non-null result will terminate the switch.

Overrides:

caseBooleanOperatorExpression in class StoexSwitch<Object>

Parameters:

object - the target of the switch.

Returns:

the result of interpreting the object as an instance of 'Boolean Operator Expression'.

See Also:

doSwitch(EObject)

caseIfElseExpression

public Object caseIfElseExpression(IfElseExpression object)

Description copied from class: StoexSwitch

Returns the result of interpreting the object as an instance of 'If Else Expression'. This implementation returns null; returning a non-null result will terminate the switch.

Overrides:

caseIfElseExpression in class StoexSwitch<Object>

Parameters:

object - the target of the switch.

Returns:

the result of interpreting the object as an instance of 'If Else Expression'.

See Also:

doSwitch(EObject)

caseNotExpression

public Object caseNotExpression(NotExpression object)

Description copied from class: StoexSwitch

Returns the result of interpreting the object as an instance of 'Not Expression'. This implementation returns null; returning a non-null result will terminate the switch.

Overrides:

caseNotExpression in class StoexSwitch<Object>

Parameters:

object - the target of the switch.

Returns:

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

See Also:

doSwitch(EObject)

caseProductExpression

public Object caseProductExpression(ProductExpression object)

Description copied from class: StoexSwitch

Returns the result of interpreting the object as an instance of 'Product Expression'. This implementation returns null; returning a non-null result will terminate the switch.

Overrides:

caseProductExpression in class StoexSwitch<Object>

Parameters:

object - the target of the switch.

Returns:

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

See Also:

doSwitch(EObject)

caseTermExpression

public Object caseTermExpression(TermExpression object)

Description copied from class: StoexSwitch

Returns the result of interpreting the object as an instance of 'Term Expression'. This implementation returns null; returning a non-null result will terminate the switch.

Overrides:

caseTermExpression in class StoexSwitch<Object>

Parameters:

object - the target of the switch.

Returns:

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

See Also:

doSwitch(EObject)

typesCompatible

public static boolean typesCompatible(TypeEnum expectedType,
                                      TypeEnum foundType)

getIssues

public Collection<IIssue> getIssues()