18 lines
889 B
Java
18 lines
889 B
Java
|
// Time-stamp: <28 Oct 2008 17:09 queinnec@enseeiht.fr>
|
||
|
|
|
||
|
|
/** Interface commune aux implantations de la gestion des fourchettes. */
|
||
|
|
public interface StrategiePhilo {
|
||
|
|
/** Le philosophe no demande les fourchettes.
|
||
|
|
* Précondition : il n'en possède aucune.
|
||
|
|
* Postcondition : quand cette méthode retourne, il possède les deux fourchettes adjacentes à son assiette. */
|
||
|
|
public void demanderFourchettes (int no) throws InterruptedException;
|
||
|
|
|
||
|
|
/** Le philosophe no rend les fourchettes.
|
||
|
|
* Précondition : il possède les deux fourchettes adjacentes à son assiette.
|
||
|
|
* Postcondition : il n'en possède aucune. Les fourchettes peuvent être libres ou réattribuées à un autre philosophe. */
|
||
|
|
public void libererFourchettes (int no) throws InterruptedException;
|
||
|
|
|
||
|
|
/** Nom de cette stratégie (pour la fenêtre d'affichage). */
|
||
|
|
public String nom();
|
||
|
|
}
|