jus.util.assertion
Class Fail
java.lang.Object
java.lang.Throwable
java.lang.Exception
java.lang.RuntimeException
jus.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
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 |
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)
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)