jus.util.assertion
Class Require

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

public class Require
extends java.lang.Exception

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

See Also:
Require, Assertion, Serialized Form

Field Summary
 
Fields inherited from class java.lang.Exception
 
Constructor Summary
Require(int code, java.lang.String formule)
           
Require(java.lang.String nom)
           
Require(java.lang.String nom, java.lang.String formule)
           
 
Method Summary
 int code()
          Restitue le code interne de l'exception
 java.lang.String formule()
          Restitue la condition non vérifiée
 void formule(java.lang.String formule)
           
 
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

Require

public Require(java.lang.String nom)

Require

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

Require

public Require(int code,
               java.lang.String formule)
Method Detail

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

formule

public void formule(java.lang.String formule)