jus.util.assertion
Class Require

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

public class Require
extends Fail

définition des exceptions dues aux violations de préconditions.

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

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

Require

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

Parameters:
nom - le nom symbolique de l'exception

Require

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

Require

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