jus.util.assertion
Class Invariant

java.lang.Object
  extended by java.lang.Throwable
      extended by java.lang.Exception
          extended by java.lang.RuntimeException
              extended by jus.util.assertion.Fail
                  extended by jus.util.assertion.Invariant
All Implemented Interfaces:
java.io.Serializable

public class Invariant
extends Fail

définition des exceptions dues aux violations d'invariant.

Version:
1.0 date 1/9/99
Author:
P.Morat ou http://imag.fr/Philippe.Morat
See Also:
Invariant, Assertion, Serialized Form

Constructor Summary
Invariant(int code, java.lang.String formule)
          Construction d'une assertion
Invariant(java.lang.String nom)
          Construction d'une assertion
Invariant(java.lang.String nom, java.lang.Exception exception)
          Construction d'une assertion
Invariant(java.lang.String nom, java.lang.String formule)
          Construction d'une assertion
 
Method Summary
 
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
equals, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Constructor Detail

Invariant

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

Parameters:
nom - le nom symbolique de l'exception

Invariant

public Invariant(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

Invariant

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

Parameters:
nom - le nom symbolique de l'exception
exception - l'exception d'origine

Invariant

public Invariant(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