com.crawljax.core.state

Class StateMachineTest

java.lang.Object

com.crawljax.core.state.StateMachineTest

public class StateMachineTest
extends Object

Constructor Summary

Constructors

Constructor and Description
StateMachineTest()

Method Summary

Methods

Modifier and Type	Method and Description
void	initStateMachine() Run before every test case.
void	testChangeState() Test the Change State operation.
void	testCloneState() Test the Clone state behaviour.
void	testInitOk()
void	testInvariantFailurePlugin() Make sure InvariantViolationPlugin executed.
void	testInvariants() Make sure Invariants are executed!
void	testOnNewStatePlugin() Make sure On new State Plugin executed.
void	testRewind() Test the Rewind Operation.

Methods inherited from class java.lang.Object

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

Constructor Detail

StateMachineTest

public StateMachineTest()

Method Detail

initStateMachine

public void initStateMachine()

Run before every test case.

testInitOk

public void testInitOk()

testChangeState

public void testChangeState()

Test the Change State operation.

testCloneState

public void testCloneState()

Test the Clone state behaviour.

testRewind

public void testRewind()

Test the Rewind Operation.

testInvariants

public void testInvariants()

Make sure Invariants are executed!

testOnNewStatePlugin

public void testOnNewStatePlugin()

Make sure On new State Plugin executed.

testInvariantFailurePlugin

public void testInvariantFailurePlugin()

Make sure InvariantViolationPlugin executed.