jus.util.assertion
Class Fail

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

public class Fail
extends java.lang.RuntimeException

Une assertion portant sur l'état final d'une méthode

See Also:
Fail, Serialized Form

Field Summary
 
Fields inherited from class java.lang.RuntimeException
 
Constructor Summary
Fail(int code, java.lang.String formule)
           
Fail(java.lang.String nom)
           
Fail(java.lang.String nom, java.lang.Exception exception)
           
Fail(java.lang.String nom, java.lang.String formule)
           
 
Method Summary
 int code()
          Restitue le code interne de l'exception
 java.lang.Exception exception()
          Restitue l'exception originale
 void exception(java.lang.Exception exception)
           
 java.lang.String formule()
          Restitue la condition non vérifiée
 void formule(java.lang.String formule)
           
 java.lang.Object objet()
          Restitue l'objet à l'origine de l'exception
 void objet(java.lang.Object 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

Fail

public Fail(java.lang.String nom)

Fail

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

Fail

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

Fail

public Fail(int code,
            java.lang.String formule)
Method Detail

formule

public java.lang.String formule()
Restitue la condition non vérifiée

Returns:
la chaine

code

public int code()
Restitue le code interne de l'exception

Returns:
code

objet

public java.lang.Object objet()
Restitue l'objet à l'origine de l'exception

Returns:
objet

exception

public java.lang.Exception exception()
Restitue l'exception originale

Returns:
exception

formule

public void formule(java.lang.String formule)

exception

public void exception(java.lang.Exception exception)

objet

public void objet(java.lang.Object objet)