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
|
---|