version 1.13, 2010/04/21 12:30:26
|
version 1.33, 2011/04/11 12:10:05
|
Line 1
|
Line 1
|
/* |
/* |
================================================================================ |
================================================================================ |
RPL/2 (R) version 4.0.14 |
RPL/2 (R) version 4.1.0.prerelease.0 |
Copyright (C) 1989-2010 Dr. BERTRAND Joël |
Copyright (C) 1989-2011 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 436 evaluation(struct_processus *s_etat_proc
|
Line 436 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) |
Line 488 evaluation(struct_processus *s_etat_proc
|
Line 519 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 if ((*s_etat_processus).erreur_execution != d_ex_nom_implicite) |
else if ((*s_etat_processus).erreur_execution != d_ex_nom_implicite) |
{ |
{ |
Line 730 evaluation(struct_processus *s_etat_proc
|
Line 771 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 829 evaluation(struct_processus *s_etat_proc
|
Line 872 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 992 evaluation(struct_processus *s_etat_proc
|
Line 1036 evaluation(struct_processus *s_etat_proc
|
} |
} |
} |
} |
} |
} |
|
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; |
|
} |
|
} |
} |
} |
} |
} |
} |
} |
|
|
|
(*s_etat_processus).expression_courante = |
|
l_element_courant; |
(*s_etat_processus).instruction_courante = |
(*s_etat_processus).instruction_courante = |
instruction_courante; |
instruction_courante; |
drapeau_then = d_faux; |
|
|
|
do |
|
{ |
|
l_registre_atome = l_element_courant; |
|
|
|
if (l_element_courant == NULL) |
|
{ |
|
/* |
|
* La fin de l'expression est atteinte, |
|
* le sequenceur reprend la main. |
|
*/ |
|
|
|
if (presence_egalite == d_vrai) |
|
{ |
|
liberation(s_etat_processus, |
|
s_objet_evalue); |
|
} |
|
|
|
(*s_etat_processus) |
|
.mode_execution_programme = |
|
registre_mode_execution_programme; |
|
(*s_etat_processus).instruction_courante = |
|
instruction_courante; |
|
return(d_absence_erreur); |
|
} |
|
|
|
if ((*(*l_element_courant).donnee).type == FCT) |
|
{ |
|
(*s_etat_processus) |
|
.instruction_courante = |
|
(*((struct_fonction *) |
|
(*(*l_element_courant).donnee) |
|
.objet)).nom_fonction; |
|
fonction = (*((struct_fonction *) |
|
(*(*l_element_courant).donnee) |
|
.objet)).fonction; |
|
(*s_etat_processus).instruction_courante = |
|
instruction_courante; |
|
|
|
drapeau_then = TEST(instruction_then) |
|
? d_vrai : d_faux; |
|
} |
|
|
|
l_element_courant = (*l_element_courant) |
|
.suivant; |
|
} while(drapeau_then == d_faux); |
|
|
|
(*s_etat_processus).expression_courante = |
|
l_registre_atome; |
|
|
|
(*(*s_etat_processus).l_base_pile_systeme) |
|
.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 1157 evaluation(struct_processus *s_etat_proc
|
Line 1163 evaluation(struct_processus *s_etat_proc
|
{ |
{ |
depilement_pile_systeme( |
depilement_pile_systeme( |
s_etat_processus); |
s_etat_processus); |
|
} |
|
|
if ((*s_etat_processus) |
if ((*s_etat_processus) |
.erreur_systeme != d_es) |
.erreur_systeme != d_es) |
|
{ |
|
if (presence_egalite == |
|
d_vrai) |
{ |
{ |
if (presence_egalite == |
liberation( |
d_vrai) |
s_etat_processus, |
{ |
s_objet_evalue); |
liberation( |
|
s_etat_processus, |
|
s_objet_evalue); |
|
} |
|
|
|
(*s_etat_processus) |
|
.instruction_courante = |
|
instruction_courante; |
|
return(d_erreur); |
|
} |
} |
|
|
|
(*s_etat_processus) |
|
.instruction_courante = |
|
instruction_courante; |
|
return(d_erreur); |
} |
} |
} |
} |
} |
} |
Line 1305 evaluation(struct_processus *s_etat_proc
|
Line 1311 evaluation(struct_processus *s_etat_proc
|
instruction_courante; |
instruction_courante; |
return(d_erreur); |
return(d_erreur); |
} |
} |
|
|
|
if ((*(*s_etat_processus) |
|
.l_base_pile_systeme) |
|
.retour_definition |
|
== 'Y') |
|
{ |
|
break; |
|
} |
} |
} |
else |
else |
{ |
{ |
Line 4561 evaluation(struct_processus *s_etat_proc
|
Line 4575 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; |
|
|
|
empilement_pile_systeme(s_etat_processus); |
|
|
|
if ((*s_etat_processus).erreur_systeme != d_es) |
|
{ |
{ |
if (presence_variable_partagee == d_vrai) |
// L'objet apparaît comme un symbole dans |
|
// l'expression en cours d'évaluation. On se |
|
// contente de l'empiler. |
|
|
|
if ((s_sous_objet = copie_objet(s_etat_processus, |
|
(*l_element_courant).donnee, 'P')) == NULL) |
{ |
{ |
liberation(s_etat_processus, |
(*s_etat_processus).instruction_courante = |
s_copie_variable_partagee); |
instruction_courante; |
|
|
|
(*s_etat_processus).erreur_systeme = |
|
d_es_allocation_memoire; |
|
return(d_erreur); |
} |
} |
|
|
if (presence_egalite == d_vrai) |
if (empilement(s_etat_processus, |
|
&((*s_etat_processus).l_base_pile), |
|
s_sous_objet) == d_erreur) |
{ |
{ |
liberation(s_etat_processus, s_objet_evalue); |
(*s_etat_processus).instruction_courante = |
|
instruction_courante; |
|
liberation(s_etat_processus, s_sous_objet); |
|
return(d_erreur); |
} |
} |
|
|
(*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; |
|
|
|
if (presence_variable_partagee == d_faux) |
|
{ |
|
(*s_etat_processus).position_courante = |
|
(*((unsigned long *) |
|
((*((*s_etat_processus).s_liste_variables |
|
[(*s_etat_processus) |
|
.position_variable_courante] |
|
.objet)).objet))); |
|
} |
} |
else |
else |
{ |
{ |
(*s_etat_processus).position_courante = |
autorisation_empilement_programme = |
(*((unsigned long *) |
(*s_etat_processus) |
(*s_copie_variable_partagee).objet)); |
.autorisation_empilement_programme; |
liberation(s_etat_processus, |
registre_position_courante = (*s_etat_processus) |
s_copie_variable_partagee); |
.position_courante; |
} |
|
|
|
if ((*s_etat_processus).profilage == d_vrai) |
empilement_pile_systeme(s_etat_processus); |
{ |
|
profilage(s_etat_processus, |
|
(*s_etat_processus).s_liste_variables |
|
[(*s_etat_processus) |
|
.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) |
|
{ |
|
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); |
return(d_erreur); |
} |
} |
} |
|
|
|
registre_evaluation_forcee = |
(*(*s_etat_processus).l_base_pile_systeme) |
(*s_etat_processus).evaluation_forcee; |
.retour_definition = 'Y'; |
|
(*(*s_etat_processus).l_base_pile_systeme) |
|
.origine_routine_evaluation = 'Y'; |
|
|
if (type_evaluation == 'N') |
(*s_etat_processus).mode_execution_programme = 'Y'; |
{ |
(*s_etat_processus) |
(*s_etat_processus).evaluation_forcee = 'Y'; |
.autorisation_empilement_programme = 'N'; |
} |
|
|
|
if (sequenceur(s_etat_processus) == d_erreur) |
(*(*s_etat_processus).l_base_pile_systeme) |
{ |
.niveau_courant = (*s_etat_processus) |
(*s_etat_processus).evaluation_forcee = |
.niveau_courant; |
registre_evaluation_forcee; |
|
|
|
if (presence_egalite == d_vrai) |
if (presence_variable_partagee == d_faux) |
{ |
{ |
liberation(s_etat_processus, s_objet_evalue); |
(*s_etat_processus).position_courante = |
|
(*((unsigned long *) |
|
((*((*s_etat_processus) |
|
.s_liste_variables[(*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) |
|
{ |
|
profilage(s_etat_processus, |
|
(*s_etat_processus).s_liste_variables |
|
[(*s_etat_processus) |
|
.position_variable_courante].nom); |
|
|
|
if ((*s_etat_processus).erreur_systeme != d_es) |
|
{ |
|
return(d_erreur); |
|
} |
|
} |
|
|
|
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) |
|
{ |
|
(*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).evaluation_forcee = |
depilement_pile_systeme(s_etat_processus); |
registre_evaluation_forcee; |
|
(*s_etat_processus).instruction_courante = |
|
instruction_courante; |
|
(*s_etat_processus).mode_execution_programme = 'N'; |
|
|
|
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 5422 evaluation(struct_processus *s_etat_proc
|
Line 5472 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 5439 evaluation(struct_processus *s_etat_proc
|
Line 5500 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); |
} |
} |
} |
} |