jus.util.assertion
Class Ensure

java.lang.Object
  extended byjava.lang.Throwable
      extended byjava.lang.Exception
          extended byjava.lang.RuntimeException
              extended byjus.util.assertion.Fail
                  extended byjus.util.assertion.Ensure
All Implemented Interfaces:
java.io.Serializable

public class Ensure
extends Fail

définition des exceptions dues aux violations de postconditions.

See Also:
Ensure, Assertion, Serialized Form

Field Summary
 
Fields inherited from class java.lang.RuntimeException
 
Constructor Summary
Ensure(int code, java.lang.String formule)
           
Ensure(java.lang.String nom)
           
Ensure(java.lang.String nom, java.lang.Exception exception)
           
Ensure(java.lang.String nom, java.lang.String formule)
           
 
Methods inherited from class jus.util.assertion.Fail
code, exception, exception, formule, formule, objet, objet
 
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

Ensure

public Ensure(java.lang.String nom)

Ensure

public Ensure(java.lang.String nom,
              java.lang.String formule)

Ensure

public Ensure(java.lang.String nom,
              java.lang.Exception exception)

Ensure

public Ensure(int code,
              java.lang.String formule)