version 1.18, 2010/04/21 13:45:50
|
version 1.19, 2010/04/27 15:53:36
|
Line 1840 rplinit(int argc, char *argv[], unsigned
|
Line 1840 rplinit(int argc, char *argv[], unsigned
|
(*s_etat_processus).pile_origine_interruptions[i] = NULL; |
(*s_etat_processus).pile_origine_interruptions[i] = NULL; |
} |
} |
|
|
|
(*s_etat_processus).on_exit = NULL; |
|
|
(*s_etat_processus).pointeurs_caracteres = NULL; |
(*s_etat_processus).pointeurs_caracteres = NULL; |
(*s_etat_processus).arbre_instructions = NULL; |
(*s_etat_processus).arbre_instructions = NULL; |
|
|
Line 2618 rplinit(int argc, char *argv[], unsigned
|
Line 2620 rplinit(int argc, char *argv[], unsigned
|
erreur = sequenceur_optimise(s_etat_processus); |
erreur = sequenceur_optimise(s_etat_processus); |
} |
} |
} |
} |
|
|
|
if (erreur == d_absence_erreur) |
|
{ |
|
erreur = evaluation(s_etat_processus, |
|
(*s_etat_processus).on_exit, 'E'); |
|
} |
|
|
|
liberation(s_etat_processus, |
|
(*s_etat_processus).on_exit); |
} |
} |
|
|
if ((*s_etat_processus).generateur_aleatoire != NULL) |
if ((*s_etat_processus).generateur_aleatoire != NULL) |