OracleComparator (Crawljax core 5.2.2 API)

java.lang.Object
- com.crawljax.oraclecomparator.OracleComparator

@Immutable
public class OracleComparator
extends Object

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

Field Summary

Fields
Modifier and Type Field Description

private String id

private Comparator oracle

private List<Condition> preConditions

Constructor Summary

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

Method Summary

All Methods Instance Methods Concrete Methods
Modifier and Type Method 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

Field Detail

preConditions

private final List<Condition> preConditions

id
```
private final String id
```

oracle
```
private final Comparator oracle
```

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