/*2011-01-03T15:23:18-01:00*/

/********************************************************************
 * distributeur_52_cov.c
 * 
 * generated by: plcgen 2.1.201
 ********************************************************************/

#include "cb_comp.h"
#include "cb_covs.h"
#include "iec_1131.h"

#include "distributeur_52.h"



/**************************** Variables *****************************/

CB_Index distributeur_52__num = 0;
CB_Mem_Bool *distributeur_52_energiePression;
CB_Mem_Bool *distributeur_52_tensionCmd;
CB_Mem_Bool *distributeur_52_electroTravail;
CB_Mem_Bool *distributeur_52_electroRetour;
CB_Mem_Bool *distributeur_52_flexibleTravail;
CB_Mem_Bool *distributeur_52_flexibleRetour;
CB_Mem_Bool *distributeur_52_commandeTravail;
CB_Mem_Bool *distributeur_52_commandeRetour;
CB_Mem_Int *distributeur_52_positionTiroir;
CB_Mem_Bool *distributeur_52_d_travail;
CB_Mem_Bool *distributeur_52_v_d_travail;
CB_Mem_Bool *distributeur_52_d_retour;
CB_Mem_Bool *distributeur_52_v_d_retour;

/**************************** Variables *****************************/

#define energiePression (distributeur_52_energiePression->CB_current_value)
#define tensionCmd (distributeur_52_tensionCmd->CB_current_value)
#define electroTravail (distributeur_52_electroTravail->CB_current_value)
#define electroRetour (distributeur_52_electroRetour->CB_current_value)
#define flexibleTravail (distributeur_52_flexibleTravail->CB_current_value)
#define flexibleRetour (distributeur_52_flexibleRetour->CB_current_value)
#define commandeTravail (distributeur_52_commandeTravail->CB_current_value)
#define commandeRetour (distributeur_52_commandeRetour->CB_current_value)
#define positionTiroir (distributeur_52_positionTiroir->CB_current_value)
#define d_travail (distributeur_52_d_travail->CB_current_value)
#define v_d_travail (distributeur_52_v_d_travail->CB_current_value)
#define d_retour (distributeur_52_d_retour->CB_current_value)
#define v_d_retour (distributeur_52_v_d_retour->CB_current_value)


/************************ Components offsets ************************/


/********************* Initialization function **********************/

int _bibliotheque_epo__distributeur_52_init(void)
{
	(distributeur_52_energiePression)->CB_current_value = 1; /*energiePression*/
	(distributeur_52_tensionCmd)->CB_current_value = 1; /*tensionCmd*/
	self.Bool+=4;
	self.Int+=1;


	return 0;
}


/************************ Behavior function *************************/

int bibliotheque_epo__distributeur_52(void)
{
	static char *__comp_name = "bibliotheque_epo.distributeur_52";
	if (exec_term_node(self_num)) {

		/*********************** Internals variables ************************/

		distributeur_52_positionTiroir = self.Int+0;
		distributeur_52_d_travail = self.Bool+0;
		distributeur_52_v_d_travail = self.Bool+1;
		distributeur_52_d_retour = self.Bool+2;
		distributeur_52_v_d_retour = self.Bool+3;

		/********************* Pre-conditions execution *********************/

		/*no Pre-conditions*/

		/************************ Behavior execution ************************/

		{
			/* -----------------------------------------------------------------	*/
			/* Type : Modèle de Comportement Opératif					*/
			/* Catégorie :  Preactionneurs						*/
			/* Auteur : Techniques Nouvelles d'Informatique				*/
			/* Date de révision : Octobre 2002						*/
			/* -----------------------------------------------------------------	*/
			/* Ce module représente un distributeur 5/2 pour pilotage d'un	*/
			/*	vérin à double effet.						*/
			/* -----------------------------------------------------------------	*/
			
			/* -----------------------------------------------------------------	*/
			/* Gestion des ordres de la Partie Commande				*/
			/*	s'il n'y a pas présence de la tension de commande, les		*/
			/*       électrovannes de commande ne comprennent pas l'ordre.	*/
			/*     Hypothèse de base : si les électrovannes sont excitées en	*/ 
			/*       même temps, c'est la première qui est prise en compte.	*/
			/* -----------------------------------------------------------------	*/
			if (tensionCmd) {
				if (electroTravail & ! electroRetour) positionTiroir = 1;
				if ( ! electroTravail & electroRetour) positionTiroir = 0;
			}
			
			if (tensionCmd && electroTravail) commandeTravail = 1;
			else commandeTravail = 0;
			
			if (tensionCmd && electroRetour) commandeRetour = 1;
			else commandeRetour = 0;
			
			/* -----------------------------------------------------------------	*/
			/* Calcul de l'état passant de l'énergie dans les flexibles		*/
			/*     si un défaut est demandé sur un flexible, celui-ci prend	*/
			/*	   la valeur du défaut.						*/
			/*     s'il n'y a pas présence de l'énergie d'entrainement, les	*/
			/*	   flexibles ne sont pas sous pression.				*/
			/* -----------------------------------------------------------------	*/
			if (d_travail)
				flexibleTravail = v_d_travail;
			else
				flexibleTravail = (positionTiroir==1) & energiePression;
			
			if (d_retour)
				flexibleRetour = v_d_retour;
			else
				flexibleRetour = (positionTiroir==0) & energiePression;
			
			
			
					}

		CB_post_bool(distributeur_52_flexibleTravail);
		CB_post_bool(distributeur_52_flexibleRetour);
		CB_post_bool(distributeur_52_commandeTravail);
		CB_post_bool(distributeur_52_commandeRetour);

		/******************** Post-conditions execution *********************/

		/*no Post-conditions*/
	}

	/*************************** self update ****************************/

	self.Bool += 4;
	self.Int += 1;

	return 0;
}

