version 1.1.1.1, 2010/01/26 15:22:45
|
version 1.26, 2010/11/26 11:46:38
|
Line 1
|
Line 1
|
/* |
/* |
================================================================================ |
================================================================================ |
RPL/2 (R) version 4.0.9 |
RPL/2 (R) version 4.0.20 |
Copyright (C) 1989-2010 Dr. BERTRAND Joël |
Copyright (C) 1989-2010 Dr. BERTRAND Joël |
|
|
This file is part of RPL/2. |
This file is part of RPL/2. |
Line 20
|
Line 20
|
*/ |
*/ |
|
|
|
|
#include "rpl.conv.h" |
#include "rpl-conv.h" |
|
|
|
|
/* |
/* |
================================================================================ |
================================================================================ |
Boucle principale de l'interpréteur RPL/2 |
Boucle principale de l'interprète RPL/2 |
================================================================================ |
================================================================================ |
Entrées : structure sur l'état du processus |
Entrées : structure sur l'état du processus |
-------------------------------------------------------------------------------- |
-------------------------------------------------------------------------------- |
Line 41 sequenceur(struct_processus *s_etat_proc
|
Line 41 sequenceur(struct_processus *s_etat_proc
|
struct_liste_chainee *l_element_courant; |
struct_liste_chainee *l_element_courant; |
|
|
struct_objet *s_objet; |
struct_objet *s_objet; |
|
struct_objet *s_objet_evaluation; |
struct_objet *s_sous_objet; |
struct_objet *s_sous_objet; |
|
|
logical1 drapeau_appel_definition; |
logical1 drapeau_appel_definition; |
Line 103 sequenceur(struct_processus *s_etat_proc
|
Line 104 sequenceur(struct_processus *s_etat_proc
|
|
|
/* |
/* |
-------------------------------------------------------------------------------- |
-------------------------------------------------------------------------------- |
Boucle de l'interpréteur RPL/2 |
Boucle de l'interprète RPL/2 |
On boucle tant qu'on n'a pas une bonne raison de sortir... |
On boucle tant qu'on n'a pas une bonne raison de sortir... |
-------------------------------------------------------------------------------- |
-------------------------------------------------------------------------------- |
*/ |
*/ |
Line 282 sequenceur(struct_processus *s_etat_proc
|
Line 283 sequenceur(struct_processus *s_etat_proc
|
|
|
tampon = (*s_etat_processus).instruction_courante; |
tampon = (*s_etat_processus).instruction_courante; |
(*s_etat_processus).instruction_courante = ligne; |
(*s_etat_processus).instruction_courante = ligne; |
|
|
recherche_type(s_etat_processus); |
recherche_type(s_etat_processus); |
|
|
|
(*s_etat_processus).instruction_courante = tampon; |
|
|
if ((((*s_etat_processus).erreur_execution != d_ex) || |
if ((((*s_etat_processus).erreur_execution != d_ex) || |
((*s_etat_processus).erreur_systeme != d_es)) && |
((*s_etat_processus).erreur_systeme != d_es)) && |
((*s_etat_processus).invalidation_message_erreur |
((*s_etat_processus).invalidation_message_erreur |
Line 433 sequenceur(struct_processus *s_etat_proc
|
Line 437 sequenceur(struct_processus *s_etat_proc
|
(*(*s_etat_processus).l_base_pile_systeme) |
(*(*s_etat_processus).l_base_pile_systeme) |
.retour_definition = tampon_retour; |
.retour_definition = tampon_retour; |
} |
} |
|
|
(*s_etat_processus).instruction_courante = tampon; |
|
} |
} |
else if ((*s_etat_processus).invalidation_message_erreur |
else if ((*s_etat_processus).invalidation_message_erreur |
== d_faux) |
== d_faux) |
Line 497 sequenceur(struct_processus *s_etat_proc
|
Line 499 sequenceur(struct_processus *s_etat_proc
|
/* |
/* |
-------------------------------------------------------------------------------- |
-------------------------------------------------------------------------------- |
Dans le cas où une instruction est retournée, celle-ci est évaluée. Dans le |
Dans le cas où une instruction est retournée, celle-ci est évaluée. Dans le |
cas contraire, l'interpréteur renvoie un message d'erreur et s'interrompt. |
cas contraire, l'interprète renvoie un message d'erreur et s'interrompt. |
-------------------------------------------------------------------------------- |
-------------------------------------------------------------------------------- |
*/ |
*/ |
|
|
Line 805 sequenceur(struct_processus *s_etat_proc
|
Line 807 sequenceur(struct_processus *s_etat_proc
|
|
|
(*s_etat_processus).erreur_systeme = d_es; |
(*s_etat_processus).erreur_systeme = d_es; |
recherche_type(s_etat_processus); |
recherche_type(s_etat_processus); |
|
|
|
if ((*s_etat_processus).autorisation_nom_implicite == 'N') |
|
{ |
|
if ((*s_etat_processus).l_base_pile == NULL) |
|
{ |
|
(*s_etat_processus).erreur_execution = |
|
d_ex_manque_argument; |
|
} |
|
else if ((*(*(*s_etat_processus).l_base_pile).donnee) |
|
.type == NOM) |
|
{ |
|
if ((*((struct_nom *) (*(*(*s_etat_processus) |
|
.l_base_pile).donnee).objet)).symbole |
|
== d_faux) |
|
{ |
|
(*s_etat_processus).erreur_execution = |
|
d_ex_nom_implicite; |
|
|
|
// Si le niveau de récursivité est non nul, on |
|
// arrive ici depuis la fonction |
|
// recherche_type(). On retourne à cette |
|
// dernière en indiquant une erreur. |
|
|
|
if ((*s_etat_processus).niveau_recursivite != 0) |
|
{ |
|
free((*s_etat_processus) |
|
.instruction_courante); |
|
return(d_erreur); |
|
} |
|
} |
|
} |
|
} |
|
|
|
// Le séquenceur est appelé depuis la routine d'évaluation |
|
|
|
if ((*s_etat_processus).evaluation_forcee == 'Y') |
|
{ |
|
if (depilement(s_etat_processus, |
|
&((*s_etat_processus).l_base_pile), |
|
&s_objet_evaluation) == d_erreur) |
|
{ |
|
(*s_etat_processus).erreur_execution = |
|
d_ex_manque_argument; |
|
return(d_erreur); |
|
} |
|
|
|
if (evaluation(s_etat_processus, s_objet_evaluation, |
|
'N') == d_erreur) |
|
{ |
|
liberation(s_etat_processus, s_objet_evaluation); |
|
return(d_erreur); |
|
} |
|
|
|
liberation(s_etat_processus, s_objet_evaluation); |
|
} |
} |
} |
} |
} |
else if (((*s_etat_processus).test_instruction == 'Y') && |
else if (((*s_etat_processus).test_instruction == 'Y') && |
Line 829 sequenceur(struct_processus *s_etat_proc
|
Line 886 sequenceur(struct_processus *s_etat_proc
|
!= 0) && (strcmp((*s_etat_processus) |
!= 0) && (strcmp((*s_etat_processus) |
.instruction_courante, ">>") != 0)) |
.instruction_courante, ">>") != 0)) |
{ |
{ |
if ((s_objet = (struct_objet *) malloc( |
if ((s_objet = allocation(s_etat_processus, FCT)) == NULL) |
sizeof(struct_objet))) == NULL) |
|
{ |
|
(*s_etat_processus).erreur_systeme = |
|
d_es_allocation_memoire; |
|
return(d_erreur); |
|
} |
|
|
|
initialisation_objet(s_objet); |
|
(*s_objet).type = FCT; |
|
|
|
if (((*s_objet).objet = allocation(s_etat_processus, FCT)) |
|
== NULL) |
|
{ |
{ |
(*s_etat_processus).erreur_systeme = |
(*s_etat_processus).erreur_systeme = |
d_es_allocation_memoire; |
d_es_allocation_memoire; |
Line 1045 sequenceur(struct_processus *s_etat_proc
|
Line 1090 sequenceur(struct_processus *s_etat_proc
|
erreur = d_absence_erreur; |
erreur = d_absence_erreur; |
} |
} |
} |
} |
|
else if ((*s_etat_processus).recherche_type == 'Y') |
|
{ |
|
erreur = d_erreur; |
|
} |
else if ((*s_etat_processus).arret_si_exception == d_vrai) |
else if ((*s_etat_processus).arret_si_exception == d_vrai) |
{ |
{ |
drapeau_fin = d_faux; |
drapeau_fin = d_faux; |