Package org.tigris.mbt.exceptions

Exception Summary

ExecutionTimeException	This exception is thrown, whenever the preset execution time has elapsed
FoundNoEdgeException	This exception is thrown during test sequence generation, when no out edge is found from a given vertex.
GoBackToPreviousVertexException	This exception can be thrown in order to backtrack the current point of execution to the previous vertex.
InvalidDataException	This exception should be used whenever data extraction from the data space from a EFSM machine fails.