Spécifier un contrat en Java
Interface:
- Constante
- Méthode abstraite
Mécanisme idéal en Java pour définir un ADT
(Un autre mécanisme possible est la classe abstraite)
Note: les spécifications présentées ici sont modifiées par rapport au livre (class -> interface)