|
version 1.52, 2012/03/01 10:14:04
|
version 1.65, 2012/12/17 21:22:43
|
|
Line 1
|
Line 1
|
| /* |
/* |
| ================================================================================ |
================================================================================ |
| RPL/2 (R) version 4.1.7 |
RPL/2 (R) version 4.1.11 |
| Copyright (C) 1989-2012 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 51 evaluation(struct_processus *s_etat_proc
|
Line 51 evaluation(struct_processus *s_etat_proc
|
| |
|
| logical1 drapeau_then; |
logical1 drapeau_then; |
| logical1 erreur_evaluation; |
logical1 erreur_evaluation; |
| |
logical1 presence_compteur; |
| logical1 presence_egalite; |
logical1 presence_egalite; |
| logical1 presence_fonction; |
logical1 presence_fonction; |
| logical1 presence_variable; |
logical1 presence_variable; |
|
Line 94 evaluation(struct_processus *s_etat_proc
|
Line 95 evaluation(struct_processus *s_etat_proc
|
| |
|
| unsigned long k; |
unsigned long k; |
| unsigned long l; |
unsigned long l; |
| unsigned long n; |
|
| unsigned long niveau_initial; |
unsigned long niveau_initial; |
| unsigned long nombre_termes; |
unsigned long nombre_termes; |
| unsigned long registre_hauteur_pile_operationnelle; |
unsigned long registre_hauteur_pile_operationnelle; |
|
Line 180 evaluation(struct_processus *s_etat_proc
|
Line 180 evaluation(struct_processus *s_etat_proc
|
| { |
{ |
| // Variable partagée |
// Variable partagée |
| |
|
| if (pthread_mutex_lock(&((*(*s_etat_processus) |
|
| .s_liste_variables_partagees).mutex)) != 0) |
|
| { |
|
| (*s_etat_processus).erreur_systeme = |
|
| d_es_processus; |
|
| return(d_erreur); |
|
| } |
|
| |
|
| presence_variable_partagee = d_faux; |
presence_variable_partagee = d_faux; |
| |
|
| if (recherche_variable_partagee(s_etat_processus, |
if (recherche_variable_partagee(s_etat_processus, |
|
Line 195 evaluation(struct_processus *s_etat_proc
|
Line 187 evaluation(struct_processus *s_etat_proc
|
| .pointeur_variable_courante).nom, |
.pointeur_variable_courante).nom, |
| (*(*s_etat_processus) |
(*(*s_etat_processus) |
| .pointeur_variable_courante) |
.pointeur_variable_courante) |
| .variable_partagee, 'E') == d_vrai) |
.variable_partagee, 'E') != NULL) |
| { |
{ |
| presence_variable = d_vrai; |
presence_variable = d_vrai; |
| presence_variable_partagee = d_vrai; |
presence_variable_partagee = d_vrai; |
| |
|
| if ((*((*(*s_etat_processus) |
if ((*(*(*s_etat_processus) |
| .s_liste_variables_partagees).table |
.pointeur_variable_partagee_courante).objet) |
| [(*(*s_etat_processus) |
.type == ADR) |
| .s_liste_variables_partagees) |
|
| .position_variable].objet)).type |
|
| == ADR) |
|
| { |
{ |
| presence_fonction = d_vrai; |
presence_fonction = d_vrai; |
| } |
} |
|
Line 213 evaluation(struct_processus *s_etat_proc
|
Line 202 evaluation(struct_processus *s_etat_proc
|
| if ((s_copie_variable_partagee = |
if ((s_copie_variable_partagee = |
| copie_objet(s_etat_processus, |
copie_objet(s_etat_processus, |
| (*(*s_etat_processus) |
(*(*s_etat_processus) |
| .s_liste_variables_partagees) |
.pointeur_variable_partagee_courante).objet, |
| .table[(*(*s_etat_processus) |
'P')) == NULL) |
| .s_liste_variables_partagees) |
|
| .position_variable].objet, 'P')) == NULL) |
|
| { |
{ |
| (*s_etat_processus).erreur_systeme = |
(*s_etat_processus).erreur_systeme = |
| d_es_allocation_memoire; |
d_es_allocation_memoire; |
| |
|
| if (pthread_mutex_unlock(&((*(*s_etat_processus) |
if (pthread_mutex_unlock(&((*(*s_etat_processus) |
| .s_liste_variables_partagees).mutex)) |
.pointeur_variable_partagee_courante) |
| != 0) |
.mutex)) != 0) |
| { |
{ |
| (*s_etat_processus).erreur_systeme = |
(*s_etat_processus).erreur_systeme = |
| d_es_processus; |
d_es_processus; |
|
Line 234 evaluation(struct_processus *s_etat_proc
|
Line 221 evaluation(struct_processus *s_etat_proc
|
| } |
} |
| |
|
| if (pthread_mutex_unlock(&((*(*s_etat_processus) |
if (pthread_mutex_unlock(&((*(*s_etat_processus) |
| .s_liste_variables_partagees).mutex)) |
.pointeur_variable_partagee_courante) |
| != 0) |
.mutex)) != 0) |
| { |
{ |
| (*s_etat_processus).erreur_systeme = |
(*s_etat_processus).erreur_systeme = |
| d_es_processus; |
d_es_processus; |
|
Line 247 evaluation(struct_processus *s_etat_proc
|
Line 234 evaluation(struct_processus *s_etat_proc
|
| (*s_etat_processus).erreur_systeme = d_es; |
(*s_etat_processus).erreur_systeme = d_es; |
| presence_variable = d_faux; |
presence_variable = d_faux; |
| presence_variable_partagee = d_faux; |
presence_variable_partagee = d_faux; |
| |
|
| if (pthread_mutex_unlock(&((*(*s_etat_processus) |
|
| .s_liste_variables_partagees).mutex)) != 0) |
|
| { |
|
| (*s_etat_processus).erreur_systeme = |
|
| d_es_processus; |
|
| return(d_erreur); |
|
| } |
|
| } |
} |
| } |
} |
| else |
else |
|
Line 308 evaluation(struct_processus *s_etat_proc
|
Line 287 evaluation(struct_processus *s_etat_proc
|
| (*s_etat_processus).autorisation_empilement_programme = 'N'; |
(*s_etat_processus).autorisation_empilement_programme = 'N'; |
| |
|
| (*(*s_etat_processus).l_base_pile_systeme) |
(*(*s_etat_processus).l_base_pile_systeme) |
| .niveau_courant = (*s_etat_processus) |
.niveau_courant = (*s_etat_processus).niveau_courant; |
| .niveau_courant; |
|
| |
|
| if (presence_variable_partagee == d_faux) |
if (presence_variable_partagee == d_faux) |
| { |
{ |
| (*s_etat_processus).position_courante = |
(*s_etat_processus).position_courante = |
| (*((unsigned long *) |
(*((unsigned long *) ((*(*(*s_etat_processus) |
| ((*(*(*s_etat_processus).pointeur_variable_courante) |
.pointeur_variable_courante).objet).objet))); |
| .objet).objet))); |
|
| } |
} |
| else |
else |
| { |
{ |
|
Line 324 evaluation(struct_processus *s_etat_proc
|
Line 301 evaluation(struct_processus *s_etat_proc
|
| (*((unsigned long *) (*s_copie_variable_partagee) |
(*((unsigned long *) (*s_copie_variable_partagee) |
| .objet)); |
.objet)); |
| liberation(s_etat_processus, s_copie_variable_partagee); |
liberation(s_etat_processus, s_copie_variable_partagee); |
| |
|
| if (pthread_mutex_unlock(&((*(*s_etat_processus) |
|
| .s_liste_variables_partagees).mutex)) != 0) |
|
| { |
|
| (*s_etat_processus).erreur_systeme = |
|
| d_es_processus; |
|
| return(d_erreur); |
|
| } |
|
| } |
} |
| |
|
| if ((*s_etat_processus).profilage == d_vrai) |
if ((*s_etat_processus).profilage == d_vrai) |
|
Line 408 evaluation(struct_processus *s_etat_proc
|
Line 377 evaluation(struct_processus *s_etat_proc
|
| |
|
| if ((*s_etat_processus).erreur_systeme != d_es) |
if ((*s_etat_processus).erreur_systeme != d_es) |
| { |
{ |
| if (presence_variable_partagee == d_vrai) |
|
| { |
|
| if (pthread_mutex_unlock(&((*(*s_etat_processus) |
|
| .s_liste_variables_partagees).mutex)) != 0) |
|
| { |
|
| (*s_etat_processus).erreur_systeme = |
|
| d_es_processus; |
|
| return(d_erreur); |
|
| } |
|
| } |
|
| |
|
| return(d_erreur); |
return(d_erreur); |
| } |
} |
| } |
} |
|
Line 801 evaluation(struct_processus *s_etat_proc
|
Line 759 evaluation(struct_processus *s_etat_proc
|
| ((*s_etat_processus).erreur_systeme == d_es) && |
((*s_etat_processus).erreur_systeme == d_es) && |
| ((*s_etat_processus).exception == d_ep)) |
((*s_etat_processus).exception == d_ep)) |
| { |
{ |
| |
registre_evaluation_expression_compilee = |
| |
(*s_etat_processus) |
| |
.evaluation_expression_compilee; |
| |
|
| |
if (((*(*s_etat_processus).pointeur_variable_courante) |
| |
.origine == 'E') && ((*(*s_etat_processus) |
| |
.pointeur_variable_courante).niveau == 0)) |
| |
{ |
| |
(*s_etat_processus).evaluation_expression_compilee |
| |
= 'Y'; |
| |
} |
| |
else |
| |
{ |
| |
(*s_etat_processus).evaluation_expression_compilee |
| |
= 'N'; |
| |
} |
| |
|
| analyse(s_etat_processus, (*((struct_fonction *) |
analyse(s_etat_processus, (*((struct_fonction *) |
| (*(*l_element_courant).donnee).objet)) |
(*(*l_element_courant).donnee).objet)) |
| .fonction); |
.fonction); |
| |
|
| |
(*s_etat_processus).evaluation_expression_compilee = |
| |
registre_evaluation_expression_compilee; |
| |
|
| if (type_evaluation == 'I') |
if (type_evaluation == 'I') |
| { |
{ |
| (*s_etat_processus).derniere_erreur_evaluation = |
(*s_etat_processus).derniere_erreur_evaluation = |
|
Line 912 evaluation(struct_processus *s_etat_proc
|
Line 890 evaluation(struct_processus *s_etat_proc
|
| TEST(instruction_do) || |
TEST(instruction_do) || |
| TEST(instruction_while) || |
TEST(instruction_while) || |
| TEST(instruction_for) || |
TEST(instruction_for) || |
| |
TEST(instruction_forall) || |
| TEST(instruction_start) || |
TEST(instruction_start) || |
| TEST(instruction_select) || |
TEST(instruction_select) || |
| TEST(instruction_case) || |
TEST(instruction_case) || |
| |
TEST(instruction_critical) || |
| TEST(vers_niveau_superieur)) |
TEST(vers_niveau_superieur)) |
| { |
{ |
| if (TEST(vers_niveau_superieur)) |
if (TEST(vers_niveau_superieur)) |
|
Line 932 evaluation(struct_processus *s_etat_proc
|
Line 912 evaluation(struct_processus *s_etat_proc
|
| if ((*s_etat_processus) |
if ((*s_etat_processus) |
| .erreur_systeme != d_es) |
.erreur_systeme != d_es) |
| { |
{ |
| |
if (presence_egalite == |
| |
d_vrai) |
| |
{ |
| |
liberation( |
| |
s_etat_processus, |
| |
s_objet_evalue); |
| |
} |
| |
|
| (*s_etat_processus) |
(*s_etat_processus) |
| .instruction_courante = |
.instruction_courante = |
| instruction_courante; |
instruction_courante; |
|
Line 944 evaluation(struct_processus *s_etat_proc
|
Line 932 evaluation(struct_processus *s_etat_proc
|
| .erreur_execution = |
.erreur_execution = |
| registre_erreur_execution; |
registre_erreur_execution; |
| } |
} |
| |
else if (TEST(instruction_for) || |
| |
TEST(instruction_forall) || |
| |
TEST(instruction_start)) |
| |
{ |
| |
empilement_pile_systeme( |
| |
s_etat_processus); |
| |
|
| |
if ((*s_etat_processus) |
| |
.erreur_systeme != d_es) |
| |
{ |
| |
if (presence_egalite == |
| |
d_vrai) |
| |
{ |
| |
liberation( |
| |
s_etat_processus, |
| |
s_objet_evalue); |
| |
} |
| |
|
| |
(*s_etat_processus) |
| |
.instruction_courante = |
| |
instruction_courante; |
| |
return(d_erreur); |
| |
} |
| |
|
| |
(*(*s_etat_processus) |
| |
.l_base_pile_systeme) |
| |
.type_cloture = 'L'; |
| |
} |
| else |
else |
| { |
{ |
| empilement_pile_systeme( |
empilement_pile_systeme( |
|
Line 987 evaluation(struct_processus *s_etat_proc
|
Line 1003 evaluation(struct_processus *s_etat_proc
|
| if ((*s_etat_processus) |
if ((*s_etat_processus) |
| .erreur_systeme != d_es) |
.erreur_systeme != d_es) |
| { |
{ |
| |
if (presence_egalite == |
| |
d_vrai) |
| |
{ |
| |
liberation( |
| |
s_etat_processus, |
| |
s_objet_evalue); |
| |
} |
| |
|
| (*s_etat_processus) |
(*s_etat_processus) |
| .instruction_courante = |
.instruction_courante = |
| instruction_courante; |
instruction_courante; |
|
Line 999 evaluation(struct_processus *s_etat_proc
|
Line 1023 evaluation(struct_processus *s_etat_proc
|
| .erreur_execution = |
.erreur_execution = |
| registre_erreur_execution; |
registre_erreur_execution; |
| } |
} |
| |
else if ((TEST(instruction_next) || |
| |
TEST(instruction_step)) && |
| |
((*(*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)) |
| |
{ |
| |
(*s_etat_processus) |
| |
.erreur_execution = |
| |
d_ex_erreur_traitement_boucle; |
| |
|
| |
if (presence_egalite == |
| |
d_vrai) |
| |
{ |
| |
liberation( |
| |
s_etat_processus, |
| |
s_objet_evalue); |
| |
} |
| |
|
| |
(*s_etat_processus) |
| |
.instruction_courante = |
| |
instruction_courante; |
| |
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) |
| |
{ |
| |
(*s_etat_processus) |
| |
.erreur_systeme = d_es; |
| |
(*s_etat_processus) |
| |
.erreur_execution = |
| |
d_ex_erreur_traitement_boucle; |
| |
|
| |
if (presence_egalite == |
| |
d_vrai) |
| |
{ |
| |
liberation( |
| |
s_etat_processus, |
| |
s_objet_evalue); |
| |
} |
| |
|
| |
(*s_etat_processus) |
| |
.instruction_courante = |
| |
instruction_courante; |
| |
return(d_erreur); |
| |
} |
| |
|
| |
if ((*(*s_etat_processus) |
| |
.pointeur_variable_courante) |
| |
.objet == NULL) |
| |
{ |
| |
(*s_etat_processus) |
| |
.erreur_systeme = d_es; |
| |
(*s_etat_processus) |
| |
.erreur_execution = |
| |
d_ex_variable_partagee; |
| |
|
| |
if (presence_egalite == |
| |
d_vrai) |
| |
{ |
| |
liberation( |
| |
s_etat_processus, |
| |
s_objet_evalue); |
| |
} |
| |
|
| |
(*s_etat_processus) |
| |
.instruction_courante = |
| |
instruction_courante; |
| |
return(d_erreur); |
| |
} |
| |
|
| |
(*s_etat_processus) |
| |
.niveau_courant--; |
| |
|
| |
if ( |
| |
retrait_variables_par_niveau( |
| |
s_etat_processus) == d_erreur) |
| |
{ |
| |
if (presence_egalite == |
| |
d_vrai) |
| |
{ |
| |
liberation( |
| |
s_etat_processus, |
| |
s_objet_evalue); |
| |
} |
| |
|
| |
(*s_etat_processus) |
| |
.instruction_courante = |
| |
instruction_courante; |
| |
return(d_erreur); |
| |
} |
| |
} |
| |
|
| |
depilement_pile_systeme( |
| |
s_etat_processus); |
| |
} |
| 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_end_incoherent; |
| |
|
| |
if (presence_egalite == |
| |
d_vrai) |
| |
{ |
| |
liberation( |
| |
s_etat_processus, |
| |
s_objet_evalue); |
| |
} |
| |
|
| |
(*s_etat_processus) |
| |
.instruction_courante = |
| |
instruction_courante; |
| |
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; |
| |
|
| |
liberation( |
| |
s_etat_processus, |
| |
s_objet_evalue); |
| |
|
| |
(*s_etat_processus) |
| |
.instruction_courante = |
| |
instruction_courante; |
| |
return(d_erreur); |
| |
} |
| |
|
| |
(*s_etat_processus) |
| |
.sections_critiques--; |
| |
} |
| |
|
| depilement_pile_systeme( |
depilement_pile_systeme( |
| s_etat_processus); |
s_etat_processus); |
| |
|
|
Line 1084 evaluation(struct_processus *s_etat_proc
|
Line 1282 evaluation(struct_processus *s_etat_proc
|
| TEST(instruction_do) || |
TEST(instruction_do) || |
| TEST(instruction_while) || |
TEST(instruction_while) || |
| TEST(instruction_for) || |
TEST(instruction_for) || |
| |
TEST(instruction_forall) || |
| TEST(instruction_start) || |
TEST(instruction_start) || |
| TEST(instruction_select) || |
TEST(instruction_select) || |
| TEST(instruction_case) || |
TEST(instruction_case) || |
| |
TEST(instruction_critical) || |
| TEST(vers_niveau_superieur)) |
TEST(vers_niveau_superieur)) |
| { |
{ |
| if (TEST(vers_niveau_superieur)) |
if (TEST(vers_niveau_superieur)) |
|
Line 1097 evaluation(struct_processus *s_etat_proc
|
Line 1297 evaluation(struct_processus *s_etat_proc
|
| if ((*s_etat_processus) |
if ((*s_etat_processus) |
| .erreur_systeme != d_es) |
.erreur_systeme != d_es) |
| { |
{ |
| |
if (presence_egalite == |
| |
d_vrai) |
| |
{ |
| |
liberation( |
| |
s_etat_processus, |
| |
s_objet_evalue); |
| |
} |
| |
|
| |
(*s_etat_processus) |
| |
.instruction_courante = |
| |
instruction_courante; |
| |
return(d_erreur); |
| |
} |
| |
} |
| |
else if (TEST(instruction_for) || |
| |
TEST(instruction_forall) || |
| |
TEST(instruction_start)) |
| |
{ |
| |
empilement_pile_systeme( |
| |
s_etat_processus); |
| |
|
| |
if ((*s_etat_processus) |
| |
.erreur_systeme != d_es) |
| |
{ |
| |
if (presence_egalite == |
| |
d_vrai) |
| |
{ |
| |
liberation( |
| |
s_etat_processus, |
| |
s_objet_evalue); |
| |
} |
| |
|
| (*s_etat_processus) |
(*s_etat_processus) |
| .instruction_courante = |
.instruction_courante = |
| instruction_courante; |
instruction_courante; |
| return(d_erreur); |
return(d_erreur); |
| } |
} |
| |
|
| |
(*(*s_etat_processus) |
| |
.l_base_pile_systeme) |
| |
.type_cloture = 'L'; |
| } |
} |
| else |
else |
| { |
{ |
|
Line 1139 evaluation(struct_processus *s_etat_proc
|
Line 1375 evaluation(struct_processus *s_etat_proc
|
| if ((*s_etat_processus) |
if ((*s_etat_processus) |
| .erreur_systeme != d_es) |
.erreur_systeme != d_es) |
| { |
{ |
| |
if (presence_egalite == |
| |
d_vrai) |
| |
{ |
| |
liberation( |
| |
s_etat_processus, |
| |
s_objet_evalue); |
| |
} |
| |
|
| (*s_etat_processus) |
(*s_etat_processus) |
| .instruction_courante = |
.instruction_courante = |
| instruction_courante; |
instruction_courante; |
| return(d_erreur); |
return(d_erreur); |
| } |
} |
| } |
} |
| |
else if ((TEST(instruction_next) || |
| |
TEST(instruction_step)) && |
| |
((*(*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)) |
| |
{ |
| |
(*s_etat_processus) |
| |
.erreur_execution = |
| |
d_ex_erreur_traitement_boucle; |
| |
|
| |
if (presence_egalite == |
| |
d_vrai) |
| |
{ |
| |
liberation( |
| |
s_etat_processus, |
| |
s_objet_evalue); |
| |
} |
| |
|
| |
(*s_etat_processus) |
| |
.instruction_courante = |
| |
instruction_courante; |
| |
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) |
| |
{ |
| |
(*s_etat_processus) |
| |
.erreur_systeme = d_es; |
| |
(*s_etat_processus) |
| |
.erreur_execution = |
| |
d_ex_erreur_traitement_boucle; |
| |
|
| |
if (presence_egalite == |
| |
d_vrai) |
| |
{ |
| |
liberation( |
| |
s_etat_processus, |
| |
s_objet_evalue); |
| |
} |
| |
|
| |
(*s_etat_processus) |
| |
.instruction_courante = |
| |
instruction_courante; |
| |
return(d_erreur); |
| |
} |
| |
|
| |
if ((*(*s_etat_processus) |
| |
.pointeur_variable_courante) |
| |
.objet == NULL) |
| |
{ |
| |
(*s_etat_processus) |
| |
.erreur_systeme = d_es; |
| |
(*s_etat_processus) |
| |
.erreur_execution = |
| |
d_ex_variable_partagee; |
| |
|
| |
if (presence_egalite == |
| |
d_vrai) |
| |
{ |
| |
liberation( |
| |
s_etat_processus, |
| |
s_objet_evalue); |
| |
} |
| |
|
| |
(*s_etat_processus) |
| |
.instruction_courante = |
| |
instruction_courante; |
| |
return(d_erreur); |
| |
} |
| |
|
| |
(*s_etat_processus) |
| |
.niveau_courant--; |
| |
|
| |
if ( |
| |
retrait_variables_par_niveau( |
| |
s_etat_processus) == d_erreur) |
| |
{ |
| |
if (presence_egalite == |
| |
d_vrai) |
| |
{ |
| |
liberation( |
| |
s_etat_processus, |
| |
s_objet_evalue); |
| |
} |
| |
|
| |
(*s_etat_processus) |
| |
.instruction_courante = |
| |
instruction_courante; |
| |
return(d_erreur); |
| |
} |
| |
} |
| |
|
| |
depilement_pile_systeme( |
| |
s_etat_processus); |
| |
} |
| 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_end_incoherent; |
| |
|
| |
if (presence_egalite == |
| |
d_vrai) |
| |
{ |
| |
liberation( |
| |
s_etat_processus, |
| |
s_objet_evalue); |
| |
} |
| |
|
| |
(*s_etat_processus) |
| |
.instruction_courante = |
| |
instruction_courante; |
| |
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; |
| |
|
| |
if (presence_egalite == |
| |
d_vrai) |
| |
{ |
| |
liberation( |
| |
s_etat_processus, |
| |
s_objet_evalue); |
| |
} |
| |
|
| |
(*s_etat_processus) |
| |
.instruction_courante = |
| |
instruction_courante; |
| |
return(d_erreur); |
| |
} |
| |
|
| |
(*s_etat_processus) |
| |
.sections_critiques--; |
| |
} |
| |
|
| depilement_pile_systeme( |
depilement_pile_systeme( |
| s_etat_processus); |
s_etat_processus); |
| } |
} |
|
Line 1237 evaluation(struct_processus *s_etat_proc
|
Line 1659 evaluation(struct_processus *s_etat_proc
|
| TEST(instruction_do) || |
TEST(instruction_do) || |
| TEST(instruction_while) || |
TEST(instruction_while) || |
| TEST(instruction_for) || |
TEST(instruction_for) || |
| |
TEST(instruction_forall) || |
| TEST(instruction_start) || |
TEST(instruction_start) || |
| TEST(instruction_select) || |
TEST(instruction_select) || |
| TEST(instruction_case) || |
TEST(instruction_case) || |
| |
TEST(instruction_critical) || |
| TEST(vers_niveau_superieur)) |
TEST(vers_niveau_superieur)) |
| { |
{ |
| if (TEST(vers_niveau_superieur)) |
if (TEST(vers_niveau_superieur)) |
|
Line 1250 evaluation(struct_processus *s_etat_proc
|
Line 1674 evaluation(struct_processus *s_etat_proc
|
| if ((*s_etat_processus) |
if ((*s_etat_processus) |
| .erreur_systeme != d_es) |
.erreur_systeme != d_es) |
| { |
{ |
| |
if (presence_egalite == |
| |
d_vrai) |
| |
{ |
| |
liberation( |
| |
s_etat_processus, |
| |
s_objet_evalue); |
| |
} |
| |
|
| |
(*s_etat_processus) |
| |
.instruction_courante = |
| |
instruction_courante; |
| |
return(d_erreur); |
| |
} |
| |
} |
| |
else if (TEST(instruction_for) || |
| |
TEST(instruction_forall) || |
| |
TEST(instruction_start)) |
| |
{ |
| |
empilement_pile_systeme( |
| |
s_etat_processus); |
| |
|
| |
if ((*s_etat_processus) |
| |
.erreur_systeme != d_es) |
| |
{ |
| |
if (presence_egalite == |
| |
d_vrai) |
| |
{ |
| |
liberation( |
| |
s_etat_processus, |
| |
s_objet_evalue); |
| |
} |
| |
|
| (*s_etat_processus) |
(*s_etat_processus) |
| .instruction_courante = |
.instruction_courante = |
| instruction_courante; |
instruction_courante; |
| return(d_erreur); |
return(d_erreur); |
| } |
} |
| |
|
| |
(*(*s_etat_processus) |
| |
.l_base_pile_systeme) |
| |
.type_cloture = 'L'; |
| } |
} |
| else |
else |
| { |
{ |
|
Line 1292 evaluation(struct_processus *s_etat_proc
|
Line 1752 evaluation(struct_processus *s_etat_proc
|
| if ((*s_etat_processus) |
if ((*s_etat_processus) |
| .erreur_systeme != d_es) |
.erreur_systeme != d_es) |
| { |
{ |
| |
if (presence_egalite == |
| |
d_vrai) |
| |
{ |
| |
liberation( |
| |
s_etat_processus, |
| |
s_objet_evalue); |
| |
} |
| |
|
| (*s_etat_processus) |
(*s_etat_processus) |
| .instruction_courante = |
.instruction_courante = |
| instruction_courante; |
instruction_courante; |
|
Line 1306 evaluation(struct_processus *s_etat_proc
|
Line 1774 evaluation(struct_processus *s_etat_proc
|
| break; |
break; |
| } |
} |
| } |
} |
| |
else if ((TEST(instruction_next) || |
| |
TEST(instruction_step)) && |
| |
((*(*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)) |
| |
{ |
| |
(*s_etat_processus) |
| |
.erreur_execution = |
| |
d_ex_erreur_traitement_boucle; |
| |
|
| |
if (presence_egalite == |
| |
d_vrai) |
| |
{ |
| |
liberation( |
| |
s_etat_processus, |
| |
s_objet_evalue); |
| |
} |
| |
|
| |
(*s_etat_processus) |
| |
.instruction_courante = |
| |
instruction_courante; |
| |
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) |
| |
{ |
| |
(*s_etat_processus) |
| |
.erreur_systeme = d_es; |
| |
(*s_etat_processus) |
| |
.erreur_execution = |
| |
d_ex_erreur_traitement_boucle; |
| |
|
| |
if (presence_egalite == |
| |
d_vrai) |
| |
{ |
| |
liberation( |
| |
s_etat_processus, |
| |
s_objet_evalue); |
| |
} |
| |
|
| |
(*s_etat_processus) |
| |
.instruction_courante = |
| |
instruction_courante; |
| |
return(d_erreur); |
| |
} |
| |
|
| |
if ((*(*s_etat_processus) |
| |
.pointeur_variable_courante) |
| |
.objet == NULL) |
| |
{ |
| |
(*s_etat_processus) |
| |
.erreur_systeme = d_es; |
| |
(*s_etat_processus) |
| |
.erreur_execution = |
| |
d_ex_variable_partagee; |
| |
|
| |
if (presence_egalite == |
| |
d_vrai) |
| |
{ |
| |
liberation( |
| |
s_etat_processus, |
| |
s_objet_evalue); |
| |
} |
| |
|
| |
(*s_etat_processus) |
| |
.instruction_courante = |
| |
instruction_courante; |
| |
return(d_erreur); |
| |
} |
| |
|
| |
(*s_etat_processus) |
| |
.niveau_courant--; |
| |
|
| |
if ( |
| |
retrait_variables_par_niveau( |
| |
s_etat_processus) == d_erreur) |
| |
{ |
| |
if (presence_egalite == |
| |
d_vrai) |
| |
{ |
| |
liberation( |
| |
s_etat_processus, |
| |
s_objet_evalue); |
| |
} |
| |
|
| |
(*s_etat_processus) |
| |
.instruction_courante = |
| |
instruction_courante; |
| |
return(d_erreur); |
| |
} |
| |
} |
| |
|
| |
depilement_pile_systeme( |
| |
s_etat_processus); |
| |
} |
| 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_end_incoherent; |
| |
|
| |
if (presence_egalite == |
| |
d_vrai) |
| |
{ |
| |
liberation( |
| |
s_etat_processus, |
| |
s_objet_evalue); |
| |
} |
| |
|
| |
(*s_etat_processus) |
| |
.instruction_courante = |
| |
instruction_courante; |
| |
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; |
| |
|
| |
if (presence_egalite == |
| |
d_vrai) |
| |
{ |
| |
liberation( |
| |
s_etat_processus, |
| |
s_objet_evalue); |
| |
} |
| |
|
| |
(*s_etat_processus) |
| |
.instruction_courante = |
| |
instruction_courante; |
| |
return(d_erreur); |
| |
} |
| |
|
| |
(*s_etat_processus) |
| |
.sections_critiques--; |
| |
} |
| |
|
| depilement_pile_systeme( |
depilement_pile_systeme( |
| s_etat_processus); |
s_etat_processus); |
| |
|
|
Line 1663 evaluation(struct_processus *s_etat_proc
|
Line 2308 evaluation(struct_processus *s_etat_proc
|
| if ((*(*s_etat_processus).pointeur_variable_courante).objet |
if ((*(*s_etat_processus).pointeur_variable_courante).objet |
| == NULL) |
== NULL) |
| { |
{ |
| if (pthread_mutex_lock(&((*(*s_etat_processus) |
|
| .s_liste_variables_partagees).mutex)) != 0) |
|
| { |
|
| (*s_etat_processus).erreur_systeme = |
|
| d_es_processus; |
|
| } |
|
| |
|
| if (recherche_variable_partagee(s_etat_processus, |
if (recherche_variable_partagee(s_etat_processus, |
| (*(*s_etat_processus) |
(*(*s_etat_processus) |
| .pointeur_variable_courante).nom, |
.pointeur_variable_courante).nom, |
| (*(*s_etat_processus) |
(*(*s_etat_processus) |
| .pointeur_variable_courante).variable_partagee, |
.pointeur_variable_courante).variable_partagee, |
| 'E') == d_vrai) |
'E') != NULL) |
| { |
{ |
| // Une variable partagée existe. |
// Une variable partagée existe. |
| |
|
|
Line 1683 evaluation(struct_processus *s_etat_proc
|
Line 2321 evaluation(struct_processus *s_etat_proc
|
| |
|
| (*(*s_etat_processus).pointeur_variable_courante) |
(*(*s_etat_processus).pointeur_variable_courante) |
| .objet = (*(*s_etat_processus) |
.objet = (*(*s_etat_processus) |
| .s_liste_variables_partagees).table |
.pointeur_variable_partagee_courante) |
| [(*(*s_etat_processus) |
.objet; |
| .s_liste_variables_partagees) |
|
| .position_variable].objet; |
|
| } |
} |
| else |
else |
| { |
{ |
| presence_variable_partagee = d_faux; |
presence_variable_partagee = d_faux; |
| |
|
| if (pthread_mutex_unlock(&((*(*s_etat_processus) |
|
| .s_liste_variables_partagees).mutex)) != 0) |
|
| { |
|
| (*s_etat_processus).erreur_systeme = |
|
| d_es_processus; |
|
| } |
|
| } |
} |
| } |
} |
| else |
else |
|
Line 1727 evaluation(struct_processus *s_etat_proc
|
Line 2356 evaluation(struct_processus *s_etat_proc
|
| NULL; |
NULL; |
| |
|
| if (pthread_mutex_unlock(&((*(*s_etat_processus) |
if (pthread_mutex_unlock(&((*(*s_etat_processus) |
| .s_liste_variables_partagees).mutex)) |
.pointeur_variable_partagee_courante) |
| != 0) |
.mutex)) != 0) |
| { |
{ |
| (*s_etat_processus).erreur_systeme = |
(*s_etat_processus).erreur_systeme = |
| d_es_processus; |
d_es_processus; |
|
Line 1761 evaluation(struct_processus *s_etat_proc
|
Line 2390 evaluation(struct_processus *s_etat_proc
|
| NULL; |
NULL; |
| |
|
| if (pthread_mutex_unlock(&((*(*s_etat_processus) |
if (pthread_mutex_unlock(&((*(*s_etat_processus) |
| .s_liste_variables_partagees).mutex)) |
.pointeur_variable_partagee_courante) |
| != 0) |
.mutex)) != 0) |
| { |
{ |
| (*s_etat_processus).erreur_systeme = |
(*s_etat_processus).erreur_systeme = |
| d_es_processus; |
d_es_processus; |
|
Line 1795 evaluation(struct_processus *s_etat_proc
|
Line 2424 evaluation(struct_processus *s_etat_proc
|
| NULL; |
NULL; |
| |
|
| if (pthread_mutex_unlock(&((*(*s_etat_processus) |
if (pthread_mutex_unlock(&((*(*s_etat_processus) |
| .s_liste_variables_partagees).mutex)) |
.pointeur_variable_partagee_courante) |
| != 0) |
.mutex)) != 0) |
| { |
{ |
| (*s_etat_processus).erreur_systeme = |
(*s_etat_processus).erreur_systeme = |
| d_es_processus; |
d_es_processus; |
|
Line 1835 evaluation(struct_processus *s_etat_proc
|
Line 2464 evaluation(struct_processus *s_etat_proc
|
| NULL; |
NULL; |
| |
|
| if (pthread_mutex_unlock(&((*(*s_etat_processus) |
if (pthread_mutex_unlock(&((*(*s_etat_processus) |
| .s_liste_variables_partagees).mutex)) |
.pointeur_variable_partagee_courante) |
| != 0) |
.mutex)) != 0) |
| { |
{ |
| (*s_etat_processus).erreur_systeme = |
(*s_etat_processus).erreur_systeme = |
| d_es_processus; |
d_es_processus; |
|
Line 1878 evaluation(struct_processus *s_etat_proc
|
Line 2507 evaluation(struct_processus *s_etat_proc
|
| |
|
| if (pthread_mutex_unlock( |
if (pthread_mutex_unlock( |
| &((*(*s_etat_processus) |
&((*(*s_etat_processus) |
| .s_liste_variables_partagees) |
.pointeur_variable_partagee_courante |
| .mutex)) != 0) |
).mutex)) != 0) |
| { |
{ |
| (*s_etat_processus).erreur_systeme = |
(*s_etat_processus).erreur_systeme = |
| d_es_processus; |
d_es_processus; |
|
Line 1915 evaluation(struct_processus *s_etat_proc
|
Line 2544 evaluation(struct_processus *s_etat_proc
|
| |
|
| if (pthread_mutex_unlock( |
if (pthread_mutex_unlock( |
| &((*(*s_etat_processus) |
&((*(*s_etat_processus) |
| .s_liste_variables_partagees) |
.pointeur_variable_partagee_courante |
| .mutex)) != 0) |
).mutex)) != 0) |
| { |
{ |
| (*s_etat_processus).erreur_systeme = |
(*s_etat_processus).erreur_systeme = |
| d_es_processus; |
d_es_processus; |
|
Line 1958 evaluation(struct_processus *s_etat_proc
|
Line 2587 evaluation(struct_processus *s_etat_proc
|
| |
|
| if (pthread_mutex_unlock( |
if (pthread_mutex_unlock( |
| &((*(*s_etat_processus) |
&((*(*s_etat_processus) |
| .s_liste_variables_partagees) |
.pointeur_variable_partagee_courante |
| .mutex)) != 0) |
).mutex)) != 0) |
| { |
{ |
| (*s_etat_processus).erreur_systeme = |
(*s_etat_processus).erreur_systeme = |
| d_es_processus; |
d_es_processus; |
|
Line 2021 evaluation(struct_processus *s_etat_proc
|
Line 2650 evaluation(struct_processus *s_etat_proc
|
| |
|
| if (pthread_mutex_unlock( |
if (pthread_mutex_unlock( |
| &((*(*s_etat_processus) |
&((*(*s_etat_processus) |
| .s_liste_variables_partagees) |
.pointeur_variable_partagee_courante) |
| .mutex)) != 0) |
.mutex)) != 0) |
| { |
{ |
| (*s_etat_processus).erreur_systeme = |
(*s_etat_processus).erreur_systeme = |
|
Line 2057 evaluation(struct_processus *s_etat_proc
|
Line 2686 evaluation(struct_processus *s_etat_proc
|
| |
|
| if (pthread_mutex_unlock( |
if (pthread_mutex_unlock( |
| &((*(*s_etat_processus) |
&((*(*s_etat_processus) |
| .s_liste_variables_partagees) |
.pointeur_variable_partagee_courante) |
| .mutex)) != 0) |
.mutex)) != 0) |
| { |
{ |
| (*s_etat_processus).erreur_systeme = |
(*s_etat_processus).erreur_systeme = |
|
Line 2094 evaluation(struct_processus *s_etat_proc
|
Line 2723 evaluation(struct_processus *s_etat_proc
|
| |
|
| if (pthread_mutex_unlock( |
if (pthread_mutex_unlock( |
| &((*(*s_etat_processus) |
&((*(*s_etat_processus) |
| .s_liste_variables_partagees) |
.pointeur_variable_partagee_courante) |
| .mutex)) != 0) |
.mutex)) != 0) |
| { |
{ |
| (*s_etat_processus).erreur_systeme = |
(*s_etat_processus).erreur_systeme = |
|
Line 2140 evaluation(struct_processus *s_etat_proc
|
Line 2769 evaluation(struct_processus *s_etat_proc
|
| |
|
| if (pthread_mutex_unlock( |
if (pthread_mutex_unlock( |
| &((*(*s_etat_processus) |
&((*(*s_etat_processus) |
| .s_liste_variables_partagees) |
.pointeur_variable_partagee_courante) |
| .mutex)) != 0) |
.mutex)) != 0) |
| { |
{ |
| (*s_etat_processus).erreur_systeme = |
(*s_etat_processus).erreur_systeme = |
|
Line 2176 evaluation(struct_processus *s_etat_proc
|
Line 2805 evaluation(struct_processus *s_etat_proc
|
| |
|
| if (pthread_mutex_unlock( |
if (pthread_mutex_unlock( |
| &((*(*s_etat_processus) |
&((*(*s_etat_processus) |
| .s_liste_variables_partagees) |
.pointeur_variable_partagee_courante |
| .mutex)) != 0) |
).mutex)) != 0) |
| { |
{ |
| (*s_etat_processus).erreur_systeme = |
(*s_etat_processus).erreur_systeme = |
| d_es_processus; |
d_es_processus; |
|
Line 2219 evaluation(struct_processus *s_etat_proc
|
Line 2848 evaluation(struct_processus *s_etat_proc
|
| |
|
| if (pthread_mutex_unlock( |
if (pthread_mutex_unlock( |
| &((*(*s_etat_processus) |
&((*(*s_etat_processus) |
| .s_liste_variables_partagees) |
.pointeur_variable_partagee_courante |
| .mutex)) != 0) |
).mutex)) != 0) |
| { |
{ |
| (*s_etat_processus).erreur_systeme = |
(*s_etat_processus).erreur_systeme = |
| d_es_processus; |
d_es_processus; |
|
Line 2262 evaluation(struct_processus *s_etat_proc
|
Line 2891 evaluation(struct_processus *s_etat_proc
|
| |
|
| if (pthread_mutex_unlock( |
if (pthread_mutex_unlock( |
| &((*(*s_etat_processus) |
&((*(*s_etat_processus) |
| .s_liste_variables_partagees) |
.pointeur_variable_partagee_courante |
| .mutex)) != 0) |
).mutex)) != 0) |
| { |
{ |
| (*s_etat_processus).erreur_systeme = |
(*s_etat_processus).erreur_systeme = |
| d_es_processus; |
d_es_processus; |
|
Line 2325 evaluation(struct_processus *s_etat_proc
|
Line 2954 evaluation(struct_processus *s_etat_proc
|
| |
|
| if (pthread_mutex_unlock( |
if (pthread_mutex_unlock( |
| &((*(*s_etat_processus) |
&((*(*s_etat_processus) |
| .s_liste_variables_partagees) |
.pointeur_variable_partagee_courante) |
| .mutex)) != 0) |
.mutex)) != 0) |
| { |
{ |
| (*s_etat_processus).erreur_systeme = |
(*s_etat_processus).erreur_systeme = |
|
Line 2360 evaluation(struct_processus *s_etat_proc
|
Line 2989 evaluation(struct_processus *s_etat_proc
|
| |
|
| if (pthread_mutex_unlock( |
if (pthread_mutex_unlock( |
| &((*(*s_etat_processus) |
&((*(*s_etat_processus) |
| .s_liste_variables_partagees) |
.pointeur_variable_partagee_courante) |
| .mutex)) != 0) |
.mutex)) != 0) |
| { |
{ |
| (*s_etat_processus).erreur_systeme = |
(*s_etat_processus).erreur_systeme = |
|
Line 2413 evaluation(struct_processus *s_etat_proc
|
Line 3042 evaluation(struct_processus *s_etat_proc
|
| |
|
| if (pthread_mutex_unlock( |
if (pthread_mutex_unlock( |
| &((*(*s_etat_processus) |
&((*(*s_etat_processus) |
| .s_liste_variables_partagees) |
.pointeur_variable_partagee_courante) |
| .mutex)) != 0) |
.mutex)) != 0) |
| { |
{ |
| (*s_etat_processus).erreur_systeme = |
(*s_etat_processus).erreur_systeme = |
|
Line 2449 evaluation(struct_processus *s_etat_proc
|
Line 3078 evaluation(struct_processus *s_etat_proc
|
| |
|
| if (pthread_mutex_unlock( |
if (pthread_mutex_unlock( |
| &((*(*s_etat_processus) |
&((*(*s_etat_processus) |
| .s_liste_variables_partagees) |
.pointeur_variable_partagee_courante) |
| .mutex)) != 0) |
.mutex)) != 0) |
| { |
{ |
| (*s_etat_processus).erreur_systeme = |
(*s_etat_processus).erreur_systeme = |
|
Line 2492 evaluation(struct_processus *s_etat_proc
|
Line 3121 evaluation(struct_processus *s_etat_proc
|
| |
|
| if (pthread_mutex_unlock( |
if (pthread_mutex_unlock( |
| &((*(*s_etat_processus) |
&((*(*s_etat_processus) |
| .s_liste_variables_partagees) |
.pointeur_variable_partagee_courante) |
| .mutex)) != 0) |
.mutex)) != 0) |
| { |
{ |
| (*s_etat_processus).erreur_systeme = |
(*s_etat_processus).erreur_systeme = |
|
Line 2527 evaluation(struct_processus *s_etat_proc
|
Line 3156 evaluation(struct_processus *s_etat_proc
|
| |
|
| if (pthread_mutex_unlock( |
if (pthread_mutex_unlock( |
| &((*(*s_etat_processus) |
&((*(*s_etat_processus) |
| .s_liste_variables_partagees) |
.pointeur_variable_partagee_courante) |
| .mutex)) != 0) |
.mutex)) != 0) |
| { |
{ |
| (*s_etat_processus).erreur_systeme = |
(*s_etat_processus).erreur_systeme = |
|
Line 2568 evaluation(struct_processus *s_etat_proc
|
Line 3197 evaluation(struct_processus *s_etat_proc
|
| |
|
| if (pthread_mutex_unlock( |
if (pthread_mutex_unlock( |
| &((*(*s_etat_processus) |
&((*(*s_etat_processus) |
| .s_liste_variables_partagees) |
.pointeur_variable_partagee_courante) |
| .mutex)) != 0) |
.mutex)) != 0) |
| { |
{ |
| (*s_etat_processus).erreur_systeme = |
(*s_etat_processus).erreur_systeme = |
|
Line 2606 evaluation(struct_processus *s_etat_proc
|
Line 3235 evaluation(struct_processus *s_etat_proc
|
| |
|
| if (pthread_mutex_unlock( |
if (pthread_mutex_unlock( |
| &((*(*s_etat_processus) |
&((*(*s_etat_processus) |
| .s_liste_variables_partagees) |
.pointeur_variable_partagee_courante) |
| .mutex)) != 0) |
.mutex)) != 0) |
| { |
{ |
| (*s_etat_processus).erreur_systeme = |
(*s_etat_processus).erreur_systeme = |
|
Line 2663 evaluation(struct_processus *s_etat_proc
|
Line 3292 evaluation(struct_processus *s_etat_proc
|
| |
|
| if (pthread_mutex_unlock( |
if (pthread_mutex_unlock( |
| &((*(*s_etat_processus) |
&((*(*s_etat_processus) |
| .s_liste_variables_partagees) |
.pointeur_variable_partagee_courante) |
| .mutex)) != 0) |
.mutex)) != 0) |
| { |
{ |
| (*s_etat_processus).erreur_systeme = |
(*s_etat_processus).erreur_systeme = |
|
Line 2700 evaluation(struct_processus *s_etat_proc
|
Line 3329 evaluation(struct_processus *s_etat_proc
|
| |
|
| if (pthread_mutex_unlock( |
if (pthread_mutex_unlock( |
| &((*(*s_etat_processus) |
&((*(*s_etat_processus) |
| .s_liste_variables_partagees) |
.pointeur_variable_partagee_courante) |
| .mutex)) != 0) |
.mutex)) != 0) |
| { |
{ |
| (*s_etat_processus).erreur_systeme = |
(*s_etat_processus).erreur_systeme = |
|
Line 2742 evaluation(struct_processus *s_etat_proc
|
Line 3371 evaluation(struct_processus *s_etat_proc
|
| |
|
| if (pthread_mutex_unlock( |
if (pthread_mutex_unlock( |
| &((*(*s_etat_processus) |
&((*(*s_etat_processus) |
| .s_liste_variables_partagees) |
.pointeur_variable_partagee_courante) |
| .mutex)) != 0) |
.mutex)) != 0) |
| { |
{ |
| (*s_etat_processus).erreur_systeme = |
(*s_etat_processus).erreur_systeme = |
|
Line 2794 evaluation(struct_processus *s_etat_proc
|
Line 3423 evaluation(struct_processus *s_etat_proc
|
| |
|
| if (pthread_mutex_unlock( |
if (pthread_mutex_unlock( |
| &((*(*s_etat_processus) |
&((*(*s_etat_processus) |
| .s_liste_variables_partagees) |
.pointeur_variable_partagee_courante |
| .mutex)) != 0) |
).mutex)) != 0) |
| { |
{ |
| (*s_etat_processus).erreur_systeme = |
(*s_etat_processus).erreur_systeme = |
| d_es_processus; |
d_es_processus; |
|
Line 2826 evaluation(struct_processus *s_etat_proc
|
Line 3455 evaluation(struct_processus *s_etat_proc
|
| NULL; |
NULL; |
| |
|
| if (pthread_mutex_unlock(&((*(*s_etat_processus) |
if (pthread_mutex_unlock(&((*(*s_etat_processus) |
| .s_liste_variables_partagees) |
.pointeur_variable_partagee_courante) |
| .mutex)) != 0) |
.mutex)) != 0) |
| { |
{ |
| (*s_etat_processus).erreur_systeme = |
(*s_etat_processus).erreur_systeme = |
|
Line 2863 evaluation(struct_processus *s_etat_proc
|
Line 3492 evaluation(struct_processus *s_etat_proc
|
| NULL; |
NULL; |
| |
|
| if (pthread_mutex_unlock(&((*(*s_etat_processus) |
if (pthread_mutex_unlock(&((*(*s_etat_processus) |
| .s_liste_variables_partagees) |
.pointeur_variable_partagee_courante) |
| .mutex)) != 0) |
.mutex)) != 0) |
| { |
{ |
| (*s_etat_processus).erreur_systeme = |
(*s_etat_processus).erreur_systeme = |
|
Line 2898 evaluation(struct_processus *s_etat_proc
|
Line 3527 evaluation(struct_processus *s_etat_proc
|
| NULL; |
NULL; |
| |
|
| if (pthread_mutex_unlock(&((*(*s_etat_processus) |
if (pthread_mutex_unlock(&((*(*s_etat_processus) |
| .s_liste_variables_partagees).mutex)) |
.pointeur_variable_partagee_courante) |
| != 0) |
.mutex)) != 0) |
| { |
{ |
| (*s_etat_processus).erreur_systeme = |
(*s_etat_processus).erreur_systeme = |
| d_es_processus; |
d_es_processus; |
|
Line 2929 evaluation(struct_processus *s_etat_proc
|
Line 3558 evaluation(struct_processus *s_etat_proc
|
| NULL; |
NULL; |
| |
|
| if (pthread_mutex_unlock(&((*(*s_etat_processus) |
if (pthread_mutex_unlock(&((*(*s_etat_processus) |
| .s_liste_variables_partagees) .mutex)) != 0) |
.pointeur_variable_partagee_courante) |
| |
.mutex)) != 0) |
| { |
{ |
| (*s_etat_processus).erreur_systeme = |
(*s_etat_processus).erreur_systeme = |
| d_es_processus; |
d_es_processus; |
|
Line 2961 evaluation(struct_processus *s_etat_proc
|
Line 3591 evaluation(struct_processus *s_etat_proc
|
| NULL; |
NULL; |
| |
|
| if (pthread_mutex_unlock(&((*(*s_etat_processus) |
if (pthread_mutex_unlock(&((*(*s_etat_processus) |
| .s_liste_variables_partagees).mutex)) != 0) |
.pointeur_variable_partagee_courante) |
| |
.mutex)) != 0) |
| { |
{ |
| (*s_etat_processus).erreur_systeme = |
(*s_etat_processus).erreur_systeme = |
| d_es_processus; |
d_es_processus; |
|
Line 2984 evaluation(struct_processus *s_etat_proc
|
Line 3615 evaluation(struct_processus *s_etat_proc
|
| .pointeur_variable_courante).objet = NULL; |
.pointeur_variable_courante).objet = NULL; |
| |
|
| if (pthread_mutex_unlock(&((*(*s_etat_processus) |
if (pthread_mutex_unlock(&((*(*s_etat_processus) |
| .s_liste_variables_partagees).mutex)) != 0) |
.pointeur_variable_partagee_courante).mutex)) |
| |
!= 0) |
| { |
{ |
| (*s_etat_processus).erreur_systeme = |
(*s_etat_processus).erreur_systeme = |
| d_es_processus; |
d_es_processus; |
|
Line 3235 evaluation(struct_processus *s_etat_proc
|
Line 3867 evaluation(struct_processus *s_etat_proc
|
| TEST(instruction_do) || |
TEST(instruction_do) || |
| TEST(instruction_while) || |
TEST(instruction_while) || |
| TEST(instruction_for) || |
TEST(instruction_for) || |
| |
TEST(instruction_forall) || |
| TEST(instruction_start) || |
TEST(instruction_start) || |
| TEST(instruction_select) || |
TEST(instruction_select) || |
| TEST(instruction_case) || |
TEST(instruction_case) || |
| |
TEST(instruction_critical) || |
| TEST(vers_niveau_superieur)) |
TEST(vers_niveau_superieur)) |
| { |
{ |
| if (TEST(vers_niveau_superieur)) |
if (TEST(vers_niveau_superieur)) |
|
Line 3255 evaluation(struct_processus *s_etat_proc
|
Line 3889 evaluation(struct_processus *s_etat_proc
|
| if ((*s_etat_processus) |
if ((*s_etat_processus) |
| .erreur_systeme != d_es) |
.erreur_systeme != d_es) |
| { |
{ |
| |
if (presence_egalite == |
| |
d_vrai) |
| |
{ |
| |
liberation( |
| |
s_etat_processus, |
| |
s_objet_evalue); |
| |
} |
| |
|
| (*s_etat_processus) |
(*s_etat_processus) |
| .instruction_courante = |
.instruction_courante = |
| instruction_courante; |
instruction_courante; |
|
Line 3267 evaluation(struct_processus *s_etat_proc
|
Line 3909 evaluation(struct_processus *s_etat_proc
|
| .erreur_execution = |
.erreur_execution = |
| registre_erreur_execution; |
registre_erreur_execution; |
| } |
} |
| |
else if (TEST(instruction_for) || |
| |
TEST(instruction_forall) || |
| |
TEST(instruction_start)) |
| |
{ |
| |
empilement_pile_systeme( |
| |
s_etat_processus); |
| |
|
| |
if ((*s_etat_processus) |
| |
.erreur_systeme != d_es) |
| |
{ |
| |
if (presence_egalite == |
| |
d_vrai) |
| |
{ |
| |
liberation( |
| |
s_etat_processus, |
| |
s_objet_evalue); |
| |
} |
| |
|
| |
(*s_etat_processus) |
| |
.instruction_courante = |
| |
instruction_courante; |
| |
return(d_erreur); |
| |
} |
| |
|
| |
(*(*s_etat_processus) |
| |
.l_base_pile_systeme) |
| |
.type_cloture = 'L'; |
| |
} |
| else |
else |
| { |
{ |
| empilement_pile_systeme( |
empilement_pile_systeme( |
|
Line 3310 evaluation(struct_processus *s_etat_proc
|
Line 3980 evaluation(struct_processus *s_etat_proc
|
| if ((*s_etat_processus) |
if ((*s_etat_processus) |
| .erreur_systeme != d_es) |
.erreur_systeme != d_es) |
| { |
{ |
| |
if (presence_egalite == |
| |
d_vrai) |
| |
{ |
| |
liberation( |
| |
s_etat_processus, |
| |
s_objet_evalue); |
| |
} |
| |
|
| (*s_etat_processus) |
(*s_etat_processus) |
| .instruction_courante = |
.instruction_courante = |
| instruction_courante; |
instruction_courante; |
|
Line 3322 evaluation(struct_processus *s_etat_proc
|
Line 4000 evaluation(struct_processus *s_etat_proc
|
| .erreur_execution = |
.erreur_execution = |
| registre_erreur_execution; |
registre_erreur_execution; |
| } |
} |
| |
else if ((TEST(instruction_next) || |
| |
TEST(instruction_step)) && |
| |
((*(*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)) |
| |
{ |
| |
(*s_etat_processus) |
| |
.erreur_execution = |
| |
d_ex_erreur_traitement_boucle; |
| |
|
| |
if (presence_egalite == |
| |
d_vrai) |
| |
{ |
| |
liberation( |
| |
s_etat_processus, |
| |
s_objet_evalue); |
| |
} |
| |
|
| |
(*s_etat_processus) |
| |
.instruction_courante = |
| |
instruction_courante; |
| |
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) |
| |
{ |
| |
(*s_etat_processus) |
| |
.erreur_systeme = d_es; |
| |
(*s_etat_processus) |
| |
.erreur_execution = |
| |
d_ex_erreur_traitement_boucle; |
| |
|
| |
if (presence_egalite == |
| |
d_vrai) |
| |
{ |
| |
liberation( |
| |
s_etat_processus, |
| |
s_objet_evalue); |
| |
} |
| |
|
| |
(*s_etat_processus) |
| |
.instruction_courante = |
| |
instruction_courante; |
| |
return(d_erreur); |
| |
} |
| |
|
| |
if ((*(*s_etat_processus) |
| |
.pointeur_variable_courante) |
| |
.objet == NULL) |
| |
{ |
| |
(*s_etat_processus) |
| |
.erreur_systeme = d_es; |
| |
(*s_etat_processus) |
| |
.erreur_execution = |
| |
d_ex_variable_partagee; |
| |
|
| |
if (presence_egalite == |
| |
d_vrai) |
| |
{ |
| |
liberation( |
| |
s_etat_processus, |
| |
s_objet_evalue); |
| |
} |
| |
|
| |
(*s_etat_processus) |
| |
.instruction_courante = |
| |
instruction_courante; |
| |
return(d_erreur); |
| |
} |
| |
|
| |
(*s_etat_processus) |
| |
.niveau_courant--; |
| |
|
| |
if ( |
| |
retrait_variables_par_niveau( |
| |
s_etat_processus) == d_erreur) |
| |
{ |
| |
if (presence_egalite == |
| |
d_vrai) |
| |
{ |
| |
liberation( |
| |
s_etat_processus, |
| |
s_objet_evalue); |
| |
} |
| |
|
| |
(*s_etat_processus) |
| |
.instruction_courante = |
| |
instruction_courante; |
| |
return(d_erreur); |
| |
} |
| |
} |
| |
|
| |
depilement_pile_systeme( |
| |
s_etat_processus); |
| |
} |
| 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_end_incoherent; |
| |
|
| |
if (presence_egalite == |
| |
d_vrai) |
| |
{ |
| |
liberation( |
| |
s_etat_processus, |
| |
s_objet_evalue); |
| |
} |
| |
|
| |
(*s_etat_processus) |
| |
.instruction_courante = |
| |
instruction_courante; |
| |
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; |
| |
|
| |
if (presence_egalite == |
| |
d_vrai) |
| |
{ |
| |
liberation( |
| |
s_etat_processus, |
| |
s_objet_evalue); |
| |
} |
| |
|
| |
(*s_etat_processus) |
| |
.instruction_courante = |
| |
instruction_courante; |
| |
return(d_erreur); |
| |
} |
| |
|
| |
(*s_etat_processus) |
| |
.sections_critiques--; |
| |
} |
| |
|
| depilement_pile_systeme( |
depilement_pile_systeme( |
| s_etat_processus); |
s_etat_processus); |
| |
|
|
Line 3445 evaluation(struct_processus *s_etat_proc
|
Line 4300 evaluation(struct_processus *s_etat_proc
|
| TEST(instruction_do) || |
TEST(instruction_do) || |
| TEST(instruction_while) || |
TEST(instruction_while) || |
| TEST(instruction_for) || |
TEST(instruction_for) || |
| |
TEST(instruction_forall) || |
| TEST(instruction_start) || |
TEST(instruction_start) || |
| TEST(instruction_select) || |
TEST(instruction_select) || |
| TEST(instruction_case) || |
TEST(instruction_case) || |
| |
TEST(instruction_critical) || |
| TEST(vers_niveau_superieur)) |
TEST(vers_niveau_superieur)) |
| { |
{ |
| if (TEST(vers_niveau_superieur)) |
if (TEST(vers_niveau_superieur)) |
|
Line 3458 evaluation(struct_processus *s_etat_proc
|
Line 4315 evaluation(struct_processus *s_etat_proc
|
| if ((*s_etat_processus) |
if ((*s_etat_processus) |
| .erreur_systeme != d_es) |
.erreur_systeme != d_es) |
| { |
{ |
| |
if (presence_egalite == |
| |
d_vrai) |
| |
{ |
| |
liberation( |
| |
s_etat_processus, |
| |
s_objet_evalue); |
| |
} |
| |
|
| (*s_etat_processus) |
(*s_etat_processus) |
| .instruction_courante = |
.instruction_courante = |
| instruction_courante; |
instruction_courante; |
| return(d_erreur); |
return(d_erreur); |
| } |
} |
| } |
} |
| |
else if (TEST(instruction_for) || |
| |
TEST(instruction_forall) || |
| |
TEST(instruction_start)) |
| |
{ |
| |
empilement_pile_systeme( |
| |
s_etat_processus); |
| |
|
| |
if ((*s_etat_processus) |
| |
.erreur_systeme != d_es) |
| |
{ |
| |
if (presence_egalite == |
| |
d_vrai) |
| |
{ |
| |
liberation( |
| |
s_etat_processus, |
| |
s_objet_evalue); |
| |
} |
| |
|
| |
(*s_etat_processus) |
| |
.instruction_courante = |
| |
instruction_courante; |
| |
return(d_erreur); |
| |
} |
| |
|
| |
(*(*s_etat_processus) |
| |
.l_base_pile_systeme) |
| |
.type_cloture = 'L'; |
| |
} |
| else |
else |
| { |
{ |
| empilement_pile_systeme( |
empilement_pile_systeme( |
|
Line 3500 evaluation(struct_processus *s_etat_proc
|
Line 4393 evaluation(struct_processus *s_etat_proc
|
| if ((*s_etat_processus) |
if ((*s_etat_processus) |
| .erreur_systeme != d_es) |
.erreur_systeme != d_es) |
| { |
{ |
| |
if (presence_egalite == |
| |
d_vrai) |
| |
{ |
| |
liberation( |
| |
s_etat_processus, |
| |
s_objet_evalue); |
| |
} |
| |
|
| (*s_etat_processus) |
(*s_etat_processus) |
| .instruction_courante = |
.instruction_courante = |
| instruction_courante; |
instruction_courante; |
| return(d_erreur); |
return(d_erreur); |
| } |
} |
| } |
} |
| |
else if ((TEST(instruction_next) || |
| |
TEST(instruction_step)) && |
| |
((*(*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)) |
| |
{ |
| |
(*s_etat_processus) |
| |
.erreur_execution = |
| |
d_ex_erreur_traitement_boucle; |
| |
|
| |
if (presence_egalite == |
| |
d_vrai) |
| |
{ |
| |
liberation( |
| |
s_etat_processus, |
| |
s_objet_evalue); |
| |
} |
| |
|
| |
(*s_etat_processus) |
| |
.instruction_courante = |
| |
instruction_courante; |
| |
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) |
| |
{ |
| |
(*s_etat_processus) |
| |
.erreur_systeme = d_es; |
| |
(*s_etat_processus) |
| |
.erreur_execution = |
| |
d_ex_erreur_traitement_boucle; |
| |
|
| |
if (presence_egalite == |
| |
d_vrai) |
| |
{ |
| |
liberation( |
| |
s_etat_processus, |
| |
s_objet_evalue); |
| |
} |
| |
|
| |
(*s_etat_processus) |
| |
.instruction_courante = |
| |
instruction_courante; |
| |
return(d_erreur); |
| |
} |
| |
|
| |
if ((*(*s_etat_processus) |
| |
.pointeur_variable_courante) |
| |
.objet == NULL) |
| |
{ |
| |
(*s_etat_processus) |
| |
.erreur_systeme = d_es; |
| |
(*s_etat_processus) |
| |
.erreur_execution = |
| |
d_ex_variable_partagee; |
| |
|
| |
if (presence_egalite == |
| |
d_vrai) |
| |
{ |
| |
liberation( |
| |
s_etat_processus, |
| |
s_objet_evalue); |
| |
} |
| |
|
| |
(*s_etat_processus) |
| |
.instruction_courante = |
| |
instruction_courante; |
| |
return(d_erreur); |
| |
} |
| |
|
| |
(*s_etat_processus) |
| |
.niveau_courant--; |
| |
|
| |
if ( |
| |
retrait_variables_par_niveau( |
| |
s_etat_processus) == d_erreur) |
| |
{ |
| |
if (presence_egalite == |
| |
d_vrai) |
| |
{ |
| |
liberation( |
| |
s_etat_processus, |
| |
s_objet_evalue); |
| |
} |
| |
|
| |
(*s_etat_processus) |
| |
.instruction_courante = |
| |
instruction_courante; |
| |
return(d_erreur); |
| |
} |
| |
} |
| |
|
| |
depilement_pile_systeme( |
| |
s_etat_processus); |
| |
} |
| 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_end_incoherent; |
| |
|
| |
if (presence_egalite == |
| |
d_vrai) |
| |
{ |
| |
liberation( |
| |
s_etat_processus, |
| |
s_objet_evalue); |
| |
} |
| |
|
| |
(*s_etat_processus) |
| |
.instruction_courante = |
| |
instruction_courante; |
| |
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; |
| |
|
| |
if (presence_egalite == |
| |
d_vrai) |
| |
{ |
| |
liberation( |
| |
s_etat_processus, |
| |
s_objet_evalue); |
| |
} |
| |
|
| |
(*s_etat_processus) |
| |
.instruction_courante = |
| |
instruction_courante; |
| |
return(d_erreur); |
| |
} |
| |
|
| |
(*s_etat_processus) |
| |
.sections_critiques--; |
| |
} |
| |
|
| depilement_pile_systeme( |
depilement_pile_systeme( |
| s_etat_processus); |
s_etat_processus); |
| |
|
|
Line 3595 evaluation(struct_processus *s_etat_proc
|
Line 4673 evaluation(struct_processus *s_etat_proc
|
| TEST(instruction_do) || |
TEST(instruction_do) || |
| TEST(instruction_while) || |
TEST(instruction_while) || |
| TEST(instruction_for) || |
TEST(instruction_for) || |
| |
TEST(instruction_forall) || |
| TEST(instruction_start) || |
TEST(instruction_start) || |
| TEST(instruction_select) || |
TEST(instruction_select) || |
| TEST(instruction_case) || |
TEST(instruction_case) || |
| |
TEST(instruction_critical) || |
| TEST(vers_niveau_superieur)) |
TEST(vers_niveau_superieur)) |
| { |
{ |
| if (TEST(vers_niveau_superieur)) |
if (TEST(vers_niveau_superieur)) |
|
Line 3608 evaluation(struct_processus *s_etat_proc
|
Line 4688 evaluation(struct_processus *s_etat_proc
|
| if ((*s_etat_processus) |
if ((*s_etat_processus) |
| .erreur_systeme != d_es) |
.erreur_systeme != d_es) |
| { |
{ |
| |
if (presence_egalite == |
| |
d_vrai) |
| |
{ |
| |
liberation( |
| |
s_etat_processus, |
| |
s_objet_evalue); |
| |
} |
| |
|
| (*s_etat_processus) |
(*s_etat_processus) |
| .instruction_courante = |
.instruction_courante = |
| instruction_courante; |
instruction_courante; |
| return(d_erreur); |
return(d_erreur); |
| } |
} |
| } |
} |
| |
else if (TEST(instruction_for) || |
| |
TEST(instruction_forall) || |
| |
TEST(instruction_start)) |
| |
{ |
| |
empilement_pile_systeme( |
| |
s_etat_processus); |
| |
|
| |
if ((*s_etat_processus) |
| |
.erreur_systeme != d_es) |
| |
{ |
| |
if (presence_egalite == |
| |
d_vrai) |
| |
{ |
| |
liberation( |
| |
s_etat_processus, |
| |
s_objet_evalue); |
| |
} |
| |
|
| |
(*s_etat_processus) |
| |
.instruction_courante = |
| |
instruction_courante; |
| |
return(d_erreur); |
| |
} |
| |
|
| |
(*(*s_etat_processus) |
| |
.l_base_pile_systeme) |
| |
.type_cloture = 'L'; |
| |
} |
| else |
else |
| { |
{ |
| empilement_pile_systeme( |
empilement_pile_systeme( |
|
Line 3650 evaluation(struct_processus *s_etat_proc
|
Line 4766 evaluation(struct_processus *s_etat_proc
|
| if ((*s_etat_processus) |
if ((*s_etat_processus) |
| .erreur_systeme != d_es) |
.erreur_systeme != d_es) |
| { |
{ |
| |
if (presence_egalite == |
| |
d_vrai) |
| |
{ |
| |
liberation( |
| |
s_etat_processus, |
| |
s_objet_evalue); |
| |
} |
| |
|
| |
(*s_etat_processus) |
| |
.instruction_courante = |
| |
instruction_courante; |
| |
return(d_erreur); |
| |
} |
| |
} |
| |
else if ((TEST(instruction_next) || |
| |
TEST(instruction_step)) && |
| |
((*(*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)) |
| |
{ |
| |
(*s_etat_processus) |
| |
.erreur_execution = |
| |
d_ex_erreur_traitement_boucle; |
| |
|
| |
if (presence_egalite == |
| |
d_vrai) |
| |
{ |
| |
liberation( |
| |
s_etat_processus, |
| |
s_objet_evalue); |
| |
} |
| |
|
| (*s_etat_processus) |
(*s_etat_processus) |
| .instruction_courante = |
.instruction_courante = |
| instruction_courante; |
instruction_courante; |
| return(d_erreur); |
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) |
| |
{ |
| |
(*s_etat_processus) |
| |
.erreur_systeme = d_es; |
| |
(*s_etat_processus) |
| |
.erreur_execution = |
| |
d_ex_erreur_traitement_boucle; |
| |
|
| |
if (presence_egalite == |
| |
d_vrai) |
| |
{ |
| |
liberation( |
| |
s_etat_processus, |
| |
s_objet_evalue); |
| |
} |
| |
|
| |
(*s_etat_processus) |
| |
.instruction_courante = |
| |
instruction_courante; |
| |
return(d_erreur); |
| |
} |
| |
|
| |
if ((*(*s_etat_processus) |
| |
.pointeur_variable_courante) |
| |
.objet == NULL) |
| |
{ |
| |
(*s_etat_processus) |
| |
.erreur_systeme = d_es; |
| |
(*s_etat_processus) |
| |
.erreur_execution = |
| |
d_ex_variable_partagee; |
| |
|
| |
if (presence_egalite == |
| |
d_vrai) |
| |
{ |
| |
liberation( |
| |
s_etat_processus, |
| |
s_objet_evalue); |
| |
} |
| |
|
| |
(*s_etat_processus) |
| |
.instruction_courante = |
| |
instruction_courante; |
| |
return(d_erreur); |
| |
} |
| |
|
| |
(*s_etat_processus) |
| |
.niveau_courant--; |
| |
|
| |
if ( |
| |
retrait_variables_par_niveau( |
| |
s_etat_processus) == d_erreur) |
| |
{ |
| |
if (presence_egalite == |
| |
d_vrai) |
| |
{ |
| |
liberation( |
| |
s_etat_processus, |
| |
s_objet_evalue); |
| |
} |
| |
|
| |
(*s_etat_processus) |
| |
.instruction_courante = |
| |
instruction_courante; |
| |
return(d_erreur); |
| |
} |
| |
} |
| |
|
| |
depilement_pile_systeme( |
| |
s_etat_processus); |
| } |
} |
| 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_end_incoherent; |
| |
|
| |
if (presence_egalite == |
| |
d_vrai) |
| |
{ |
| |
liberation( |
| |
s_etat_processus, |
| |
s_objet_evalue); |
| |
} |
| |
|
| |
(*s_etat_processus) |
| |
.instruction_courante = |
| |
instruction_courante; |
| |
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; |
| |
|
| |
if (presence_egalite == |
| |
d_vrai) |
| |
{ |
| |
liberation( |
| |
s_etat_processus, |
| |
s_objet_evalue); |
| |
} |
| |
|
| |
(*s_etat_processus) |
| |
.instruction_courante = |
| |
instruction_courante; |
| |
return(d_erreur); |
| |
} |
| |
|
| |
(*s_etat_processus) |
| |
.sections_critiques--; |
| |
} |
| |
|
| depilement_pile_systeme( |
depilement_pile_systeme( |
| s_etat_processus); |
s_etat_processus); |
| |
|
|
Line 3816 evaluation(struct_processus *s_etat_proc
|
Line 5117 evaluation(struct_processus *s_etat_proc
|
| TEST(instruction_do) || |
TEST(instruction_do) || |
| TEST(instruction_while) || |
TEST(instruction_while) || |
| TEST(instruction_for) || |
TEST(instruction_for) || |
| |
TEST(instruction_forall) || |
| TEST(instruction_start) || |
TEST(instruction_start) || |
| TEST(instruction_select) || |
TEST(instruction_select) || |
| TEST(instruction_case) || |
TEST(instruction_case) || |
| |
TEST(instruction_critical) || |
| TEST(vers_niveau_superieur)) |
TEST(vers_niveau_superieur)) |
| { |
{ |
| if (TEST(vers_niveau_superieur)) |
if (TEST(vers_niveau_superieur)) |
|
Line 3836 evaluation(struct_processus *s_etat_proc
|
Line 5139 evaluation(struct_processus *s_etat_proc
|
| if ((*s_etat_processus) |
if ((*s_etat_processus) |
| .erreur_systeme != d_es) |
.erreur_systeme != d_es) |
| { |
{ |
| |
if (presence_egalite == |
| |
d_vrai) |
| |
{ |
| |
liberation( |
| |
s_etat_processus, |
| |
s_objet_evalue); |
| |
} |
| |
|
| (*s_etat_processus) |
(*s_etat_processus) |
| .instruction_courante = |
.instruction_courante = |
| instruction_courante; |
instruction_courante; |
|
Line 3848 evaluation(struct_processus *s_etat_proc
|
Line 5159 evaluation(struct_processus *s_etat_proc
|
| .erreur_execution = |
.erreur_execution = |
| registre_erreur_execution; |
registre_erreur_execution; |
| } |
} |
| |
else if (TEST(instruction_for) || |
| |
TEST(instruction_forall) || |
| |
TEST(instruction_start)) |
| |
{ |
| |
empilement_pile_systeme( |
| |
s_etat_processus); |
| |
|
| |
if ((*s_etat_processus) |
| |
.erreur_systeme != d_es) |
| |
{ |
| |
if (presence_egalite == |
| |
d_vrai) |
| |
{ |
| |
liberation( |
| |
s_etat_processus, |
| |
s_objet_evalue); |
| |
} |
| |
|
| |
(*s_etat_processus) |
| |
.instruction_courante = |
| |
instruction_courante; |
| |
return(d_erreur); |
| |
} |
| |
|
| |
(*(*s_etat_processus) |
| |
.l_base_pile_systeme) |
| |
.type_cloture = 'L'; |
| |
} |
| else |
else |
| { |
{ |
| empilement_pile_systeme( |
empilement_pile_systeme( |
|
Line 3891 evaluation(struct_processus *s_etat_proc
|
Line 5230 evaluation(struct_processus *s_etat_proc
|
| if ((*s_etat_processus) |
if ((*s_etat_processus) |
| .erreur_systeme != d_es) |
.erreur_systeme != d_es) |
| { |
{ |
| |
if (presence_egalite == |
| |
d_vrai) |
| |
{ |
| |
liberation( |
| |
s_etat_processus, |
| |
s_objet_evalue); |
| |
} |
| |
|
| (*s_etat_processus) |
(*s_etat_processus) |
| .instruction_courante = |
.instruction_courante = |
| instruction_courante; |
instruction_courante; |
|
Line 3903 evaluation(struct_processus *s_etat_proc
|
Line 5250 evaluation(struct_processus *s_etat_proc
|
| .erreur_execution = |
.erreur_execution = |
| registre_erreur_execution; |
registre_erreur_execution; |
| } |
} |
| |
else if ((TEST(instruction_next) || |
| |
TEST(instruction_step)) && |
| |
((*(*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)) |
| |
{ |
| |
(*s_etat_processus) |
| |
.erreur_execution = |
| |
d_ex_erreur_traitement_boucle; |
| |
|
| |
if (presence_egalite == |
| |
d_vrai) |
| |
{ |
| |
liberation( |
| |
s_etat_processus, |
| |
s_objet_evalue); |
| |
} |
| |
|
| |
(*s_etat_processus) |
| |
.instruction_courante = |
| |
instruction_courante; |
| |
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) |
| |
{ |
| |
(*s_etat_processus) |
| |
.erreur_systeme = d_es; |
| |
(*s_etat_processus) |
| |
.erreur_execution = |
| |
d_ex_erreur_traitement_boucle; |
| |
|
| |
if (presence_egalite == |
| |
d_vrai) |
| |
{ |
| |
liberation( |
| |
s_etat_processus, |
| |
s_objet_evalue); |
| |
} |
| |
|
| |
(*s_etat_processus) |
| |
.instruction_courante = |
| |
instruction_courante; |
| |
return(d_erreur); |
| |
} |
| |
|
| |
if ((*(*s_etat_processus) |
| |
.pointeur_variable_courante) |
| |
.objet == NULL) |
| |
{ |
| |
(*s_etat_processus) |
| |
.erreur_systeme = d_es; |
| |
(*s_etat_processus) |
| |
.erreur_execution = |
| |
d_ex_variable_partagee; |
| |
|
| |
if (presence_egalite == |
| |
d_vrai) |
| |
{ |
| |
liberation( |
| |
s_etat_processus, |
| |
s_objet_evalue); |
| |
} |
| |
|
| |
(*s_etat_processus) |
| |
.instruction_courante = |
| |
instruction_courante; |
| |
return(d_erreur); |
| |
} |
| |
|
| |
(*s_etat_processus) |
| |
.niveau_courant--; |
| |
|
| |
if ( |
| |
retrait_variables_par_niveau( |
| |
s_etat_processus) == d_erreur) |
| |
{ |
| |
if (presence_egalite == |
| |
d_vrai) |
| |
{ |
| |
liberation( |
| |
s_etat_processus, |
| |
s_objet_evalue); |
| |
} |
| |
|
| |
(*s_etat_processus) |
| |
.instruction_courante = |
| |
instruction_courante; |
| |
return(d_erreur); |
| |
} |
| |
} |
| |
|
| |
depilement_pile_systeme( |
| |
s_etat_processus); |
| |
} |
| 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_end_incoherent; |
| |
|
| |
if (presence_egalite == |
| |
d_vrai) |
| |
{ |
| |
liberation( |
| |
s_etat_processus, |
| |
s_objet_evalue); |
| |
} |
| |
|
| |
(*s_etat_processus) |
| |
.instruction_courante = |
| |
instruction_courante; |
| |
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; |
| |
|
| |
if (presence_egalite == |
| |
d_vrai) |
| |
{ |
| |
liberation( |
| |
s_etat_processus, |
| |
s_objet_evalue); |
| |
} |
| |
|
| |
(*s_etat_processus) |
| |
.instruction_courante = |
| |
instruction_courante; |
| |
return(d_erreur); |
| |
} |
| |
|
| |
(*s_etat_processus) |
| |
.sections_critiques--; |
| |
} |
| |
|
| depilement_pile_systeme( |
depilement_pile_systeme( |
| s_etat_processus); |
s_etat_processus); |
| |
|
|
Line 4026 evaluation(struct_processus *s_etat_proc
|
Line 5550 evaluation(struct_processus *s_etat_proc
|
| TEST(instruction_do) || |
TEST(instruction_do) || |
| TEST(instruction_while) || |
TEST(instruction_while) || |
| TEST(instruction_for) || |
TEST(instruction_for) || |
| |
TEST(instruction_forall) || |
| TEST(instruction_start) || |
TEST(instruction_start) || |
| TEST(instruction_select) || |
TEST(instruction_select) || |
| TEST(instruction_case) || |
TEST(instruction_case) || |
| |
TEST(instruction_critical) || |
| TEST(vers_niveau_superieur)) |
TEST(vers_niveau_superieur)) |
| { |
{ |
| if (TEST(vers_niveau_superieur)) |
if (TEST(vers_niveau_superieur)) |
|
Line 4039 evaluation(struct_processus *s_etat_proc
|
Line 5565 evaluation(struct_processus *s_etat_proc
|
| if ((*s_etat_processus) |
if ((*s_etat_processus) |
| .erreur_systeme != d_es) |
.erreur_systeme != d_es) |
| { |
{ |
| |
if (presence_egalite == |
| |
d_vrai) |
| |
{ |
| |
liberation( |
| |
s_etat_processus, |
| |
s_objet_evalue); |
| |
} |
| |
|
| (*s_etat_processus) |
(*s_etat_processus) |
| .instruction_courante = |
.instruction_courante = |
| instruction_courante; |
instruction_courante; |
| return(d_erreur); |
return(d_erreur); |
| } |
} |
| } |
} |
| |
else if (TEST(instruction_for) || |
| |
TEST(instruction_forall) || |
| |
TEST(instruction_start)) |
| |
{ |
| |
empilement_pile_systeme( |
| |
s_etat_processus); |
| |
|
| |
if ((*s_etat_processus) |
| |
.erreur_systeme != d_es) |
| |
{ |
| |
if (presence_egalite == |
| |
d_vrai) |
| |
{ |
| |
liberation( |
| |
s_etat_processus, |
| |
s_objet_evalue); |
| |
} |
| |
|
| |
(*s_etat_processus) |
| |
.instruction_courante = |
| |
instruction_courante; |
| |
return(d_erreur); |
| |
} |
| |
|
| |
(*(*s_etat_processus) |
| |
.l_base_pile_systeme) |
| |
.type_cloture = 'L'; |
| |
} |
| else |
else |
| { |
{ |
| empilement_pile_systeme( |
empilement_pile_systeme( |
|
Line 4081 evaluation(struct_processus *s_etat_proc
|
Line 5643 evaluation(struct_processus *s_etat_proc
|
| if ((*s_etat_processus) |
if ((*s_etat_processus) |
| .erreur_systeme != d_es) |
.erreur_systeme != d_es) |
| { |
{ |
| |
if (presence_egalite == |
| |
d_vrai) |
| |
{ |
| |
liberation( |
| |
s_etat_processus, |
| |
s_objet_evalue); |
| |
} |
| |
|
| (*s_etat_processus) |
(*s_etat_processus) |
| .instruction_courante = |
.instruction_courante = |
| instruction_courante; |
instruction_courante; |
| return(d_erreur); |
return(d_erreur); |
| } |
} |
| } |
} |
| |
else if ((TEST(instruction_next) || |
| |
TEST(instruction_step)) && |
| |
((*(*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)) |
| |
{ |
| |
(*s_etat_processus) |
| |
.erreur_execution = |
| |
d_ex_erreur_traitement_boucle; |
| |
|
| |
if (presence_egalite == |
| |
d_vrai) |
| |
{ |
| |
liberation( |
| |
s_etat_processus, |
| |
s_objet_evalue); |
| |
} |
| |
|
| |
(*s_etat_processus) |
| |
.instruction_courante = |
| |
instruction_courante; |
| |
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) |
| |
{ |
| |
(*s_etat_processus) |
| |
.erreur_systeme = d_es; |
| |
(*s_etat_processus) |
| |
.erreur_execution = |
| |
d_ex_erreur_traitement_boucle; |
| |
|
| |
if (presence_egalite == |
| |
d_vrai) |
| |
{ |
| |
liberation( |
| |
s_etat_processus, |
| |
s_objet_evalue); |
| |
} |
| |
|
| |
(*s_etat_processus) |
| |
.instruction_courante = |
| |
instruction_courante; |
| |
return(d_erreur); |
| |
} |
| |
|
| |
if ((*(*s_etat_processus) |
| |
.pointeur_variable_courante) |
| |
.objet == NULL) |
| |
{ |
| |
(*s_etat_processus) |
| |
.erreur_systeme = d_es; |
| |
(*s_etat_processus) |
| |
.erreur_execution = |
| |
d_ex_variable_partagee; |
| |
|
| |
if (presence_egalite == |
| |
d_vrai) |
| |
{ |
| |
liberation( |
| |
s_etat_processus, |
| |
s_objet_evalue); |
| |
} |
| |
|
| |
(*s_etat_processus) |
| |
.instruction_courante = |
| |
instruction_courante; |
| |
return(d_erreur); |
| |
} |
| |
|
| |
(*s_etat_processus) |
| |
.niveau_courant--; |
| |
|
| |
if ( |
| |
retrait_variables_par_niveau( |
| |
s_etat_processus) == d_erreur) |
| |
{ |
| |
if (presence_egalite == |
| |
d_vrai) |
| |
{ |
| |
liberation( |
| |
s_etat_processus, |
| |
s_objet_evalue); |
| |
} |
| |
|
| |
(*s_etat_processus) |
| |
.instruction_courante = |
| |
instruction_courante; |
| |
return(d_erreur); |
| |
} |
| |
} |
| |
|
| |
depilement_pile_systeme( |
| |
s_etat_processus); |
| |
} |
| 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_end_incoherent; |
| |
|
| |
if (presence_egalite == |
| |
d_vrai) |
| |
{ |
| |
liberation( |
| |
s_etat_processus, |
| |
s_objet_evalue); |
| |
} |
| |
|
| |
(*s_etat_processus) |
| |
.instruction_courante = |
| |
instruction_courante; |
| |
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; |
| |
|
| |
if (presence_egalite == |
| |
d_vrai) |
| |
{ |
| |
liberation( |
| |
s_etat_processus, |
| |
s_objet_evalue); |
| |
} |
| |
|
| |
(*s_etat_processus) |
| |
.instruction_courante = |
| |
instruction_courante; |
| |
return(d_erreur); |
| |
} |
| |
|
| |
(*s_etat_processus) |
| |
.sections_critiques--; |
| |
} |
| |
|
| depilement_pile_systeme( |
depilement_pile_systeme( |
| s_etat_processus); |
s_etat_processus); |
| |
|
|
Line 4176 evaluation(struct_processus *s_etat_proc
|
Line 5923 evaluation(struct_processus *s_etat_proc
|
| TEST(instruction_do) || |
TEST(instruction_do) || |
| TEST(instruction_while) || |
TEST(instruction_while) || |
| TEST(instruction_for) || |
TEST(instruction_for) || |
| |
TEST(instruction_forall) || |
| TEST(instruction_start) || |
TEST(instruction_start) || |
| TEST(instruction_select) || |
TEST(instruction_select) || |
| TEST(instruction_case) || |
TEST(instruction_case) || |
| |
TEST(instruction_critical) || |
| TEST(vers_niveau_superieur)) |
TEST(vers_niveau_superieur)) |
| { |
{ |
| if (TEST(vers_niveau_superieur)) |
if (TEST(vers_niveau_superieur)) |
|
Line 4189 evaluation(struct_processus *s_etat_proc
|
Line 5938 evaluation(struct_processus *s_etat_proc
|
| if ((*s_etat_processus) |
if ((*s_etat_processus) |
| .erreur_systeme != d_es) |
.erreur_systeme != d_es) |
| { |
{ |
| |
if (presence_egalite == |
| |
d_vrai) |
| |
{ |
| |
liberation( |
| |
s_etat_processus, |
| |
s_objet_evalue); |
| |
} |
| |
|
| (*s_etat_processus) |
(*s_etat_processus) |
| .instruction_courante = |
.instruction_courante = |
| instruction_courante; |
instruction_courante; |
| return(d_erreur); |
return(d_erreur); |
| } |
} |
| } |
} |
| |
else if (TEST(instruction_for) || |
| |
TEST(instruction_forall) || |
| |
TEST(instruction_start)) |
| |
{ |
| |
empilement_pile_systeme( |
| |
s_etat_processus); |
| |
|
| |
if ((*s_etat_processus) |
| |
.erreur_systeme != d_es) |
| |
{ |
| |
if (presence_egalite == |
| |
d_vrai) |
| |
{ |
| |
liberation( |
| |
s_etat_processus, |
| |
s_objet_evalue); |
| |
} |
| |
|
| |
(*s_etat_processus) |
| |
.instruction_courante = |
| |
instruction_courante; |
| |
return(d_erreur); |
| |
} |
| |
|
| |
(*(*s_etat_processus) |
| |
.l_base_pile_systeme) |
| |
.type_cloture = 'L'; |
| |
} |
| else |
else |
| { |
{ |
| empilement_pile_systeme( |
empilement_pile_systeme( |
|
Line 4231 evaluation(struct_processus *s_etat_proc
|
Line 6016 evaluation(struct_processus *s_etat_proc
|
| if ((*s_etat_processus) |
if ((*s_etat_processus) |
| .erreur_systeme != d_es) |
.erreur_systeme != d_es) |
| { |
{ |
| |
if (presence_egalite == |
| |
d_vrai) |
| |
{ |
| |
liberation( |
| |
s_etat_processus, |
| |
s_objet_evalue); |
| |
} |
| |
|
| |
(*s_etat_processus) |
| |
.instruction_courante = |
| |
instruction_courante; |
| |
return(d_erreur); |
| |
} |
| |
} |
| |
else if ((TEST(instruction_next) || |
| |
TEST(instruction_step)) && |
| |
((*(*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)) |
| |
{ |
| |
(*s_etat_processus) |
| |
.erreur_execution = |
| |
d_ex_erreur_traitement_boucle; |
| |
|
| |
if (presence_egalite == |
| |
d_vrai) |
| |
{ |
| |
liberation( |
| |
s_etat_processus, |
| |
s_objet_evalue); |
| |
} |
| |
|
| (*s_etat_processus) |
(*s_etat_processus) |
| .instruction_courante = |
.instruction_courante = |
| instruction_courante; |
instruction_courante; |
| return(d_erreur); |
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) |
| |
{ |
| |
(*s_etat_processus) |
| |
.erreur_systeme = d_es; |
| |
(*s_etat_processus) |
| |
.erreur_execution = |
| |
d_ex_erreur_traitement_boucle; |
| |
|
| |
if (presence_egalite == |
| |
d_vrai) |
| |
{ |
| |
liberation( |
| |
s_etat_processus, |
| |
s_objet_evalue); |
| |
} |
| |
|
| |
(*s_etat_processus) |
| |
.instruction_courante = |
| |
instruction_courante; |
| |
return(d_erreur); |
| |
} |
| |
|
| |
if ((*(*s_etat_processus) |
| |
.pointeur_variable_courante) |
| |
.objet == NULL) |
| |
{ |
| |
(*s_etat_processus) |
| |
.erreur_systeme = d_es; |
| |
(*s_etat_processus) |
| |
.erreur_execution = |
| |
d_ex_variable_partagee; |
| |
|
| |
if (presence_egalite == |
| |
d_vrai) |
| |
{ |
| |
liberation( |
| |
s_etat_processus, |
| |
s_objet_evalue); |
| |
} |
| |
|
| |
(*s_etat_processus) |
| |
.instruction_courante = |
| |
instruction_courante; |
| |
return(d_erreur); |
| |
} |
| |
|
| |
(*s_etat_processus) |
| |
.niveau_courant--; |
| |
|
| |
if ( |
| |
retrait_variables_par_niveau( |
| |
s_etat_processus) == d_erreur) |
| |
{ |
| |
if (presence_egalite == |
| |
d_vrai) |
| |
{ |
| |
liberation( |
| |
s_etat_processus, |
| |
s_objet_evalue); |
| |
} |
| |
|
| |
(*s_etat_processus) |
| |
.instruction_courante = |
| |
instruction_courante; |
| |
return(d_erreur); |
| |
} |
| |
} |
| |
|
| |
depilement_pile_systeme( |
| |
s_etat_processus); |
| } |
} |
| 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_end_incoherent; |
| |
|
| |
if (presence_egalite == |
| |
d_vrai) |
| |
{ |
| |
liberation( |
| |
s_etat_processus, |
| |
s_objet_evalue); |
| |
} |
| |
|
| |
(*s_etat_processus) |
| |
.instruction_courante = |
| |
instruction_courante; |
| |
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; |
| |
|
| |
if (presence_egalite == |
| |
d_vrai) |
| |
{ |
| |
liberation( |
| |
s_etat_processus, |
| |
s_objet_evalue); |
| |
} |
| |
|
| |
(*s_etat_processus) |
| |
.instruction_courante = |
| |
instruction_courante; |
| |
return(d_erreur); |
| |
} |
| |
|
| |
(*s_etat_processus) |
| |
.sections_critiques--; |
| |
} |
| |
|
| depilement_pile_systeme( |
depilement_pile_systeme( |
| s_etat_processus); |
s_etat_processus); |
| |
|
|
Line 4362 evaluation(struct_processus *s_etat_proc
|
Line 6332 evaluation(struct_processus *s_etat_proc
|
| { |
{ |
| // Variable partagée |
// Variable partagée |
| |
|
| if (pthread_mutex_lock(&((*(*s_etat_processus) |
|
| .s_liste_variables_partagees).mutex)) |
|
| != 0) |
|
| { |
|
| (*s_etat_processus).erreur_systeme = |
|
| d_es_processus; |
|
| return(d_erreur); |
|
| } |
|
| |
|
| presence_variable_partagee = d_faux; |
presence_variable_partagee = d_faux; |
| |
|
| if (recherche_variable_partagee( |
if (recherche_variable_partagee( |
|
Line 4378 evaluation(struct_processus *s_etat_proc
|
Line 6339 evaluation(struct_processus *s_etat_proc
|
| .pointeur_variable_courante).nom, |
.pointeur_variable_courante).nom, |
| (*(*s_etat_processus) |
(*(*s_etat_processus) |
| .pointeur_variable_courante) |
.pointeur_variable_courante) |
| .variable_partagee, 'E') == d_vrai) |
.variable_partagee, 'E') != NULL) |
| { |
{ |
| presence_variable = d_vrai; |
presence_variable = d_vrai; |
| presence_variable_partagee = d_vrai; |
presence_variable_partagee = d_vrai; |
| |
|
| if ((*((*(*s_etat_processus) |
if ((*(*(*s_etat_processus) |
| .s_liste_variables_partagees).table |
.pointeur_variable_partagee_courante |
| [(*(*s_etat_processus) |
).objet).type == ADR) |
| .s_liste_variables_partagees) |
|
| .position_variable].objet)).type |
|
| == ADR) |
|
| { |
{ |
| presence_fonction = d_vrai; |
presence_fonction = d_vrai; |
| } |
} |
|
Line 4399 evaluation(struct_processus *s_etat_proc
|
Line 6357 evaluation(struct_processus *s_etat_proc
|
| .objet)).symbole == d_faux)) |
.objet)).symbole == d_faux)) |
| { |
{ |
| if ((s_copie_variable_partagee = |
if ((s_copie_variable_partagee = |
| copie_objet(s_etat_processus, |
copie_objet(s_etat_processus, |
| (*(*s_etat_processus) |
(*(*s_etat_processus) |
| .s_liste_variables_partagees) |
.pointeur_variable_partagee_courante |
| .table[(*(*s_etat_processus) |
).objet, 'P')) == NULL) |
| .s_liste_variables_partagees) |
|
| .position_variable].objet, 'P')) |
|
| == NULL) |
|
| { |
{ |
| if (pthread_mutex_unlock( |
if (pthread_mutex_unlock( |
| &((*(*s_etat_processus) |
&((*(*s_etat_processus) |
| .s_liste_variables_partagees |
.pointeur_variable_partagee_courante |
| ).mutex)) != 0) |
).mutex)) != 0) |
| { |
{ |
| (*s_etat_processus) |
(*s_etat_processus) |
| .erreur_systeme = |
.erreur_systeme = |
|
Line 4426 evaluation(struct_processus *s_etat_proc
|
Line 6381 evaluation(struct_processus *s_etat_proc
|
| |
|
| if (pthread_mutex_unlock( |
if (pthread_mutex_unlock( |
| &((*(*s_etat_processus) |
&((*(*s_etat_processus) |
| .s_liste_variables_partagees) |
.pointeur_variable_partagee_courante |
| .mutex)) != 0) |
).mutex)) != 0) |
| { |
{ |
| (*s_etat_processus).erreur_systeme = |
(*s_etat_processus).erreur_systeme = |
| d_es_processus; |
d_es_processus; |
|
Line 4439 evaluation(struct_processus *s_etat_proc
|
Line 6394 evaluation(struct_processus *s_etat_proc
|
| (*s_etat_processus).erreur_systeme = d_es; |
(*s_etat_processus).erreur_systeme = d_es; |
| presence_variable = d_faux; |
presence_variable = d_faux; |
| presence_variable_partagee = d_faux; |
presence_variable_partagee = d_faux; |
| |
|
| if (pthread_mutex_unlock( |
|
| &((*(*s_etat_processus) |
|
| .s_liste_variables_partagees) |
|
| .mutex)) != 0) |
|
| { |
|
| (*s_etat_processus).erreur_systeme = |
|
| d_es_processus; |
|
| return(d_erreur); |
|
| } |
|
| } |
} |
| } |
} |
| else |
else |
|
Line 4908 evaluation(struct_processus *s_etat_proc
|
Line 6853 evaluation(struct_processus *s_etat_proc
|
| { |
{ |
| // Variable partagée |
// Variable partagée |
| |
|
| if (pthread_mutex_lock( |
|
| &((*(*s_etat_processus) |
|
| .s_liste_variables_partagees) |
|
| .mutex)) != 0) |
|
| { |
|
| (*s_etat_processus).erreur_systeme = |
|
| d_es_processus; |
|
| return(d_erreur); |
|
| } |
|
| |
|
| if (recherche_variable_partagee( |
if (recherche_variable_partagee( |
| s_etat_processus, |
s_etat_processus, |
| (*(*s_etat_processus) |
(*(*s_etat_processus) |
| .pointeur_variable_courante).nom, |
.pointeur_variable_courante).nom, |
| (*(*s_etat_processus) |
(*(*s_etat_processus) |
| .pointeur_variable_courante) |
.pointeur_variable_courante) |
| .variable_partagee, 'E') == d_vrai) |
.variable_partagee, 'E') != NULL) |
| { |
{ |
| liberation(s_etat_processus, |
liberation(s_etat_processus, |
| s_objet_elementaire); |
s_objet_elementaire); |
| |
|
| if ((s_objet_elementaire = |
if ((s_objet_elementaire = |
| copie_objet(s_etat_processus, |
copie_objet(s_etat_processus, |
| (*(*s_etat_processus) |
(*(*s_etat_processus) |
| .s_liste_variables_partagees) |
.pointeur_variable_partagee_courante |
| .table[(*(*s_etat_processus) |
).objet, 'P')) == NULL) |
| .s_liste_variables_partagees) |
|
| .position_variable].objet, |
|
| 'P')) == NULL) |
|
| { |
{ |
| if (pthread_mutex_unlock( |
if (pthread_mutex_unlock( |
| &((*(*s_etat_processus) |
&((*(*s_etat_processus) |
| .s_liste_variables_partagees |
.pointeur_variable_partagee_courante |
| ).mutex)) != 0) |
).mutex)) != 0) |
| { |
{ |
| (*s_etat_processus) |
(*s_etat_processus) |
| .erreur_systeme = |
.erreur_systeme = |
|
Line 4962 evaluation(struct_processus *s_etat_proc
|
Line 6894 evaluation(struct_processus *s_etat_proc
|
| instruction_courante; |
instruction_courante; |
| return(d_erreur); |
return(d_erreur); |
| } |
} |
| } |
|
| |
|
| if (pthread_mutex_unlock( |
if (pthread_mutex_unlock( |
| &((*(*s_etat_processus) |
&((*(*s_etat_processus) |
| .s_liste_variables_partagees) |
.pointeur_variable_partagee_courante |
| .mutex)) != 0) |
).mutex)) != 0) |
| { |
{ |
| (*s_etat_processus).erreur_systeme = |
(*s_etat_processus).erreur_systeme = |
| d_es_processus; |
d_es_processus; |
| return(d_erreur); |
return(d_erreur); |
| |
} |
| } |
} |
| } |
} |
| else |
else |
|
Line 5111 evaluation(struct_processus *s_etat_proc
|
Line 7043 evaluation(struct_processus *s_etat_proc
|
| |
|
| // Traitement de l'instruction EXIT en mode interactif |
// Traitement de l'instruction EXIT en mode interactif |
| |
|
| if (l_element_courant != NULL) |
|
| { |
|
| l_element_courant = (*l_element_courant).suivant; |
|
| } |
|
| else |
|
| { |
|
| (*s_etat_processus).mode_execution_programme = 'Y'; |
|
| |
|
| if ((*s_etat_processus).niveau_courant == 1) |
|
| { |
|
| (*s_etat_processus).debug_programme = d_faux; |
|
| (*s_etat_processus).execution_pas_suivant = d_vrai; |
|
| } |
|
| } |
|
| |
|
| if ((*s_etat_processus).traitement_cycle_exit != 'N') |
if ((*s_etat_processus).traitement_cycle_exit != 'N') |
| { |
{ |
| registre_expression_courante = |
registre_expression_courante = |
|
Line 5152 evaluation(struct_processus *s_etat_proc
|
Line 7069 evaluation(struct_processus *s_etat_proc
|
| (*s_etat_processus).expression_courante = |
(*s_etat_processus).expression_courante = |
| registre_expression_courante; |
registre_expression_courante; |
| } |
} |
| |
|
| |
if (l_element_courant != NULL) |
| |
{ |
| |
l_element_courant = (*l_element_courant).suivant; |
| |
} |
| |
else |
| |
{ |
| |
(*s_etat_processus).mode_execution_programme = 'Y'; |
| |
|
| |
if ((*s_etat_processus).niveau_courant == 1) |
| |
{ |
| |
(*s_etat_processus).debug_programme = d_faux; |
| |
(*s_etat_processus).execution_pas_suivant = d_vrai; |
| |
} |
| |
} |
| |
|
| } |
} |
| |
|
| if (niveau_initial < (*s_etat_processus).niveau_courant) |
if (niveau_initial < (*s_etat_processus).niveau_courant) |
|
Line 5163 evaluation(struct_processus *s_etat_proc
|
Line 7096 evaluation(struct_processus *s_etat_proc
|
| |
|
| (*s_etat_processus).niveau_courant = niveau_initial; |
(*s_etat_processus).niveau_courant = niveau_initial; |
| |
|
| if (retrait_variable_par_niveau(s_etat_processus) == d_erreur) |
if (retrait_variables_par_niveau(s_etat_processus) == d_erreur) |
| { |
{ |
| |
if (presence_egalite == d_vrai) |
| |
{ |
| |
liberation(s_etat_processus, s_objet_evalue); |
| |
} |
| |
|
| |
(*s_etat_processus).instruction_courante = |
| |
instruction_courante; |
| |
(*s_etat_processus).mode_execution_programme = |
| |
registre_mode_execution_programme; |
| return(d_erreur); |
return(d_erreur); |
| } |
} |
| } |
} |
|
Line 5173 evaluation(struct_processus *s_etat_proc
|
Line 7115 evaluation(struct_processus *s_etat_proc
|
| * Retrait des variables statiques créées dans l'expression |
* Retrait des variables statiques créées dans l'expression |
| */ |
*/ |
| |
|
| for(n = 0; n < (*s_etat_processus).nombre_variables_statiques; n++) |
if (retrait_variables_statiques_locales(s_etat_processus) == d_erreur) |
| { |
{ |
| if ((*s_etat_processus).s_liste_variables_statiques[n] |
if (presence_egalite == d_vrai) |
| .niveau > (*s_etat_processus).niveau_courant) |
|
| { |
{ |
| if (retrait_variable_statique(s_etat_processus, |
liberation(s_etat_processus, s_objet_evalue); |
| (*s_etat_processus).s_liste_variables_statiques[n].nom, |
|
| (*s_etat_processus).s_liste_variables_statiques[n] |
|
| .variable_statique) == d_erreur) |
|
| { |
|
| if (presence_egalite == d_vrai) |
|
| { |
|
| liberation(s_etat_processus, s_objet_evalue); |
|
| } |
|
| |
|
| (*s_etat_processus).instruction_courante = |
|
| instruction_courante; |
|
| (*s_etat_processus).mode_execution_programme = |
|
| registre_mode_execution_programme; |
|
| return(d_erreur); |
|
| } |
|
| } |
} |
| |
|
| |
(*s_etat_processus).instruction_courante = |
| |
instruction_courante; |
| |
(*s_etat_processus).mode_execution_programme = |
| |
registre_mode_execution_programme; |
| |
return(d_erreur); |
| } |
} |
| |
|
| /* |
/* |
| * Retrait des variables partagées créées dans l'expression |
* Retrait des variables partagées créées dans l'expression |
| */ |
*/ |
| |
|
| if (pthread_mutex_lock(&((*(*s_etat_processus) |
if (retrait_variables_partagees_locales(s_etat_processus) == d_erreur) |
| .s_liste_variables_partagees).mutex)) != 0) |
|
| { |
{ |
| (*s_etat_processus).erreur_systeme = d_es_processus; |
if (presence_egalite == d_vrai) |
| return(d_erreur); |
|
| } |
|
| |
|
| for(n = 0; n < (*(*s_etat_processus).s_liste_variables_partagees) |
|
| .nombre_variables; n++) |
|
| { |
|
| if ((*(*s_etat_processus).s_liste_variables_partagees).table[n] |
|
| .niveau > (*s_etat_processus).niveau_courant) |
|
| { |
{ |
| if (retrait_variable_partagee(s_etat_processus, |
liberation(s_etat_processus, s_objet_evalue); |
| (*(*s_etat_processus).s_liste_variables_partagees) |
|
| .table[n].nom, (*(*s_etat_processus) |
|
| .s_liste_variables_partagees).table[n] |
|
| .variable_partagee) == d_erreur) |
|
| { |
|
| if (pthread_mutex_unlock(&((*(*s_etat_processus) |
|
| .s_liste_variables_partagees).mutex)) != 0) |
|
| { |
|
| (*s_etat_processus).erreur_systeme = d_es_processus; |
|
| return(d_erreur); |
|
| } |
|
| |
|
| if (presence_egalite == d_vrai) |
|
| { |
|
| liberation(s_etat_processus, s_objet_evalue); |
|
| } |
|
| |
|
| (*s_etat_processus).instruction_courante = |
|
| instruction_courante; |
|
| (*s_etat_processus).mode_execution_programme = |
|
| registre_mode_execution_programme; |
|
| return(d_erreur); |
|
| } |
|
| } |
} |
| } |
|
| |
|
| if (pthread_mutex_unlock(&((*(*s_etat_processus) |
(*s_etat_processus).instruction_courante = |
| .s_liste_variables_partagees).mutex)) != 0) |
instruction_courante; |
| { |
(*s_etat_processus).mode_execution_programme = |
| (*s_etat_processus).erreur_systeme = d_es_processus; |
registre_mode_execution_programme; |
| return(d_erreur); |
return(d_erreur); |
| } |
} |
| |
|
![[BACK]](/cvsweb/icons/back.gif){kind=icon}
Return to evaluation.c CVS log ![[TXT]](/cvsweb/icons/text.gif){kind=icon}
![[DIR]](/cvsweb/icons/dir.gif){kind=icon}
Up to [local] / rpl / src