jET
1.0alpha5


prv.doman.fsa
Class StateRedefinitionException

java.lang.Object
  |
  +--java.lang.Throwable
        |
        +--java.lang.Exception
              |
              +--prv.doman.fsa.AutomatonException
                    |
                    +--prv.doman.fsa.StateRedefinitionException
All Implemented Interfaces:
java.io.Serializable

public class StateRedefinitionException
extends AutomatonException

Thrown when the state already exists in set of states.

See Also:
Serialized Form

Constructor Summary
StateRedefinitionException(java.lang.String stateName)
          Creates new state redefinition exception.
 
Method Summary
 java.lang.String getState()
          Gets a state name.
 
Methods inherited from class java.lang.Throwable
fillInStackTrace, getCause, getLocalizedMessage, getMessage, getStackTrace, initCause, printStackTrace, printStackTrace, printStackTrace, setStackTrace, toString
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Constructor Detail

StateRedefinitionException

public StateRedefinitionException(java.lang.String stateName)
Creates new state redefinition exception.

Parameters:
stateName - Redefined state name.
Method Detail

getState

public java.lang.String getState()
Gets a state name.

Returns:
Redefined state name.

jET
1.0alpha5