File impérative
Une file impérative est une implémentation du type abstrait file avec une interface impérative.
Voici les détails de ces opérations :
- enfiler un objet quelconque.
| arguments | Une file et un objet quelconque.
|
|---|
| valeur de retour | Aucune.
|
|---|
| préconditions | Aucune.
|
|---|
| effets de bord | La file passée en argument est modifiée de
telle façon à ce que le nouvel objet soit rajouté à la "fin".
|
|---|
- défiler un objet quelconque.
| arguments | Une file.
|
|---|
| valeur de retour | L'objet au "début" de la file.
|
|---|
| préconditions | La file ne doit pas être vide.
|
|---|
| effets de bord | La file passée en argument est modifiée de
telle façon à ce que l'objet au début du file soit supprimé.
|
|---|
- déterminer si la file est vide.
| arguments | Une file.
|
|---|
| valeur de retour | Un booléen indiquant
si la file est vide (si elle ne contient aucun objet).
|
|---|
| préconditions | Aucune
|
|---|
| effets de bord | Aucun
|
|---|