uk.ac.man.cs.rainbow.deadlock
Class StateEngine.AlreadyInitialisedException

java.lang.Object
  |
  +--java.lang.Throwable
        |
        +--java.lang.Exception
              |
              +--uk.ac.man.cs.rainbow.RainbowException
                    |
                    +--uk.ac.man.cs.rainbow.deadlock.StateEngine.AlreadyInitialisedException

All Implemented Interfaces:

Serializable

Enclosing class:

StateEngine

public static class StateEngine.AlreadyInitialisedException

extends RainbowException

See Also:

Serialized Form

Constructor Summary

StateEngine.AlreadyInitialisedException()

Methods inherited from class uk.ac.man.cs.rainbow.RainbowException

getDetail, getMessage, setAugment, setDetail

Methods inherited from class java.lang.Throwable

fillInStackTrace, getLocalizedMessage, printStackTrace, printStackTrace, printStackTrace, toString

Methods inherited from class java.lang.Object

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

Constructor Detail

StateEngine.AlreadyInitialisedException

public StateEngine.AlreadyInitialisedException()