org.eclipse.epsilon.evl.trace

Class ConstraintTrace

java.lang.Object

org.eclipse.epsilon.evl.trace.ConstraintTrace

All Implemented Interfaces:

java.lang.Iterable

public class ConstraintTrace
extends java.lang.Object
implements java.lang.Iterable

Constructor Summary

Constructors

Constructor and Description
ConstraintTrace()

Method Summary

Methods

Modifier and Type	Method and Description
void	addChecked(EvlConstraint constraint, java.lang.Object object, boolean result)
boolean	isChecked(EvlConstraint constraint, java.lang.Object object)
boolean	isSatisfied(EvlConstraint constraint, java.lang.Object object)
java.util.Iterator	iterator()

Methods inherited from class java.lang.Object

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

Constructor Detail

ConstraintTrace

public ConstraintTrace()

Method Detail

addChecked

public void addChecked(EvlConstraint constraint,
              java.lang.Object object,
              boolean result)

isChecked

public boolean isChecked(EvlConstraint constraint,
                java.lang.Object object)

isSatisfied

public boolean isSatisfied(EvlConstraint constraint,
                  java.lang.Object object)

iterator

public java.util.Iterator iterator()

Specified by:

iterator in interface java.lang.Iterable