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(StateFlowGraph sfg, com.google.common.collect.ImmutableList<Invariant> invariantList, Plugins plugins, StateComparator stateComparator) Create a new StateMachine.

Method Summary

Methods

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.
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(StateFlowGraph sfg,
            com.google.common.collect.ImmutableList<Invariant> invariantList,
            Plugins plugins,
            StateComparator stateComparator)

Create a new StateMachine.

Parameters:

sfg - the state flow graph that is shared.

indexState - the state representing the Index vertix

invariantList - the invariants to use in the InvariantChecker.

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.

swithToStateAndCheckIfClone

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

Adds an edge between the current and new state.

Parameters:

event - the event edge.

newState - the new state.

browser - used to feet to checkInvariants

session - the current Session

Returns:

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