| Interface | Description |
|---|---|
| HasInvariant |
L'interface HasInvariant helps with testing safety properties.
|
| Class | Description |
|---|---|
| Console |
Permet de lire des nombres et des chaines de caracteres
au clavier.
|
| Datutil |
Classe utilitaire pour la gestion des dates ; afin de tester
les operations de la mediatheque, la date du jour est simulee
par une variable de classe (dateDeTest) initialisee
a la date du jour reelle lors du chargement de la classe
et une operation de classe permet de changer cette date
(addAuJour).
|
| Exception | Description |
|---|---|
| InvariantBroken |
InvariantBroken is raised when the invariant of a class is not true in
the current state of the instance
|