jus.util.assertion
Class Invariant

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

public class Invariant
extends Fail

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

See Also:
Invariant, Assertion, Serialized Form

Field Summary
 
Fields inherited from class java.lang.RuntimeException
 
Constructor Summary
Invariant(int code, java.lang.String formule)
           
Invariant(java.lang.String nom)
           
Invariant(java.lang.String nom, java.lang.Exception exception)
           
Invariant(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

Invariant

public Invariant(java.lang.String nom)

Invariant

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

Invariant

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

Invariant

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