Package com.crawljax.stateabstractions.dom

Class RTEDStateVertexFactory

java.lang.Object

com.crawljax.core.state.StateVertexFactory

com.crawljax.stateabstractions.dom.RTEDStateVertexFactory

public class RTEDStateVertexFactory
extends StateVertexFactory

The default factory that creates State vertexes with a Object.hashCode() and Object.equals(Object) function based on the Stripped dom.

Field Summary

Fields

Modifier and Type	Field	Description
private static double	threshold

Constructor Summary

Constructors

Constructor	Description
RTEDStateVertexFactory()
RTEDStateVertexFactory(double threshold)

Method Summary

Modifier and Type	Method	Description
StateVertex	newStateVertex(int id, String url, String name, String dom, String strippedDom, EmbeddedBrowser browser)	Defines a State.
String	toString()

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

createIndex

Methods inherited from class java.lang.Object

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

Field Detail

threshold

private static double threshold

Constructor Detail

RTEDStateVertexFactory

public RTEDStateVertexFactory()

RTEDStateVertexFactory

public RTEDStateVertexFactory(double threshold)

Method Detail

newStateVertex

public StateVertex newStateVertex(int id,
                                  String url,
                                  String name,
                                  String dom,
                                  String strippedDom,
                                  EmbeddedBrowser browser)

Description copied from class: StateVertexFactory

Defines a State.

Specified by:

newStateVertex in class StateVertexFactory

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

toString

public String toString()

Overrides:

toString in class Object