Package com.crawljax.stateabstractions.dom

Class RTEDStateVertexImpl

java.lang.Object

com.crawljax.core.state.StateVertexImpl

com.crawljax.stateabstractions.dom.RTEDStateVertexImpl

All Implemented Interfaces:

StateVertex, Serializable

public class RTEDStateVertexImpl
extends StateVertexImpl

The state vertex class which represents a state in the browser. When iterating over the possible candidate elements every time a candidate is returned its removed from the list so it is a one time only access to the candidates.

See Also:

Serialized Form

Field Summary

Fields

Modifier and Type	Field	Description
private static long	serialVersionUID
private double	threshold

Fields inherited from class com.crawljax.core.state.StateVertexImpl

LOG

Fields inherited from interface com.crawljax.core.state.StateVertex

INDEX_ID

Constructor Summary

Constructors

Constructor	Description
RTEDStateVertexImpl(int id, String url, String name, String dom, String strippedDom, double threshold)	Defines a State.

Method Summary

Modifier and Type	Method	Description
double	computeDistance(String dom1, String dom2)
boolean	equals(Object object)
double	getDist(StateVertex vertexOfGraph)
int	hashCode()
String	toString()

Methods inherited from class com.crawljax.core.state.StateVertexImpl

addFragments, getCandidateElement, getCandidateElement, getCandidateElements, getClosestDomFragment, getClosestFragment, getClosestFragment, getCluster, getDistToNearestState, getDocument, getDom, getFragments, getId, getName, getNearestState, getRootFragment, getSerialversionuid, getStrippedDom, getUrl, hasNearDuplicate, hasUnexploredActions, inThreshold, isNearDuplicate, isOnURL, setCluster, setDirectAccess, setDistToNearestState, setDocument, setElementsFound, setFragments, setHasNearDuplicate, setNearestState, setOnURL

Methods inherited from class java.lang.Object

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

Field Detail

serialVersionUID

private static final long serialVersionUID

See Also:

Constant Field Values

threshold

private double threshold

Constructor Detail

RTEDStateVertexImpl

public RTEDStateVertexImpl(int id,
                           String url,
                           String name,
                           String dom,
                           String strippedDom,
                           double threshold)

Defines a State.

Parameters:

id - id of the state in the SFG

url - the current url of the state

name - the name of the state

dom - the current DOM tree of the browser

strippedDom - the stripped dom by the OracleComparators

threshold - the threshold to be used

Method Detail

hashCode

public int hashCode()

Overrides:

hashCode in class StateVertexImpl

computeDistance

public double computeDistance(String dom1,
                              String dom2)

equals

public boolean equals(Object object)

Overrides:

equals in class StateVertexImpl

toString

public String toString()

Overrides:

toString in class StateVertexImpl

getDist

public double getDist(StateVertex vertexOfGraph)

Specified by:

getDist in interface StateVertex

Overrides:

getDist in class StateVertexImpl