jus.util.assertion
Interface Assertion


public interface Assertion

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

Version:
1.0 date 1/9/99
Author:
P.Morat ou http://imag.fr/Philippe.Morat
Mots_cle
assertion, precondition, postcondition, invariant

Method Summary
 int code()
          Restitue le code interne de l'exception
 java.lang.Exception exception()
          Restitue l'exception originale
 void exception(java.lang.Exception exception)
          Renseignement d'une assertion
 java.lang.String formule()
          Restitue la condition non vérifiée
 void formule(java.lang.String formule)
          Renseignement d'une assertion
 void objet(java.lang.Object objet)
          Renseignement d'une assertion
 

Method Detail

formule

java.lang.String formule()
Restitue la condition non vérifiée

Returns:
la chaine

code

int code()
Restitue le code interne de l'exception

Returns:
code

exception

java.lang.Exception exception()
Restitue l'exception originale

Returns:
exception

formule

void formule(java.lang.String formule)
Renseignement d'une assertion

Parameters:
formule - la chaine représentant la condition

exception

void exception(java.lang.Exception exception)
Renseignement d'une assertion

Parameters:
exception - l'exception à l'origine de l'échec

objet

void objet(java.lang.Object objet)
Renseignement d'une assertion

Parameters:
objet - l'objet à l'origine de l'exception