com.crawljax.oraclecomparator.comparators

Class EditDistanceComparator

java.lang.Object

com.crawljax.oraclecomparator.AbstractComparator

com.crawljax.oraclecomparator.comparators.EditDistanceComparator

All Implemented Interfaces:

Comparator

public class EditDistanceComparator
extends AbstractComparator

Oracle Comparator that uses the Levenshtein Edit Distance to determine whether two states are equivalent.

Constructor Summary

Constructors

Constructor and Description
EditDistanceComparator() Default constructor with edit distance threshold = 1.
EditDistanceComparator(double threshold)

Method Summary

Modifier and Type	Method and Description
double	getThreshold()
boolean	isEquivalent(String oldDom, String newDom)
void	setThreshold(double threshold)

Methods inherited from class com.crawljax.oraclecomparator.AbstractComparator

getDifferences, normalize

Methods inherited from class java.lang.Object

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

Constructor Detail

EditDistanceComparator

public EditDistanceComparator()

Default constructor with edit distance threshold = 1.

EditDistanceComparator

public EditDistanceComparator(double threshold)

Parameters:

threshold - the edit distance threshold. 1 is no difference, 0 is totally different

Method Detail

isEquivalent

public boolean isEquivalent(String oldDom,
                            String newDom)

Specified by:

isEquivalent in interface Comparator

Overrides:

isEquivalent in class AbstractComparator

Returns:

true if and only if the edit distance threshold is >= the specified threshold

getThreshold

public double getThreshold()

Returns:

the threshold

setThreshold

public void setThreshold(double threshold)

Parameters:

threshold - the threshold to set