version 1.5, 2010/03/09 10:18:44
|
version 1.9, 2010/05/16 19:36:20
|
Line 1
|
Line 1
|
/* |
/* |
================================================================================ |
================================================================================ |
RPL/2 (R) version 4.0.13 |
RPL/2 (R) version 4.0.15 |
Copyright (C) 1989-2010 Dr. BERTRAND Joël |
Copyright (C) 1989-2010 Dr. BERTRAND Joël |
|
|
This file is part of RPL/2. |
This file is part of RPL/2. |
Line 211 depilement_pile_systeme(struct_processus
|
Line 211 depilement_pile_systeme(struct_processus
|
|
|
if ((*s_etat_processus).l_base_pile_systeme == NULL) |
if ((*s_etat_processus).l_base_pile_systeme == NULL) |
{ |
{ |
|
rplcore(s_etat_processus); |
|
BUG(1); |
(*s_etat_processus).erreur_systeme = d_es_pile_vide; |
(*s_etat_processus).erreur_systeme = d_es_pile_vide; |
} |
} |
else |
else |
Line 259 depilement_pile_systeme(struct_processus
|
Line 261 depilement_pile_systeme(struct_processus
|
} |
} |
|
|
return; |
return; |
|
} |
|
|
|
|
|
/* |
|
================================================================================ |
|
Procédure d'effacement de la pile système |
|
================================================================================ |
|
Entrée : |
|
-------------------------------------------------------------------------------- |
|
Sortie : |
|
-------------------------------------------------------------------------------- |
|
Effets de bord : néant |
|
================================================================================ |
|
*/ |
|
|
|
void |
|
effacement_pile_systeme(struct_processus *s_etat_processus) |
|
{ |
|
while((*s_etat_processus).l_base_pile_systeme != NULL) |
|
{ |
|
depilement_pile_systeme(s_etat_processus); |
|
} |
|
|
|
return; |
} |
} |
|
|
// vim: ts=4 |
// vim: ts=4 |