org.state4j.exceptions
Class PostconditionViolatedException

java.lang.Object
  extended by java.lang.Throwable
      extended by java.lang.Exception
          extended by java.lang.RuntimeException
              extended by org.state4j.exceptions.LogicErrorException
                  extended by org.state4j.exceptions.PostconditionViolatedException
All Implemented Interfaces:
java.io.Serializable

public class PostconditionViolatedException
extends LogicErrorException

See Also:
Serialized Form

Constructor Summary
PostconditionViolatedException()
           
PostconditionViolatedException(java.lang.String arg0)
           
PostconditionViolatedException(java.lang.String arg0, java.lang.Throwable arg1)
           
PostconditionViolatedException(java.lang.Throwable arg0)
           
 
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
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Constructor Detail

PostconditionViolatedException

public PostconditionViolatedException()

PostconditionViolatedException

public PostconditionViolatedException(java.lang.String arg0)

PostconditionViolatedException

public PostconditionViolatedException(java.lang.String arg0,
                                      java.lang.Throwable arg1)

PostconditionViolatedException

public PostconditionViolatedException(java.lang.Throwable arg0)


Copyright © 2006 . All Rights Reserved.