version 1.2, 2010/01/27 22:22:10
|
version 1.60, 2012/10/04 15:21:25
|
Line 1
|
Line 1
|
/* |
/* |
================================================================================ |
================================================================================ |
RPL/2 (R) version 4.0.10 |
RPL/2 (R) version 4.1.11 |
Copyright (C) 1989-2010 Dr. BERTRAND Joël |
Copyright (C) 1989-2012 Dr. BERTRAND Joël |
|
|
This file is part of RPL/2. |
This file is part of RPL/2. |
|
|
Line 20
|
Line 20
|
*/ |
*/ |
|
|
|
|
#include "rpl.conv.h" |
#include "rpl-conv.h" |
|
|
#define TEST(instruction) (fonction == instruction) |
#define TEST(instruction) (fonction == instruction) |
#define vers_niveau_inferieur instruction_vers_niveau_inferieur |
#define vers_niveau_inferieur instruction_vers_niveau_inferieur |
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 76 evaluation(struct_processus *s_etat_proc
|
Line 77 evaluation(struct_processus *s_etat_proc
|
struct_objet *s_sous_objet; |
struct_objet *s_sous_objet; |
struct_objet *s_copie_variable_partagee; |
struct_objet *s_copie_variable_partagee; |
|
|
struct_variable *registre_variables; |
|
|
|
unsigned char autorisation_empilement_programme; |
unsigned char autorisation_empilement_programme; |
unsigned char *instruction_courante; |
unsigned char *instruction_courante; |
unsigned char *message; |
unsigned char *message; |
unsigned char registre_evaluation_expression_compilee; |
unsigned char registre_evaluation_expression_compilee; |
|
unsigned char registre_evaluation_forcee; |
unsigned char registre_instruction_valide; |
unsigned char registre_instruction_valide; |
unsigned char registre_mode_execution_programme; |
unsigned char registre_mode_execution_programme; |
unsigned char registre_retour_definition; |
unsigned char registre_retour_definition; |
Line 96 evaluation(struct_processus *s_etat_proc
|
Line 96 evaluation(struct_processus *s_etat_proc
|
unsigned long k; |
unsigned long k; |
unsigned long l; |
unsigned long l; |
unsigned long n; |
unsigned long n; |
unsigned long m; |
|
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 142 evaluation(struct_processus *s_etat_proc
|
Line 141 evaluation(struct_processus *s_etat_proc
|
if (recherche_variable(s_etat_processus, (*((struct_nom *) |
if (recherche_variable(s_etat_processus, (*((struct_nom *) |
(*s_objet_tampon).objet)).nom) == d_faux) |
(*s_objet_tampon).objet)).nom) == d_faux) |
{ |
{ |
|
(*s_etat_processus).erreur_execution = d_ex; |
|
|
|
if ((*s_etat_processus).autorisation_nom_implicite == 'N') |
|
{ |
|
if ((*((struct_nom *) (*s_objet_tampon).objet)).symbole == |
|
d_faux) |
|
{ |
|
if (test_cfsf(s_etat_processus, 31) == d_vrai) |
|
{ |
|
if (empilement_pile_last(s_etat_processus, 0) |
|
== d_erreur) |
|
{ |
|
return(d_erreur); |
|
} |
|
} |
|
|
|
erreur_evaluation = d_erreur; |
|
(*s_etat_processus).erreur_execution = |
|
d_ex_nom_implicite; |
|
|
|
if (type_evaluation == 'I') |
|
{ |
|
(*s_etat_processus).derniere_erreur_evaluation = |
|
(*s_etat_processus).erreur_execution; |
|
} |
|
} |
|
} |
|
|
(*s_etat_processus).erreur_systeme = d_es; |
(*s_etat_processus).erreur_systeme = d_es; |
presence_variable = d_faux; |
presence_variable = d_faux; |
} |
} |
Line 149 evaluation(struct_processus *s_etat_proc
|
Line 176 evaluation(struct_processus *s_etat_proc
|
{ |
{ |
if ((*s_etat_processus).traitement_symbolique == 'N') |
if ((*s_etat_processus).traitement_symbolique == 'N') |
{ |
{ |
if ((*s_etat_processus).s_liste_variables |
if ((*(*s_etat_processus).pointeur_variable_courante) |
[(*s_etat_processus).position_variable_courante] |
|
.objet == NULL) |
.objet == NULL) |
{ |
{ |
// Variable partagée |
// Variable partagée |
Line 166 evaluation(struct_processus *s_etat_proc
|
Line 192 evaluation(struct_processus *s_etat_proc
|
presence_variable_partagee = d_faux; |
presence_variable_partagee = d_faux; |
|
|
if (recherche_variable_partagee(s_etat_processus, |
if (recherche_variable_partagee(s_etat_processus, |
((*s_etat_processus).s_liste_variables |
(*(*s_etat_processus) |
[(*s_etat_processus) |
.pointeur_variable_courante).nom, |
.position_variable_courante]).nom, |
(*(*s_etat_processus) |
((*s_etat_processus).s_liste_variables |
.pointeur_variable_courante) |
[(*s_etat_processus) |
|
.position_variable_courante]) |
|
.variable_partagee, 'E') == d_vrai) |
.variable_partagee, 'E') == d_vrai) |
{ |
{ |
presence_variable = d_vrai; |
presence_variable = d_vrai; |
Line 240 evaluation(struct_processus *s_etat_proc
|
Line 264 evaluation(struct_processus *s_etat_proc
|
|
|
presence_variable = d_vrai; |
presence_variable = d_vrai; |
|
|
if ((*((*s_etat_processus).s_liste_variables |
if ((*(*(*s_etat_processus).pointeur_variable_courante) |
[(*s_etat_processus).position_variable_courante] |
.objet).type == ADR) |
.objet)).type == ADR) |
|
{ |
{ |
presence_fonction = d_vrai; |
presence_fonction = d_vrai; |
} |
} |
Line 293 evaluation(struct_processus *s_etat_proc
|
Line 316 evaluation(struct_processus *s_etat_proc
|
{ |
{ |
(*s_etat_processus).position_courante = |
(*s_etat_processus).position_courante = |
(*((unsigned long *) |
(*((unsigned long *) |
((*((*s_etat_processus).s_liste_variables |
((*(*(*s_etat_processus).pointeur_variable_courante) |
[(*s_etat_processus) |
.objet).objet))); |
.position_variable_courante] |
|
.objet)).objet))); |
|
} |
} |
else |
else |
{ |
{ |
Line 317 evaluation(struct_processus *s_etat_proc
|
Line 338 evaluation(struct_processus *s_etat_proc
|
if ((*s_etat_processus).profilage == d_vrai) |
if ((*s_etat_processus).profilage == d_vrai) |
{ |
{ |
profilage(s_etat_processus, |
profilage(s_etat_processus, |
(*s_etat_processus).s_liste_variables |
(*(*s_etat_processus).pointeur_variable_courante) |
[(*s_etat_processus).position_variable_courante] |
|
.nom); |
.nom); |
|
|
if ((*s_etat_processus).erreur_systeme != d_es) |
if ((*s_etat_processus).erreur_systeme != d_es) |
Line 327 evaluation(struct_processus *s_etat_proc
|
Line 347 evaluation(struct_processus *s_etat_proc
|
} |
} |
} |
} |
|
|
|
registre_evaluation_forcee = |
|
(*s_etat_processus).evaluation_forcee; |
|
|
|
if (type_evaluation == 'N') |
|
{ |
|
(*s_etat_processus).evaluation_forcee = 'Y'; |
|
} |
|
|
if (sequenceur(s_etat_processus) == d_erreur) |
if (sequenceur(s_etat_processus) == d_erreur) |
{ |
{ |
|
(*s_etat_processus).evaluation_forcee = |
|
registre_evaluation_forcee; |
(*s_etat_processus).mode_execution_programme = |
(*s_etat_processus).mode_execution_programme = |
registre_mode_execution_programme; |
registre_mode_execution_programme; |
(*s_etat_processus).instruction_courante = |
(*s_etat_processus).instruction_courante = |
Line 336 evaluation(struct_processus *s_etat_proc
|
Line 366 evaluation(struct_processus *s_etat_proc
|
return(d_erreur); |
return(d_erreur); |
} |
} |
|
|
|
(*s_etat_processus).evaluation_forcee = |
|
registre_evaluation_forcee; |
(*s_etat_processus).instruction_courante = |
(*s_etat_processus).instruction_courante = |
instruction_courante; |
instruction_courante; |
(*s_etat_processus).mode_execution_programme = 'N'; |
(*s_etat_processus).mode_execution_programme = 'N'; |
Line 358 evaluation(struct_processus *s_etat_proc
|
Line 390 evaluation(struct_processus *s_etat_proc
|
registre_evaluation_expression_compilee = |
registre_evaluation_expression_compilee = |
(*s_etat_processus).evaluation_expression_compilee; |
(*s_etat_processus).evaluation_expression_compilee; |
|
|
if (((*s_etat_processus).s_liste_variables[(*s_etat_processus) |
if (((*(*s_etat_processus).pointeur_variable_courante).origine |
.position_variable_courante].origine == 'E') && |
== 'E') && ((*(*s_etat_processus) |
((*s_etat_processus).s_liste_variables |
.pointeur_variable_courante).niveau == 0)) |
[(*s_etat_processus).position_variable_courante].niveau |
|
== 0)) |
|
{ |
{ |
(*s_etat_processus).evaluation_expression_compilee = 'Y'; |
(*s_etat_processus).evaluation_expression_compilee = 'Y'; |
} |
} |
Line 374 evaluation(struct_processus *s_etat_proc
|
Line 404 evaluation(struct_processus *s_etat_proc
|
if ((*s_etat_processus).profilage == d_vrai) |
if ((*s_etat_processus).profilage == d_vrai) |
{ |
{ |
profilage(s_etat_processus, |
profilage(s_etat_processus, |
(*s_etat_processus).s_liste_variables |
(*(*s_etat_processus).pointeur_variable_courante) |
[(*s_etat_processus).position_variable_courante] |
|
.nom); |
.nom); |
|
|
if ((*s_etat_processus).erreur_systeme != d_es) |
if ((*s_etat_processus).erreur_systeme != d_es) |
Line 395 evaluation(struct_processus *s_etat_proc
|
Line 424 evaluation(struct_processus *s_etat_proc
|
} |
} |
} |
} |
|
|
|
autorisation_empilement_programme = (*s_etat_processus) |
|
.autorisation_empilement_programme; |
|
|
|
empilement_pile_systeme(s_etat_processus); |
|
|
|
if ((*s_etat_processus).erreur_systeme != d_es) |
|
{ |
|
if (presence_variable_partagee == d_vrai) |
|
{ |
|
liberation(s_etat_processus, s_copie_variable_partagee); |
|
} |
|
|
|
(*s_etat_processus).instruction_courante = |
|
instruction_courante; |
|
return(d_erreur); |
|
} |
|
|
|
(*(*s_etat_processus).l_base_pile_systeme) |
|
.retour_definition = 'Y'; |
|
(*(*s_etat_processus).l_base_pile_systeme) |
|
.origine_routine_evaluation = 'Y'; |
|
|
|
(*s_etat_processus).mode_execution_programme = 'Y'; |
|
(*s_etat_processus).autorisation_empilement_programme = 'N'; |
|
|
|
(*(*s_etat_processus).l_base_pile_systeme) |
|
.niveau_courant = (*s_etat_processus) |
|
.niveau_courant; |
|
|
|
empilement_pile_systeme(s_etat_processus); |
|
|
if (presence_variable_partagee == d_faux) |
if (presence_variable_partagee == d_faux) |
{ |
{ |
if (evaluation(s_etat_processus, (*s_etat_processus) |
if (evaluation(s_etat_processus, (*(*s_etat_processus) |
.s_liste_variables[(*s_etat_processus) |
.pointeur_variable_courante).objet, |
.position_variable_courante].objet, |
|
type_evaluation) == d_erreur) |
type_evaluation) == d_erreur) |
{ |
{ |
if ((*s_etat_processus).profilage == d_vrai) |
if ((*s_etat_processus).profilage == d_vrai) |
Line 447 evaluation(struct_processus *s_etat_proc
|
Line 506 evaluation(struct_processus *s_etat_proc
|
profilage(s_etat_processus, NULL); |
profilage(s_etat_processus, NULL); |
} |
} |
|
|
|
depilement_pile_systeme(s_etat_processus); |
|
depilement_pile_systeme(s_etat_processus); |
|
|
|
if ((*s_etat_processus).erreur_systeme != d_es) |
|
{ |
|
return(d_erreur); |
|
} |
|
|
(*s_etat_processus).evaluation_expression_compilee = |
(*s_etat_processus).evaluation_expression_compilee = |
registre_evaluation_expression_compilee; |
registre_evaluation_expression_compilee; |
|
(*s_etat_processus).autorisation_empilement_programme = |
|
autorisation_empilement_programme; |
} |
} |
else |
else if ((*s_etat_processus).erreur_execution != d_ex_nom_implicite) |
{ |
{ |
if ((s_objet_tampon = copie_objet(s_etat_processus, |
if ((s_objet_tampon = copie_objet(s_etat_processus, |
s_objet, 'P')) == NULL) |
s_objet, 'Q')) == NULL) |
{ |
{ |
(*s_etat_processus).erreur_systeme = |
(*s_etat_processus).erreur_systeme = |
d_es_allocation_memoire; |
d_es_allocation_memoire; |
Line 471 evaluation(struct_processus *s_etat_proc
|
Line 540 evaluation(struct_processus *s_etat_proc
|
instruction_courante; |
instruction_courante; |
return(d_erreur); |
return(d_erreur); |
} |
} |
|
|
if ((*s_etat_processus).erreur_execution == |
|
d_ex_variable_non_definie) |
|
{ |
|
(*s_etat_processus).erreur_execution = d_ex; |
|
} |
|
} |
} |
} |
} |
else |
else |
Line 522 evaluation(struct_processus *s_etat_proc
|
Line 585 evaluation(struct_processus *s_etat_proc
|
} |
} |
else if (((*s_objet).type == RPN) || ((*s_objet).type == ALG)) |
else if (((*s_objet).type == RPN) || ((*s_objet).type == ALG)) |
{ |
{ |
|
// Ajout d'un bouchon à la liste des variables statiques pour |
|
// savoir quelles sont les variables statiques qui ont été créées |
|
// par l'évaluation de l'expression et qui sont susceptibles |
|
// de devoir être éliminées. |
|
|
|
if (ajout_bouchon_variable_statique(s_etat_processus) == d_erreur) |
|
{ |
|
(*s_etat_processus).instruction_courante = instruction_courante; |
|
(*s_etat_processus).erreur_systeme = d_es_allocation_memoire; |
|
return(d_erreur); |
|
} |
|
|
l_element_courant = (struct_liste_chainee *) (*s_objet).objet; |
l_element_courant = (struct_liste_chainee *) (*s_objet).objet; |
l_element_egalite = NULL; |
l_element_egalite = NULL; |
presence_egalite = d_faux; |
presence_egalite = d_faux; |
Line 695 evaluation(struct_processus *s_etat_proc
|
Line 770 evaluation(struct_processus *s_etat_proc
|
registre_retour_definition = (*(*s_etat_processus).l_base_pile_systeme) |
registre_retour_definition = (*(*s_etat_processus).l_base_pile_systeme) |
.retour_definition; |
.retour_definition; |
(*(*s_etat_processus).l_base_pile_systeme).retour_definition = 'N'; |
(*(*s_etat_processus).l_base_pile_systeme).retour_definition = 'N'; |
|
(*(*s_etat_processus).l_base_pile_systeme).pointeur_adresse_retour = |
|
s_objet; |
|
|
l_element_courant = (struct_liste_chainee *) (*s_objet).objet; |
l_element_courant = (struct_liste_chainee *) (*s_objet).objet; |
autorisation_empilement_programme = (*s_etat_processus) |
autorisation_empilement_programme = (*s_etat_processus) |
Line 758 evaluation(struct_processus *s_etat_proc
|
Line 835 evaluation(struct_processus *s_etat_proc
|
if ((*s_etat_processus).var_volatile_processus_pere |
if ((*s_etat_processus).var_volatile_processus_pere |
== 0) |
== 0) |
{ |
{ |
kill((*s_etat_processus) |
envoi_signal_processus((*s_etat_processus) |
.pid_processus_pere, SIGALRM); |
.pid_processus_pere, rpl_sigalrm); |
} |
} |
else |
else |
{ |
{ |
Line 794 evaluation(struct_processus *s_etat_proc
|
Line 871 evaluation(struct_processus *s_etat_proc
|
|
|
free(message); |
free(message); |
|
|
while((*(*s_etat_processus).l_base_pile_systeme) |
drapeau_then = d_faux; |
.clause != 'R') |
|
|
while(drapeau_then == d_faux) |
{ |
{ |
l_registre_atome = l_element_courant; |
l_registre_atome = l_element_courant; |
l_element_courant = |
l_element_courant = |
Line 847 evaluation(struct_processus *s_etat_proc
|
Line 925 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 867 evaluation(struct_processus *s_etat_proc
|
Line 947 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 879 evaluation(struct_processus *s_etat_proc
|
Line 967 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 922 evaluation(struct_processus *s_etat_proc
|
Line 1038 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 934 evaluation(struct_processus *s_etat_proc
|
Line 1058 evaluation(struct_processus *s_etat_proc
|
.erreur_execution = |
.erreur_execution = |
registre_erreur_execution; |
registre_erreur_execution; |
} |
} |
else |
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( |
depilement_pile_systeme( |
s_etat_processus); |
s_etat_processus); |
|
} |
|
else |
|
{ |
|
// Traitement spécifique pour |
|
// la fin d'une section |
|
// critique |
|
|
if ((*s_etat_processus) |
if ((*s_etat_processus) |
.erreur_systeme != d_es) |
.l_base_pile_systeme |
|
== NULL) |
{ |
{ |
|
(*s_etat_processus) |
|
.erreur_systeme = |
|
d_es_end_incoherent; |
|
|
if (presence_egalite == |
if (presence_egalite == |
d_vrai) |
d_vrai) |
{ |
{ |
Line 955 evaluation(struct_processus *s_etat_proc
|
Line 1207 evaluation(struct_processus *s_etat_proc
|
instruction_courante; |
instruction_courante; |
return(d_erreur); |
return(d_erreur); |
} |
} |
} |
|
} |
|
} |
|
} |
|
} |
|
|
|
(*s_etat_processus).instruction_courante = |
if ((*(*s_etat_processus) |
instruction_courante; |
.l_base_pile_systeme) |
drapeau_then = d_faux; |
.type_cloture == 'Q') |
|
{ |
|
if (pthread_mutex_unlock( |
|
&mutex_sections_critiques) |
|
!= 0) |
|
{ |
|
(*s_etat_processus) |
|
.erreur_systeme = |
|
d_es_processus; |
|
|
do |
liberation( |
{ |
s_etat_processus, |
l_registre_atome = l_element_courant; |
s_objet_evalue); |
|
|
if (l_element_courant == NULL) |
(*s_etat_processus) |
{ |
.instruction_courante = |
/* |
instruction_courante; |
* La fin de l'expression est atteinte, |
return(d_erreur); |
* le sequenceur reprend la main. |
} |
*/ |
|
|
|
if (presence_egalite == d_vrai) |
(*s_etat_processus) |
{ |
.sections_critiques--; |
liberation(s_etat_processus, |
} |
s_objet_evalue); |
|
} |
|
|
|
(*s_etat_processus) |
depilement_pile_systeme( |
.mode_execution_programme = |
s_etat_processus); |
registre_mode_execution_programme; |
|
(*s_etat_processus).instruction_courante = |
|
instruction_courante; |
|
return(d_absence_erreur); |
|
} |
|
|
|
if ((*(*l_element_courant).donnee).type == FCT) |
if ((*s_etat_processus) |
{ |
.erreur_systeme != d_es) |
(*s_etat_processus) |
{ |
.instruction_courante = |
if (presence_egalite == |
(*((struct_fonction *) |
d_vrai) |
(*(*l_element_courant).donnee) |
{ |
.objet)).nom_fonction; |
liberation( |
fonction = (*((struct_fonction *) |
s_etat_processus, |
(*(*l_element_courant).donnee) |
s_objet_evalue); |
.objet)).fonction; |
} |
(*s_etat_processus).instruction_courante = |
|
instruction_courante; |
|
|
|
drapeau_then = TEST(instruction_then) |
(*s_etat_processus) |
? d_vrai : d_faux; |
.instruction_courante = |
|
instruction_courante; |
|
return(d_erreur); |
|
} |
|
} |
|
} |
|
else if (TEST(instruction_then)) |
|
{ |
|
if ((*(*s_etat_processus) |
|
.l_base_pile_systeme) |
|
.clause == 'R') |
|
{ |
|
(*(*s_etat_processus) |
|
.l_base_pile_systeme) |
|
.clause = 'X'; |
|
instruction_then( |
|
s_etat_processus); |
|
drapeau_then = d_vrai; |
|
} |
|
} |
|
} |
} |
} |
|
} |
l_element_courant = (*l_element_courant) |
|
.suivant; |
|
} while(drapeau_then == d_faux); |
|
|
|
(*s_etat_processus).expression_courante = |
(*s_etat_processus).expression_courante = |
l_registre_atome; |
l_element_courant; |
|
(*s_etat_processus).instruction_courante = |
(*(*s_etat_processus).l_base_pile_systeme) |
instruction_courante; |
.clause = 'X'; |
|
instruction_then(s_etat_processus); |
|
|
|
(*s_etat_processus).exception = d_ep; |
(*s_etat_processus).exception = d_ep; |
(*s_etat_processus).erreur_execution = d_ex; |
(*s_etat_processus).erreur_execution = d_ex; |
Line 1057 evaluation(struct_processus *s_etat_proc
|
Line 1317 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 1070 evaluation(struct_processus *s_etat_proc
|
Line 1332 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 1112 evaluation(struct_processus *s_etat_proc
|
Line 1410 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 |
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( |
depilement_pile_systeme( |
s_etat_processus); |
s_etat_processus); |
|
} |
|
else |
|
{ |
|
// Traitement spécifique pour |
|
// la fin d'une section |
|
// critique |
|
|
if ((*s_etat_processus) |
if ((*s_etat_processus) |
.erreur_systeme != d_es) |
.l_base_pile_systeme |
|
== NULL) |
{ |
{ |
|
(*s_etat_processus) |
|
.erreur_systeme = |
|
d_es_end_incoherent; |
|
|
if (presence_egalite == |
if (presence_egalite == |
d_vrai) |
d_vrai) |
{ |
{ |
Line 1139 evaluation(struct_processus *s_etat_proc
|
Line 1573 evaluation(struct_processus *s_etat_proc
|
instruction_courante; |
instruction_courante; |
return(d_erreur); |
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( |
|
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); |
} |
} |
} |
} |
} |
} |
Line 1210 evaluation(struct_processus *s_etat_proc
|
Line 1694 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 1223 evaluation(struct_processus *s_etat_proc
|
Line 1709 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 1265 evaluation(struct_processus *s_etat_proc
|
Line 1787 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); |
|
} |
|
|
|
if ((*(*s_etat_processus) |
|
.l_base_pile_systeme) |
|
.retour_definition |
|
== 'Y') |
|
{ |
|
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) |
(*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 1314 evaluation(struct_processus *s_etat_proc
|
Line 2029 evaluation(struct_processus *s_etat_proc
|
if ((*s_etat_processus) |
if ((*s_etat_processus) |
.var_volatile_processus_pere == 0) |
.var_volatile_processus_pere == 0) |
{ |
{ |
kill((*s_etat_processus) |
envoi_signal_processus((*s_etat_processus) |
.pid_processus_pere, SIGALRM); |
.pid_processus_pere, rpl_sigalrm); |
} |
} |
else |
else |
{ |
{ |
Line 1625 evaluation(struct_processus *s_etat_proc
|
Line 2340 evaluation(struct_processus *s_etat_proc
|
return(d_erreur); |
return(d_erreur); |
} |
} |
|
|
if ((*s_etat_processus).s_liste_variables |
if ((*(*s_etat_processus).pointeur_variable_courante).objet |
[(*s_etat_processus).position_variable_courante] |
== NULL) |
.objet == NULL) |
|
{ |
{ |
if (pthread_mutex_lock(&((*(*s_etat_processus) |
if (pthread_mutex_lock(&((*(*s_etat_processus) |
.s_liste_variables_partagees).mutex)) != 0) |
.s_liste_variables_partagees).mutex)) != 0) |
Line 1637 evaluation(struct_processus *s_etat_proc
|
Line 2351 evaluation(struct_processus *s_etat_proc
|
} |
} |
|
|
if (recherche_variable_partagee(s_etat_processus, |
if (recherche_variable_partagee(s_etat_processus, |
((*s_etat_processus).s_liste_variables |
(*(*s_etat_processus) |
[(*s_etat_processus) |
.pointeur_variable_courante).nom, |
.position_variable_courante]).nom, |
(*(*s_etat_processus) |
((*s_etat_processus).s_liste_variables |
.pointeur_variable_courante).variable_partagee, |
[(*s_etat_processus) |
'E') == d_vrai) |
.position_variable_courante]) |
|
.variable_partagee, 'E') == d_vrai) |
|
{ |
{ |
// Une variable partagée existe. |
// Une variable partagée existe. |
|
|
presence_variable_partagee = d_vrai; |
presence_variable_partagee = d_vrai; |
|
|
(*s_etat_processus).s_liste_variables |
(*(*s_etat_processus).pointeur_variable_courante) |
[(*s_etat_processus) |
.objet = (*(*s_etat_processus) |
.position_variable_courante].objet = |
|
(*(*s_etat_processus) |
|
.s_liste_variables_partagees).table |
.s_liste_variables_partagees).table |
[(*(*s_etat_processus) |
[(*(*s_etat_processus) |
.s_liste_variables_partagees) |
.s_liste_variables_partagees) |
Line 1679 evaluation(struct_processus *s_etat_proc
|
Line 2389 evaluation(struct_processus *s_etat_proc
|
* Recherche d'un élément dans un vecteur |
* Recherche d'un élément dans un vecteur |
*/ |
*/ |
|
|
if (((*s_etat_processus).s_liste_variables |
if ((*(*s_etat_processus).pointeur_variable_courante) |
[(*s_etat_processus).position_variable_courante]) |
|
.objet == NULL) |
.objet == NULL) |
{ |
{ |
// La variable partagée n'existe plus. |
// La variable partagée n'existe plus. |
Line 1693 evaluation(struct_processus *s_etat_proc
|
Line 2402 evaluation(struct_processus *s_etat_proc
|
{ |
{ |
if (presence_variable_partagee == d_vrai) |
if (presence_variable_partagee == d_vrai) |
{ |
{ |
(*s_etat_processus).s_liste_variables |
(*(*s_etat_processus) |
[(*s_etat_processus) |
.pointeur_variable_courante).objet = |
.position_variable_courante].objet = |
|
NULL; |
NULL; |
|
|
if (pthread_mutex_unlock(&((*(*s_etat_processus) |
if (pthread_mutex_unlock(&((*(*s_etat_processus) |
Line 1712 evaluation(struct_processus *s_etat_proc
|
Line 2420 evaluation(struct_processus *s_etat_proc
|
return(d_erreur);; |
return(d_erreur);; |
} |
} |
} |
} |
else if ((((*(((*s_etat_processus).s_liste_variables |
else if ((((*((*(*s_etat_processus) |
[(*s_etat_processus).position_variable_courante]) |
.pointeur_variable_courante).objet)).type == VIN) || |
.objet)).type == VIN) || |
((*((*(*s_etat_processus) |
((*(((*s_etat_processus).s_liste_variables |
.pointeur_variable_courante).objet)).type == VRL) || |
[(*s_etat_processus).position_variable_courante]) |
((*((*(*s_etat_processus) |
.objet)).type == VRL) || |
.pointeur_variable_courante).objet)).type == VCX)) |
((*(((*s_etat_processus).s_liste_variables |
|
[(*s_etat_processus).position_variable_courante]) |
|
.objet)).type == VCX)) |
|
&& ((*((struct_fonction *) (*(*l_element_courant) |
&& ((*((struct_fonction *) (*(*l_element_courant) |
.donnee).objet)).nombre_arguments == 1)) |
.donnee).objet)).nombre_arguments == 1)) |
{ |
{ |
Line 1731 evaluation(struct_processus *s_etat_proc
|
Line 2436 evaluation(struct_processus *s_etat_proc
|
|
|
if (presence_variable_partagee == d_vrai) |
if (presence_variable_partagee == d_vrai) |
{ |
{ |
(*s_etat_processus).s_liste_variables |
(*(*s_etat_processus) |
[(*s_etat_processus) |
.pointeur_variable_courante).objet = |
.position_variable_courante].objet = |
|
NULL; |
NULL; |
|
|
if (pthread_mutex_unlock(&((*(*s_etat_processus) |
if (pthread_mutex_unlock(&((*(*s_etat_processus) |
Line 1759 evaluation(struct_processus *s_etat_proc
|
Line 2463 evaluation(struct_processus *s_etat_proc
|
return(d_erreur); |
return(d_erreur); |
} |
} |
|
|
if ((*s_objet_indice_i).type == INT) |
if ((*s_objet_indice_i).type != INT) |
{ |
{ |
liberation(s_etat_processus, s_objet_indice_i); |
liberation(s_etat_processus, s_objet_indice_i); |
free(s_objet_elementaire); |
free(s_objet_elementaire); |
|
|
if (presence_variable_partagee == d_vrai) |
if (presence_variable_partagee == d_vrai) |
{ |
{ |
(*s_etat_processus).s_liste_variables |
(*(*s_etat_processus) |
[(*s_etat_processus) |
.pointeur_variable_courante).objet = |
.position_variable_courante].objet = |
|
NULL; |
NULL; |
|
|
if (pthread_mutex_unlock(&((*(*s_etat_processus) |
if (pthread_mutex_unlock(&((*(*s_etat_processus) |
Line 1799 evaluation(struct_processus *s_etat_proc
|
Line 2502 evaluation(struct_processus *s_etat_proc
|
liberation(s_etat_processus, s_objet_indice_i); |
liberation(s_etat_processus, s_objet_indice_i); |
|
|
if ((i < 1) || (i > (integer8) (*((struct_vecteur *) |
if ((i < 1) || (i > (integer8) (*((struct_vecteur *) |
(*(((*s_etat_processus) |
(*((*(*s_etat_processus) |
.s_liste_variables[(*s_etat_processus) |
.pointeur_variable_courante).objet)).objet)) |
.position_variable_courante]).objet)).objet)) |
|
.taille)) |
.taille)) |
{ |
{ |
free(s_objet_elementaire); |
free(s_objet_elementaire); |
|
|
if (presence_variable_partagee == d_vrai) |
if (presence_variable_partagee == d_vrai) |
{ |
{ |
(*s_etat_processus).s_liste_variables |
(*(*s_etat_processus) |
[(*s_etat_processus) |
.pointeur_variable_courante).objet = |
.position_variable_courante].objet = |
|
NULL; |
NULL; |
|
|
if (pthread_mutex_unlock(&((*(*s_etat_processus) |
if (pthread_mutex_unlock(&((*(*s_etat_processus) |
Line 1836 evaluation(struct_processus *s_etat_proc
|
Line 2537 evaluation(struct_processus *s_etat_proc
|
return(d_erreur); |
return(d_erreur); |
} |
} |
|
|
if ((*(((*s_etat_processus).s_liste_variables |
if ((*((*(*s_etat_processus) |
[(*s_etat_processus) |
.pointeur_variable_courante).objet)).type |
.position_variable_courante]).objet)).type |
|
== VIN) |
== VIN) |
{ |
{ |
if (((*s_objet_elementaire).objet = malloc(sizeof( |
if (((*s_objet_elementaire).objet = malloc(sizeof( |
Line 1852 evaluation(struct_processus *s_etat_proc
|
Line 2552 evaluation(struct_processus *s_etat_proc
|
|
|
if (presence_variable_partagee == d_vrai) |
if (presence_variable_partagee == d_vrai) |
{ |
{ |
(*s_etat_processus).s_liste_variables |
(*(*s_etat_processus) |
[(*s_etat_processus) |
.pointeur_variable_courante).objet = |
.position_variable_courante].objet |
NULL; |
= NULL; |
|
|
|
if (pthread_mutex_unlock( |
if (pthread_mutex_unlock( |
&((*(*s_etat_processus) |
&((*(*s_etat_processus) |
Line 1877 evaluation(struct_processus *s_etat_proc
|
Line 2576 evaluation(struct_processus *s_etat_proc
|
(*s_objet_elementaire).type = INT; |
(*s_objet_elementaire).type = INT; |
(*((integer8 *) (*s_objet_elementaire).objet)) = |
(*((integer8 *) (*s_objet_elementaire).objet)) = |
((integer8 *) (*((struct_vecteur *) |
((integer8 *) (*((struct_vecteur *) |
(*(((*s_etat_processus).s_liste_variables |
(*((*(*s_etat_processus) |
[(*s_etat_processus) |
.pointeur_variable_courante).objet)) |
.position_variable_courante]).objet)) |
|
.objet)).tableau)[i - 1]; |
.objet)).tableau)[i - 1]; |
} |
} |
else if ((*(((*s_etat_processus) |
else if ((*((*(*s_etat_processus) |
.s_liste_variables[(*s_etat_processus) |
.pointeur_variable_courante).objet)).type |
.position_variable_courante]).objet)).type |
|
== VRL) |
== VRL) |
{ |
{ |
if (((*s_objet_elementaire).objet = malloc(sizeof( |
if (((*s_objet_elementaire).objet = malloc(sizeof( |
Line 1892 evaluation(struct_processus *s_etat_proc
|
Line 2589 evaluation(struct_processus *s_etat_proc
|
{ |
{ |
if (presence_variable_partagee == d_vrai) |
if (presence_variable_partagee == d_vrai) |
{ |
{ |
(*s_etat_processus).s_liste_variables |
(*(*s_etat_processus) |
[(*s_etat_processus) |
.pointeur_variable_courante).objet = |
.position_variable_courante].objet |
NULL; |
= NULL; |
|
|
|
if (pthread_mutex_unlock( |
if (pthread_mutex_unlock( |
&((*(*s_etat_processus) |
&((*(*s_etat_processus) |
Line 1923 evaluation(struct_processus *s_etat_proc
|
Line 2619 evaluation(struct_processus *s_etat_proc
|
(*s_objet_elementaire).type = REL; |
(*s_objet_elementaire).type = REL; |
(*((real8 *) (*s_objet_elementaire).objet)) = |
(*((real8 *) (*s_objet_elementaire).objet)) = |
((real8 *) (*((struct_vecteur *) |
((real8 *) (*((struct_vecteur *) |
(*(((*s_etat_processus).s_liste_variables |
(*((*(*s_etat_processus) |
[(*s_etat_processus) |
.pointeur_variable_courante).objet)) |
.position_variable_courante]).objet)) |
|
.objet)).tableau)[i - 1]; |
.objet)).tableau)[i - 1]; |
} |
} |
else if ((*(((*s_etat_processus) |
else if ((*((*(*s_etat_processus) |
.s_liste_variables[(*s_etat_processus) |
.pointeur_variable_courante).objet)).type |
.position_variable_courante]).objet)).type |
|
== VCX) |
== VCX) |
{ |
{ |
if (((*s_objet_elementaire).objet = malloc(sizeof( |
if (((*s_objet_elementaire).objet = malloc(sizeof( |
Line 1938 evaluation(struct_processus *s_etat_proc
|
Line 2632 evaluation(struct_processus *s_etat_proc
|
{ |
{ |
if (presence_variable_partagee == d_vrai) |
if (presence_variable_partagee == d_vrai) |
{ |
{ |
(*s_etat_processus).s_liste_variables |
(*(*s_etat_processus) |
[(*s_etat_processus) |
.pointeur_variable_courante).objet = |
.position_variable_courante].objet |
NULL; |
= NULL; |
|
|
|
if (pthread_mutex_unlock( |
if (pthread_mutex_unlock( |
&((*(*s_etat_processus) |
&((*(*s_etat_processus) |
Line 1970 evaluation(struct_processus *s_etat_proc
|
Line 2663 evaluation(struct_processus *s_etat_proc
|
(*((struct_complexe16 *) (*s_objet_elementaire) |
(*((struct_complexe16 *) (*s_objet_elementaire) |
.objet)).partie_reelle = |
.objet)).partie_reelle = |
((struct_complexe16 *) (*((struct_vecteur *) |
((struct_complexe16 *) (*((struct_vecteur *) |
(*(((*s_etat_processus).s_liste_variables |
(*((*(*s_etat_processus) |
[(*s_etat_processus) |
.pointeur_variable_courante).objet)) |
.position_variable_courante]).objet)) |
.objet)).tableau)[i - 1].partie_reelle; |
.objet)).tableau)[i - 1] |
|
.partie_reelle; |
|
(*((struct_complexe16 *) (*s_objet_elementaire) |
(*((struct_complexe16 *) (*s_objet_elementaire) |
.objet)).partie_imaginaire = |
.objet)).partie_imaginaire = |
((struct_complexe16 *) (*((struct_vecteur *) |
((struct_complexe16 *) (*((struct_vecteur *) |
(*(((*s_etat_processus).s_liste_variables |
(*((*(*s_etat_processus) |
[(*s_etat_processus) |
.pointeur_variable_courante).objet)) |
.position_variable_courante]).objet)) |
.objet)).tableau)[i - 1].partie_imaginaire; |
.objet)).tableau)[i - 1] |
|
.partie_imaginaire; |
|
} |
} |
} |
} |
|
|
Line 1990 evaluation(struct_processus *s_etat_proc
|
Line 2679 evaluation(struct_processus *s_etat_proc
|
* Recherche d'un élément dans une matrice |
* Recherche d'un élément dans une matrice |
*/ |
*/ |
|
|
else if ((((*(((*s_etat_processus).s_liste_variables |
else if ((((*((*(*s_etat_processus) |
[(*s_etat_processus).position_variable_courante]) |
.pointeur_variable_courante).objet)).type == MIN) || |
.objet)).type == MIN) || |
((*((*(*s_etat_processus) |
((*(((*s_etat_processus).s_liste_variables |
.pointeur_variable_courante).objet)).type == MRL) || |
[(*s_etat_processus).position_variable_courante]) |
((*((*(*s_etat_processus) |
.objet)).type == MRL) || |
.pointeur_variable_courante).objet)).type == MCX)) |
((*(((*s_etat_processus).s_liste_variables |
|
[(*s_etat_processus).position_variable_courante]) |
|
.objet)).type == MCX)) |
|
&& ((*((struct_fonction *) (*(*l_element_courant) |
&& ((*((struct_fonction *) (*(*l_element_courant) |
.donnee).objet)).nombre_arguments == 2)) |
.donnee).objet)).nombre_arguments == 2)) |
{ |
{ |
Line 2009 evaluation(struct_processus *s_etat_proc
|
Line 2695 evaluation(struct_processus *s_etat_proc
|
|
|
if (presence_variable_partagee == d_vrai) |
if (presence_variable_partagee == d_vrai) |
{ |
{ |
(*s_etat_processus).s_liste_variables |
(*(*s_etat_processus) |
[(*s_etat_processus) |
.pointeur_variable_courante).objet = |
.position_variable_courante].objet |
NULL; |
= NULL; |
|
|
|
if (pthread_mutex_unlock( |
if (pthread_mutex_unlock( |
&((*(*s_etat_processus) |
&((*(*s_etat_processus) |
Line 2046 evaluation(struct_processus *s_etat_proc
|
Line 2731 evaluation(struct_processus *s_etat_proc
|
|
|
if (presence_variable_partagee == d_vrai) |
if (presence_variable_partagee == d_vrai) |
{ |
{ |
(*s_etat_processus).s_liste_variables |
(*(*s_etat_processus) |
[(*s_etat_processus) |
.pointeur_variable_courante).objet = |
.position_variable_courante].objet |
NULL; |
= NULL; |
|
|
|
if (pthread_mutex_unlock( |
if (pthread_mutex_unlock( |
&((*(*s_etat_processus) |
&((*(*s_etat_processus) |
Line 2084 evaluation(struct_processus *s_etat_proc
|
Line 2768 evaluation(struct_processus *s_etat_proc
|
|
|
if (presence_variable_partagee == d_vrai) |
if (presence_variable_partagee == d_vrai) |
{ |
{ |
(*s_etat_processus).s_liste_variables |
(*(*s_etat_processus) |
[(*s_etat_processus) |
.pointeur_variable_courante).objet = |
.position_variable_courante].objet |
NULL; |
= NULL; |
|
|
|
if (pthread_mutex_unlock( |
if (pthread_mutex_unlock( |
&((*(*s_etat_processus) |
&((*(*s_etat_processus) |
Line 2120 evaluation(struct_processus *s_etat_proc
|
Line 2803 evaluation(struct_processus *s_etat_proc
|
liberation(s_etat_processus, s_objet_indice_j); |
liberation(s_etat_processus, s_objet_indice_j); |
|
|
if ((i < 1) || (i > (integer8) (*((struct_matrice *) |
if ((i < 1) || (i > (integer8) (*((struct_matrice *) |
(*(((*s_etat_processus) |
(*((*(*s_etat_processus) |
.s_liste_variables[(*s_etat_processus) |
.pointeur_variable_courante).objet)).objet)) |
.position_variable_courante]).objet)).objet)) |
|
.nombre_lignes) || (j < 1) || (j > (integer8) |
.nombre_lignes) || (j < 1) || (j > (integer8) |
(*((struct_matrice *) (*(((*s_etat_processus) |
(*((struct_matrice *) (*((*(*s_etat_processus) |
.s_liste_variables[(*s_etat_processus) |
.pointeur_variable_courante).objet)).objet)) |
.position_variable_courante]).objet)).objet)) |
|
.nombre_colonnes)) |
.nombre_colonnes)) |
{ |
{ |
liberation(s_etat_processus, s_objet_indice_i); |
|
liberation(s_etat_processus, s_objet_indice_j); |
|
free(s_objet_elementaire); |
free(s_objet_elementaire); |
|
|
if (presence_variable_partagee == d_vrai) |
if (presence_variable_partagee == d_vrai) |
{ |
{ |
(*s_etat_processus).s_liste_variables |
(*(*s_etat_processus) |
[(*s_etat_processus) |
.pointeur_variable_courante).objet = |
.position_variable_courante].objet |
NULL; |
= NULL; |
|
|
|
if (pthread_mutex_unlock( |
if (pthread_mutex_unlock( |
&((*(*s_etat_processus) |
&((*(*s_etat_processus) |
Line 2164 evaluation(struct_processus *s_etat_proc
|
Line 2842 evaluation(struct_processus *s_etat_proc
|
return(d_erreur); |
return(d_erreur); |
} |
} |
|
|
if ((*(((*s_etat_processus).s_liste_variables |
if ((*((*(*s_etat_processus).pointeur_variable_courante) |
[(*s_etat_processus) |
.objet)).type == MIN) |
.position_variable_courante]).objet)).type |
|
== MIN) |
|
{ |
{ |
if (((*s_objet_elementaire).objet = malloc(sizeof( |
if (((*s_objet_elementaire).objet = malloc(sizeof( |
integer8))) == NULL) |
integer8))) == NULL) |
{ |
{ |
if (presence_variable_partagee == d_vrai) |
if (presence_variable_partagee == d_vrai) |
{ |
{ |
(*s_etat_processus).s_liste_variables |
(*(*s_etat_processus) |
[(*s_etat_processus) |
.pointeur_variable_courante).objet = |
.position_variable_courante].objet |
NULL; |
= NULL; |
|
|
|
if (pthread_mutex_unlock( |
if (pthread_mutex_unlock( |
&((*(*s_etat_processus) |
&((*(*s_etat_processus) |
Line 2205 evaluation(struct_processus *s_etat_proc
|
Line 2880 evaluation(struct_processus *s_etat_proc
|
(*s_objet_elementaire).type = INT; |
(*s_objet_elementaire).type = INT; |
(*((integer8 *) (*s_objet_elementaire).objet)) = |
(*((integer8 *) (*s_objet_elementaire).objet)) = |
((integer8 **) (*((struct_matrice *) |
((integer8 **) (*((struct_matrice *) |
(*(((*s_etat_processus).s_liste_variables |
(*((*(*s_etat_processus) |
[(*s_etat_processus) |
.pointeur_variable_courante).objet)) |
.position_variable_courante]).objet)) |
|
.objet)).tableau)[i - 1][j - 1]; |
.objet)).tableau)[i - 1][j - 1]; |
} |
} |
else if ((*(((*s_etat_processus) |
else if ((*((*(*s_etat_processus) |
.s_liste_variables[(*s_etat_processus) |
.pointeur_variable_courante).objet)).type |
.position_variable_courante]).objet)).type |
|
== MRL) |
== MRL) |
{ |
{ |
if (((*s_objet_elementaire).objet = malloc(sizeof( |
if (((*s_objet_elementaire).objet = malloc(sizeof( |
Line 2220 evaluation(struct_processus *s_etat_proc
|
Line 2893 evaluation(struct_processus *s_etat_proc
|
{ |
{ |
if (presence_variable_partagee == d_vrai) |
if (presence_variable_partagee == d_vrai) |
{ |
{ |
(*s_etat_processus).s_liste_variables |
(*(*s_etat_processus) |
[(*s_etat_processus) |
.pointeur_variable_courante).objet = |
.position_variable_courante].objet |
NULL; |
= NULL; |
|
|
|
if (pthread_mutex_unlock( |
if (pthread_mutex_unlock( |
&((*(*s_etat_processus) |
&((*(*s_etat_processus) |
Line 2251 evaluation(struct_processus *s_etat_proc
|
Line 2923 evaluation(struct_processus *s_etat_proc
|
(*s_objet_elementaire).type = REL; |
(*s_objet_elementaire).type = REL; |
(*((real8 *) (*s_objet_elementaire).objet)) = |
(*((real8 *) (*s_objet_elementaire).objet)) = |
((real8 **) (*((struct_matrice *) |
((real8 **) (*((struct_matrice *) |
(*(((*s_etat_processus).s_liste_variables |
(*((*(*s_etat_processus) |
[(*s_etat_processus) |
.pointeur_variable_courante).objet)) |
.position_variable_courante]).objet)) |
|
.objet)).tableau)[i - 1][j - 1]; |
.objet)).tableau)[i - 1][j - 1]; |
} |
} |
else if ((*(((*s_etat_processus) |
else if ((*((*(*s_etat_processus) |
.s_liste_variables[(*s_etat_processus) |
.pointeur_variable_courante).objet)).type |
.position_variable_courante]).objet)).type |
|
== MCX) |
== MCX) |
{ |
{ |
if (((*s_objet_elementaire).objet = malloc(sizeof( |
if (((*s_objet_elementaire).objet = malloc(sizeof( |
Line 2266 evaluation(struct_processus *s_etat_proc
|
Line 2936 evaluation(struct_processus *s_etat_proc
|
{ |
{ |
if (presence_variable_partagee == d_vrai) |
if (presence_variable_partagee == d_vrai) |
{ |
{ |
(*s_etat_processus).s_liste_variables |
(*(*s_etat_processus) |
[(*s_etat_processus) |
.pointeur_variable_courante).objet = |
.position_variable_courante].objet |
NULL; |
= NULL; |
|
|
|
if (pthread_mutex_unlock( |
if (pthread_mutex_unlock( |
&((*(*s_etat_processus) |
&((*(*s_etat_processus) |
Line 2299 evaluation(struct_processus *s_etat_proc
|
Line 2968 evaluation(struct_processus *s_etat_proc
|
.objet)).partie_reelle = |
.objet)).partie_reelle = |
((struct_complexe16 **) |
((struct_complexe16 **) |
(*((struct_matrice *) |
(*((struct_matrice *) |
(*(((*s_etat_processus).s_liste_variables |
(*((*(*s_etat_processus) |
[(*s_etat_processus) |
.pointeur_variable_courante).objet)) |
.position_variable_courante]).objet)) |
|
.objet)).tableau)[i - 1][j - 1] |
.objet)).tableau)[i - 1][j - 1] |
.partie_reelle; |
.partie_reelle; |
(*((struct_complexe16 *) (*s_objet_elementaire) |
(*((struct_complexe16 *) (*s_objet_elementaire) |
.objet)).partie_imaginaire = |
.objet)).partie_imaginaire = |
((struct_complexe16 **) |
((struct_complexe16 **) |
(*((struct_matrice *) |
(*((struct_matrice *) |
(*(((*s_etat_processus).s_liste_variables |
(*((*(*s_etat_processus) |
[(*s_etat_processus) |
.pointeur_variable_courante).objet)) |
.position_variable_courante]).objet)) |
|
.objet)).tableau)[i - 1][j - 1] |
.objet)).tableau)[i - 1][j - 1] |
.partie_imaginaire; |
.partie_imaginaire; |
} |
} |
Line 2320 evaluation(struct_processus *s_etat_proc
|
Line 2987 evaluation(struct_processus *s_etat_proc
|
* Recherche de l'élément idoine dans la liste |
* Recherche de l'élément idoine dans la liste |
*/ |
*/ |
|
|
else if (((*(((*s_etat_processus).s_liste_variables |
else if (((*((*(*s_etat_processus) |
[(*s_etat_processus).position_variable_courante]) |
.pointeur_variable_courante).objet)).type == LST) && |
.objet)).type == LST) && |
|
((*((struct_fonction *) (*(*l_element_courant) |
((*((struct_fonction *) (*(*l_element_courant) |
.donnee).objet)).nombre_arguments == 1)) |
.donnee).objet)).nombre_arguments == 1)) |
{ |
{ |
Line 2333 evaluation(struct_processus *s_etat_proc
|
Line 2999 evaluation(struct_processus *s_etat_proc
|
|
|
if (presence_variable_partagee == d_vrai) |
if (presence_variable_partagee == d_vrai) |
{ |
{ |
(*s_etat_processus).s_liste_variables |
(*(*s_etat_processus) |
[(*s_etat_processus) |
.pointeur_variable_courante).objet = |
.position_variable_courante].objet |
NULL; |
= NULL; |
|
|
|
if (pthread_mutex_unlock( |
if (pthread_mutex_unlock( |
&((*(*s_etat_processus) |
&((*(*s_etat_processus) |
Line 2369 evaluation(struct_processus *s_etat_proc
|
Line 3034 evaluation(struct_processus *s_etat_proc
|
|
|
if (presence_variable_partagee == d_vrai) |
if (presence_variable_partagee == d_vrai) |
{ |
{ |
(*s_etat_processus).s_liste_variables |
(*(*s_etat_processus) |
[(*s_etat_processus) |
.pointeur_variable_courante).objet = |
.position_variable_courante].objet |
NULL; |
= NULL; |
|
|
|
if (pthread_mutex_unlock( |
if (pthread_mutex_unlock( |
&((*(*s_etat_processus) |
&((*(*s_etat_processus) |
Line 2402 evaluation(struct_processus *s_etat_proc
|
Line 3066 evaluation(struct_processus *s_etat_proc
|
|
|
liberation(s_etat_processus, s_objet_indice_i); |
liberation(s_etat_processus, s_objet_indice_i); |
|
|
l_sous_element_courant = (*(((*s_etat_processus) |
l_sous_element_courant = (*((*(*s_etat_processus) |
.s_liste_variables[(*s_etat_processus) |
.pointeur_variable_courante).objet)).objet; |
.position_variable_courante]).objet)).objet; |
|
j = 0; |
j = 0; |
|
|
while(l_sous_element_courant != NULL) |
while(l_sous_element_courant != NULL) |
Line 2424 evaluation(struct_processus *s_etat_proc
|
Line 3087 evaluation(struct_processus *s_etat_proc
|
|
|
if (presence_variable_partagee == d_vrai) |
if (presence_variable_partagee == d_vrai) |
{ |
{ |
(*s_etat_processus).s_liste_variables |
(*(*s_etat_processus) |
[(*s_etat_processus) |
.pointeur_variable_courante).objet = |
.position_variable_courante].objet |
NULL; |
= NULL; |
|
|
|
if (pthread_mutex_unlock( |
if (pthread_mutex_unlock( |
&((*(*s_etat_processus) |
&((*(*s_etat_processus) |
Line 2461 evaluation(struct_processus *s_etat_proc
|
Line 3123 evaluation(struct_processus *s_etat_proc
|
{ |
{ |
if (presence_variable_partagee == d_vrai) |
if (presence_variable_partagee == d_vrai) |
{ |
{ |
(*s_etat_processus).s_liste_variables |
(*(*s_etat_processus) |
[(*s_etat_processus) |
.pointeur_variable_courante).objet = |
.position_variable_courante].objet |
NULL; |
= NULL; |
|
|
|
if (pthread_mutex_unlock( |
if (pthread_mutex_unlock( |
&((*(*s_etat_processus) |
&((*(*s_etat_processus) |
Line 2493 evaluation(struct_processus *s_etat_proc
|
Line 3154 evaluation(struct_processus *s_etat_proc
|
* Recherche de l'élément idoine dans la table |
* Recherche de l'élément idoine dans la table |
*/ |
*/ |
|
|
else if (((*(((*s_etat_processus).s_liste_variables |
else if (((*((*(*s_etat_processus) |
[(*s_etat_processus).position_variable_courante]) |
.pointeur_variable_courante).objet)).type == TBL) && |
.objet)).type == TAB) && |
|
((*((struct_fonction *) (*(*l_element_courant) |
((*((struct_fonction *) (*(*l_element_courant) |
.donnee).objet)).nombre_arguments == 1)) |
.donnee).objet)).nombre_arguments == 1)) |
{ |
{ |
Line 2506 evaluation(struct_processus *s_etat_proc
|
Line 3166 evaluation(struct_processus *s_etat_proc
|
|
|
if (presence_variable_partagee == d_vrai) |
if (presence_variable_partagee == d_vrai) |
{ |
{ |
(*s_etat_processus).s_liste_variables |
(*(*s_etat_processus) |
[(*s_etat_processus) |
.pointeur_variable_courante).objet = |
.position_variable_courante].objet |
NULL; |
= NULL; |
|
|
|
if (pthread_mutex_unlock( |
if (pthread_mutex_unlock( |
&((*(*s_etat_processus) |
&((*(*s_etat_processus) |
Line 2542 evaluation(struct_processus *s_etat_proc
|
Line 3201 evaluation(struct_processus *s_etat_proc
|
|
|
if (presence_variable_partagee == d_vrai) |
if (presence_variable_partagee == d_vrai) |
{ |
{ |
(*s_etat_processus).s_liste_variables |
(*(*s_etat_processus) |
[(*s_etat_processus) |
.pointeur_variable_courante).objet = |
.position_variable_courante].objet |
NULL; |
= NULL; |
|
|
|
if (pthread_mutex_unlock( |
if (pthread_mutex_unlock( |
&((*(*s_etat_processus) |
&((*(*s_etat_processus) |
Line 2576 evaluation(struct_processus *s_etat_proc
|
Line 3234 evaluation(struct_processus *s_etat_proc
|
liberation(s_etat_processus, s_objet_indice_i); |
liberation(s_etat_processus, s_objet_indice_i); |
|
|
if ((i < 1) || (i > (integer8) (*((struct_tableau *) |
if ((i < 1) || (i > (integer8) (*((struct_tableau *) |
(*((*s_etat_processus).s_liste_variables |
(*(*(*s_etat_processus) |
[(*s_etat_processus) |
.pointeur_variable_courante).objet) |
.position_variable_courante]).objet) |
|
.objet)).nombre_elements)) |
.objet)).nombre_elements)) |
{ |
{ |
free(s_objet_elementaire); |
free(s_objet_elementaire); |
|
|
if (presence_variable_partagee == d_vrai) |
if (presence_variable_partagee == d_vrai) |
{ |
{ |
(*s_etat_processus).s_liste_variables |
(*(*s_etat_processus) |
[(*s_etat_processus) |
.pointeur_variable_courante).objet = |
.position_variable_courante].objet |
NULL; |
= NULL; |
|
|
|
if (pthread_mutex_unlock( |
if (pthread_mutex_unlock( |
&((*(*s_etat_processus) |
&((*(*s_etat_processus) |
Line 2618 evaluation(struct_processus *s_etat_proc
|
Line 3274 evaluation(struct_processus *s_etat_proc
|
|
|
if ((s_objet_elementaire = |
if ((s_objet_elementaire = |
copie_objet(s_etat_processus, |
copie_objet(s_etat_processus, |
(*((struct_tableau *) (*((*s_etat_processus) |
(*((struct_tableau *) (*(*(*s_etat_processus) |
.s_liste_variables[(*s_etat_processus) |
.pointeur_variable_courante).objet) |
.position_variable_courante]).objet) |
|
.objet)).elements[i - 1], 'P')) == NULL) |
.objet)).elements[i - 1], 'P')) == NULL) |
{ |
{ |
if (presence_variable_partagee == d_vrai) |
if (presence_variable_partagee == d_vrai) |
{ |
{ |
(*s_etat_processus).s_liste_variables |
(*(*s_etat_processus) |
[(*s_etat_processus) |
.pointeur_variable_courante).objet = |
.position_variable_courante].objet |
NULL; |
= NULL; |
|
|
|
if (pthread_mutex_unlock( |
if (pthread_mutex_unlock( |
&((*(*s_etat_processus) |
&((*(*s_etat_processus) |
Line 2652 evaluation(struct_processus *s_etat_proc
|
Line 3306 evaluation(struct_processus *s_etat_proc
|
return(d_erreur); |
return(d_erreur); |
} |
} |
} |
} |
else if (((*(((*s_etat_processus).s_liste_variables |
else if (((*((*(*s_etat_processus) |
[(*s_etat_processus).position_variable_courante]) |
.pointeur_variable_courante).objet)).type == ALG) || |
.objet)).type == ALG) || |
((*((*(*s_etat_processus) |
((*(((*s_etat_processus).s_liste_variables |
.pointeur_variable_courante).objet)).type == RPN)) |
[(*s_etat_processus).position_variable_courante]) |
|
.objet)).type == RPN)) |
|
{ |
{ |
registre_evaluation_expression_compilee = |
registre_evaluation_expression_compilee = |
(*s_etat_processus) |
(*s_etat_processus) |
.evaluation_expression_compilee; |
.evaluation_expression_compilee; |
|
|
if (((*s_etat_processus).s_liste_variables |
if (((*(*s_etat_processus).pointeur_variable_courante) |
[(*s_etat_processus) |
.origine == 'E') && ((*(*s_etat_processus) |
.position_variable_courante].origine == 'E') && |
.pointeur_variable_courante).niveau == 0)) |
((*s_etat_processus).s_liste_variables |
|
[(*s_etat_processus).position_variable_courante] |
|
.niveau == 0)) |
|
{ |
{ |
(*s_etat_processus).evaluation_expression_compilee = |
(*s_etat_processus).evaluation_expression_compilee = |
'Y'; |
'Y'; |
Line 2679 evaluation(struct_processus *s_etat_proc
|
Line 3328 evaluation(struct_processus *s_etat_proc
|
'N'; |
'N'; |
} |
} |
|
|
if (evaluation(s_etat_processus, (*s_etat_processus) |
if (evaluation(s_etat_processus, (*(*s_etat_processus) |
.s_liste_variables[(*s_etat_processus) |
.pointeur_variable_courante).objet, |
.position_variable_courante].objet, |
|
type_evaluation) == d_erreur) |
type_evaluation) == d_erreur) |
{ |
{ |
(*s_etat_processus).evaluation_expression_compilee = |
(*s_etat_processus).evaluation_expression_compilee = |
Line 2689 evaluation(struct_processus *s_etat_proc
|
Line 3337 evaluation(struct_processus *s_etat_proc
|
|
|
if (presence_variable_partagee == d_vrai) |
if (presence_variable_partagee == d_vrai) |
{ |
{ |
(*s_etat_processus).s_liste_variables |
(*(*s_etat_processus) |
[(*s_etat_processus) |
.pointeur_variable_courante).objet = |
.position_variable_courante].objet |
NULL; |
= NULL; |
|
|
|
if (pthread_mutex_unlock( |
if (pthread_mutex_unlock( |
&((*(*s_etat_processus) |
&((*(*s_etat_processus) |
Line 2727 evaluation(struct_processus *s_etat_proc
|
Line 3374 evaluation(struct_processus *s_etat_proc
|
{ |
{ |
if (presence_variable_partagee == d_vrai) |
if (presence_variable_partagee == d_vrai) |
{ |
{ |
(*s_etat_processus).s_liste_variables |
(*(*s_etat_processus) |
[(*s_etat_processus) |
.pointeur_variable_courante).objet = |
.position_variable_courante].objet |
NULL; |
= NULL; |
|
|
|
if (pthread_mutex_unlock( |
if (pthread_mutex_unlock( |
&((*(*s_etat_processus) |
&((*(*s_etat_processus) |
Line 2756 evaluation(struct_processus *s_etat_proc
|
Line 3402 evaluation(struct_processus *s_etat_proc
|
return(d_erreur); |
return(d_erreur); |
} |
} |
} |
} |
else if ((*(((*s_etat_processus).s_liste_variables |
else if ((*((*(*s_etat_processus) |
[(*s_etat_processus).position_variable_courante]) |
.pointeur_variable_courante).objet)).type == ADR) |
.objet)).type == ADR) |
|
{ |
{ |
autorisation_empilement_programme = (*s_etat_processus) |
autorisation_empilement_programme = (*s_etat_processus) |
.autorisation_empilement_programme; |
.autorisation_empilement_programme; |
Line 2771 evaluation(struct_processus *s_etat_proc
|
Line 3416 evaluation(struct_processus *s_etat_proc
|
{ |
{ |
if (presence_variable_partagee == d_vrai) |
if (presence_variable_partagee == d_vrai) |
{ |
{ |
(*s_etat_processus).s_liste_variables |
(*(*s_etat_processus) |
[(*s_etat_processus) |
.pointeur_variable_courante).objet = |
.position_variable_courante].objet |
NULL; |
= NULL; |
|
|
|
if (pthread_mutex_unlock( |
if (pthread_mutex_unlock( |
&((*(*s_etat_processus) |
&((*(*s_etat_processus) |
Line 2811 evaluation(struct_processus *s_etat_proc
|
Line 3455 evaluation(struct_processus *s_etat_proc
|
|
|
(*s_etat_processus).position_courante = |
(*s_etat_processus).position_courante = |
(*((unsigned long *) |
(*((unsigned long *) |
((*((*s_etat_processus).s_liste_variables |
((*(*(*s_etat_processus) |
[(*s_etat_processus) |
.pointeur_variable_courante).objet).objet))); |
.position_variable_courante] |
|
.objet)).objet))); |
|
|
|
if ((*s_etat_processus).profilage == d_vrai) |
if ((*s_etat_processus).profilage == d_vrai) |
{ |
{ |
profilage(s_etat_processus, |
profilage(s_etat_processus, |
(*s_etat_processus).s_liste_variables |
(*(*s_etat_processus) |
[(*s_etat_processus) |
.pointeur_variable_courante).nom); |
.position_variable_courante].nom); |
|
|
|
if ((*s_etat_processus).erreur_systeme != d_es) |
if ((*s_etat_processus).erreur_systeme != d_es) |
{ |
{ |
if (presence_variable_partagee == d_vrai) |
if (presence_variable_partagee == d_vrai) |
{ |
{ |
(*s_etat_processus).s_liste_variables |
(*(*s_etat_processus) |
[(*s_etat_processus) |
.pointeur_variable_courante).objet = |
.position_variable_courante].objet |
NULL; |
= NULL; |
|
|
|
if (pthread_mutex_unlock( |
if (pthread_mutex_unlock( |
&((*(*s_etat_processus) |
&((*(*s_etat_processus) |
Line 2846 evaluation(struct_processus *s_etat_proc
|
Line 3486 evaluation(struct_processus *s_etat_proc
|
} |
} |
} |
} |
|
|
|
registre_evaluation_forcee = |
|
(*s_etat_processus).evaluation_forcee; |
|
|
|
if (type_evaluation == 'N') |
|
{ |
|
(*s_etat_processus).evaluation_forcee = 'Y'; |
|
} |
|
|
if (sequenceur(s_etat_processus) == d_erreur) |
if (sequenceur(s_etat_processus) == d_erreur) |
{ |
{ |
|
(*s_etat_processus).evaluation_forcee = |
|
registre_evaluation_forcee; |
|
|
if (presence_variable_partagee == d_vrai) |
if (presence_variable_partagee == d_vrai) |
{ |
{ |
(*s_etat_processus).s_liste_variables |
(*(*s_etat_processus) |
[(*s_etat_processus) |
.pointeur_variable_courante).objet = |
.position_variable_courante].objet |
NULL; |
= NULL; |
|
|
|
if (pthread_mutex_unlock(&((*(*s_etat_processus) |
if (pthread_mutex_unlock(&((*(*s_etat_processus) |
.s_liste_variables_partagees) |
.s_liste_variables_partagees) |
Line 2876 evaluation(struct_processus *s_etat_proc
|
Line 3526 evaluation(struct_processus *s_etat_proc
|
return(d_erreur); |
return(d_erreur); |
} |
} |
|
|
|
(*s_etat_processus).evaluation_forcee = |
|
registre_evaluation_forcee; |
(*s_etat_processus).instruction_courante = |
(*s_etat_processus).instruction_courante = |
instruction_courante; |
instruction_courante; |
(*s_etat_processus).mode_execution_programme = 'N'; |
(*s_etat_processus).mode_execution_programme = 'N'; |
Line 2886 evaluation(struct_processus *s_etat_proc
|
Line 3538 evaluation(struct_processus *s_etat_proc
|
{ |
{ |
if (presence_variable_partagee == d_vrai) |
if (presence_variable_partagee == d_vrai) |
{ |
{ |
(*s_etat_processus).s_liste_variables |
(*(*s_etat_processus) |
[(*s_etat_processus) |
.pointeur_variable_courante).objet = |
.position_variable_courante].objet |
NULL; |
= NULL; |
|
|
|
if (pthread_mutex_unlock(&((*(*s_etat_processus) |
if (pthread_mutex_unlock(&((*(*s_etat_processus) |
.s_liste_variables_partagees) |
.s_liste_variables_partagees) |
Line 2922 evaluation(struct_processus *s_etat_proc
|
Line 3573 evaluation(struct_processus *s_etat_proc
|
{ |
{ |
if (presence_variable_partagee == d_vrai) |
if (presence_variable_partagee == d_vrai) |
{ |
{ |
(*s_etat_processus).s_liste_variables |
(*(*s_etat_processus) |
[(*s_etat_processus) |
.pointeur_variable_courante).objet = |
.position_variable_courante].objet |
NULL; |
= NULL; |
|
|
|
if (pthread_mutex_unlock(&((*(*s_etat_processus) |
if (pthread_mutex_unlock(&((*(*s_etat_processus) |
.s_liste_variables_partagees).mutex)) |
.s_liste_variables_partagees).mutex)) |
Line 2954 evaluation(struct_processus *s_etat_proc
|
Line 3604 evaluation(struct_processus *s_etat_proc
|
{ |
{ |
if (presence_variable_partagee == d_vrai) |
if (presence_variable_partagee == d_vrai) |
{ |
{ |
(*s_etat_processus).s_liste_variables |
(*(*s_etat_processus) |
[(*s_etat_processus) |
.pointeur_variable_courante).objet = |
.position_variable_courante].objet |
NULL; |
= NULL; |
|
|
|
if (pthread_mutex_unlock(&((*(*s_etat_processus) |
if (pthread_mutex_unlock(&((*(*s_etat_processus) |
.s_liste_variables_partagees) .mutex)) != 0) |
.s_liste_variables_partagees) .mutex)) != 0) |
Line 2987 evaluation(struct_processus *s_etat_proc
|
Line 3636 evaluation(struct_processus *s_etat_proc
|
{ |
{ |
if (presence_variable_partagee == d_vrai) |
if (presence_variable_partagee == d_vrai) |
{ |
{ |
(*s_etat_processus).s_liste_variables |
(*(*s_etat_processus) |
[(*s_etat_processus) |
.pointeur_variable_courante).objet = |
.position_variable_courante].objet |
NULL; |
= NULL; |
|
|
|
if (pthread_mutex_unlock(&((*(*s_etat_processus) |
if (pthread_mutex_unlock(&((*(*s_etat_processus) |
.s_liste_variables_partagees).mutex)) != 0) |
.s_liste_variables_partagees).mutex)) != 0) |
Line 3012 evaluation(struct_processus *s_etat_proc
|
Line 3660 evaluation(struct_processus *s_etat_proc
|
|
|
if (presence_variable_partagee == d_vrai) |
if (presence_variable_partagee == d_vrai) |
{ |
{ |
(*s_etat_processus).s_liste_variables |
(*(*s_etat_processus) |
[(*s_etat_processus) |
.pointeur_variable_courante).objet = NULL; |
.position_variable_courante].objet |
|
= NULL; |
|
|
|
if (pthread_mutex_unlock(&((*(*s_etat_processus) |
if (pthread_mutex_unlock(&((*(*s_etat_processus) |
.s_liste_variables_partagees).mutex)) != 0) |
.s_liste_variables_partagees).mutex)) != 0) |
Line 3145 evaluation(struct_processus *s_etat_proc
|
Line 3791 evaluation(struct_processus *s_etat_proc
|
registre_test_2 = (*s_etat_processus).test_instruction; |
registre_test_2 = (*s_etat_processus).test_instruction; |
(*s_etat_processus).test_instruction = 'N'; |
(*s_etat_processus).test_instruction = 'N'; |
|
|
|
registre_type_evaluation = (test_cfsf(s_etat_processus, 35) |
|
== d_vrai) ? 'E' : 'N'; |
|
|
|
if (type_evaluation == 'N') |
|
{ |
|
cf(s_etat_processus, 35); |
|
} |
|
else |
|
{ |
|
sf(s_etat_processus, 35); |
|
} |
|
|
analyse(s_etat_processus, NULL); |
analyse(s_etat_processus, NULL); |
|
|
|
if (registre_type_evaluation == 'E') |
|
{ |
|
sf(s_etat_processus, 35); |
|
} |
|
else |
|
{ |
|
cf(s_etat_processus, 35); |
|
} |
|
|
(*s_etat_processus).test_instruction = registre_test_2; |
(*s_etat_processus).test_instruction = registre_test_2; |
|
|
if ((*s_etat_processus).erreur_systeme != d_es) |
if ((*s_etat_processus).erreur_systeme != d_es) |
Line 3159 evaluation(struct_processus *s_etat_proc
|
Line 3826 evaluation(struct_processus *s_etat_proc
|
if ((*s_etat_processus).var_volatile_processus_pere |
if ((*s_etat_processus).var_volatile_processus_pere |
== 0) |
== 0) |
{ |
{ |
kill((*s_etat_processus) |
envoi_signal_processus((*s_etat_processus) |
.pid_processus_pere, SIGALRM); |
.pid_processus_pere, rpl_sigalrm); |
} |
} |
else |
else |
{ |
{ |
Line 3248 evaluation(struct_processus *s_etat_proc
|
Line 3915 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 3268 evaluation(struct_processus *s_etat_proc
|
Line 3937 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 3280 evaluation(struct_processus *s_etat_proc
|
Line 3957 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 3323 evaluation(struct_processus *s_etat_proc
|
Line 4028 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 3335 evaluation(struct_processus *s_etat_proc
|
Line 4048 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 3458 evaluation(struct_processus *s_etat_proc
|
Line 4348 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 3471 evaluation(struct_processus *s_etat_proc
|
Line 4363 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 3513 evaluation(struct_processus *s_etat_proc
|
Line 4441 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 3558 evaluation(struct_processus *s_etat_proc
|
Line 4671 evaluation(struct_processus *s_etat_proc
|
(*s_etat_processus).erreur_execution = d_ex; |
(*s_etat_processus).erreur_execution = d_ex; |
|
|
erreur_evaluation = d_erreur; |
erreur_evaluation = d_erreur; |
|
|
(*s_etat_processus).expression_courante = |
|
registre_expression_courante; |
|
} |
} |
else |
else |
{ |
{ |
Line 3611 evaluation(struct_processus *s_etat_proc
|
Line 4721 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 3624 evaluation(struct_processus *s_etat_proc
|
Line 4736 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 3666 evaluation(struct_processus *s_etat_proc
|
Line 4814 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 3715 evaluation(struct_processus *s_etat_proc
|
Line 5048 evaluation(struct_processus *s_etat_proc
|
if ((*s_etat_processus) |
if ((*s_etat_processus) |
.var_volatile_processus_pere == 0) |
.var_volatile_processus_pere == 0) |
{ |
{ |
kill((*s_etat_processus) |
envoi_signal_processus((*s_etat_processus) |
.pid_processus_pere, SIGALRM); |
.pid_processus_pere, rpl_sigalrm); |
} |
} |
else |
else |
{ |
{ |
Line 3743 evaluation(struct_processus *s_etat_proc
|
Line 5076 evaluation(struct_processus *s_etat_proc
|
if ((*s_etat_processus).var_volatile_processus_pere |
if ((*s_etat_processus).var_volatile_processus_pere |
== 0) |
== 0) |
{ |
{ |
kill((*s_etat_processus) |
envoi_signal_processus((*s_etat_processus) |
.pid_processus_pere, SIGALRM); |
.pid_processus_pere, rpl_sigalrm); |
} |
} |
else |
else |
{ |
{ |
Line 3832 evaluation(struct_processus *s_etat_proc
|
Line 5165 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 3852 evaluation(struct_processus *s_etat_proc
|
Line 5187 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 3864 evaluation(struct_processus *s_etat_proc
|
Line 5207 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 3907 evaluation(struct_processus *s_etat_proc
|
Line 5278 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 3919 evaluation(struct_processus *s_etat_proc
|
Line 5298 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 3958 evaluation(struct_processus *s_etat_proc
|
Line 5514 evaluation(struct_processus *s_etat_proc
|
{ |
{ |
/* |
/* |
* La fin de l'expression est atteinte, |
* La fin de l'expression est atteinte, |
* le sequenceur reprend la main. |
* le séquenceur reprend la main. |
*/ |
*/ |
|
|
if (presence_egalite == d_vrai) |
if (presence_egalite == d_vrai) |
Line 4042 evaluation(struct_processus *s_etat_proc
|
Line 5598 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 4055 evaluation(struct_processus *s_etat_proc
|
Line 5613 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 4097 evaluation(struct_processus *s_etat_proc
|
Line 5691 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 4142 evaluation(struct_processus *s_etat_proc
|
Line 5921 evaluation(struct_processus *s_etat_proc
|
(*s_etat_processus).erreur_execution = d_ex; |
(*s_etat_processus).erreur_execution = d_ex; |
|
|
erreur_evaluation = d_erreur; |
erreur_evaluation = d_erreur; |
|
|
(*s_etat_processus).expression_courante = |
|
registre_expression_courante; |
|
} |
} |
else |
else |
{ |
{ |
Line 4195 evaluation(struct_processus *s_etat_proc
|
Line 5971 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 4208 evaluation(struct_processus *s_etat_proc
|
Line 5986 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 4250 evaluation(struct_processus *s_etat_proc
|
Line 6064 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 4299 evaluation(struct_processus *s_etat_proc
|
Line 6298 evaluation(struct_processus *s_etat_proc
|
if ((*s_etat_processus) |
if ((*s_etat_processus) |
.var_volatile_processus_pere == 0) |
.var_volatile_processus_pere == 0) |
{ |
{ |
kill((*s_etat_processus) |
envoi_signal_processus((*s_etat_processus) |
.pid_processus_pere, SIGALRM); |
.pid_processus_pere, rpl_sigalrm); |
} |
} |
else |
else |
{ |
{ |
Line 4342 evaluation(struct_processus *s_etat_proc
|
Line 6341 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; |
|
|
|
if ((*s_etat_processus).autorisation_nom_implicite |
|
== 'N') |
|
{ |
|
if ((*((struct_nom *) (*s_objet_elementaire).objet)) |
|
.symbole == d_faux) |
|
{ |
|
if (test_cfsf(s_etat_processus, 31) == d_vrai) |
|
{ |
|
if (empilement_pile_last(s_etat_processus, |
|
0) == d_erreur) |
|
{ |
|
return(d_erreur); |
|
} |
|
} |
|
|
|
erreur_evaluation = d_erreur; |
|
(*s_etat_processus).erreur_execution = |
|
d_ex_nom_implicite; |
|
|
|
if (type_evaluation == 'I') |
|
{ |
|
(*s_etat_processus) |
|
.derniere_erreur_evaluation = |
|
(*s_etat_processus) |
|
.erreur_execution; |
|
} |
|
} |
|
} |
} |
} |
else |
else |
{ |
{ |
if ((*s_etat_processus).traitement_symbolique == 'N') |
if ((*s_etat_processus).traitement_symbolique == 'N') |
{ |
{ |
if ((*s_etat_processus).s_liste_variables |
if ((*(*s_etat_processus) |
[(*s_etat_processus) |
.pointeur_variable_courante).objet == NULL) |
.position_variable_courante].objet == NULL) |
|
{ |
{ |
// Variable partagée |
// Variable partagée |
|
|
Line 4365 evaluation(struct_processus *s_etat_proc
|
Line 6392 evaluation(struct_processus *s_etat_proc
|
presence_variable_partagee = d_faux; |
presence_variable_partagee = d_faux; |
|
|
if (recherche_variable_partagee( |
if (recherche_variable_partagee( |
s_etat_processus, |
s_etat_processus, (*(*s_etat_processus) |
((*s_etat_processus).s_liste_variables |
.pointeur_variable_courante).nom, |
[(*s_etat_processus) |
(*(*s_etat_processus) |
.position_variable_courante]).nom, |
.pointeur_variable_courante) |
((*s_etat_processus).s_liste_variables |
|
[(*s_etat_processus) |
|
.position_variable_courante]) |
|
.variable_partagee, 'E') == d_vrai) |
.variable_partagee, 'E') == d_vrai) |
{ |
{ |
presence_variable = d_vrai; |
presence_variable = d_vrai; |
Line 4449 evaluation(struct_processus *s_etat_proc
|
Line 6473 evaluation(struct_processus *s_etat_proc
|
{ |
{ |
presence_variable = d_vrai; |
presence_variable = d_vrai; |
|
|
if ((*((*s_etat_processus) |
if ((*(*(*s_etat_processus) |
.s_liste_variables |
.pointeur_variable_courante).objet) |
[(*s_etat_processus) |
.type == ADR) |
.position_variable_courante] |
|
.objet)).type == ADR) |
|
{ |
{ |
presence_fonction = d_vrai; |
presence_fonction = d_vrai; |
} |
} |
Line 4469 evaluation(struct_processus *s_etat_proc
|
Line 6491 evaluation(struct_processus *s_etat_proc
|
|
|
if (presence_fonction == d_vrai) |
if (presence_fonction == d_vrai) |
{ |
{ |
autorisation_empilement_programme = (*s_etat_processus) |
if ((*((struct_nom *) (*(*l_element_courant).donnee) |
.autorisation_empilement_programme; |
.objet)).symbole == d_vrai) |
registre_position_courante = (*s_etat_processus) |
{ |
.position_courante; |
// L'objet apparaît comme un symbole dans |
|
// l'expression en cours d'évaluation. On se |
|
// contente de l'empiler. |
|
|
empilement_pile_systeme(s_etat_processus); |
if ((s_sous_objet = copie_objet(s_etat_processus, |
|
(*l_element_courant).donnee, 'P')) == NULL) |
|
{ |
|
(*s_etat_processus).instruction_courante = |
|
instruction_courante; |
|
|
if ((*s_etat_processus).erreur_systeme != d_es) |
(*s_etat_processus).erreur_systeme = |
{ |
d_es_allocation_memoire; |
if (presence_variable_partagee == d_vrai) |
return(d_erreur); |
|
} |
|
|
|
if (empilement(s_etat_processus, |
|
&((*s_etat_processus).l_base_pile), |
|
s_sous_objet) == d_erreur) |
{ |
{ |
liberation(s_etat_processus, |
(*s_etat_processus).instruction_courante = |
s_copie_variable_partagee); |
instruction_courante; |
|
liberation(s_etat_processus, s_sous_objet); |
|
return(d_erreur); |
} |
} |
|
} |
|
else |
|
{ |
|
autorisation_empilement_programme = |
|
(*s_etat_processus) |
|
.autorisation_empilement_programme; |
|
registre_position_courante = (*s_etat_processus) |
|
.position_courante; |
|
|
if (presence_egalite == d_vrai) |
empilement_pile_systeme(s_etat_processus); |
|
|
|
if ((*s_etat_processus).erreur_systeme != d_es) |
{ |
{ |
liberation(s_etat_processus, s_objet_evalue); |
if (presence_variable_partagee == d_vrai) |
|
{ |
|
liberation(s_etat_processus, |
|
s_copie_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).instruction_courante = |
(*(*s_etat_processus).l_base_pile_systeme) |
instruction_courante; |
.retour_definition = 'Y'; |
return(d_erreur); |
(*(*s_etat_processus).l_base_pile_systeme) |
} |
.origine_routine_evaluation = 'Y'; |
|
|
(*(*s_etat_processus).l_base_pile_systeme) |
(*s_etat_processus).mode_execution_programme = 'Y'; |
.retour_definition = 'Y'; |
(*s_etat_processus) |
(*(*s_etat_processus).l_base_pile_systeme) |
.autorisation_empilement_programme = 'N'; |
.origine_routine_evaluation = 'Y'; |
|
|
|
(*s_etat_processus).mode_execution_programme = 'Y'; |
(*(*s_etat_processus).l_base_pile_systeme) |
(*s_etat_processus).autorisation_empilement_programme |
.niveau_courant = (*s_etat_processus) |
= 'N'; |
.niveau_courant; |
|
|
(*(*s_etat_processus).l_base_pile_systeme) |
if (presence_variable_partagee == d_faux) |
.niveau_courant = (*s_etat_processus) |
{ |
.niveau_courant; |
(*s_etat_processus).position_courante = |
|
(*((unsigned long *) |
|
((*(*(*s_etat_processus) |
|
.pointeur_variable_courante) |
|
.objet).objet))); |
|
} |
|
else |
|
{ |
|
(*s_etat_processus).position_courante = |
|
(*((unsigned long *) |
|
(*s_copie_variable_partagee).objet)); |
|
liberation(s_etat_processus, |
|
s_copie_variable_partagee); |
|
} |
|
|
if (presence_variable_partagee == d_faux) |
if ((*s_etat_processus).profilage == d_vrai) |
{ |
{ |
(*s_etat_processus).position_courante = |
profilage(s_etat_processus, |
(*((unsigned long *) |
(*(*s_etat_processus) |
((*((*s_etat_processus).s_liste_variables |
.pointeur_variable_courante).nom); |
[(*s_etat_processus) |
|
.position_variable_courante] |
|
.objet)).objet))); |
|
} |
|
else |
|
{ |
|
(*s_etat_processus).position_courante = |
|
(*((unsigned long *) |
|
(*s_copie_variable_partagee).objet)); |
|
liberation(s_etat_processus, |
|
s_copie_variable_partagee); |
|
} |
|
|
|
if ((*s_etat_processus).profilage == d_vrai) |
if ((*s_etat_processus).erreur_systeme != d_es) |
{ |
{ |
profilage(s_etat_processus, |
return(d_erreur); |
(*s_etat_processus).s_liste_variables |
} |
[(*s_etat_processus) |
} |
.position_variable_courante].nom); |
|
|
|
if ((*s_etat_processus).erreur_systeme != d_es) |
registre_evaluation_forcee = |
|
(*s_etat_processus).evaluation_forcee; |
|
|
|
if (type_evaluation == 'N') |
{ |
{ |
return(d_erreur); |
(*s_etat_processus).evaluation_forcee = 'Y'; |
} |
} |
} |
|
|
|
if (sequenceur(s_etat_processus) == d_erreur) |
if (sequenceur(s_etat_processus) == d_erreur) |
{ |
|
if (presence_egalite == d_vrai) |
|
{ |
{ |
liberation(s_etat_processus, s_objet_evalue); |
(*s_etat_processus).evaluation_forcee = |
|
registre_evaluation_forcee; |
|
|
|
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).evaluation_forcee = |
|
registre_evaluation_forcee; |
(*s_etat_processus).instruction_courante = |
(*s_etat_processus).instruction_courante = |
instruction_courante; |
instruction_courante; |
(*s_etat_processus).mode_execution_programme = |
(*s_etat_processus).mode_execution_programme = 'N'; |
registre_mode_execution_programme; |
|
return(d_erreur); |
|
} |
|
|
|
(*s_etat_processus).instruction_courante = |
|
instruction_courante; |
|
(*s_etat_processus).mode_execution_programme = 'N'; |
|
|
|
depilement_pile_systeme(s_etat_processus); |
depilement_pile_systeme(s_etat_processus); |
|
|
if ((*s_etat_processus).erreur_systeme != d_es) |
if ((*s_etat_processus).erreur_systeme != d_es) |
{ |
|
if (presence_egalite == d_vrai) |
|
{ |
{ |
liberation(s_etat_processus, s_objet_evalue); |
if (presence_egalite == d_vrai) |
|
{ |
|
liberation(s_etat_processus, |
|
s_objet_evalue); |
|
} |
|
|
|
return(d_erreur); |
} |
} |
|
|
return(d_erreur); |
(*s_etat_processus).retour_routine_evaluation = 'N'; |
|
(*s_etat_processus).position_courante = |
|
registre_position_courante; |
|
(*s_etat_processus) |
|
.autorisation_empilement_programme = |
|
autorisation_empilement_programme; |
} |
} |
|
|
(*s_etat_processus).retour_routine_evaluation = 'N'; |
|
(*s_etat_processus).position_courante = |
|
registre_position_courante; |
|
(*s_etat_processus).autorisation_empilement_programme = |
|
autorisation_empilement_programme; |
|
} |
} |
else if (((type_evaluation == 'N') || ((*((struct_nom *) |
else if (((type_evaluation == 'N') || ((*((struct_nom *) |
(*(*l_element_courant).donnee).objet)).symbole == |
(*(*l_element_courant).donnee).objet)).symbole == |
Line 4584 evaluation(struct_processus *s_etat_proc
|
Line 6653 evaluation(struct_processus *s_etat_proc
|
{ |
{ |
if ((s_sous_objet = |
if ((s_sous_objet = |
copie_objet(s_etat_processus, |
copie_objet(s_etat_processus, |
(*s_etat_processus) |
(*(*s_etat_processus) |
.s_liste_variables[(*s_etat_processus) |
.pointeur_variable_courante).objet, |
.position_variable_courante].objet, |
|
'P')) == NULL) |
'P')) == NULL) |
{ |
{ |
if (presence_variable_partagee == d_vrai) |
if (presence_variable_partagee == d_vrai) |
Line 4655 evaluation(struct_processus *s_etat_proc
|
Line 6723 evaluation(struct_processus *s_etat_proc
|
(*s_etat_processus) |
(*s_etat_processus) |
.evaluation_expression_compilee; |
.evaluation_expression_compilee; |
|
|
if (((*s_etat_processus).s_liste_variables |
if (((*(*s_etat_processus) |
[(*s_etat_processus) |
.pointeur_variable_courante) |
.position_variable_courante].origine == 'E') |
.origine == 'E') && ((*(*s_etat_processus) |
&& ((*s_etat_processus).s_liste_variables |
.pointeur_variable_courante).niveau == 0)) |
[(*s_etat_processus) |
|
.position_variable_courante].niveau == 0)) |
|
{ |
{ |
(*s_etat_processus) |
(*s_etat_processus) |
.evaluation_expression_compilee = 'Y'; |
.evaluation_expression_compilee = 'Y'; |
Line 4676 evaluation(struct_processus *s_etat_proc
|
Line 6742 evaluation(struct_processus *s_etat_proc
|
if ((*s_etat_processus).profilage == d_vrai) |
if ((*s_etat_processus).profilage == d_vrai) |
{ |
{ |
profilage(s_etat_processus, |
profilage(s_etat_processus, |
(*s_etat_processus) |
(*(*s_etat_processus) |
.s_liste_variables |
.pointeur_variable_courante).nom); |
[(*s_etat_processus) |
|
.position_variable_courante].nom); |
|
|
|
if ((*s_etat_processus).erreur_systeme |
if ((*s_etat_processus).erreur_systeme |
!= d_es) |
!= d_es) |
Line 4702 evaluation(struct_processus *s_etat_proc
|
Line 6766 evaluation(struct_processus *s_etat_proc
|
empilement_pile_systeme(s_etat_processus); |
empilement_pile_systeme(s_etat_processus); |
|
|
if (evaluation(s_etat_processus, |
if (evaluation(s_etat_processus, |
(*s_etat_processus) |
(*(*s_etat_processus) |
.s_liste_variables[(*s_etat_processus) |
.pointeur_variable_courante).objet, |
.position_variable_courante].objet, |
|
type_evaluation) == d_erreur) |
type_evaluation) == d_erreur) |
{ |
{ |
depilement_pile_systeme(s_etat_processus); |
depilement_pile_systeme(s_etat_processus); |
|
|
(*(*s_etat_processus).l_base_pile_systeme) |
(*(*s_etat_processus).l_base_pile_systeme) |
.niveau_courant = |
.niveau_courant = |
|
registre_niveau_courant; |
(*(*s_etat_processus).l_base_pile_systeme) |
(*(*s_etat_processus).l_base_pile_systeme) |
.retour_definition = |
.retour_definition = |
registre_retour_definition; |
registre_retour_definition; |
Line 4741 evaluation(struct_processus *s_etat_proc
|
Line 6805 evaluation(struct_processus *s_etat_proc
|
|
|
(*(*s_etat_processus).l_base_pile_systeme) |
(*(*s_etat_processus).l_base_pile_systeme) |
.niveau_courant = |
.niveau_courant = |
|
registre_niveau_courant; |
(*(*s_etat_processus).l_base_pile_systeme) |
(*(*s_etat_processus).l_base_pile_systeme) |
.retour_definition = |
.retour_definition = |
registre_retour_definition; |
registre_retour_definition; |
Line 4750 evaluation(struct_processus *s_etat_proc
|
Line 6815 evaluation(struct_processus *s_etat_proc
|
if ((*s_etat_processus).profilage == d_vrai) |
if ((*s_etat_processus).profilage == d_vrai) |
{ |
{ |
profilage(s_etat_processus, |
profilage(s_etat_processus, |
(*s_etat_processus) |
(*(*s_etat_processus) |
.s_liste_variables |
.pointeur_variable_courante).nom); |
[(*s_etat_processus) |
|
.position_variable_courante].nom); |
|
|
|
if ((*s_etat_processus).erreur_systeme |
if ((*s_etat_processus).erreur_systeme |
!= d_es) |
!= d_es) |
Line 4857 evaluation(struct_processus *s_etat_proc
|
Line 6920 evaluation(struct_processus *s_etat_proc
|
(*((struct_nom *) (*s_objet_elementaire) |
(*((struct_nom *) (*s_objet_elementaire) |
.objet)).nom) == d_vrai) |
.objet)).nom) == d_vrai) |
{ |
{ |
if ((*s_etat_processus).s_liste_variables |
if ((*(*s_etat_processus) |
[(*s_etat_processus) |
.pointeur_variable_courante).objet |
.position_variable_courante].objet |
|
== NULL) |
== NULL) |
{ |
{ |
// Variable partagée |
// Variable partagée |
Line 4876 evaluation(struct_processus *s_etat_proc
|
Line 6938 evaluation(struct_processus *s_etat_proc
|
|
|
if (recherche_variable_partagee( |
if (recherche_variable_partagee( |
s_etat_processus, |
s_etat_processus, |
((*s_etat_processus) |
(*(*s_etat_processus) |
.s_liste_variables |
.pointeur_variable_courante).nom, |
[(*s_etat_processus) |
(*(*s_etat_processus) |
.position_variable_courante]).nom, |
.pointeur_variable_courante) |
((*s_etat_processus) |
|
.s_liste_variables |
|
[(*s_etat_processus) |
|
.position_variable_courante]) |
|
.variable_partagee, 'E') == d_vrai) |
.variable_partagee, 'E') == d_vrai) |
{ |
{ |
liberation(s_etat_processus, |
liberation(s_etat_processus, |
Line 4943 evaluation(struct_processus *s_etat_proc
|
Line 7001 evaluation(struct_processus *s_etat_proc
|
|
|
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 |
.pointeur_variable_courante).objet, |
[(*s_etat_processus) |
|
.position_variable_courante].objet, |
|
'P')) == NULL) |
'P')) == NULL) |
{ |
{ |
if (presence_egalite == d_vrai) |
if (presence_egalite == d_vrai) |
Line 5022 evaluation(struct_processus *s_etat_proc
|
Line 7078 evaluation(struct_processus *s_etat_proc
|
((*s_etat_processus).erreur_execution != d_ex) || |
((*s_etat_processus).erreur_execution != d_ex) || |
((*s_etat_processus).exception != d_ep)) |
((*s_etat_processus).exception != d_ep)) |
{ |
{ |
|
// Il est anormal de récupérer ici une erreur |
|
// d'exécution puisqu'on empile une constante |
|
// symbolique. |
|
|
if (presence_egalite == d_vrai) |
if (presence_egalite == d_vrai) |
{ |
{ |
liberation(s_etat_processus, s_objet_evalue); |
liberation(s_etat_processus, s_objet_evalue); |
Line 5069 evaluation(struct_processus *s_etat_proc
|
Line 7129 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 5110 evaluation(struct_processus *s_etat_proc
|
Line 7155 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 5121 evaluation(struct_processus *s_etat_proc
|
Line 7182 evaluation(struct_processus *s_etat_proc
|
|
|
(*s_etat_processus).niveau_courant = niveau_initial; |
(*s_etat_processus).niveau_courant = niveau_initial; |
|
|
for(m = 0, n = 0; n < (*s_etat_processus).nombre_variables; n++) |
if (retrait_variables_par_niveau(s_etat_processus) == d_erreur) |
{ |
|
if ((*s_etat_processus).s_liste_variables[n].niveau |
|
> niveau_initial) |
|
{ |
|
m++; |
|
} |
|
} |
|
|
|
registre_variables = (*s_etat_processus).s_liste_variables; |
|
(*s_etat_processus).nombre_variables -= m; |
|
|
|
if (((*s_etat_processus).s_liste_variables = malloc( |
|
(*s_etat_processus).nombre_variables * |
|
sizeof(struct_variable))) == NULL) |
|
{ |
{ |
if (presence_egalite == d_vrai) |
if (presence_egalite == d_vrai) |
{ |
{ |
liberation(s_etat_processus, s_objet_evalue); |
liberation(s_etat_processus, s_objet_evalue); |
} |
} |
|
|
(*s_etat_processus).instruction_courante = instruction_courante; |
(*s_etat_processus).instruction_courante = |
(*s_etat_processus).erreur_systeme = d_es_allocation_memoire; |
instruction_courante; |
|
(*s_etat_processus).mode_execution_programme = |
|
registre_mode_execution_programme; |
return(d_erreur); |
return(d_erreur); |
} |
} |
|
|
for(m = 0, n = 0; n < (*s_etat_processus).nombre_variables; n++) |
|
{ |
|
if (registre_variables[n + m].niveau > niveau_initial) |
|
{ |
|
free(registre_variables[n + m].nom); |
|
liberation(s_etat_processus, |
|
registre_variables[n + m].objet); |
|
m++; |
|
n--; |
|
} |
|
else |
|
{ |
|
(*s_etat_processus).s_liste_variables[n] = |
|
registre_variables[n + m]; |
|
} |
|
} |
|
|
|
free(registre_variables); |
|
} |
} |
|
|
/* |
/* |
* 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(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); |
} |
} |
|
|
/* |
/* |
Line 5311 evaluation(struct_processus *s_etat_proc
|
Line 7331 evaluation(struct_processus *s_etat_proc
|
(*s_etat_processus).instruction_courante = |
(*s_etat_processus).instruction_courante = |
(*((struct_fonction *) (*s_objet).objet)).nom_fonction; |
(*((struct_fonction *) (*s_objet).objet)).nom_fonction; |
|
|
|
registre_type_evaluation = (test_cfsf(s_etat_processus, 35) == d_vrai) |
|
? 'E' : 'N'; |
|
cf(s_etat_processus, 35); |
|
|
analyse(s_etat_processus, (*((struct_fonction *) |
analyse(s_etat_processus, (*((struct_fonction *) |
(*s_objet).objet)).fonction); |
(*s_objet).objet)).fonction); |
|
|
(*s_etat_processus).instruction_courante = instruction_courante; |
(*s_etat_processus).instruction_courante = instruction_courante; |
|
|
|
if (registre_type_evaluation == 'E') |
|
{ |
|
sf(s_etat_processus, 35); |
|
} |
|
else |
|
{ |
|
cf(s_etat_processus, 35); |
|
} |
|
|
if (((*s_etat_processus).erreur_systeme != d_es) || |
if (((*s_etat_processus).erreur_systeme != d_es) || |
((*s_etat_processus).erreur_execution != d_ex) || |
((*s_etat_processus).erreur_execution != d_ex) || |
((*s_etat_processus).exception != d_ep)) |
((*s_etat_processus).exception != d_ep)) |
{ |
{ |
(*s_etat_processus).instruction_courante = instruction_courante; |
|
(*s_etat_processus).mode_execution_programme = |
(*s_etat_processus).mode_execution_programme = |
registre_mode_execution_programme; |
registre_mode_execution_programme; |
return(d_erreur); |
return(d_erreur); |
Line 5328 evaluation(struct_processus *s_etat_proc
|
Line 7359 evaluation(struct_processus *s_etat_proc
|
} |
} |
else |
else |
{ |
{ |
|
(*s_etat_processus).instruction_courante = instruction_courante; |
|
|
if ((s_objet_tampon = copie_objet(s_etat_processus, s_objet, 'P')) |
if ((s_objet_tampon = copie_objet(s_etat_processus, s_objet, 'P')) |
== NULL) |
== NULL) |
{ |
{ |
(*s_etat_processus).erreur_systeme = d_es_allocation_memoire; |
(*s_etat_processus).erreur_systeme = d_es_allocation_memoire; |
(*s_etat_processus).instruction_courante = instruction_courante; |
|
return(d_erreur); |
return(d_erreur); |
} |
} |
|
|
if (empilement(s_etat_processus, &((*s_etat_processus) |
if (empilement(s_etat_processus, &((*s_etat_processus) |
.l_base_pile), s_objet_tampon) == d_erreur) |
.l_base_pile), s_objet_tampon) == d_erreur) |
{ |
{ |
(*s_etat_processus).instruction_courante = instruction_courante; |
|
return(d_erreur); |
return(d_erreur); |
} |
} |
} |
} |