rpl/src/bibliotheques_externes.c - diff

Return to bibliotheques_externes.c CVS log

Up to [local] / rpl / src

version 1.14, 2010/07/14 14:19:33	version 1.31, 2011/07/22 07:38:34
Line 1	Line 1
/*	/*
================================================================================	================================================================================
RPL/2 (R) version 4.0.18	RPL/2 (R) version 4.1.1
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"

static pthread_mutex_t mutex = PTHREAD_MUTEX_INITIALIZER;	static pthread_mutex_t mutex = PTHREAD_MUTEX_INITIALIZER;

Line 1667 tri_base_symboles_externes(struct_proces	Line 1667 tri_base_symboles_externes(struct_proces
do	do
{	{
indice_i = indice_j;	indice_i = indice_j;

terminaison_boucle_3 = d_faux;	terminaison_boucle_3 = d_faux;

do	do
Line 1761 tri_base_symboles_externes(struct_proces	Line 1760 tri_base_symboles_externes(struct_proces

indice_i++;	indice_i++;
} while((unsigned long) (indice_i + 1) <	} while((unsigned long) (indice_i + 1) <
(*s_etat_processus).nombre_variables);	(*s_etat_processus).nombre_instructions_externes);

return;	return;
}	}