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 determince wheter two states are equivalent.

Constructor Summary

Constructors

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

Method Summary

Methods

Modifier and Type	Method and Description
double	getTreshold()
boolean	isEquivalent(String oldDom, String newDom)
void	setTreshold(double treshold)

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 treshold = 1.

EditDistanceComparator

public EditDistanceComparator(double treshold)

Parameters:

treshold - the edit distance treshold. 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 treshold

getTreshold

public double getTreshold()

Returns:

the treshold

setTreshold

public void setTreshold(double treshold)

Parameters:

treshold - the treshold to set