uk.ac.man.cs.rainbow.wvmc
Class StateEngine.CannotBacktrack

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

All Implemented Interfaces:

Serializable

Enclosing class:

StateEngine

public static class StateEngine.CannotBacktrack

extends RainbowException

Thrown to indicate that a backtrack is impossible. This is intended to be due to the fact that the head of the path stack has been reached (i.e. that the check has completed.

See Also:

Serialized Form

Constructor Summary

StateEngine.CannotBacktrack()

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.CannotBacktrack

public StateEngine.CannotBacktrack()