version 1.2, 2010/01/27 22:22:18
|
version 1.60, 2012/10/08 12:27:38
|
Line 1
|
Line 1
|
/* |
/* |
================================================================================ |
================================================================================ |
RPL/2 (R) version 4.0.10 |
RPL/2 (R) version 4.1.11 |
Copyright (C) 1989-2010 Dr. BERTRAND Joël |
Copyright (C) 1989-2012 Dr. BERTRAND Joël |
|
|
This file is part of RPL/2. |
This file is part of RPL/2. |
|
|
Line 20
|
Line 20
|
*/ |
*/ |
|
|
|
|
#include "rpl.conv.h" |
#include "rpl-conv.h" |
|
|
|
|
/* |
/* |
================================================================================ |
================================================================================ |
Boucle principale de l'interpréteur RPL/2 |
Boucle principale de l'interprète RPL/2 |
================================================================================ |
================================================================================ |
Entrées : structure sur l'état du processus |
Entrées : structure sur l'état du processus |
-------------------------------------------------------------------------------- |
-------------------------------------------------------------------------------- |
Sorties : Néant |
Sorties : néant |
-------------------------------------------------------------------------------- |
-------------------------------------------------------------------------------- |
Effets de bord : néant |
Effets de bord : néant |
================================================================================ |
================================================================================ |
Line 41 sequenceur(struct_processus *s_etat_proc
|
Line 41 sequenceur(struct_processus *s_etat_proc
|
struct_liste_chainee *l_element_courant; |
struct_liste_chainee *l_element_courant; |
|
|
struct_objet *s_objet; |
struct_objet *s_objet; |
|
struct_objet *s_objet_evaluation; |
struct_objet *s_sous_objet; |
struct_objet *s_sous_objet; |
|
|
logical1 drapeau_appel_definition; |
logical1 drapeau_appel_definition; |
logical1 drapeau_fin; |
logical1 drapeau_fin; |
logical1 drapeau_then; |
logical1 drapeau_then; |
logical1 erreur; |
logical1 erreur; |
|
logical1 presence_compteur; |
|
|
static logical1 completion_valide = d_faux; |
static logical1 completion_valide = d_faux; |
|
|
Line 62 sequenceur(struct_processus *s_etat_proc
|
Line 64 sequenceur(struct_processus *s_etat_proc
|
unsigned char tampon_retour; |
unsigned char tampon_retour; |
unsigned char *t_ligne; |
unsigned char *t_ligne; |
|
|
unsigned long i; |
|
unsigned long j; |
|
unsigned long niveau; |
unsigned long niveau; |
unsigned long position_courante; |
unsigned long position_courante; |
|
|
|
Keymap ancien_keymap; |
|
Keymap nouveau_keymap; |
|
|
(*s_etat_processus).retour_routine_evaluation = 'N'; |
(*s_etat_processus).retour_routine_evaluation = 'N'; |
|
|
if ((*s_etat_processus).debug == d_vrai) |
if ((*s_etat_processus).debug == d_vrai) |
Line 77 sequenceur(struct_processus *s_etat_proc
|
Line 80 sequenceur(struct_processus *s_etat_proc
|
{ |
{ |
if ((*s_etat_processus).langue == 'F') |
if ((*s_etat_processus).langue == 'F') |
{ |
{ |
printf("[%d] Exécution récursive de niveau %lu\n", |
printf("[%d] Exécution récursive de niveau %lu\n", |
(int) getpid(), (*s_etat_processus).niveau_recursivite); |
(int) getpid(), (*s_etat_processus).niveau_recursivite); |
} |
} |
else |
else |
Line 90 sequenceur(struct_processus *s_etat_proc
|
Line 93 sequenceur(struct_processus *s_etat_proc
|
{ |
{ |
if ((*s_etat_processus).langue == 'F') |
if ((*s_etat_processus).langue == 'F') |
{ |
{ |
printf("[%d] Exécution\n", (int) getpid()); |
printf("[%d] Exécution\n", (int) getpid()); |
} |
} |
else |
else |
{ |
{ |
Line 103 sequenceur(struct_processus *s_etat_proc
|
Line 106 sequenceur(struct_processus *s_etat_proc
|
|
|
/* |
/* |
-------------------------------------------------------------------------------- |
-------------------------------------------------------------------------------- |
Boucle de l'interpréteur RPL/2 |
Boucle de l'interprète RPL/2 |
On boucle tant qu'on n'a pas une bonne raison de sortir... |
On boucle tant qu'on n'a pas une bonne raison de sortir... |
-------------------------------------------------------------------------------- |
-------------------------------------------------------------------------------- |
*/ |
*/ |
|
|
i = 0; |
|
j = 0; |
|
|
|
do |
do |
{ |
{ |
drapeau_appel_definition = d_faux; |
drapeau_appel_definition = d_faux; |
Line 181 sequenceur(struct_processus *s_etat_proc
|
Line 181 sequenceur(struct_processus *s_etat_proc
|
flockfile(stdin); |
flockfile(stdin); |
flockfile(stdout); |
flockfile(stdout); |
|
|
|
ancien_keymap = rl_get_keymap(); |
|
nouveau_keymap = rl_copy_keymap(ancien_keymap); |
|
rl_set_keymap(nouveau_keymap); |
|
|
|
rl_bind_key(NEWLINE, readline_analyse_syntaxique); |
|
rl_bind_key(RETURN, readline_analyse_syntaxique); |
|
rl_bind_key(CTRL('g'), readline_effacement); |
|
rl_done = 0; |
|
|
ligne = readline("RPL/2> "); |
ligne = readline("RPL/2> "); |
|
|
|
rl_set_keymap(ancien_keymap); |
|
rl_free(nouveau_keymap); |
|
|
funlockfile(stdin); |
funlockfile(stdin); |
funlockfile(stdout); |
funlockfile(stdout); |
|
|
Line 198 sequenceur(struct_processus *s_etat_proc
|
Line 210 sequenceur(struct_processus *s_etat_proc
|
(*s_etat_processus).localisation, d_locale)) |
(*s_etat_processus).localisation, d_locale)) |
== NULL) |
== NULL) |
{ |
{ |
|
free((*s_etat_processus).instruction_courante); |
return(d_erreur); |
return(d_erreur); |
} |
} |
|
|
Line 282 sequenceur(struct_processus *s_etat_proc
|
Line 295 sequenceur(struct_processus *s_etat_proc
|
|
|
tampon = (*s_etat_processus).instruction_courante; |
tampon = (*s_etat_processus).instruction_courante; |
(*s_etat_processus).instruction_courante = ligne; |
(*s_etat_processus).instruction_courante = ligne; |
|
|
recherche_type(s_etat_processus); |
recherche_type(s_etat_processus); |
|
|
|
(*s_etat_processus).instruction_courante = tampon; |
|
|
if ((((*s_etat_processus).erreur_execution != d_ex) || |
if ((((*s_etat_processus).erreur_execution != d_ex) || |
((*s_etat_processus).erreur_systeme != d_es)) && |
((*s_etat_processus).erreur_systeme != d_es)) && |
((*s_etat_processus).invalidation_message_erreur |
((*s_etat_processus).invalidation_message_erreur |
Line 301 sequenceur(struct_processus *s_etat_proc
|
Line 317 sequenceur(struct_processus *s_etat_proc
|
|
|
if ((message = messages(s_etat_processus)) == NULL) |
if ((message = messages(s_etat_processus)) == NULL) |
{ |
{ |
|
free((*s_etat_processus).instruction_courante); |
return(d_erreur); |
return(d_erreur); |
} |
} |
|
|
Line 332 sequenceur(struct_processus *s_etat_proc
|
Line 349 sequenceur(struct_processus *s_etat_proc
|
|
|
if ((*s_etat_processus).langue == 'F') |
if ((*s_etat_processus).langue == 'F') |
{ |
{ |
printf("+++Erreur : Défaut d'argument\n"); |
printf("+++Erreur : Défaut d'argument\n"); |
} |
} |
else |
else |
{ |
{ |
Line 360 sequenceur(struct_processus *s_etat_proc
|
Line 377 sequenceur(struct_processus *s_etat_proc
|
if ((message = messages(s_etat_processus)) |
if ((message = messages(s_etat_processus)) |
== NULL) |
== NULL) |
{ |
{ |
|
free((*s_etat_processus) |
|
.instruction_courante); |
return(d_erreur); |
return(d_erreur); |
} |
} |
|
|
printf("%s [%d]\n", message, (int) getpid()); |
printf("%s [%d]\n", message, (int) getpid()); |
free(message); |
|
|
|
|
free(message); |
|
free((*s_etat_processus).instruction_courante); |
return(d_erreur); |
return(d_erreur); |
} |
} |
else if ((*s_etat_processus) |
else if ((*s_etat_processus) |
Line 383 sequenceur(struct_processus *s_etat_proc
|
Line 403 sequenceur(struct_processus *s_etat_proc
|
if ((message = messages(s_etat_processus)) |
if ((message = messages(s_etat_processus)) |
== NULL) |
== NULL) |
{ |
{ |
|
free((*s_etat_processus) |
|
.instruction_courante); |
return(d_erreur); |
return(d_erreur); |
} |
} |
|
|
Line 433 sequenceur(struct_processus *s_etat_proc
|
Line 455 sequenceur(struct_processus *s_etat_proc
|
(*(*s_etat_processus).l_base_pile_systeme) |
(*(*s_etat_processus).l_base_pile_systeme) |
.retour_definition = tampon_retour; |
.retour_definition = tampon_retour; |
} |
} |
|
|
(*s_etat_processus).instruction_courante = tampon; |
|
} |
} |
else if ((*s_etat_processus).invalidation_message_erreur |
else if ((*s_etat_processus).invalidation_message_erreur |
== d_faux) |
== d_faux) |
Line 450 sequenceur(struct_processus *s_etat_proc
|
Line 470 sequenceur(struct_processus *s_etat_proc
|
|
|
if ((message = messages(s_etat_processus)) == NULL) |
if ((message = messages(s_etat_processus)) == NULL) |
{ |
{ |
|
free((*s_etat_processus).instruction_courante); |
free(ligne); |
free(ligne); |
return(d_erreur); |
return(d_erreur); |
} |
} |
Line 497 sequenceur(struct_processus *s_etat_proc
|
Line 518 sequenceur(struct_processus *s_etat_proc
|
/* |
/* |
-------------------------------------------------------------------------------- |
-------------------------------------------------------------------------------- |
Dans le cas où une instruction est retournée, celle-ci est évaluée. Dans le |
Dans le cas où une instruction est retournée, celle-ci est évaluée. Dans le |
cas contraire, l'interpréteur renvoie un message d'erreur et s'interrompt. |
cas contraire, l'interprète renvoie un message d'erreur et s'interrompt. |
-------------------------------------------------------------------------------- |
-------------------------------------------------------------------------------- |
*/ |
*/ |
|
|
Line 545 sequenceur(struct_processus *s_etat_proc
|
Line 566 sequenceur(struct_processus *s_etat_proc
|
d_vrai) && ((*s_etat_processus) |
d_vrai) && ((*s_etat_processus) |
.autorisation_evaluation_nom == 'Y')) |
.autorisation_evaluation_nom == 'Y')) |
{ |
{ |
if (((*s_etat_processus).s_liste_variables |
if ((*(*s_etat_processus).pointeur_variable_courante) |
[(*s_etat_processus) |
.objet == NULL) |
.position_variable_courante]).objet == NULL) |
|
{ |
{ |
|
|
/* |
/* |
Line 562 sequenceur(struct_processus *s_etat_proc
|
Line 582 sequenceur(struct_processus *s_etat_proc
|
{ |
{ |
if ((*s_etat_processus).langue == 'F') |
if ((*s_etat_processus).langue == 'F') |
{ |
{ |
printf("[%d] Empilement de la variable " |
printf("[%d] Évaluation de la variable " |
"partagée %s de type %d\n", |
"partagée %s de type %d\n", |
(int) getpid(), |
(int) getpid(), (*s_etat_processus) |
(*s_etat_processus) |
|
.instruction_courante, |
.instruction_courante, |
(*((*s_etat_processus).s_liste_variables |
(*(*(*s_etat_processus) |
[(*s_etat_processus) |
.pointeur_variable_courante).objet) |
.position_variable_courante]).objet) |
|
.type); |
.type); |
} |
} |
else |
else |
Line 578 sequenceur(struct_processus *s_etat_proc
|
Line 596 sequenceur(struct_processus *s_etat_proc
|
"variable \n", (int) getpid(), |
"variable \n", (int) getpid(), |
(*s_etat_processus) |
(*s_etat_processus) |
.instruction_courante, |
.instruction_courante, |
(*((*s_etat_processus).s_liste_variables |
(*(*(*s_etat_processus) |
[(*s_etat_processus) |
.pointeur_variable_courante).objet) |
.position_variable_courante]).objet) |
|
.type); |
.type); |
} |
} |
|
|
Line 596 sequenceur(struct_processus *s_etat_proc
|
Line 613 sequenceur(struct_processus *s_etat_proc
|
} |
} |
|
|
if (recherche_variable_partagee(s_etat_processus, |
if (recherche_variable_partagee(s_etat_processus, |
((*s_etat_processus).s_liste_variables |
(*(*s_etat_processus) |
[(*s_etat_processus) |
.pointeur_variable_courante).nom, |
.position_variable_courante]).nom, |
(*(*s_etat_processus) |
((*s_etat_processus).s_liste_variables |
.pointeur_variable_courante).variable_partagee, |
[(*s_etat_processus) |
'P') == d_vrai) |
.position_variable_courante]) |
|
.variable_partagee, 'P') == d_vrai) |
|
{ |
{ |
// La variable existe. |
// La variable existe. |
|
|
Line 628 sequenceur(struct_processus *s_etat_proc
|
Line 643 sequenceur(struct_processus *s_etat_proc
|
return(d_erreur); |
return(d_erreur); |
} |
} |
|
|
if (empilement(s_etat_processus, |
if (evaluation(s_etat_processus, s_objet, 'E') |
&((*s_etat_processus).l_base_pile), |
== d_erreur) |
s_objet) == d_erreur) |
|
{ |
{ |
(*s_etat_processus).erreur_systeme = |
liberation(s_etat_processus, s_objet); |
d_es_allocation_memoire; |
|
return(d_erreur); |
return(d_erreur); |
} |
} |
|
|
|
liberation(s_etat_processus, s_objet); |
} |
} |
else |
else |
{ |
{ |
// La variable n'existe plus. |
// La variable n'existe plus. |
|
|
(*s_etat_processus).erreur_systeme = d_es; |
|
|
|
if (pthread_mutex_unlock(&((*(*s_etat_processus) |
if (pthread_mutex_unlock(&((*(*s_etat_processus) |
.s_liste_variables_partagees).mutex)) |
.s_liste_variables_partagees).mutex)) |
!= 0) |
!= 0) |
Line 651 sequenceur(struct_processus *s_etat_proc
|
Line 664 sequenceur(struct_processus *s_etat_proc
|
d_es_processus; |
d_es_processus; |
return(d_erreur); |
return(d_erreur); |
} |
} |
|
|
recherche_type(s_etat_processus); |
|
} |
} |
} |
} |
|
|
Line 662 sequenceur(struct_processus *s_etat_proc
|
Line 673 sequenceur(struct_processus *s_etat_proc
|
-------------------------------------------------------------------------------- |
-------------------------------------------------------------------------------- |
*/ |
*/ |
|
|
else if ((*((*s_etat_processus).s_liste_variables |
else if ((*(*(*s_etat_processus).pointeur_variable_courante) |
[(*s_etat_processus).position_variable_courante]) |
|
.objet).type == ADR) |
.objet).type == ADR) |
{ |
{ |
|
|
Line 732 sequenceur(struct_processus *s_etat_proc
|
Line 742 sequenceur(struct_processus *s_etat_proc
|
|
|
(*s_etat_processus).position_courante = |
(*s_etat_processus).position_courante = |
(*((unsigned long *) |
(*((unsigned long *) |
((*((*s_etat_processus).s_liste_variables |
((*(*(*s_etat_processus) |
[(*s_etat_processus) |
.pointeur_variable_courante) |
.position_variable_courante] |
.objet).objet))); |
.objet)).objet))); |
|
|
|
drapeau_appel_definition = d_vrai; |
drapeau_appel_definition = d_vrai; |
} |
} |
Line 748 sequenceur(struct_processus *s_etat_proc
|
Line 757 sequenceur(struct_processus *s_etat_proc
|
{ |
{ |
if ((*s_etat_processus).langue == 'F') |
if ((*s_etat_processus).langue == 'F') |
{ |
{ |
printf("[%d] Empilement de la variable " |
printf("[%d] Évaluation de la variable " |
"%s de type %d\n", |
"%s de type %d\n", |
(int) getpid(), |
(int) getpid(), |
(*s_etat_processus) |
(*s_etat_processus) |
.instruction_courante, |
.instruction_courante, |
(*((*s_etat_processus).s_liste_variables |
(*(*(*s_etat_processus) |
[(*s_etat_processus) |
.pointeur_variable_courante).objet) |
.position_variable_courante]).objet) |
|
.type); |
.type); |
} |
} |
else |
else |
Line 764 sequenceur(struct_processus *s_etat_proc
|
Line 772 sequenceur(struct_processus *s_etat_proc
|
"\n", (int) getpid(), |
"\n", (int) getpid(), |
(*s_etat_processus) |
(*s_etat_processus) |
.instruction_courante, |
.instruction_courante, |
(*((*s_etat_processus).s_liste_variables |
(*(*(*s_etat_processus) |
[(*s_etat_processus) |
.pointeur_variable_courante).objet) |
.position_variable_courante]).objet) |
|
.type); |
.type); |
} |
} |
|
|
Line 774 sequenceur(struct_processus *s_etat_proc
|
Line 781 sequenceur(struct_processus *s_etat_proc
|
} |
} |
|
|
if ((s_objet = copie_objet(s_etat_processus, |
if ((s_objet = copie_objet(s_etat_processus, |
((*s_etat_processus) |
(*(*s_etat_processus) |
.s_liste_variables[(*s_etat_processus) |
.pointeur_variable_courante).objet, 'P')) |
.position_variable_courante]).objet, 'P')) |
|
== NULL) |
== NULL) |
{ |
{ |
(*s_etat_processus).erreur_systeme = |
(*s_etat_processus).erreur_systeme = |
Line 784 sequenceur(struct_processus *s_etat_proc
|
Line 790 sequenceur(struct_processus *s_etat_proc
|
return(d_erreur); |
return(d_erreur); |
} |
} |
|
|
if (empilement(s_etat_processus, |
if (evaluation(s_etat_processus, s_objet, 'E') |
&((*s_etat_processus).l_base_pile), |
== d_erreur) |
s_objet) == d_erreur) |
|
{ |
{ |
(*s_etat_processus).erreur_systeme = |
liberation(s_etat_processus, s_objet); |
d_es_allocation_memoire; |
|
return(d_erreur); |
return(d_erreur); |
} |
} |
|
|
|
liberation(s_etat_processus, s_objet); |
} |
} |
} |
} |
else |
else |
Line 805 sequenceur(struct_processus *s_etat_proc
|
Line 811 sequenceur(struct_processus *s_etat_proc
|
|
|
(*s_etat_processus).erreur_systeme = d_es; |
(*s_etat_processus).erreur_systeme = d_es; |
recherche_type(s_etat_processus); |
recherche_type(s_etat_processus); |
|
|
|
if ((*s_etat_processus).autorisation_nom_implicite == 'N') |
|
{ |
|
if ((*s_etat_processus).l_base_pile == NULL) |
|
{ |
|
if ((*s_etat_processus).erreur_execution != |
|
d_ex_nom_implicite) |
|
{ |
|
(*s_etat_processus).erreur_execution = |
|
d_ex_manque_argument; |
|
} |
|
} |
|
else if ((*(*(*s_etat_processus).l_base_pile).donnee) |
|
.type == NOM) |
|
{ |
|
if ((*((struct_nom *) (*(*(*s_etat_processus) |
|
.l_base_pile).donnee).objet)).symbole |
|
== d_faux) |
|
{ |
|
(*s_etat_processus).erreur_execution = |
|
d_ex_nom_implicite; |
|
|
|
// Si le niveau de récursivité est non nul, on |
|
// arrive ici depuis la fonction |
|
// recherche_type(). On retourne à cette |
|
// dernière en indiquant une erreur. |
|
|
|
if ((*s_etat_processus).niveau_recursivite != 0) |
|
{ |
|
free((*s_etat_processus) |
|
.instruction_courante); |
|
return(d_erreur); |
|
} |
|
} |
|
} |
|
} |
|
|
|
// Le séquenceur est appelé depuis la routine d'évaluation |
|
|
|
if ((*s_etat_processus).evaluation_forcee == 'Y') |
|
{ |
|
if (depilement(s_etat_processus, |
|
&((*s_etat_processus).l_base_pile), |
|
&s_objet_evaluation) == d_erreur) |
|
{ |
|
free((*s_etat_processus).instruction_courante); |
|
(*s_etat_processus).erreur_execution = |
|
d_ex_manque_argument; |
|
return(d_erreur); |
|
} |
|
|
|
if (evaluation(s_etat_processus, s_objet_evaluation, |
|
'N') == d_erreur) |
|
{ |
|
free((*s_etat_processus).instruction_courante); |
|
liberation(s_etat_processus, s_objet_evaluation); |
|
return(d_erreur); |
|
} |
|
|
|
liberation(s_etat_processus, s_objet_evaluation); |
|
} |
|
|
|
// Le séquenceur est appelé depuis la routine de |
|
// recherche de type |
|
|
|
else if ((*s_etat_processus).recherche_type == 'Y') |
|
{ |
|
if ((*s_etat_processus).erreur_execution != d_ex) |
|
{ |
|
free((*s_etat_processus).instruction_courante); |
|
return(d_erreur); |
|
} |
|
} |
} |
} |
} |
} |
else if (((*s_etat_processus).test_instruction == 'Y') && |
else if (((*s_etat_processus).test_instruction == 'Y') && |
Line 829 sequenceur(struct_processus *s_etat_proc
|
Line 908 sequenceur(struct_processus *s_etat_proc
|
!= 0) && (strcmp((*s_etat_processus) |
!= 0) && (strcmp((*s_etat_processus) |
.instruction_courante, ">>") != 0)) |
.instruction_courante, ">>") != 0)) |
{ |
{ |
if ((s_objet = (struct_objet *) malloc( |
if ((s_objet = allocation(s_etat_processus, FCT)) == NULL) |
sizeof(struct_objet))) == NULL) |
|
{ |
|
(*s_etat_processus).erreur_systeme = |
|
d_es_allocation_memoire; |
|
return(d_erreur); |
|
} |
|
|
|
initialisation_objet(s_objet); |
|
(*s_objet).type = FCT; |
|
|
|
if (((*s_objet).objet = allocation(s_etat_processus, FCT)) |
|
== NULL) |
|
{ |
{ |
(*s_etat_processus).erreur_systeme = |
(*s_etat_processus).erreur_systeme = |
d_es_allocation_memoire; |
d_es_allocation_memoire; |
Line 924 sequenceur(struct_processus *s_etat_proc
|
Line 991 sequenceur(struct_processus *s_etat_proc
|
|
|
fflush(stdout); |
fflush(stdout); |
|
|
|
free((*s_etat_processus).instruction_courante); |
return(d_erreur); |
return(d_erreur); |
} |
} |
|
|
Line 945 sequenceur(struct_processus *s_etat_proc
|
Line 1013 sequenceur(struct_processus *s_etat_proc
|
{ |
{ |
if (strncmp(getenv("LANG"), "fr", 2) == 0) |
if (strncmp(getenv("LANG"), "fr", 2) == 0) |
{ |
{ |
printf("[%d] Arrêt\n", (int) getpid()); |
printf("[%d] Arrêt\n", (int) getpid()); |
} |
} |
else |
else |
{ |
{ |
Line 1005 sequenceur(struct_processus *s_etat_proc
|
Line 1073 sequenceur(struct_processus *s_etat_proc
|
|
|
if ((message = messages(s_etat_processus)) == NULL) |
if ((message = messages(s_etat_processus)) == NULL) |
{ |
{ |
|
free((*s_etat_processus).instruction_courante); |
return(d_erreur); |
return(d_erreur); |
} |
} |
|
|
Line 1091 sequenceur(struct_processus *s_etat_proc
|
Line 1160 sequenceur(struct_processus *s_etat_proc
|
|
|
if (erreur == d_erreur) |
if (erreur == d_erreur) |
{ |
{ |
|
free((*s_etat_processus).instruction_courante); |
return(d_erreur); |
return(d_erreur); |
} |
} |
|
|
if (recherche_variable(s_etat_processus, |
if (recherche_variable(s_etat_processus, |
(*s_etat_processus).instruction_courante) == d_vrai) |
(*s_etat_processus).instruction_courante) == d_vrai) |
{ |
{ |
if (((*s_etat_processus).s_liste_variables |
if ((*(*s_etat_processus).pointeur_variable_courante) |
[(*s_etat_processus) |
.objet == NULL) |
.position_variable_courante]).objet == NULL) |
|
{ |
{ |
// Variable partagée |
// Variable partagée |
} |
} |
else if ((*((*s_etat_processus).s_liste_variables |
else if ((*(*(*s_etat_processus) |
[(*s_etat_processus) |
.pointeur_variable_courante).objet).type == ADR) |
.position_variable_courante]).objet).type == |
|
ADR) |
|
{ |
{ |
empilement_pile_systeme(s_etat_processus); |
empilement_pile_systeme(s_etat_processus); |
|
|
if ((*s_etat_processus).erreur_systeme != d_es) |
if ((*s_etat_processus).erreur_systeme != d_es) |
{ |
{ |
|
free((*s_etat_processus).instruction_courante); |
return(d_erreur); |
return(d_erreur); |
} |
} |
|
|
Line 1128 sequenceur(struct_processus *s_etat_proc
|
Line 1196 sequenceur(struct_processus *s_etat_proc
|
|
|
(*s_etat_processus).position_courante = |
(*s_etat_processus).position_courante = |
(*((unsigned long *) |
(*((unsigned long *) |
((*((*s_etat_processus).s_liste_variables |
((*(*(*s_etat_processus) |
[(*s_etat_processus) |
.pointeur_variable_courante) |
.position_variable_courante] |
.objet).objet))); |
.objet)).objet))); |
|
|
|
(*s_etat_processus) |
(*s_etat_processus) |
.autorisation_empilement_programme = 'N'; |
.autorisation_empilement_programme = 'N'; |
Line 1145 sequenceur(struct_processus *s_etat_proc
|
Line 1212 sequenceur(struct_processus *s_etat_proc
|
|
|
if (instruction_majuscule == NULL) |
if (instruction_majuscule == NULL) |
{ |
{ |
|
free((*s_etat_processus).instruction_courante); |
return(d_erreur); |
return(d_erreur); |
} |
} |
|
|
Line 1158 sequenceur(struct_processus *s_etat_proc
|
Line 1226 sequenceur(struct_processus *s_etat_proc
|
(strcmp(instruction_majuscule, "DO") == 0) || |
(strcmp(instruction_majuscule, "DO") == 0) || |
(strcmp(instruction_majuscule, "WHILE") == 0) || |
(strcmp(instruction_majuscule, "WHILE") == 0) || |
(strcmp(instruction_majuscule, "FOR") == 0) || |
(strcmp(instruction_majuscule, "FOR") == 0) || |
|
(strcmp(instruction_majuscule, "FORALL") == 0) |
|
|| |
(strcmp(instruction_majuscule, "START") == 0) || |
(strcmp(instruction_majuscule, "START") == 0) || |
(strcmp(instruction_majuscule, "SELECT") == 0) |
(strcmp(instruction_majuscule, "SELECT") == 0) |
|
|| |
|
(strcmp(instruction_majuscule, "CRITICAL") == 0) |
|| (strcmp(instruction_majuscule, "CASE") == 0) |
|| (strcmp(instruction_majuscule, "CASE") == 0) |
|| (strcmp(instruction_majuscule, "<<") == 0)) |
|| (strcmp(instruction_majuscule, "<<") == 0)) |
{ |
{ |
Line 1167 sequenceur(struct_processus *s_etat_proc
|
Line 1239 sequenceur(struct_processus *s_etat_proc
|
{ |
{ |
analyse(s_etat_processus, NULL); |
analyse(s_etat_processus, NULL); |
} |
} |
|
else if ((strcmp(instruction_majuscule, "FOR") == 0) |
|
|| (strcmp(instruction_majuscule, "FORALL") |
|
== 0) || (strcmp(instruction_majuscule, |
|
"START") == 0)) |
|
{ |
|
empilement_pile_systeme(s_etat_processus); |
|
|
|
if ((*s_etat_processus).erreur_systeme != d_es) |
|
{ |
|
return(d_erreur); |
|
} |
|
|
|
(*(*s_etat_processus).l_base_pile_systeme) |
|
.type_cloture = 'L'; |
|
} |
else |
else |
{ |
{ |
empilement_pile_systeme(s_etat_processus); |
empilement_pile_systeme(s_etat_processus); |
Line 1199 sequenceur(struct_processus *s_etat_proc
|
Line 1286 sequenceur(struct_processus *s_etat_proc
|
return(d_absence_erreur); |
return(d_absence_erreur); |
} |
} |
} |
} |
|
else if (((strcmp(instruction_majuscule, "NEXT") |
|
== 0) || (strcmp(instruction_majuscule, |
|
"STEP") == 0)) && ((*(*s_etat_processus) |
|
.l_base_pile_systeme).type_cloture != 'L')) |
|
{ |
|
/* |
|
* Libération des compteurs de boucle. |
|
*/ |
|
|
|
presence_compteur = (((*(*s_etat_processus) |
|
.l_base_pile_systeme).type_cloture |
|
== 'F') || ((*(*s_etat_processus) |
|
.l_base_pile_systeme).type_cloture |
|
== 'A')) ? d_vrai : d_faux; |
|
|
|
if (((*(*s_etat_processus).l_base_pile_systeme) |
|
.type_cloture != 'S') && |
|
(presence_compteur == d_faux)) |
|
{ |
|
return(d_erreur); |
|
} |
|
|
|
if (presence_compteur == d_vrai) |
|
{ |
|
if (recherche_variable(s_etat_processus, |
|
(*(*s_etat_processus) |
|
.l_base_pile_systeme).nom_variable) |
|
== d_faux) |
|
{ |
|
return(d_erreur); |
|
} |
|
|
|
if ((*(*s_etat_processus) |
|
.pointeur_variable_courante).objet |
|
== NULL) |
|
{ |
|
return(d_erreur); |
|
} |
|
|
|
(*s_etat_processus).niveau_courant--; |
|
|
|
if (retrait_variables_par_niveau( |
|
s_etat_processus) == d_erreur) |
|
{ |
|
return(d_erreur); |
|
} |
|
} |
|
|
|
depilement_pile_systeme(s_etat_processus); |
|
|
|
if ((*s_etat_processus).erreur_systeme != d_es) |
|
{ |
|
return(d_erreur); |
|
} |
|
} |
else |
else |
{ |
{ |
|
// Traitement spécifique pour la fin |
|
// d'une section critique |
|
|
|
if ((*s_etat_processus).l_base_pile_systeme |
|
== NULL) |
|
{ |
|
(*s_etat_processus).erreur_systeme = |
|
d_es_processus; |
|
return(d_erreur); |
|
} |
|
|
|
if ((*(*s_etat_processus).l_base_pile_systeme) |
|
.type_cloture == 'Q') |
|
{ |
|
if (pthread_mutex_unlock( |
|
&mutex_sections_critiques) != 0) |
|
{ |
|
(*s_etat_processus).erreur_systeme = |
|
d_es_processus; |
|
return(d_erreur); |
|
} |
|
|
|
(*s_etat_processus).sections_critiques--; |
|
} |
|
|
depilement_pile_systeme(s_etat_processus); |
depilement_pile_systeme(s_etat_processus); |
|
|
if ((*s_etat_processus).erreur_systeme != d_es) |
if ((*s_etat_processus).erreur_systeme != d_es) |
Line 1241 sequenceur(struct_processus *s_etat_proc
|
Line 1408 sequenceur(struct_processus *s_etat_proc
|
(strcmp(instruction_majuscule, "DO") == 0) || |
(strcmp(instruction_majuscule, "DO") == 0) || |
(strcmp(instruction_majuscule, "WHILE") == 0) || |
(strcmp(instruction_majuscule, "WHILE") == 0) || |
(strcmp(instruction_majuscule, "FOR") == 0) || |
(strcmp(instruction_majuscule, "FOR") == 0) || |
|
(strcmp(instruction_majuscule, "FORALL") == 0) || |
(strcmp(instruction_majuscule, "START") == 0) || |
(strcmp(instruction_majuscule, "START") == 0) || |
(strcmp(instruction_majuscule, "SELECT") == 0) |
(strcmp(instruction_majuscule, "SELECT") == 0) |
|
|| (strcmp(instruction_majuscule, "CRITICAL") == 0) |
|| (strcmp(instruction_majuscule, "CASE") == 0) |
|| (strcmp(instruction_majuscule, "CASE") == 0) |
|| (strcmp(instruction_majuscule, "<<") == 0)) |
|| (strcmp(instruction_majuscule, "<<") == 0)) |
{ |
{ |
Line 1337 sequenceur(struct_processus *s_etat_proc
|
Line 1506 sequenceur(struct_processus *s_etat_proc
|
|
|
if ((*s_etat_processus).var_volatile_processus_pere == 0) |
if ((*s_etat_processus).var_volatile_processus_pere == 0) |
{ |
{ |
kill((*s_etat_processus).pid_processus_pere, SIGALRM); |
envoi_signal_processus((*s_etat_processus).pid_processus_pere, |
|
rpl_sigalrm); |
} |
} |
else |
else |
{ |
{ |