org.eclipse.ocl.examples.debug.vm

Class ConditionChecker

java.lang.Object

org.eclipse.ocl.examples.debug.vm.ConditionChecker

public class ConditionChecker
extends Object

Field Summary

Fields

Modifier and Type	Field and Description
static int	ERR_CODE_COMPILATION
static int	ERR_CODE_EVALUATION

Constructor Summary

Constructors

Constructor and Description
ConditionChecker(String conditionBody, Element targetASTElement)

Method Summary

Modifier and Type	Method and Description
boolean	checkCondition(VMEvaluationStepper mainEvaluator)
Object	evaluate(VMEvaluationStepper mainEvaluator)
EClassifier	getConditionType()

Methods inherited from class java.lang.Object

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

Field Detail

ERR_CODE_COMPILATION

public static final int ERR_CODE_COMPILATION

See Also:

Constant Field Values

ERR_CODE_EVALUATION

public static final int ERR_CODE_EVALUATION

See Also:

Constant Field Values

Constructor Detail

ConditionChecker

public ConditionChecker(String conditionBody,
                        Element targetASTElement)

Method Detail

evaluate

public Object evaluate(VMEvaluationStepper mainEvaluator)
                throws CoreException

Throws:

CoreException

checkCondition

public boolean checkCondition(VMEvaluationStepper mainEvaluator)
                       throws CoreException

Throws:

CoreException

getConditionType

public EClassifier getConditionType()