com.crawljax.core.state

Class StateMachine

java.lang.Object

com.crawljax.core.state.StateMachine

public class StateMachine
extends Object

The State Machine.

Constructor Summary

Constructors

Constructor and Description
StateMachine(InMemoryStateFlowGraph sfg, com.google.common.collect.ImmutableList<Invariant> invariantList, Plugins plugins, StateComparator stateComparator)

Method Summary

Methods

Modifier and Type	Method and Description
boolean	changeState(StateVertex nextState) Change the currentState to the nextState if possible.
static StateVertex	createIndex(String url, String dom, String strippedDom)
StateVertex	getCurrentState() Return the current State in this state machine.
StateVertex	newStateFor(EmbeddedBrowser browser)
void	rewind() reset the state machine to the initial state.
boolean	swithToStateAndCheckIfClone(Eventable event, StateVertex newState, CrawlerContext context) Adds an edge between the current and new state.

Methods inherited from class java.lang.Object

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

Constructor Detail

StateMachine

public StateMachine(InMemoryStateFlowGraph sfg,
            com.google.common.collect.ImmutableList<Invariant> invariantList,
            Plugins plugins,
            StateComparator stateComparator)

Method Detail

createIndex

public static StateVertex createIndex(String url,
                      String dom,
                      String strippedDom)

Returns:

The index StateVertex.

newStateFor

public StateVertex newStateFor(EmbeddedBrowser browser)

changeState

public boolean changeState(StateVertex nextState)

Change the currentState to the nextState if possible. The next state should already be present in the graph.

Parameters:

nextState - the next state.

Returns:

true if currentState is successfully changed.

getCurrentState

public StateVertex getCurrentState()

Return the current State in this state machine.

Returns:

the current State.

rewind

public void rewind()

reset the state machine to the initial state.

swithToStateAndCheckIfClone

public boolean swithToStateAndCheckIfClone(Eventable event,
                                  StateVertex newState,
                                  CrawlerContext context)

Adds an edge between the current and new state.

Returns:

true if the new state is not found in the state machine.