p_tools
Class InvariantBroken

java.lang.Object
  extended by java.lang.Throwable
      extended by java.lang.Exception
          extended by java.lang.RuntimeException
              extended by p_tools.InvariantBroken
All Implemented Interfaces:
java.io.Serializable

public class InvariantBroken
extends java.lang.RuntimeException

InvariantBroken is raised when the invariant of a class is not true in the current state of the instance

See Also:
Serialized Form

Constructor Summary
InvariantBroken(java.lang.String message)
          Constructor of the exception raised when invariants are broken
 
Method Summary
 
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
equals, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Constructor Detail

InvariantBroken

public InvariantBroken(java.lang.String message)
Constructor of the exception raised when invariants are broken

Parameters:
message - is used to explain which part of the invariant has been broken