com.crawljax.oraclecomparator

Class OracleComparator

java.lang.Object

com.crawljax.oraclecomparator.OracleComparator

@Immutable
public class OracleComparator
extends Object

This class contains the oracle and its precondition(s).

Constructor Summary

Constructors

Constructor and Description
OracleComparator(String id, Comparator oracle)
OracleComparator(String id, Comparator oracle, Condition... preConditions)
OracleComparator(String id, Comparator oracle, List<Condition> preConditions)

Method Summary

Modifier and Type	Method and Description
String	getId()
Comparator	getOracle()
List<Condition>	getPreConditions()

Methods inherited from class java.lang.Object

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

Constructor Detail

OracleComparator

public OracleComparator(String id,
                        Comparator oracle)

Parameters:

id - an identifier for the oracle

oracle - the Oracle

OracleComparator

public OracleComparator(String id,
                        Comparator oracle,
                        List<Condition> preConditions)

Parameters:

id - an identifier for the oracle

oracle - the Oracle

preConditions - the preconditions that must be satisfied before the oracle comparator is used

OracleComparator

public OracleComparator(String id,
                        Comparator oracle,
                        Condition... preConditions)

Parameters:

id - an identifier for the oracle

oracle - the Oracle

preConditions - the preconditions that must be satisfied before the oracle comparator is used

Method Detail

getId

public String getId()

Returns:

the Id

getOracle

public Comparator getOracle()

Returns:

the Oracle

getPreConditions

public List<Condition> getPreConditions()

Returns:

the preconditions