Package com.crawljax.condition.invariant

Class Invariant

java.lang.Object

com.crawljax.condition.ConditionType

com.crawljax.condition.invariant.Invariant

public class Invariant
extends ConditionType

An Invariant is an condition which should always hold when its preconditions are satisfied.

Constructor Summary

Constructors

Constructor	Description
Invariant(String description, Condition invariantCondition)
Invariant(String description, Condition invariantCondition, Condition... preConditions)
Invariant(String description, Condition invariantCondition, List<Condition> preConditions)

Method Summary

Modifier and Type	Method	Description
Condition	getInvariantCondition()
String	toString()

Methods inherited from class com.crawljax.condition.ConditionType

equals, getCondition, getDescription, getPreConditions, hashCode

Methods inherited from class java.lang.Object

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

Constructor Detail

Invariant

public Invariant(String description,
                 Condition invariantCondition)

Parameters:

description - Description of the invariant.

invariantCondition - Condition to check.

Invariant

public Invariant(String description,
                 Condition invariantCondition,
                 Condition... preConditions)

Parameters:

description - Description of the invariant.

invariantCondition - Condition to check.

preConditions - Only check if the preconditions are true.

Invariant

public Invariant(String description,
                 Condition invariantCondition,
                 List<Condition> preConditions)

Parameters:

description - Description of the invariant.

invariantCondition - Condition to check.

preConditions - Only check if the preconditions are true.

Method Detail

getInvariantCondition

public Condition getInvariantCondition()

Returns:

The condition

toString

public String toString()

Overrides:

toString in class ConditionType