/*
================================================================================
  RPL/2 (R) version 4.0.18
  Copyright (C) 1989-2010 Dr. BERTRAND Joël

  This file is part of RPL/2.

  RPL/2 is free software; you can redistribute it and/or modify it
  under the terms of the CeCILL V2 License as published by the french
  CEA, CNRS and INRIA.
 
  RPL/2 is distributed in the hope that it will be useful, but WITHOUT
  ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
  FITNESS FOR A PARTICULAR PURPOSE.  See the CeCILL V2 License
  for more details.
 
  You should have received a copy of the CeCILL License
  along with RPL/2. If not, write to info@cecill.info.
================================================================================
*/


#include "rpl.conv.h"


/*
================================================================================
  Fonction 'exsub'
================================================================================
  Entrées :
--------------------------------------------------------------------------------
  Sorties :
--------------------------------------------------------------------------------
  Effets de bord : néant
================================================================================
*/

void
instruction_exsub(struct_processus *s_etat_processus)
{
	integer8						position;

	struct_liste_chainee			*l_element_courant;
	struct_liste_chainee			*ptr_1;
	struct_liste_chainee			*ptr_2;
	struct_liste_chainee			*ptr_3;

	struct_objet					*s_copie_argument_1;
	struct_objet					*s_copie_argument_4;
	struct_objet					*s_objet_argument_1;
	struct_objet					*s_objet_argument_2;
	struct_objet					*s_objet_argument_3;
	struct_objet					*s_objet_argument_4;

	unsigned char					*registre_definitions_chainees;
	unsigned char					*registre_instruction_courante;

	unsigned long					position_courante;

	(*s_etat_processus).erreur_execution = d_ex;

	if ((*s_etat_processus).affichage_arguments == 'Y')
	{
		printf("\n  EXSUB ");

		if ((*s_etat_processus).langue == 'F')
		{
			printf("(substitution d'expression)\n\n");
		}
		else
		{
			printf("(expression substitution)\n\n");
		}

		printf("    4: %s\n", d_RPN);
		printf("    3: %s\n", d_INT);
		printf("    2: %s\n", d_INT);
		printf("    1: %s\n", d_LST);
		printf("->  1: %s\n", d_RPN);

		return;
	}
	else if ((*s_etat_processus).test_instruction == 'Y')
	{
		(*s_etat_processus).nombre_arguments = -1;
		return;
	}

	if (test_cfsf(s_etat_processus, 31) == d_vrai)
	{
		if (empilement_pile_last(s_etat_processus, 4) == d_erreur)
		{
			return;
		}
	}

	if (depilement(s_etat_processus, &((*s_etat_processus).l_base_pile),
			&s_objet_argument_1) == d_erreur)
	{
		(*s_etat_processus).erreur_execution = d_ex_manque_argument;
		return;
	}

	if (depilement(s_etat_processus, &((*s_etat_processus).l_base_pile),
			&s_objet_argument_2) == d_erreur)
	{
		liberation(s_etat_processus, s_objet_argument_1);

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

	if (depilement(s_etat_processus, &((*s_etat_processus).l_base_pile),
			&s_objet_argument_3) == d_erreur)
	{
		liberation(s_etat_processus, s_objet_argument_1);
		liberation(s_etat_processus, s_objet_argument_2);

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

	if (depilement(s_etat_processus, &((*s_etat_processus).l_base_pile),
			&s_objet_argument_4) == d_erreur)
	{
		liberation(s_etat_processus, s_objet_argument_1);
		liberation(s_etat_processus, s_objet_argument_2);
		liberation(s_etat_processus, s_objet_argument_3);

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

	if (((*s_objet_argument_1).type == LST) &&
			((*s_objet_argument_2).type == INT) &&
			((*s_objet_argument_3).type == INT) &&
			((*s_objet_argument_4).type == RPN))
	{
		if ((*((integer8 *) (*s_objet_argument_3).objet)) <= 0)
		{
			liberation(s_etat_processus, s_objet_argument_1);
			liberation(s_etat_processus, s_objet_argument_2);
			liberation(s_etat_processus, s_objet_argument_3);
			liberation(s_etat_processus, s_objet_argument_4);

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

		if ((*((integer8 *) (*s_objet_argument_3).objet)) >
				(*((integer8 *) (*s_objet_argument_2).objet)))
		{
			liberation(s_etat_processus, s_objet_argument_1);
			liberation(s_etat_processus, s_objet_argument_2);
			liberation(s_etat_processus, s_objet_argument_3);
			liberation(s_etat_processus, s_objet_argument_4);

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

		if ((s_copie_argument_1 = copie_objet(s_etat_processus,
				s_objet_argument_1, 'N')) == NULL)
		{
			(*s_etat_processus).erreur_systeme = d_es_allocation_memoire;
			return;
		}

		liberation(s_etat_processus, s_objet_argument_1);
		s_objet_argument_1 = s_copie_argument_1;

		if ((s_copie_argument_4 = copie_objet(s_etat_processus,
				s_objet_argument_4, 'N')) == NULL)
		{
			(*s_etat_processus).erreur_systeme = d_es_allocation_memoire;
			return;
		}

		liberation(s_etat_processus, s_objet_argument_4);
		s_objet_argument_4 = s_copie_argument_4;

		l_element_courant = (*s_objet_argument_4).objet;
		position = 1;

		/*
		 * ptr_1 : premier élément à substituer
		 * ptr_2 : dernier élément à substituer
		 */

		ptr_1 = NULL;
		ptr_2 = NULL;

		while(l_element_courant != NULL)
		{
			if (position == (*((integer8 *) (*s_objet_argument_3).objet)))
			{
				ptr_1 = l_element_courant;
			}

			if (position == (*((integer8 *) (*s_objet_argument_2).objet)))
			{
				ptr_2 = (*l_element_courant).suivant;
				(*l_element_courant).suivant = NULL;
				break;
			}

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

		if (l_element_courant != NULL)
		{	
			/*
			 * Substitution
			 */

			/*
			 * ptr_3 : objet de substitution
			 * ptr_1 : contient maintenant l'objet allant être substitué
			 * et terminé par un NULL donc libérable par liberation().
			 */

			ptr_3 = (*s_objet_argument_1).objet;
			(*s_objet_argument_1).objet = ptr_1;

			l_element_courant = (*s_objet_argument_4).objet;

			if (l_element_courant == NULL)
			{
				(*s_objet_argument_4).objet = ptr_3;

				if ((*s_objet_argument_4).objet == NULL)
				{
					(*s_objet_argument_4).objet = ptr_2;
				}
				else
				{
					l_element_courant = (*s_objet_argument_4).objet;

					while((*l_element_courant).suivant != NULL)
					{
						l_element_courant = (*l_element_courant).suivant;
					}

					(*l_element_courant).suivant = ptr_2;
				}
			}
			else
			{
				if ((*((integer8 *) (*s_objet_argument_3).objet)) == 1)
				{
					(*s_objet_argument_4).objet = ptr_3;
					l_element_courant = (*s_objet_argument_4).objet;
				}
				else
				{
					position = 1;

					while((*l_element_courant).suivant != NULL)
					{
						position++;

						if (position == (*((integer8 *) (*s_objet_argument_3)
								.objet)))
						{
							break;
						}

						l_element_courant = (*l_element_courant).suivant;
					}

					(*l_element_courant).suivant = ptr_3;
				}

				if ((*l_element_courant).suivant == NULL)
				{
					(*l_element_courant).suivant = ptr_2;
				}
				else
				{
					while((*l_element_courant).suivant != NULL)
					{
						l_element_courant = (*l_element_courant).suivant;
					}

					(*l_element_courant).suivant = ptr_2;
				}
			}

			/*
			 * Analyse de l'objet résultant de la substitution
			 */

			// Recherche de la présence d'un '<<' initial

			l_element_courant = (*s_objet_argument_4).objet;

			while(l_element_courant != NULL)
			{
				if ((*(*l_element_courant).donnee).type == FCT)
				{
					if (strcmp((*((struct_fonction *) (*(*l_element_courant)
							.donnee).objet)).nom_fonction, "<<") == 0)
					{
						break;
					}
				}

				l_element_courant = (*l_element_courant).suivant;
			}

			if (l_element_courant != (*s_objet_argument_4).objet)
			{
				liberation(s_etat_processus, s_objet_argument_1);
				liberation(s_etat_processus, s_objet_argument_2);
				liberation(s_etat_processus, s_objet_argument_3);
				liberation(s_etat_processus, s_objet_argument_4);

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

			// Analyse syntaxique

			position_courante = (*s_etat_processus).position_courante;
			registre_definitions_chainees = (*s_etat_processus)
					.definitions_chainees;
			registre_instruction_courante = (*s_etat_processus)
					.instruction_courante;

			if (((*s_etat_processus).definitions_chainees =
					formateur(s_etat_processus, 0, s_objet_argument_4))
					== NULL)
			{
				(*s_etat_processus).erreur_systeme =
						d_es_allocation_memoire;
				return;
			}

			if (analyse_syntaxique(s_etat_processus) == d_erreur)
			{
				free((*s_etat_processus).definitions_chainees);

				(*s_etat_processus).definitions_chainees =
						registre_definitions_chainees;
				(*s_etat_processus).instruction_courante =
						registre_instruction_courante;
				(*s_etat_processus).position_courante =
						position_courante;

				liberation(s_etat_processus, s_objet_argument_1);
				liberation(s_etat_processus, s_objet_argument_2);
				liberation(s_etat_processus, s_objet_argument_3);
				liberation(s_etat_processus, s_objet_argument_4);

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

			free((*s_etat_processus).definitions_chainees);

			(*s_etat_processus).definitions_chainees =
					registre_definitions_chainees;
			(*s_etat_processus).instruction_courante =
					registre_instruction_courante;
			(*s_etat_processus).position_courante =
					position_courante;
		}
		else
		{
			liberation(s_etat_processus, s_objet_argument_1);
			liberation(s_etat_processus, s_objet_argument_2);
			liberation(s_etat_processus, s_objet_argument_3);
			liberation(s_etat_processus, s_objet_argument_4);

			(*s_etat_processus).erreur_execution = d_ex_element_inexistant;
			return;
		}
	}
	else
	{
		liberation(s_etat_processus, s_objet_argument_1);
		liberation(s_etat_processus, s_objet_argument_2);
		liberation(s_etat_processus, s_objet_argument_3);
		liberation(s_etat_processus, s_objet_argument_4);

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

	liberation(s_etat_processus, s_objet_argument_1);
	liberation(s_etat_processus, s_objet_argument_2);
	liberation(s_etat_processus, s_objet_argument_3);

	if (empilement(s_etat_processus, &((*s_etat_processus).l_base_pile),
			s_objet_argument_4) == d_erreur)
	{
		return;
	}

	return;
}


/*
================================================================================
  Fonction 'exget'
================================================================================
  Entrées :
--------------------------------------------------------------------------------
  Sorties :
--------------------------------------------------------------------------------
  Effets de bord : néant
================================================================================
*/

void
instruction_exget(struct_processus *s_etat_processus)
{
	struct_liste_chainee			*l_element_courant;
	struct_liste_chainee			*l_element_suivant;

	struct_objet					*s_copie_argument_3;
	struct_objet					*s_objet_argument_1;
	struct_objet					*s_objet_argument_2;
	struct_objet					*s_objet_argument_3;

	signed long						position;

	(*s_etat_processus).erreur_execution = d_ex;

	if ((*s_etat_processus).affichage_arguments == 'Y')
	{
		printf("\n  EXGET ");

		if ((*s_etat_processus).langue == 'F')
		{
			printf("(extraction d'une expression)\n\n");
		}
		else
		{
			printf("(get expression)\n\n");
		}

		printf("    3: %s\n", d_RPN);
		printf("    2: %s\n", d_INT);
		printf("    1: %s\n", d_INT);
		printf("->  1: %s\n", d_LST);

		return;
	}
	else if ((*s_etat_processus).test_instruction == 'Y')
	{
		(*s_etat_processus).nombre_arguments = -1;
		return;
	}

	if (test_cfsf(s_etat_processus, 31) == d_vrai)
	{
		if (empilement_pile_last(s_etat_processus, 3) == d_erreur)
		{
			return;
		}
	}

	if (depilement(s_etat_processus, &((*s_etat_processus).l_base_pile),
			&s_objet_argument_1) == d_erreur)
	{
		(*s_etat_processus).erreur_execution = d_ex_manque_argument;
		return;
	}

	if (depilement(s_etat_processus, &((*s_etat_processus).l_base_pile),
			&s_objet_argument_2) == d_erreur)
	{
		liberation(s_etat_processus, s_objet_argument_1);

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

	if (depilement(s_etat_processus, &((*s_etat_processus).l_base_pile),
			&s_objet_argument_3) == d_erreur)
	{
		liberation(s_etat_processus, s_objet_argument_1);
		liberation(s_etat_processus, s_objet_argument_2);

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

	if (((*s_objet_argument_1).type == INT) &&
			((*s_objet_argument_2).type == INT) &&
			((*s_objet_argument_3).type == RPN))
	{
		if ((s_copie_argument_3 = copie_objet(s_etat_processus,
				s_objet_argument_3, 'N')) == NULL)
		{
			(*s_etat_processus).erreur_systeme = d_es_allocation_memoire;
			return;
		}

		liberation(s_etat_processus, s_objet_argument_3);
		s_objet_argument_3 = s_copie_argument_3;

		if ((*((integer8 *) (*s_objet_argument_2).objet)) <= 0)
		{
			liberation(s_etat_processus, s_objet_argument_1);
			liberation(s_etat_processus, s_objet_argument_2);
			liberation(s_etat_processus, s_objet_argument_3);

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

		if ((*((integer8 *) (*s_objet_argument_2).objet)) >
				(*((integer8 *) (*s_objet_argument_1).objet)))
		{
			liberation(s_etat_processus, s_objet_argument_1);
			liberation(s_etat_processus, s_objet_argument_2);
			liberation(s_etat_processus, s_objet_argument_3);

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

		(*s_objet_argument_3).type = LST;
		l_element_courant = (*s_objet_argument_3).objet;
		position = 1;

		while(l_element_courant != NULL)
		{
			if (position == (*((integer8 *) (*s_objet_argument_2).objet)))
			{
				(*s_objet_argument_3).objet = l_element_courant;
				break;
			}

			l_element_suivant = (*l_element_courant).suivant;
			liberation(s_etat_processus, (*l_element_courant).donnee);
			free(l_element_courant);
			l_element_courant = l_element_suivant;

			position++;
		}

		if (position != (*((integer8 *) (*s_objet_argument_2).objet)))
		{
			liberation(s_etat_processus, s_objet_argument_1);
			liberation(s_etat_processus, s_objet_argument_2);
			liberation(s_etat_processus, s_objet_argument_3);

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

		while(l_element_courant != NULL)
		{
			l_element_suivant = (*l_element_courant).suivant;

			if (position == (*((integer8 *) (*s_objet_argument_1).objet)))
			{
				(*l_element_courant).suivant = NULL;
				l_element_courant = l_element_suivant;

				while(l_element_courant != NULL)
				{
					l_element_suivant = (*l_element_courant).suivant;
					liberation(s_etat_processus, (*l_element_courant).donnee);
					free(l_element_courant);
					l_element_courant = l_element_suivant;
				}

				break;
			}

			l_element_courant = l_element_suivant;
			position++;
		}

		if (position != (*((integer8 *) (*s_objet_argument_1).objet)))
		{
			liberation(s_etat_processus, s_objet_argument_1);
			liberation(s_etat_processus, s_objet_argument_2);
			liberation(s_etat_processus, s_objet_argument_3);

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

		/*
		 * Vérification de la cohérence de l'expression. Nous ne devons avoir
		 * ni '<<' ni '>>.
		 */

		l_element_courant = (*s_objet_argument_3).objet;

		while(l_element_courant != NULL)
		{
			if ((*(*l_element_courant).donnee).type == FCT)
			{
				if ((strcmp((*((struct_fonction *) (*(*l_element_courant)
						.donnee).objet)).nom_fonction, "<<") == 0) ||
						(strcmp((*((struct_fonction *) (*(*l_element_courant)
						.donnee).objet)).nom_fonction, ">>") == 0))
				{
					liberation(s_etat_processus, s_objet_argument_1);
					liberation(s_etat_processus, s_objet_argument_2);
					liberation(s_etat_processus, s_objet_argument_3);

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

			l_element_courant = (*l_element_courant).suivant;
		}
	}
	else
	{
		liberation(s_etat_processus, s_objet_argument_1);
		liberation(s_etat_processus, s_objet_argument_2);
		liberation(s_etat_processus, s_objet_argument_3);

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

	liberation(s_etat_processus, s_objet_argument_1);
	liberation(s_etat_processus, s_objet_argument_2);

	if (empilement(s_etat_processus, &((*s_etat_processus).l_base_pile),
			s_objet_argument_3) == d_erreur)
	{
		return;
	}

	return;
}

// vim: ts=4