jus.util.assertion
Class Ensure

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.Ensure
All Implemented Interfaces:
java.io.Serializable

public class Ensure
extends Fail

définition des exceptions dues aux violations de postconditions.

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

Constructor Summary
Ensure(int code, java.lang.String formule)
          Construction d'une assertion
Ensure(java.lang.String nom)
          Construction d'une assertion
Ensure(java.lang.String nom, java.lang.Exception exception)
          Construction d'une assertion
Ensure(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

Ensure

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

Parameters:
nom - le nom symbolique de l'exception

Ensure

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

Ensure

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

Ensure

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