A C E F G H I J N O R S T U

A

AnyTaglet - class jus.util.assertion.AnyTaglet.
 
AnyTaglet() - Constructor for class jus.util.assertion.AnyTaglet
 
Assertion - interface jus.util.assertion.Assertion.
définition des exceptions dues aux violations d'assertion.
AssertionTaglet - class jus.util.assertion.AssertionTaglet.
 
AssertionTaglet() - Constructor for class jus.util.assertion.AssertionTaglet
 

C

clone() - Method in class jus.util.assertion.AnyTaglet
make a clone of this tag
code() - Method in interface jus.util.assertion.Assertion
Restitue le code interne de l'exception
code() - Method in class jus.util.assertion.Fail
Restitue le code interne de l'exception
code() - Method in class jus.util.assertion.Require
Restitue le code interne de l'exception

E

Ensure - exception jus.util.assertion.Ensure.
définition des exceptions dues aux violations de postconditions.
Ensure(String) - Constructor for class jus.util.assertion.Ensure
 
Ensure(String, String) - Constructor for class jus.util.assertion.Ensure
 
Ensure(String, Exception) - Constructor for class jus.util.assertion.Ensure
 
Ensure(int, String) - Constructor for class jus.util.assertion.Ensure
 
EnsureTaglet - class jus.util.assertion.EnsureTaglet.
 
EnsureTaglet() - Constructor for class jus.util.assertion.EnsureTaglet
 
exception() - Method in interface jus.util.assertion.Assertion
Restitue l'exception originale
exception(Exception) - Method in interface jus.util.assertion.Assertion
 
exception() - Method in class jus.util.assertion.Fail
Restitue l'exception originale
exception(Exception) - Method in class jus.util.assertion.Fail
 

F

Fail - exception jus.util.assertion.Fail.
Une assertion portant sur l'état final d'une méthode
Fail(String) - Constructor for class jus.util.assertion.Fail
 
Fail(String, String) - Constructor for class jus.util.assertion.Fail
 
Fail(String, Exception) - Constructor for class jus.util.assertion.Fail
 
Fail(int, String) - Constructor for class jus.util.assertion.Fail
 
FinalStateTaglet - class jus.util.assertion.FinalStateTaglet.
 
FinalStateTaglet() - Constructor for class jus.util.assertion.FinalStateTaglet
 
formule() - Method in interface jus.util.assertion.Assertion
Restitue la condition non vérifiée
formule(String) - Method in interface jus.util.assertion.Assertion
 
formule() - Method in class jus.util.assertion.Fail
Restitue la condition non vérifiée
formule(String) - Method in class jus.util.assertion.Fail
 
formule() - Method in class jus.util.assertion.Require
Restitue la condition non vérifiée
formule(String) - Method in class jus.util.assertion.Require
 

G

getName() - Method in class jus.util.assertion.AnyTaglet
Return the name of this custom tag.

H

HEADER - Variable in class jus.util.assertion.AnyTaglet
 
html(Tag) - Method in class jus.util.assertion.AnyTaglet
Given a Tag representing this custom tag, return its string representation.
html(Tag) - Method in class jus.util.assertion.AssertionTaglet
 
html(Tag) - Method in class jus.util.assertion.StateTaglet
 

I

InitialStateTaglet - class jus.util.assertion.InitialStateTaglet.
 
InitialStateTaglet() - Constructor for class jus.util.assertion.InitialStateTaglet
 
Invariant - exception jus.util.assertion.Invariant.
définition des exceptions dues aux violations d'invariant.
Invariant(String) - Constructor for class jus.util.assertion.Invariant
 
Invariant(String, String) - Constructor for class jus.util.assertion.Invariant
 
Invariant(String, Exception) - Constructor for class jus.util.assertion.Invariant
 
Invariant(int, String) - Constructor for class jus.util.assertion.Invariant
 
InvariantTaglet - class jus.util.assertion.InvariantTaglet.
 
InvariantTaglet() - Constructor for class jus.util.assertion.InvariantTaglet
 
inConstructor - Static variable in class jus.util.assertion.AnyTaglet
 
inConstructor() - Method in class jus.util.assertion.AnyTaglet
Will return true since this AnyTaglet can be used in constructor documentation.
inField - Static variable in class jus.util.assertion.AnyTaglet
 
inField() - Method in class jus.util.assertion.AnyTaglet
Will return true since this AnyTaglet can be used in field documentation.
inMethod - Static variable in class jus.util.assertion.AnyTaglet
 
inMethod() - Method in class jus.util.assertion.AnyTaglet
Will return true since this AnyTaglet can be used in method documentation.
inOverview - Static variable in class jus.util.assertion.AnyTaglet
 
inOverview() - Method in class jus.util.assertion.AnyTaglet
Will return true since this AnyTaglet can be used in method documentation.
inPackage - Static variable in class jus.util.assertion.AnyTaglet
 
inPackage() - Method in class jus.util.assertion.AnyTaglet
Will return true since this AnyTaglet can be used in package documentation.
inType - Static variable in class jus.util.assertion.AnyTaglet
 
inType() - Method in class jus.util.assertion.AnyTaglet
Will return true since this AnyTaglet can be used in type documentation (classes or interfaces).
isInlineTag - Variable in class jus.util.assertion.AnyTaglet
 
isInlineTag() - Method in class jus.util.assertion.AnyTaglet
Will return false since this AnyTaglet is not an inline tag.
iterator() - Method in class jus.util.assertion.AnyTaglet
Return an iterator over the names for this custom tag

J

jus.util.assertion - package jus.util.assertion
 

N

NAMES - Variable in class jus.util.assertion.AnyTaglet
 

O

objet(Object) - Method in interface jus.util.assertion.Assertion
 
objet() - Method in class jus.util.assertion.Fail
Restitue l'objet à l'origine de l'exception
objet(Object) - Method in class jus.util.assertion.Fail
 

R

Require - exception jus.util.assertion.Require.
définition des exceptions dues aux violations de préconditions.
Require(String) - Constructor for class jus.util.assertion.Require
 
Require(String, String) - Constructor for class jus.util.assertion.Require
 
Require(int, String) - Constructor for class jus.util.assertion.Require
 
RequireTaglet - class jus.util.assertion.RequireTaglet.
 
RequireTaglet() - Constructor for class jus.util.assertion.RequireTaglet
 
register(Map) - Static method in class jus.util.assertion.EnsureTaglet
 
register(Map) - Static method in class jus.util.assertion.FinalStateTaglet
 
register(Map) - Static method in class jus.util.assertion.InitialStateTaglet
 
register(Map) - Static method in class jus.util.assertion.InvariantTaglet
 
register(Map) - Static method in class jus.util.assertion.RequireTaglet
 
registerTag(Map, Taglet) - Static method in class jus.util.assertion.AnyTaglet
Register this Taglet.

S

StateTaglet - class jus.util.assertion.StateTaglet.
 
StateTaglet() - Constructor for class jus.util.assertion.StateTaglet
 

T

toString(Tag) - Method in class jus.util.assertion.AnyTaglet
Given the Tag representation of this custom tag, return its string representation.
toString(Tag[]) - Method in class jus.util.assertion.AnyTaglet
Given an array of Tags representing this custom tag, return its string representation.

U

usableIn - Variable in class jus.util.assertion.AnyTaglet
 

A C E F G H I J N O R S T U