jus.util.assertion
Class Fail

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

public class Fail
extends java.lang.RuntimeException

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

Version:
1.0 date 1/9/99
Author:
P.Morat ou http://imag.fr/Philippe.Morat
See Also:
Fail, Serialized Form
Mots_cle
assertion, precondition, postcondition, invariant

Constructor Summary
Fail(int code, java.lang.String formule)
          Construction d'une assertion
Fail(java.lang.String nom)
          Construction d'une assertion
Fail(java.lang.String nom, java.lang.Exception exception)
          Construction d'une assertion
Fail(java.lang.String nom, java.lang.String formule)
          Construction d'une assertion
 
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)
          Renseignement d'une assertion
 java.lang.String formule()
          Restitue la condition non vérifiée
 void formule(java.lang.String formule)
          Renseignement d'une assertion
 java.lang.Object objet()
          Restitue l'objet à l'origine de l'exception
 void objet(java.lang.Object objet)
          Renseignement d'une assertion
 
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

Fail

public Fail(java.lang.String nom)
Construction d'une assertion

Parameters:
nom - le nom symbolique de l'exception

Fail

public Fail(java.lang.String nom,
            java.lang.String formule)
Construction d'une assertion

Parameters:
nom - le nom symbolique de l'exception
formule - la chaine représentant la condition

Fail

public Fail(java.lang.String nom,
            java.lang.Exception exception)
Construction d'une assertion

Parameters:
nom - le nom symbolique de l'exception
exception - l'exception à l'origine de l'échec

Fail

public Fail(int code,
            java.lang.String formule)
Construction d'une assertion

Parameters:
code - le code interne de l'exception
formule - la chaine représentant la condition
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)
Renseignement d'une assertion

Parameters:
formule - la chaine représentant la condition

exception

public void exception(java.lang.Exception exception)
Renseignement d'une assertion

Parameters:
exception - l'exception à l'origine de l'échec

objet

public void objet(java.lang.Object objet)
Renseignement d'une assertion

Parameters:
objet - l'objet à l'origine de l'exception