Package org.eclipse.epsilon.evl.trace

Class ConstraintTrace

java.lang.Object

org.eclipse.epsilon.evl.trace.ConstraintTrace

All Implemented Interfaces:

java.lang.Iterable<ConstraintTraceItem>

public class ConstraintTrace
extends java.lang.Object
implements java.lang.Iterable<ConstraintTraceItem>

Field Summary

Fields

Modifier and Type	Field	Description
protected java.util.Set<ConstraintTraceItem>	iterable
protected java.util.Set<Constraint>	storageOptimised

Constructor Summary

Constructors

Constructor	Description
ConstraintTrace()
ConstraintTrace(boolean concurrent)

Method Summary

Modifier and Type	Method	Description
void	addAll(java.util.Collection<? extends ConstraintTrace> others)
void	addAll(ConstraintTrace... others)
void	addChecked(Constraint constraint, java.lang.Object object, boolean result)
void	addCheckedOptimised(Constraint constraint)	Indicates that this constraint was checked in an optimised manner, so we only have the trace items for the invalid items and anything else is considered checked and valid.
void	clear()
boolean	equals(java.lang.Object other)
int	hashCode()
boolean	isChecked(Constraint constraint, java.lang.Object instance)
boolean	isSatisfied(Constraint constraint, java.lang.Object instance)
java.util.Iterator<ConstraintTraceItem>	iterator()
java.util.stream.Stream<ConstraintTraceItem>	stream()

Methods inherited from class java.lang.Object

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

Methods inherited from interface java.lang.Iterable

forEach, spliterator

Field Detail

storageOptimised

protected final java.util.Set<Constraint> storageOptimised

iterable

protected final java.util.Set<ConstraintTraceItem> iterable

Constructor Detail

ConstraintTrace

public ConstraintTrace()

ConstraintTrace

public ConstraintTrace(boolean concurrent)

Parameters:

concurrent -

Since:

1.6

Method Detail

addAll

public void addAll(java.util.Collection<? extends ConstraintTrace> others)

Parameters:

others -

Since:

1.6

addAll

public void addAll(ConstraintTrace... others)

Parameters:

others -

Since:

1.6

addCheckedOptimised

public void addCheckedOptimised(Constraint constraint)

Indicates that this constraint was checked in an optimised manner, so we only have the trace items for the invalid items and anything else is considered checked and valid.

addChecked

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

isChecked

public boolean isChecked(Constraint constraint,
                         java.lang.Object instance)

isSatisfied

public boolean isSatisfied(Constraint constraint,
                           java.lang.Object instance)

clear

public void clear()

Since:

1.6

stream

public java.util.stream.Stream<ConstraintTraceItem> stream()

Returns:

Since:

1.6

iterator

public java.util.Iterator<ConstraintTraceItem> iterator()

Specified by:

iterator in interface java.lang.Iterable<ConstraintTraceItem>

hashCode

public int hashCode()

Overrides:

hashCode in class java.lang.Object

Since:

1.6

equals

public boolean equals(java.lang.Object other)

Overrides:

equals in class java.lang.Object

Since:

1.6