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, List<StateVertex> onURLSet)

Method Summary

Modifier and Type	Method and Description
boolean	changeState(StateVertex nextState) Change the currentState to the nextState if possible.
StateVertex	getCurrentState() Return the current State in this state machine.
List<StateVertex>	getOnURLSet()
InMemoryStateFlowGraph	getStateFlowGraph()
StateVertex	newStateFor(EmbeddedBrowser browser)
void	rewind() reset the state machine to the initial state.
void	runOnInvariantViolationPlugins(CrawlerContext context)
void	setCurrentState(StateVertex currentState)
boolean	switchToStateAndCheckIfClone(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,
                    List<StateVertex> onURLSet)

Method Detail

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.

switchToStateAndCheckIfClone

public boolean switchToStateAndCheckIfClone(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.

runOnInvariantViolationPlugins

public void runOnInvariantViolationPlugins(CrawlerContext context)

setCurrentState

public void setCurrentState(StateVertex currentState)

getOnURLSet

public List<StateVertex> getOnURLSet()

getStateFlowGraph

public InMemoryStateFlowGraph getStateFlowGraph()