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

java.lang.Object
  extended by org.eclipse.ocl.examples.debug.vm.ConditionChecker

public class ConditionChecker
extends java.lang.Object


Field Summary
static int ERR_CODE_COMPILATION
           
static int ERR_CODE_EVALUATION
           
 
Constructor Summary
ConditionChecker(java.lang.String conditionBody, Element targetASTElement)
           
 
Method Summary
 boolean checkCondition(IVMEvaluationVisitor<?> mainEvaluator)
           
 java.lang.Object evaluate(IVMEvaluationVisitor<?> mainEvaluator)
           
 org.eclipse.emf.ecore.EClassifier getConditionType()
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, 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(@NonNull
                        java.lang.String conditionBody,
                        @NonNull
                        Element targetASTElement)
Method Detail

evaluate

public java.lang.Object evaluate(@NonNull
                                 IVMEvaluationVisitor<?> mainEvaluator)
                          throws org.eclipse.core.runtime.CoreException
Throws:
org.eclipse.core.runtime.CoreException

checkCondition

public boolean checkCondition(@NonNull
                              IVMEvaluationVisitor<?> mainEvaluator)
                       throws org.eclipse.core.runtime.CoreException
Throws:
org.eclipse.core.runtime.CoreException

getConditionType

public org.eclipse.emf.ecore.EClassifier getConditionType()