rpl/src/instructions_v1.c - diff

Return to instructions_v1.c CVS log

Up to [local] / rpl / src

Diff for /rpl/src/instructions_v1.c between versions 1.1.1.1 and 1.20

version 1.1.1.1, 2010/01/26 15:22:44	version 1.20, 2011/06/19 17:48:27
Line 1	Line 1
/*	/*
================================================================================	================================================================================
RPL/2 (R) version 4.0.9	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"


/*	/*
Line 38	Line 38
void	void
instruction_var(struct_processus *s_etat_processus)	instruction_var(struct_processus *s_etat_processus)
{	{
logical1 presence_variable;

long i;

struct_objet *s_objet_statistique;	struct_objet *s_objet_statistique;
struct_objet *s_objet_resultat;	struct_objet *s_objet_resultat;
struct_objet *s_objet_temporaire;	struct_objet *s_objet_temporaire;
Line 85 instruction_var(struct_processus *s_etat	Line 81 instruction_var(struct_processus *s_etat
* Recherche d'une variable globale référencée par SIGMA	* Recherche d'une variable globale référencée par SIGMA
*/	*/

if (recherche_variable(s_etat_processus, ds_sdat) == d_faux)	if (recherche_variable_globale(s_etat_processus, ds_sdat) == d_faux)
{	{
/*	/*
* Aucune variable SIGMA	* Aucune variable SIGMA
*/	*/

(*s_etat_processus).erreur_systeme = d_es;	(*s_etat_processus).erreur_systeme = d_es;
(*s_etat_processus).erreur_execution = d_ex_absence_observations;
return;
}
else
{
/*
* Il existe une variable locale SIGMA. Reste à vérifier l'existence
* d'une variable SIGMA globale...
*/

i = (*s_etat_processus).position_variable_courante;	if ((*s_etat_processus).erreur_execution == d_ex)
presence_variable = d_faux;

while(i >= 0)
{	{
if ((strcmp((*s_etat_processus).s_liste_variables[i].nom,	(*s_etat_processus).erreur_execution = d_ex_absence_observations;
ds_sdat) == 0) && ((*s_etat_processus)
.s_liste_variables[i].niveau == 1))
{
presence_variable = d_vrai;
break;
}

i--;
}	}

if (presence_variable == d_faux)	return;
	}
	else
	{
	if (((((*s_etat_processus).pointeur_variable_courante).objet)
	.type != MIN) && ((((*s_etat_processus)
	.pointeur_variable_courante).objet).type != MRL))
{	{
(*s_etat_processus).erreur_execution = d_ex_absence_observations;	(*s_etat_processus).erreur_execution =
	d_ex_matrice_statistique_invalide;
return;	return;
}	}
else
{
(*s_etat_processus).position_variable_courante = i;

if ((*s_etat_processus).s_liste_variables[i].objet == NULL)
{
(*s_etat_processus).erreur_execution = d_ex_variable_partagee;
return;
}

if (((((s_etat_processus).s_liste_variables	nombre_colonnes = (((struct_matrice ) (((*s_etat_processus)
[(*s_etat_processus).position_variable_courante].objet))	.pointeur_variable_courante).objet).objet))
.type != MIN) && ((((s_etat_processus)	.nombre_colonnes;
.s_liste_variables[(*s_etat_processus)
.position_variable_courante].objet)).type != MRL))
{
(*s_etat_processus).erreur_execution =
d_ex_matrice_statistique_invalide;
return;
}

nombre_colonnes = (((struct_matrice ) (((s_etat_processus)
.s_liste_variables[(*s_etat_processus)
.position_variable_courante].objet)).objet))
.nombre_colonnes;
}
}	}

s_objet_statistique = ((*s_etat_processus).s_liste_variables	s_objet_statistique = ((s_etat_processus).pointeur_variable_courante)
[(*s_etat_processus).position_variable_courante]).objet;	.objet;

if (((*s_objet_statistique).type == MIN) \|\|	if (((*s_objet_statistique).type == MIN) \|\|
((*s_objet_statistique).type == MRL))	((*s_objet_statistique).type == MRL))
Line 959 instruction_version(struct_processus *s_	Line 920 instruction_version(struct_processus *s_
void	void
instruction_vars(struct_processus *s_etat_processus)	instruction_vars(struct_processus *s_etat_processus)
{	{
	int i;
	int nb_variables;

logical1 variable_partagee;	logical1 variable_partagee;

struct_liste_chainee *l_element_courant;	struct_liste_chainee *l_element_courant;
Line 966 instruction_vars(struct_processus *s_eta	Line 930 instruction_vars(struct_processus *s_eta

struct_objet *s_objet_resultat;	struct_objet *s_objet_resultat;

unsigned long i;	struct_tableau_variables *tableau;

(*s_etat_processus).erreur_execution = d_ex;	(*s_etat_processus).erreur_execution = d_ex;

Line 1010 instruction_vars(struct_processus *s_eta	Line 974 instruction_vars(struct_processus *s_eta
(*s_objet_resultat).objet = NULL;	(*s_objet_resultat).objet = NULL;
l_element_precedent = NULL;	l_element_precedent = NULL;

for(i = 0; i < (*s_etat_processus).nombre_variables; i++)	nb_variables = nombre_variables(s_etat_processus,
	(*s_etat_processus).s_arbre_variables);

	if ((tableau = malloc(nb_variables * sizeof(struct_tableau_variables)))
	== NULL)
	{
	(*s_etat_processus).erreur_systeme = d_es_allocation_memoire;
	return;
	}

	liste_variables(s_etat_processus, tableau, 0,
	(*s_etat_processus).s_arbre_variables);

	for(i = 0; i < nb_variables; i++)
{	{
if (l_element_precedent == NULL)	if (l_element_precedent == NULL)
{	{
Line 1060 instruction_vars(struct_processus *s_eta	Line 1037 instruction_vars(struct_processus *s_eta
* Mise en place d'un verrou si la variable est partagée.	* Mise en place d'un verrou si la variable est partagée.
*/	*/

if ((*s_etat_processus).s_liste_variables[i].objet == NULL)	if (tableau[i].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 1070 instruction_vars(struct_processus *s_eta	Line 1047 instruction_vars(struct_processus *s_eta
}	}

if (recherche_variable_partagee(s_etat_processus,	if (recherche_variable_partagee(s_etat_processus,
((*s_etat_processus).s_liste_variables[i]).nom,	tableau[i].nom, tableau[i].variable_partagee,
((*s_etat_processus).s_liste_variables[i])	tableau[i].origine) == d_faux)
.variable_partagee, ((*s_etat_processus)
.s_liste_variables[i]).origine) == d_faux)
{	{
// La variable partagée n'existe plus.	// La variable partagée n'existe plus.

Line 1122 instruction_vars(struct_processus *s_eta	Line 1097 instruction_vars(struct_processus *s_eta

if (((((struct_nom ) ((((struct_liste_chainee ) (((struct_objet *)	if (((((struct_nom ) ((((struct_liste_chainee ) (((struct_objet *)
(*l_element_courant).donnee)).objet)).donnee).objet)).nom =	(*l_element_courant).donnee)).objet)).donnee).objet)).nom =
malloc((strlen((*s_etat_processus).s_liste_variables[i].nom)	malloc((strlen(tableau[i].nom)
+ 1) * sizeof(unsigned char))) == NULL)	+ 1) * sizeof(unsigned char))) == NULL)
{	{
if (variable_partagee == d_vrai)	if (variable_partagee == d_vrai)
Line 1141 instruction_vars(struct_processus *s_eta	Line 1116 instruction_vars(struct_processus *s_eta

strcpy((((struct_nom ) ((((struct_liste_chainee *)	strcpy((((struct_nom ) ((((struct_liste_chainee *)
(((struct_objet ) (*l_element_courant).donnee)).objet))	(((struct_objet ) (*l_element_courant).donnee)).objet))
.donnee).objet)).nom, (*s_etat_processus)	.donnee).objet)).nom, tableau[i].nom);
.s_liste_variables[i].nom);

/*	/*
* Préparation du niveau	* Préparation du niveau
Line 1186 instruction_vars(struct_processus *s_eta	Line 1160 instruction_vars(struct_processus *s_eta

(((integer8 ) (((((struct_liste_chainee ) (((struct_objet )	(((integer8 ) (((((struct_liste_chainee ) (((struct_objet )
(*l_element_courant).donnee)).objet)).suivant).donnee).objet)) =	(*l_element_courant).donnee)).objet)).suivant).donnee).objet)) =
(integer8) (*s_etat_processus).s_liste_variables[i].niveau;	(integer8) tableau[i].niveau;

/*	/*
* Préparation du contenu de la variable	* Préparation du contenu de la variable
Line 1210 instruction_vars(struct_processus *s_eta	Line 1184 instruction_vars(struct_processus *s_eta
return;	return;
}	}

if ((*s_etat_processus).s_liste_variables[i].objet == NULL)	if (tableau[i].objet == NULL)
{	{
// Variable partagée	// Variable partagée

Line 1246 instruction_vars(struct_processus *s_eta	Line 1220 instruction_vars(struct_processus *s_eta

if (((((((struct_liste_chainee ) (((struct_objet )	if (((((((struct_liste_chainee ) (((struct_objet )
(*l_element_courant).donnee)).objet)).suivant).suivant)	(*l_element_courant).donnee)).objet)).suivant).suivant)
.donnee = copie_objet(s_etat_processus, (*s_etat_processus)	.donnee = copie_objet(s_etat_processus, tableau[i].objet,
.s_liste_variables[i].objet, 'P')) == NULL)	'P')) == NULL)
{	{
(*s_etat_processus).erreur_systeme = d_es_allocation_memoire;	(*s_etat_processus).erreur_systeme = d_es_allocation_memoire;
return;	return;
Line 1274 instruction_vars(struct_processus *s_eta	Line 1248 instruction_vars(struct_processus *s_eta
return;	return;
}	}

if (((*s_etat_processus).s_liste_variables[i].origine == 'P')	if ((tableau[i].origine == 'P')
? ((*s_etat_processus).s_liste_variables[i]	? (tableau[i].variable_statique.adresse != 0)
.variable_statique.adresse != 0)	: (tableau[i].variable_statique.pointeur != NULL))
: ((*s_etat_processus).s_liste_variables[i]
.variable_statique.pointeur != NULL))
{	{
if (((((((((struct_liste_chainee ) (((struct_objet )	if (((((((((struct_liste_chainee ) (((struct_objet )
(*l_element_courant).donnee)).objet)).suivant).suivant)	(*l_element_courant).donnee)).objet)).suivant).suivant)
Line 1331 instruction_vars(struct_processus *s_eta	Line 1303 instruction_vars(struct_processus *s_eta
return;	return;
}	}

if ((*s_etat_processus).s_liste_variables[i].variable_verrouillee	if (tableau[i].variable_verrouillee == d_vrai)
== d_vrai)
{	{
if ((((((((((struct_liste_chainee ) (((struct_objet *)	if ((((((((((struct_liste_chainee ) (((struct_objet *)
(*l_element_courant).donnee)).objet)).suivant).suivant)	(*l_element_courant).donnee)).objet)).suivant).suivant)
Line 1431 instruction_vars(struct_processus *s_eta	Line 1402 instruction_vars(struct_processus *s_eta
l_element_precedent = l_element_courant;	l_element_precedent = l_element_courant;
}	}

	free(tableau);

if (empilement(s_etat_processus, &((*s_etat_processus).l_base_pile),	if (empilement(s_etat_processus, &((*s_etat_processus).l_base_pile),
s_objet_resultat) == d_erreur)	s_objet_resultat) == d_erreur)
{	{
Line 1641 instruction_visit(struct_processus *s_et	Line 1614 instruction_visit(struct_processus *s_et
void	void
instruction_variable(struct_processus *s_etat_processus)	instruction_variable(struct_processus *s_etat_processus)
{	{
logical1 presence_variable;

long i;

struct_liste_chainee *l_element_courant;	struct_liste_chainee *l_element_courant;

struct_objet *s_objet;	struct_objet *s_objet;
Line 1691 instruction_variable(struct_processus *s	Line 1660 instruction_variable(struct_processus *s

if ((*s_objet).type == NOM)	if ((*s_objet).type == NOM)
{	{
if (recherche_variable(s_etat_processus, ((((struct_nom )	if (recherche_variable_globale(s_etat_processus, ((((struct_nom )
(*s_objet).objet)).nom)) == d_faux)	(*s_objet).objet)).nom)) == d_faux)
{	{
liberation(s_etat_processus, s_objet);	liberation(s_etat_processus, s_objet);
Line 1701 instruction_variable(struct_processus *s	Line 1670 instruction_variable(struct_processus *s
return;	return;
}	}

i = (*s_etat_processus).position_variable_courante;	((s_etat_processus).pointeur_variable_courante)
presence_variable = d_faux;	.variable_verrouillee = d_faux;

while(i >= 0)
{
if ((strcmp((*s_etat_processus).s_liste_variables[i].nom,
(((struct_nom ) (*s_objet).objet)).nom) == 0)
&& ((*s_etat_processus).s_liste_variables[i].niveau == 1))
{
presence_variable = d_vrai;
break;
}

i--;
}

(*s_etat_processus).position_variable_courante = i;

if (presence_variable == d_faux)
{
liberation(s_etat_processus, s_objet);

(*s_etat_processus).erreur_execution = d_ex_variable_non_definie;
return;
}

((s_etat_processus).s_liste_variables[(s_etat_processus)
.position_variable_courante]).variable_verrouillee = d_faux;
}	}
else if ((*s_objet).type == LST)	else if ((*s_objet).type == LST)
{	{
Line 1744 instruction_variable(struct_processus *s	Line 1687 instruction_variable(struct_processus *s
return;	return;
}	}

if (recherche_variable(s_etat_processus, (((struct_nom )	if (recherche_variable_globale(s_etat_processus, (((struct_nom )
((l_element_courant).donnee).objet)).nom) == d_faux)	((l_element_courant).donnee).objet)).nom) == d_faux)
{	{
liberation(s_etat_processus, s_objet);	liberation(s_etat_processus, s_objet);
Line 1755 instruction_variable(struct_processus *s	Line 1698 instruction_variable(struct_processus *s
return;	return;
}	}

i = (*s_etat_processus).position_variable_courante;	((s_etat_processus).pointeur_variable_courante)
presence_variable = d_faux;	.variable_verrouillee = d_faux;

while(i >= 0)
{
if ((strcmp((*s_etat_processus).s_liste_variables[i].nom,
(((struct_nom ) ((l_element_courant).donnee)
.objet)).nom) == 0) && ((*s_etat_processus)
.s_liste_variables[i].niveau == 1))
{
presence_variable = d_vrai;
break;
}

i--;
}

(*s_etat_processus).position_variable_courante = i;

if (presence_variable == d_faux)
{
liberation(s_etat_processus, s_objet);

(*s_etat_processus).erreur_execution =
d_ex_variable_non_definie;
return;
}

((s_etat_processus).s_liste_variables[(s_etat_processus)
.position_variable_courante]).variable_verrouillee = d_faux;

l_element_courant = (*l_element_courant).suivant;	l_element_courant = (*l_element_courant).suivant;
}	}

CVSweb interface <joel.bertrand@systella.fr>

Removed from v.1.1.1.1
changed lines
	Added in v.1.20