org.cornutum.tcases.conditions

Class Conjunction

java.lang.Object

org.cornutum.tcases.conditions.Conjunction

All Implemented Interfaces:

ICondition, IConjunct

public class Conjunction
extends Object
implements IConjunct

A condition in conjunctive normal form.

Field Summary

Fields inherited from interface org.cornutum.tcases.conditions.ICondition

ALWAYS

Constructor Summary

Constructors

Constructor and Description
Conjunction(IDisjunct... disjuncts) Creates a new Conjunction instance.

Method Summary

Modifier and Type	Method and Description
void	accept(IConditionVisitor visitor) Implements the Visitor pattern for this condition.
Conjunction	add(IDisjunct disjunct) Adds a disjunct to this conjunction.
Conjunction	append(IConjunct conjunct) Appends another conjunction to this conjunction.
boolean	compatible(PropertySet properties) Returns true if this condition is compatible with the given test case properties.
boolean	equals(Object object)
int	getDisjunctCount() Returns the number of disjunctions for this conjunction.
Iterator<IDisjunct>	getDisjuncts() Returns the disjuncts in this conjunction.
int	hashCode()
Conjunction	remove(IDisjunct disjunct) Removes a disjunct from this conjunction.
boolean	satisfied(PropertySet properties) Returns true if this condition is satisfied by the given test case properties.
String	toString()

Methods inherited from class java.lang.Object

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

Constructor Detail

Conjunction

public Conjunction(IDisjunct... disjuncts)

Creates a new Conjunction instance.

Method Detail

satisfied

public boolean satisfied(PropertySet properties)

Returns true if this condition is satisfied by the given test case properties.

Specified by:

satisfied in interface ICondition

compatible

public boolean compatible(PropertySet properties)

Returns true if this condition is compatible with the given test case properties. A condition is "compatible" with these properties if it is already satisfied or if it could be satisfied with the addition of more properties.

Specified by:

compatible in interface ICondition

accept

public void accept(IConditionVisitor visitor)

Implements the Visitor pattern for this condition.

Specified by:

accept in interface ICondition

add

public Conjunction add(IDisjunct disjunct)

Adds a disjunct to this conjunction.

append

public Conjunction append(IConjunct conjunct)

Appends another conjunction to this conjunction.

remove

public Conjunction remove(IDisjunct disjunct)

Removes a disjunct from this conjunction.

getDisjuncts

public Iterator<IDisjunct> getDisjuncts()

Returns the disjuncts in this conjunction.

Specified by:

getDisjuncts in interface IConjunct

getDisjunctCount

public int getDisjunctCount()

Returns the number of disjunctions for this conjunction.

Specified by:

getDisjunctCount in interface IConjunct

toString

public String toString()

Overrides:

toString in class Object

hashCode

public int hashCode()

Overrides:

hashCode in class Object

equals

public boolean equals(Object object)

Overrides:

equals in class Object