matiec: stage4/generate_cc/generate_cc_sfc.cc@cee3c4e5afe2 (annotated)

17 38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	1	/*
38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	2	* (c) 2007 Mario de Sousa, Laurent Bessard
38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	3	*
38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	4	* Offered to the public under the terms of the GNU General Public License
38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	5	* as published by the Free Software Foundation; either version 2 of the
38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	6	* License, or (at your option) any later version.
38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	7	*
38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	8	* This program is distributed in the hope that it will be useful, but
38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	9	* WITHOUT ANY WARRANTY; without even the implied warranty of
38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	10	* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General
38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	11	* Public License for more details.
38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	12	*
38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	13	* This code is made available on the understanding that it will not be
38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	14	* used in safety-critical situations without a full and competent review.
38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	15	*/
38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	16
38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	17	/*
38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	18	* An IEC 61131-3 IL and ST compiler.
38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	19	*
38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	20	* Based on the
38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	21	* FINAL DRAFT - IEC 61131-3, 2nd Ed. (2001-12-10)
38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	22	*
38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	23	*/
38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	24
38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	25
38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	26	/*
38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	27	* Conversion of sfc networks (i.e. SFC code).
38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	28	*
38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	29	* This is part of the 4th stage that generates
38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	30	* a c++ source program equivalent to the SFC, IL and ST
38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	31	* code.
38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	32	*/
38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	33
38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	34
38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	35
38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	36	/***********************************************************************/
38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	37	/***********************************************************************/
38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	38	/***********************************************************************/
38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	39	/***********************************************************************/
38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	40
19 cee3c4e5afe2 Adding priority support for transitions in SFC lbessard parents: 18 diff changeset	41	class transition_element {
cee3c4e5afe2 Adding priority support for transitions in SFC lbessard parents: 18 diff changeset	42
cee3c4e5afe2 Adding priority support for transitions in SFC lbessard parents: 18 diff changeset	43	private:
cee3c4e5afe2 Adding priority support for transitions in SFC lbessard parents: 18 diff changeset	44	transition_c *transition;
cee3c4e5afe2 Adding priority support for transitions in SFC lbessard parents: 18 diff changeset	45	char priority;
cee3c4e5afe2 Adding priority support for transitions in SFC lbessard parents: 18 diff changeset	46	char index;
cee3c4e5afe2 Adding priority support for transitions in SFC lbessard parents: 18 diff changeset	47	transition_element *prev;
cee3c4e5afe2 Adding priority support for transitions in SFC lbessard parents: 18 diff changeset	48	transition_element *next;
cee3c4e5afe2 Adding priority support for transitions in SFC lbessard parents: 18 diff changeset	49
cee3c4e5afe2 Adding priority support for transitions in SFC lbessard parents: 18 diff changeset	50	public:
cee3c4e5afe2 Adding priority support for transitions in SFC lbessard parents: 18 diff changeset	51	transition_element(transition_c *tr, char pr, char idx) {
cee3c4e5afe2 Adding priority support for transitions in SFC lbessard parents: 18 diff changeset	52	transition = tr;
cee3c4e5afe2 Adding priority support for transitions in SFC lbessard parents: 18 diff changeset	53	priority = pr;
cee3c4e5afe2 Adding priority support for transitions in SFC lbessard parents: 18 diff changeset	54	index = idx;
cee3c4e5afe2 Adding priority support for transitions in SFC lbessard parents: 18 diff changeset	55	}
cee3c4e5afe2 Adding priority support for transitions in SFC lbessard parents: 18 diff changeset	56
cee3c4e5afe2 Adding priority support for transitions in SFC lbessard parents: 18 diff changeset	57	void set_prev(transition_element *tr) {prev = tr;}
cee3c4e5afe2 Adding priority support for transitions in SFC lbessard parents: 18 diff changeset	58	void set_next(transition_element *tr) {next = tr;}
cee3c4e5afe2 Adding priority support for transitions in SFC lbessard parents: 18 diff changeset	59	transition_element *get_prev(void) {return prev;}
cee3c4e5afe2 Adding priority support for transitions in SFC lbessard parents: 18 diff changeset	60	transition_element *get_next(void) {return next;}
cee3c4e5afe2 Adding priority support for transitions in SFC lbessard parents: 18 diff changeset	61	transition_c *get_transition(void) {return transition;}
cee3c4e5afe2 Adding priority support for transitions in SFC lbessard parents: 18 diff changeset	62	char get_priority(void) {return priority;}
cee3c4e5afe2 Adding priority support for transitions in SFC lbessard parents: 18 diff changeset	63	char get_index(void) {return index;}
cee3c4e5afe2 Adding priority support for transitions in SFC lbessard parents: 18 diff changeset	64	};
cee3c4e5afe2 Adding priority support for transitions in SFC lbessard parents: 18 diff changeset	65
cee3c4e5afe2 Adding priority support for transitions in SFC lbessard parents: 18 diff changeset	66
cee3c4e5afe2 Adding priority support for transitions in SFC lbessard parents: 18 diff changeset	67
cee3c4e5afe2 Adding priority support for transitions in SFC lbessard parents: 18 diff changeset	68
cee3c4e5afe2 Adding priority support for transitions in SFC lbessard parents: 18 diff changeset	69	/***********************************************************************/
cee3c4e5afe2 Adding priority support for transitions in SFC lbessard parents: 18 diff changeset	70	/***********************************************************************/
cee3c4e5afe2 Adding priority support for transitions in SFC lbessard parents: 18 diff changeset	71	/***********************************************************************/
cee3c4e5afe2 Adding priority support for transitions in SFC lbessard parents: 18 diff changeset	72	/***********************************************************************/
cee3c4e5afe2 Adding priority support for transitions in SFC lbessard parents: 18 diff changeset	73
cee3c4e5afe2 Adding priority support for transitions in SFC lbessard parents: 18 diff changeset	74	class generate_cc_sfc_transitionresetsteps_c: public generate_cc_base_c {
cee3c4e5afe2 Adding priority support for transitions in SFC lbessard parents: 18 diff changeset	75
cee3c4e5afe2 Adding priority support for transitions in SFC lbessard parents: 18 diff changeset	76	private:
cee3c4e5afe2 Adding priority support for transitions in SFC lbessard parents: 18 diff changeset	77	char transition_number;
cee3c4e5afe2 Adding priority support for transitions in SFC lbessard parents: 18 diff changeset	78
cee3c4e5afe2 Adding priority support for transitions in SFC lbessard parents: 18 diff changeset	79	public:
cee3c4e5afe2 Adding priority support for transitions in SFC lbessard parents: 18 diff changeset	80	generate_cc_sfc_transitionresetsteps_c(stage4out_c s4o_ptr, symbol_c scope, const char *variable_prefix = NULL)
cee3c4e5afe2 Adding priority support for transitions in SFC lbessard parents: 18 diff changeset	81	: generate_cc_base_c(s4o_ptr) {
cee3c4e5afe2 Adding priority support for transitions in SFC lbessard parents: 18 diff changeset	82	this->set_variable_prefix(variable_prefix);
cee3c4e5afe2 Adding priority support for transitions in SFC lbessard parents: 18 diff changeset	83	}
cee3c4e5afe2 Adding priority support for transitions in SFC lbessard parents: 18 diff changeset	84
cee3c4e5afe2 Adding priority support for transitions in SFC lbessard parents: 18 diff changeset	85	void set_transition_number(char number) {transition_number = number;}
cee3c4e5afe2 Adding priority support for transitions in SFC lbessard parents: 18 diff changeset	86	void reset_transition_number(void) {transition_number = 0;}
cee3c4e5afe2 Adding priority support for transitions in SFC lbessard parents: 18 diff changeset	87	void print_transition_number(void) {
cee3c4e5afe2 Adding priority support for transitions in SFC lbessard parents: 18 diff changeset	88	char str[10];
cee3c4e5afe2 Adding priority support for transitions in SFC lbessard parents: 18 diff changeset	89	sprintf(str, "%d", transition_number);
cee3c4e5afe2 Adding priority support for transitions in SFC lbessard parents: 18 diff changeset	90	s4o.print(str);
cee3c4e5afe2 Adding priority support for transitions in SFC lbessard parents: 18 diff changeset	91	}
cee3c4e5afe2 Adding priority support for transitions in SFC lbessard parents: 18 diff changeset	92
cee3c4e5afe2 Adding priority support for transitions in SFC lbessard parents: 18 diff changeset	93	void print_step_argument(symbol_c step_name, const char argument) {
cee3c4e5afe2 Adding priority support for transitions in SFC lbessard parents: 18 diff changeset	94	print_variable_prefix();
cee3c4e5afe2 Adding priority support for transitions in SFC lbessard parents: 18 diff changeset	95	s4o.print("step_list[");
cee3c4e5afe2 Adding priority support for transitions in SFC lbessard parents: 18 diff changeset	96	s4o.print(SFC_STEP_ACTION_PREFIX);
cee3c4e5afe2 Adding priority support for transitions in SFC lbessard parents: 18 diff changeset	97	step_name->accept(*this);
cee3c4e5afe2 Adding priority support for transitions in SFC lbessard parents: 18 diff changeset	98	s4o.print("].");
cee3c4e5afe2 Adding priority support for transitions in SFC lbessard parents: 18 diff changeset	99	s4o.print(argument);
cee3c4e5afe2 Adding priority support for transitions in SFC lbessard parents: 18 diff changeset	100	}
cee3c4e5afe2 Adding priority support for transitions in SFC lbessard parents: 18 diff changeset	101
cee3c4e5afe2 Adding priority support for transitions in SFC lbessard parents: 18 diff changeset	102	void print_reset_step(symbol_c *step_name) {
cee3c4e5afe2 Adding priority support for transitions in SFC lbessard parents: 18 diff changeset	103	s4o.print(s4o.indent_spaces);
cee3c4e5afe2 Adding priority support for transitions in SFC lbessard parents: 18 diff changeset	104	print_step_argument(step_name, "state");
cee3c4e5afe2 Adding priority support for transitions in SFC lbessard parents: 18 diff changeset	105	s4o.print(" = 0;\n" + s4o.indent_spaces);
cee3c4e5afe2 Adding priority support for transitions in SFC lbessard parents: 18 diff changeset	106	print_step_argument(step_name, "elapsed_time");
cee3c4e5afe2 Adding priority support for transitions in SFC lbessard parents: 18 diff changeset	107	s4o.print(" = __time_to_timespec(1, 0, 0, 0, 0, 0);\n");
cee3c4e5afe2 Adding priority support for transitions in SFC lbessard parents: 18 diff changeset	108	}
cee3c4e5afe2 Adding priority support for transitions in SFC lbessard parents: 18 diff changeset	109
cee3c4e5afe2 Adding priority support for transitions in SFC lbessard parents: 18 diff changeset	110	/*********************************************/
cee3c4e5afe2 Adding priority support for transitions in SFC lbessard parents: 18 diff changeset	111	/* B.1.6 Sequential function chart elements */
cee3c4e5afe2 Adding priority support for transitions in SFC lbessard parents: 18 diff changeset	112	/*********************************************/
cee3c4e5afe2 Adding priority support for transitions in SFC lbessard parents: 18 diff changeset	113
cee3c4e5afe2 Adding priority support for transitions in SFC lbessard parents: 18 diff changeset	114	void visit(initial_step_c symbol) {return NULL;}
cee3c4e5afe2 Adding priority support for transitions in SFC lbessard parents: 18 diff changeset	115
cee3c4e5afe2 Adding priority support for transitions in SFC lbessard parents: 18 diff changeset	116	void visit(step_c symbol) {return NULL;}
cee3c4e5afe2 Adding priority support for transitions in SFC lbessard parents: 18 diff changeset	117
cee3c4e5afe2 Adding priority support for transitions in SFC lbessard parents: 18 diff changeset	118	void visit(transition_c symbol) {
cee3c4e5afe2 Adding priority support for transitions in SFC lbessard parents: 18 diff changeset	119	if (symbol->integer == NULL) {
cee3c4e5afe2 Adding priority support for transitions in SFC lbessard parents: 18 diff changeset	120	s4o.print(s4o.indent_spaces + "if (");
cee3c4e5afe2 Adding priority support for transitions in SFC lbessard parents: 18 diff changeset	121	print_variable_prefix();
cee3c4e5afe2 Adding priority support for transitions in SFC lbessard parents: 18 diff changeset	122	s4o.print("transition_list[");
cee3c4e5afe2 Adding priority support for transitions in SFC lbessard parents: 18 diff changeset	123	print_transition_number();
cee3c4e5afe2 Adding priority support for transitions in SFC lbessard parents: 18 diff changeset	124	s4o.print("]) {\n");
cee3c4e5afe2 Adding priority support for transitions in SFC lbessard parents: 18 diff changeset	125	s4o.indent_right();
cee3c4e5afe2 Adding priority support for transitions in SFC lbessard parents: 18 diff changeset	126	symbol->from_steps->accept(*this);
cee3c4e5afe2 Adding priority support for transitions in SFC lbessard parents: 18 diff changeset	127	s4o.indent_left();
cee3c4e5afe2 Adding priority support for transitions in SFC lbessard parents: 18 diff changeset	128	s4o.print(s4o.indent_spaces + "}\n");
cee3c4e5afe2 Adding priority support for transitions in SFC lbessard parents: 18 diff changeset	129	}
cee3c4e5afe2 Adding priority support for transitions in SFC lbessard parents: 18 diff changeset	130	transition_number++;
cee3c4e5afe2 Adding priority support for transitions in SFC lbessard parents: 18 diff changeset	131	return NULL;
cee3c4e5afe2 Adding priority support for transitions in SFC lbessard parents: 18 diff changeset	132	}
cee3c4e5afe2 Adding priority support for transitions in SFC lbessard parents: 18 diff changeset	133
cee3c4e5afe2 Adding priority support for transitions in SFC lbessard parents: 18 diff changeset	134	void visit(steps_c symbol) {
cee3c4e5afe2 Adding priority support for transitions in SFC lbessard parents: 18 diff changeset	135	if (symbol->step_name != NULL) {
cee3c4e5afe2 Adding priority support for transitions in SFC lbessard parents: 18 diff changeset	136	print_reset_step(symbol->step_name);
cee3c4e5afe2 Adding priority support for transitions in SFC lbessard parents: 18 diff changeset	137	}
cee3c4e5afe2 Adding priority support for transitions in SFC lbessard parents: 18 diff changeset	138	if (symbol->step_name_list != NULL) {
cee3c4e5afe2 Adding priority support for transitions in SFC lbessard parents: 18 diff changeset	139	symbol->step_name_list->accept(*this);
cee3c4e5afe2 Adding priority support for transitions in SFC lbessard parents: 18 diff changeset	140	}
cee3c4e5afe2 Adding priority support for transitions in SFC lbessard parents: 18 diff changeset	141	return NULL;
cee3c4e5afe2 Adding priority support for transitions in SFC lbessard parents: 18 diff changeset	142	}
cee3c4e5afe2 Adding priority support for transitions in SFC lbessard parents: 18 diff changeset	143
cee3c4e5afe2 Adding priority support for transitions in SFC lbessard parents: 18 diff changeset	144	void visit(step_name_list_c symbol) {
cee3c4e5afe2 Adding priority support for transitions in SFC lbessard parents: 18 diff changeset	145	for(int i = 0; i < symbol->n; i++) {
cee3c4e5afe2 Adding priority support for transitions in SFC lbessard parents: 18 diff changeset	146	print_reset_step(symbol->elements[i]);
cee3c4e5afe2 Adding priority support for transitions in SFC lbessard parents: 18 diff changeset	147	}
cee3c4e5afe2 Adding priority support for transitions in SFC lbessard parents: 18 diff changeset	148	return NULL;
cee3c4e5afe2 Adding priority support for transitions in SFC lbessard parents: 18 diff changeset	149	}
cee3c4e5afe2 Adding priority support for transitions in SFC lbessard parents: 18 diff changeset	150
cee3c4e5afe2 Adding priority support for transitions in SFC lbessard parents: 18 diff changeset	151	void visit(action_c symbol) {return NULL;}
cee3c4e5afe2 Adding priority support for transitions in SFC lbessard parents: 18 diff changeset	152
cee3c4e5afe2 Adding priority support for transitions in SFC lbessard parents: 18 diff changeset	153	}; /* generate_cc_sfc_transitionresetsteps_c */
cee3c4e5afe2 Adding priority support for transitions in SFC lbessard parents: 18 diff changeset	154
cee3c4e5afe2 Adding priority support for transitions in SFC lbessard parents: 18 diff changeset	155
cee3c4e5afe2 Adding priority support for transitions in SFC lbessard parents: 18 diff changeset	156
cee3c4e5afe2 Adding priority support for transitions in SFC lbessard parents: 18 diff changeset	157
cee3c4e5afe2 Adding priority support for transitions in SFC lbessard parents: 18 diff changeset	158	/***********************************************************************/
cee3c4e5afe2 Adding priority support for transitions in SFC lbessard parents: 18 diff changeset	159	/***********************************************************************/
cee3c4e5afe2 Adding priority support for transitions in SFC lbessard parents: 18 diff changeset	160	/***********************************************************************/
cee3c4e5afe2 Adding priority support for transitions in SFC lbessard parents: 18 diff changeset	161	/***********************************************************************/
cee3c4e5afe2 Adding priority support for transitions in SFC lbessard parents: 18 diff changeset	162
cee3c4e5afe2 Adding priority support for transitions in SFC lbessard parents: 18 diff changeset	163	class generate_cc_sfc_transitionsetsteps_c: public generate_cc_base_c {
cee3c4e5afe2 Adding priority support for transitions in SFC lbessard parents: 18 diff changeset	164
cee3c4e5afe2 Adding priority support for transitions in SFC lbessard parents: 18 diff changeset	165	private:
cee3c4e5afe2 Adding priority support for transitions in SFC lbessard parents: 18 diff changeset	166	char transition_number;
cee3c4e5afe2 Adding priority support for transitions in SFC lbessard parents: 18 diff changeset	167
cee3c4e5afe2 Adding priority support for transitions in SFC lbessard parents: 18 diff changeset	168	public:
cee3c4e5afe2 Adding priority support for transitions in SFC lbessard parents: 18 diff changeset	169	generate_cc_sfc_transitionsetsteps_c(stage4out_c s4o_ptr, symbol_c scope, const char *variable_prefix = NULL)
cee3c4e5afe2 Adding priority support for transitions in SFC lbessard parents: 18 diff changeset	170	: generate_cc_base_c(s4o_ptr) {
cee3c4e5afe2 Adding priority support for transitions in SFC lbessard parents: 18 diff changeset	171	this->set_variable_prefix(variable_prefix);
cee3c4e5afe2 Adding priority support for transitions in SFC lbessard parents: 18 diff changeset	172	}
cee3c4e5afe2 Adding priority support for transitions in SFC lbessard parents: 18 diff changeset	173
cee3c4e5afe2 Adding priority support for transitions in SFC lbessard parents: 18 diff changeset	174	void reset_transition_number(void) {transition_number = 0;}
cee3c4e5afe2 Adding priority support for transitions in SFC lbessard parents: 18 diff changeset	175	void print_transition_number(void) {
cee3c4e5afe2 Adding priority support for transitions in SFC lbessard parents: 18 diff changeset	176	char str[10];
cee3c4e5afe2 Adding priority support for transitions in SFC lbessard parents: 18 diff changeset	177	sprintf(str, "%d", transition_number);
cee3c4e5afe2 Adding priority support for transitions in SFC lbessard parents: 18 diff changeset	178	s4o.print(str);
cee3c4e5afe2 Adding priority support for transitions in SFC lbessard parents: 18 diff changeset	179	}
cee3c4e5afe2 Adding priority support for transitions in SFC lbessard parents: 18 diff changeset	180
cee3c4e5afe2 Adding priority support for transitions in SFC lbessard parents: 18 diff changeset	181	void print_step_argument(symbol_c step_name, const char argument) {
cee3c4e5afe2 Adding priority support for transitions in SFC lbessard parents: 18 diff changeset	182	print_variable_prefix();
cee3c4e5afe2 Adding priority support for transitions in SFC lbessard parents: 18 diff changeset	183	s4o.print("step_list[");
cee3c4e5afe2 Adding priority support for transitions in SFC lbessard parents: 18 diff changeset	184	s4o.print(SFC_STEP_ACTION_PREFIX);
cee3c4e5afe2 Adding priority support for transitions in SFC lbessard parents: 18 diff changeset	185	step_name->accept(*this);
cee3c4e5afe2 Adding priority support for transitions in SFC lbessard parents: 18 diff changeset	186	s4o.print("].");
cee3c4e5afe2 Adding priority support for transitions in SFC lbessard parents: 18 diff changeset	187	s4o.print(argument);
cee3c4e5afe2 Adding priority support for transitions in SFC lbessard parents: 18 diff changeset	188	}
cee3c4e5afe2 Adding priority support for transitions in SFC lbessard parents: 18 diff changeset	189
cee3c4e5afe2 Adding priority support for transitions in SFC lbessard parents: 18 diff changeset	190	void print_set_step(symbol_c *step_name) {
cee3c4e5afe2 Adding priority support for transitions in SFC lbessard parents: 18 diff changeset	191	s4o.print(s4o.indent_spaces);
cee3c4e5afe2 Adding priority support for transitions in SFC lbessard parents: 18 diff changeset	192	print_step_argument(step_name, "state");
cee3c4e5afe2 Adding priority support for transitions in SFC lbessard parents: 18 diff changeset	193	s4o.print(" = 1;\n");
cee3c4e5afe2 Adding priority support for transitions in SFC lbessard parents: 18 diff changeset	194	}
cee3c4e5afe2 Adding priority support for transitions in SFC lbessard parents: 18 diff changeset	195
cee3c4e5afe2 Adding priority support for transitions in SFC lbessard parents: 18 diff changeset	196	/*********************************************/
cee3c4e5afe2 Adding priority support for transitions in SFC lbessard parents: 18 diff changeset	197	/* B.1.6 Sequential function chart elements */
cee3c4e5afe2 Adding priority support for transitions in SFC lbessard parents: 18 diff changeset	198	/*********************************************/
cee3c4e5afe2 Adding priority support for transitions in SFC lbessard parents: 18 diff changeset	199
cee3c4e5afe2 Adding priority support for transitions in SFC lbessard parents: 18 diff changeset	200	void visit(initial_step_c symbol) {return NULL;}
cee3c4e5afe2 Adding priority support for transitions in SFC lbessard parents: 18 diff changeset	201
cee3c4e5afe2 Adding priority support for transitions in SFC lbessard parents: 18 diff changeset	202	void visit(step_c symbol) {return NULL;}
cee3c4e5afe2 Adding priority support for transitions in SFC lbessard parents: 18 diff changeset	203
cee3c4e5afe2 Adding priority support for transitions in SFC lbessard parents: 18 diff changeset	204	void visit(transition_c symbol) {
cee3c4e5afe2 Adding priority support for transitions in SFC lbessard parents: 18 diff changeset	205	s4o.print(s4o.indent_spaces + "if (");
cee3c4e5afe2 Adding priority support for transitions in SFC lbessard parents: 18 diff changeset	206	print_variable_prefix();
cee3c4e5afe2 Adding priority support for transitions in SFC lbessard parents: 18 diff changeset	207	s4o.print("transition_list[");
cee3c4e5afe2 Adding priority support for transitions in SFC lbessard parents: 18 diff changeset	208	print_transition_number();
cee3c4e5afe2 Adding priority support for transitions in SFC lbessard parents: 18 diff changeset	209	s4o.print("]) {\n");
cee3c4e5afe2 Adding priority support for transitions in SFC lbessard parents: 18 diff changeset	210	s4o.indent_right();
cee3c4e5afe2 Adding priority support for transitions in SFC lbessard parents: 18 diff changeset	211	symbol->to_steps->accept(*this);
cee3c4e5afe2 Adding priority support for transitions in SFC lbessard parents: 18 diff changeset	212	s4o.indent_left();
cee3c4e5afe2 Adding priority support for transitions in SFC lbessard parents: 18 diff changeset	213	s4o.print(s4o.indent_spaces + "}\n");
cee3c4e5afe2 Adding priority support for transitions in SFC lbessard parents: 18 diff changeset	214	transition_number++;
cee3c4e5afe2 Adding priority support for transitions in SFC lbessard parents: 18 diff changeset	215	return NULL;
cee3c4e5afe2 Adding priority support for transitions in SFC lbessard parents: 18 diff changeset	216	}
cee3c4e5afe2 Adding priority support for transitions in SFC lbessard parents: 18 diff changeset	217
cee3c4e5afe2 Adding priority support for transitions in SFC lbessard parents: 18 diff changeset	218	void visit(steps_c symbol) {
cee3c4e5afe2 Adding priority support for transitions in SFC lbessard parents: 18 diff changeset	219	if (symbol->step_name != NULL) {
cee3c4e5afe2 Adding priority support for transitions in SFC lbessard parents: 18 diff changeset	220	print_set_step(symbol->step_name);
cee3c4e5afe2 Adding priority support for transitions in SFC lbessard parents: 18 diff changeset	221	}
cee3c4e5afe2 Adding priority support for transitions in SFC lbessard parents: 18 diff changeset	222	if (symbol->step_name_list != NULL) {
cee3c4e5afe2 Adding priority support for transitions in SFC lbessard parents: 18 diff changeset	223	symbol->step_name_list->accept(*this);
cee3c4e5afe2 Adding priority support for transitions in SFC lbessard parents: 18 diff changeset	224	}
cee3c4e5afe2 Adding priority support for transitions in SFC lbessard parents: 18 diff changeset	225	return NULL;
cee3c4e5afe2 Adding priority support for transitions in SFC lbessard parents: 18 diff changeset	226	}
cee3c4e5afe2 Adding priority support for transitions in SFC lbessard parents: 18 diff changeset	227
cee3c4e5afe2 Adding priority support for transitions in SFC lbessard parents: 18 diff changeset	228	void visit(step_name_list_c symbol) {
cee3c4e5afe2 Adding priority support for transitions in SFC lbessard parents: 18 diff changeset	229	for(int i = 0; i < symbol->n; i++) {
cee3c4e5afe2 Adding priority support for transitions in SFC lbessard parents: 18 diff changeset	230	print_set_step(symbol->elements[i]);
cee3c4e5afe2 Adding priority support for transitions in SFC lbessard parents: 18 diff changeset	231	}
cee3c4e5afe2 Adding priority support for transitions in SFC lbessard parents: 18 diff changeset	232	return NULL;
cee3c4e5afe2 Adding priority support for transitions in SFC lbessard parents: 18 diff changeset	233	}
cee3c4e5afe2 Adding priority support for transitions in SFC lbessard parents: 18 diff changeset	234
cee3c4e5afe2 Adding priority support for transitions in SFC lbessard parents: 18 diff changeset	235	void visit(action_c symbol) {return NULL;}
cee3c4e5afe2 Adding priority support for transitions in SFC lbessard parents: 18 diff changeset	236
cee3c4e5afe2 Adding priority support for transitions in SFC lbessard parents: 18 diff changeset	237	}; /* generate_cc_sfc_transitionsetsteps_c */
cee3c4e5afe2 Adding priority support for transitions in SFC lbessard parents: 18 diff changeset	238
cee3c4e5afe2 Adding priority support for transitions in SFC lbessard parents: 18 diff changeset	239
cee3c4e5afe2 Adding priority support for transitions in SFC lbessard parents: 18 diff changeset	240
cee3c4e5afe2 Adding priority support for transitions in SFC lbessard parents: 18 diff changeset	241
cee3c4e5afe2 Adding priority support for transitions in SFC lbessard parents: 18 diff changeset	242	/***********************************************************************/
cee3c4e5afe2 Adding priority support for transitions in SFC lbessard parents: 18 diff changeset	243	/***********************************************************************/
cee3c4e5afe2 Adding priority support for transitions in SFC lbessard parents: 18 diff changeset	244	/***********************************************************************/
cee3c4e5afe2 Adding priority support for transitions in SFC lbessard parents: 18 diff changeset	245	/***********************************************************************/
cee3c4e5afe2 Adding priority support for transitions in SFC lbessard parents: 18 diff changeset	246
17 38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	247	class generate_cc_sfc_transitiontest_c: public generate_cc_base_c {
38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	248
38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	249	private:
18 e6af5eb5f546 SFC generator improved lbessard parents: 17 diff changeset	250	char transition_number;
e6af5eb5f546 SFC generator improved lbessard parents: 17 diff changeset	251
e6af5eb5f546 SFC generator improved lbessard parents: 17 diff changeset	252	private:
17 38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	253	generate_cc_il_c *generate_cc_il;
38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	254	generate_cc_st_c *generate_cc_st;
19 cee3c4e5afe2 Adding priority support for transitions in SFC lbessard parents: 18 diff changeset	255	generate_cc_sfc_transitionresetsteps_c *generate_cc_sfc_transitionresetsteps;
17 38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	256
38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	257	public:
38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	258	generate_cc_sfc_transitiontest_c(stage4out_c s4o_ptr, symbol_c scope, const char *variable_prefix = NULL)
38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	259	: generate_cc_base_c(s4o_ptr) {
38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	260	generate_cc_il = new generate_cc_il_c(s4o_ptr, scope, variable_prefix);
38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	261	generate_cc_st = new generate_cc_st_c(s4o_ptr, scope, variable_prefix);
19 cee3c4e5afe2 Adding priority support for transitions in SFC lbessard parents: 18 diff changeset	262	generate_cc_sfc_transitionresetsteps = new generate_cc_sfc_transitionresetsteps_c(s4o_ptr, scope, variable_prefix);
17 38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	263	this->set_variable_prefix(variable_prefix);
38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	264	}
38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	265
38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	266	~generate_cc_sfc_transitiontest_c(void) {
38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	267	delete generate_cc_il;
38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	268	delete generate_cc_st;
19 cee3c4e5afe2 Adding priority support for transitions in SFC lbessard parents: 18 diff changeset	269	delete generate_cc_sfc_transitionresetsteps;
cee3c4e5afe2 Adding priority support for transitions in SFC lbessard parents: 18 diff changeset	270	}
cee3c4e5afe2 Adding priority support for transitions in SFC lbessard parents: 18 diff changeset	271
cee3c4e5afe2 Adding priority support for transitions in SFC lbessard parents: 18 diff changeset	272	void set_transition_number(char number) {transition_number = number;}
18 e6af5eb5f546 SFC generator improved lbessard parents: 17 diff changeset	273	void print_transition_number(void) {
e6af5eb5f546 SFC generator improved lbessard parents: 17 diff changeset	274	char str[10];
e6af5eb5f546 SFC generator improved lbessard parents: 17 diff changeset	275	sprintf(str, "%d", transition_number);
e6af5eb5f546 SFC generator improved lbessard parents: 17 diff changeset	276	s4o.print(str);
e6af5eb5f546 SFC generator improved lbessard parents: 17 diff changeset	277	}
e6af5eb5f546 SFC generator improved lbessard parents: 17 diff changeset	278
17 38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	279	void print_step_argument(symbol_c step_name, const char argument) {
38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	280	print_variable_prefix();
38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	281	s4o.print("step_list[");
18 e6af5eb5f546 SFC generator improved lbessard parents: 17 diff changeset	282	s4o.print(SFC_STEP_ACTION_PREFIX);
17 38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	283	step_name->accept(*this);
38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	284	s4o.print("].");
38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	285	s4o.print(argument);
38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	286	}
38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	287
19 cee3c4e5afe2 Adding priority support for transitions in SFC lbessard parents: 18 diff changeset	288	void print_reset_step(symbol_c *step_name) {
cee3c4e5afe2 Adding priority support for transitions in SFC lbessard parents: 18 diff changeset	289	s4o.print(s4o.indent_spaces);
cee3c4e5afe2 Adding priority support for transitions in SFC lbessard parents: 18 diff changeset	290	print_step_argument(step_name, "state");
cee3c4e5afe2 Adding priority support for transitions in SFC lbessard parents: 18 diff changeset	291	s4o.print(" = 0;\n" + s4o.indent_spaces);
cee3c4e5afe2 Adding priority support for transitions in SFC lbessard parents: 18 diff changeset	292	print_step_argument(step_name, "elapsed_time");
cee3c4e5afe2 Adding priority support for transitions in SFC lbessard parents: 18 diff changeset	293	s4o.print(" = __time_to_timespec(1, 0, 0, 0, 0, 0);\n");
cee3c4e5afe2 Adding priority support for transitions in SFC lbessard parents: 18 diff changeset	294	}
cee3c4e5afe2 Adding priority support for transitions in SFC lbessard parents: 18 diff changeset	295
17 38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	296	/*********************************************/
38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	297	/* B.1.6 Sequential function chart elements */
38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	298	/*********************************************/
38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	299
38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	300	void visit(transition_c symbol) {
38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	301	s4o.print(s4o.indent_spaces + "if (");
18 e6af5eb5f546 SFC generator improved lbessard parents: 17 diff changeset	302	symbol->from_steps->accept(*this);
17 38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	303	s4o.print(") {\n");
38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	304	s4o.indent_right();
38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	305
38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	306	// Calculate transition value
38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	307	if (symbol->transition_condition_il != NULL) {
38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	308	generate_cc_il->declare_backup_variable();
38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	309	s4o.print(s4o.indent_spaces);
38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	310	symbol->transition_condition_il->accept(*generate_cc_il);
18 e6af5eb5f546 SFC generator improved lbessard parents: 17 diff changeset	311	print_variable_prefix();
e6af5eb5f546 SFC generator improved lbessard parents: 17 diff changeset	312	s4o.print("transition_list[");
e6af5eb5f546 SFC generator improved lbessard parents: 17 diff changeset	313	print_transition_number();
e6af5eb5f546 SFC generator improved lbessard parents: 17 diff changeset	314	s4o.print("] = ");
17 38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	315	generate_cc_il->print_backup_variable();
18 e6af5eb5f546 SFC generator improved lbessard parents: 17 diff changeset	316	s4o.print(";\n");
17 38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	317	}
38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	318	if (symbol->transition_condition_st != NULL) {
18 e6af5eb5f546 SFC generator improved lbessard parents: 17 diff changeset	319	print_variable_prefix();
e6af5eb5f546 SFC generator improved lbessard parents: 17 diff changeset	320	s4o.print("transition_list[");
e6af5eb5f546 SFC generator improved lbessard parents: 17 diff changeset	321	print_transition_number();
e6af5eb5f546 SFC generator improved lbessard parents: 17 diff changeset	322	s4o.print("] = ");
17 38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	323	symbol->transition_condition_st->accept(*generate_cc_st);
18 e6af5eb5f546 SFC generator improved lbessard parents: 17 diff changeset	324	s4o.print(";\n");
e6af5eb5f546 SFC generator improved lbessard parents: 17 diff changeset	325	}
19 cee3c4e5afe2 Adding priority support for transitions in SFC lbessard parents: 18 diff changeset	326	if (symbol->integer != NULL) {
cee3c4e5afe2 Adding priority support for transitions in SFC lbessard parents: 18 diff changeset	327	s4o.print(s4o.indent_spaces + "if (");
cee3c4e5afe2 Adding priority support for transitions in SFC lbessard parents: 18 diff changeset	328	print_variable_prefix();
cee3c4e5afe2 Adding priority support for transitions in SFC lbessard parents: 18 diff changeset	329	s4o.print("transition_list[");
cee3c4e5afe2 Adding priority support for transitions in SFC lbessard parents: 18 diff changeset	330	print_transition_number();
cee3c4e5afe2 Adding priority support for transitions in SFC lbessard parents: 18 diff changeset	331	s4o.print("]) {\n");
cee3c4e5afe2 Adding priority support for transitions in SFC lbessard parents: 18 diff changeset	332	s4o.indent_right();
cee3c4e5afe2 Adding priority support for transitions in SFC lbessard parents: 18 diff changeset	333	symbol->from_steps->accept(*generate_cc_sfc_transitionresetsteps);
cee3c4e5afe2 Adding priority support for transitions in SFC lbessard parents: 18 diff changeset	334	s4o.indent_left();
cee3c4e5afe2 Adding priority support for transitions in SFC lbessard parents: 18 diff changeset	335	s4o.print(s4o.indent_spaces + "}\n");
cee3c4e5afe2 Adding priority support for transitions in SFC lbessard parents: 18 diff changeset	336	}
18 e6af5eb5f546 SFC generator improved lbessard parents: 17 diff changeset	337	s4o.indent_left();
e6af5eb5f546 SFC generator improved lbessard parents: 17 diff changeset	338	s4o.print(s4o.indent_spaces + "}\n" + s4o.indent_spaces + "else {\n");
e6af5eb5f546 SFC generator improved lbessard parents: 17 diff changeset	339	s4o.indent_right();
e6af5eb5f546 SFC generator improved lbessard parents: 17 diff changeset	340	s4o.print(s4o.indent_spaces);
e6af5eb5f546 SFC generator improved lbessard parents: 17 diff changeset	341	print_variable_prefix();
e6af5eb5f546 SFC generator improved lbessard parents: 17 diff changeset	342	s4o.print("transition_list[");
e6af5eb5f546 SFC generator improved lbessard parents: 17 diff changeset	343	print_transition_number();
e6af5eb5f546 SFC generator improved lbessard parents: 17 diff changeset	344	s4o.print("] = 0;\n");
e6af5eb5f546 SFC generator improved lbessard parents: 17 diff changeset	345	s4o.indent_left();
e6af5eb5f546 SFC generator improved lbessard parents: 17 diff changeset	346	s4o.print(s4o.indent_spaces + "}\n");
e6af5eb5f546 SFC generator improved lbessard parents: 17 diff changeset	347
e6af5eb5f546 SFC generator improved lbessard parents: 17 diff changeset	348	transition_number++;
e6af5eb5f546 SFC generator improved lbessard parents: 17 diff changeset	349	return NULL;
e6af5eb5f546 SFC generator improved lbessard parents: 17 diff changeset	350	}
e6af5eb5f546 SFC generator improved lbessard parents: 17 diff changeset	351
e6af5eb5f546 SFC generator improved lbessard parents: 17 diff changeset	352	void visit(steps_c symbol) {
e6af5eb5f546 SFC generator improved lbessard parents: 17 diff changeset	353	if (symbol->step_name != NULL) {
e6af5eb5f546 SFC generator improved lbessard parents: 17 diff changeset	354	print_step_argument(symbol->step_name, "state");
e6af5eb5f546 SFC generator improved lbessard parents: 17 diff changeset	355	}
e6af5eb5f546 SFC generator improved lbessard parents: 17 diff changeset	356	if (symbol->step_name_list != NULL) {
e6af5eb5f546 SFC generator improved lbessard parents: 17 diff changeset	357	symbol->step_name_list->accept(*this);
e6af5eb5f546 SFC generator improved lbessard parents: 17 diff changeset	358	}
e6af5eb5f546 SFC generator improved lbessard parents: 17 diff changeset	359	return NULL;
e6af5eb5f546 SFC generator improved lbessard parents: 17 diff changeset	360	}
e6af5eb5f546 SFC generator improved lbessard parents: 17 diff changeset	361
e6af5eb5f546 SFC generator improved lbessard parents: 17 diff changeset	362	void visit(step_name_list_c symbol) {
e6af5eb5f546 SFC generator improved lbessard parents: 17 diff changeset	363	for(int i = 0; i < symbol->n; i++) {
e6af5eb5f546 SFC generator improved lbessard parents: 17 diff changeset	364	print_step_argument(symbol->elements[i], "state");
e6af5eb5f546 SFC generator improved lbessard parents: 17 diff changeset	365	if (i < symbol->n - 1) {
e6af5eb5f546 SFC generator improved lbessard parents: 17 diff changeset	366	s4o.print(" && ");
e6af5eb5f546 SFC generator improved lbessard parents: 17 diff changeset	367	}
e6af5eb5f546 SFC generator improved lbessard parents: 17 diff changeset	368	}
17 38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	369	return NULL;
38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	370	}
38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	371
38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	372	}; /* generate_cc_sfc_transitiontest_c */
38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	373
38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	374
38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	375
38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	376
38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	377	/***********************************************************************/
38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	378	/***********************************************************************/
38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	379	/***********************************************************************/
38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	380	/***********************************************************************/
38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	381
19 cee3c4e5afe2 Adding priority support for transitions in SFC lbessard parents: 18 diff changeset	382	class generate_cc_sfc_transitionsort_c: public iterator_visitor_c {
18 e6af5eb5f546 SFC generator improved lbessard parents: 17 diff changeset	383
e6af5eb5f546 SFC generator improved lbessard parents: 17 diff changeset	384	private:
e6af5eb5f546 SFC generator improved lbessard parents: 17 diff changeset	385	char transition_number;
19 cee3c4e5afe2 Adding priority support for transitions in SFC lbessard parents: 18 diff changeset	386	transition_element *first_transition;
cee3c4e5afe2 Adding priority support for transitions in SFC lbessard parents: 18 diff changeset	387	transition_element *last_transition;
cee3c4e5afe2 Adding priority support for transitions in SFC lbessard parents: 18 diff changeset	388
cee3c4e5afe2 Adding priority support for transitions in SFC lbessard parents: 18 diff changeset	389	private:
cee3c4e5afe2 Adding priority support for transitions in SFC lbessard parents: 18 diff changeset	390	generate_cc_sfc_transitiontest_c *generate_cc_sfc_transitiontest;
cee3c4e5afe2 Adding priority support for transitions in SFC lbessard parents: 18 diff changeset	391
18 e6af5eb5f546 SFC generator improved lbessard parents: 17 diff changeset	392	public:
19 cee3c4e5afe2 Adding priority support for transitions in SFC lbessard parents: 18 diff changeset	393	generate_cc_sfc_transitionsort_c(stage4out_c s4o_ptr, symbol_c scope, const char *variable_prefix = NULL) {
cee3c4e5afe2 Adding priority support for transitions in SFC lbessard parents: 18 diff changeset	394	generate_cc_sfc_transitiontest = new generate_cc_sfc_transitiontest_c(s4o_ptr, scope, variable_prefix);
cee3c4e5afe2 Adding priority support for transitions in SFC lbessard parents: 18 diff changeset	395	first_transition = NULL;
cee3c4e5afe2 Adding priority support for transitions in SFC lbessard parents: 18 diff changeset	396	last_transition = NULL;
cee3c4e5afe2 Adding priority support for transitions in SFC lbessard parents: 18 diff changeset	397	}
cee3c4e5afe2 Adding priority support for transitions in SFC lbessard parents: 18 diff changeset	398
cee3c4e5afe2 Adding priority support for transitions in SFC lbessard parents: 18 diff changeset	399	~generate_cc_sfc_transitionsort_c(void) {
cee3c4e5afe2 Adding priority support for transitions in SFC lbessard parents: 18 diff changeset	400	delete generate_cc_sfc_transitiontest;
cee3c4e5afe2 Adding priority support for transitions in SFC lbessard parents: 18 diff changeset	401	}
cee3c4e5afe2 Adding priority support for transitions in SFC lbessard parents: 18 diff changeset	402
cee3c4e5afe2 Adding priority support for transitions in SFC lbessard parents: 18 diff changeset	403	void append_transition(transition_c *transition, char priority, char index) {
cee3c4e5afe2 Adding priority support for transitions in SFC lbessard parents: 18 diff changeset	404	transition_element *new_transition = new transition_element(transition, priority, index);
cee3c4e5afe2 Adding priority support for transitions in SFC lbessard parents: 18 diff changeset	405	new_transition->set_prev(last_transition);
cee3c4e5afe2 Adding priority support for transitions in SFC lbessard parents: 18 diff changeset	406	if (last_transition != NULL) {
cee3c4e5afe2 Adding priority support for transitions in SFC lbessard parents: 18 diff changeset	407	last_transition->set_next(new_transition);
cee3c4e5afe2 Adding priority support for transitions in SFC lbessard parents: 18 diff changeset	408	}
cee3c4e5afe2 Adding priority support for transitions in SFC lbessard parents: 18 diff changeset	409	else {
cee3c4e5afe2 Adding priority support for transitions in SFC lbessard parents: 18 diff changeset	410	first_transition = new_transition;
cee3c4e5afe2 Adding priority support for transitions in SFC lbessard parents: 18 diff changeset	411	}
cee3c4e5afe2 Adding priority support for transitions in SFC lbessard parents: 18 diff changeset	412	last_transition = new_transition;
cee3c4e5afe2 Adding priority support for transitions in SFC lbessard parents: 18 diff changeset	413	transition_number++;
cee3c4e5afe2 Adding priority support for transitions in SFC lbessard parents: 18 diff changeset	414	}
cee3c4e5afe2 Adding priority support for transitions in SFC lbessard parents: 18 diff changeset	415
cee3c4e5afe2 Adding priority support for transitions in SFC lbessard parents: 18 diff changeset	416	void sort_transitions(void) {
cee3c4e5afe2 Adding priority support for transitions in SFC lbessard parents: 18 diff changeset	417	int i, j;
cee3c4e5afe2 Adding priority support for transitions in SFC lbessard parents: 18 diff changeset	418	transition_element *current_transition;
cee3c4e5afe2 Adding priority support for transitions in SFC lbessard parents: 18 diff changeset	419	transition_element *next_transition;
cee3c4e5afe2 Adding priority support for transitions in SFC lbessard parents: 18 diff changeset	420	for (i = transition_number; i > 1; i--) {
cee3c4e5afe2 Adding priority support for transitions in SFC lbessard parents: 18 diff changeset	421	current_transition = first_transition;
cee3c4e5afe2 Adding priority support for transitions in SFC lbessard parents: 18 diff changeset	422	for (j = 0; j < i - 1; j++) {
cee3c4e5afe2 Adding priority support for transitions in SFC lbessard parents: 18 diff changeset	423	next_transition = current_transition->get_next();
cee3c4e5afe2 Adding priority support for transitions in SFC lbessard parents: 18 diff changeset	424	if (current_transition->get_priority() > next_transition->get_priority()) {
cee3c4e5afe2 Adding priority support for transitions in SFC lbessard parents: 18 diff changeset	425	if (current_transition->get_prev() != NULL) {
cee3c4e5afe2 Adding priority support for transitions in SFC lbessard parents: 18 diff changeset	426	current_transition->get_prev()->set_next(next_transition);
cee3c4e5afe2 Adding priority support for transitions in SFC lbessard parents: 18 diff changeset	427	}
cee3c4e5afe2 Adding priority support for transitions in SFC lbessard parents: 18 diff changeset	428	else {
cee3c4e5afe2 Adding priority support for transitions in SFC lbessard parents: 18 diff changeset	429	first_transition = next_transition;
cee3c4e5afe2 Adding priority support for transitions in SFC lbessard parents: 18 diff changeset	430	}
cee3c4e5afe2 Adding priority support for transitions in SFC lbessard parents: 18 diff changeset	431	if (next_transition->get_next() != NULL) {
cee3c4e5afe2 Adding priority support for transitions in SFC lbessard parents: 18 diff changeset	432	next_transition->get_next()->set_prev(current_transition);
cee3c4e5afe2 Adding priority support for transitions in SFC lbessard parents: 18 diff changeset	433	}
cee3c4e5afe2 Adding priority support for transitions in SFC lbessard parents: 18 diff changeset	434	else {
cee3c4e5afe2 Adding priority support for transitions in SFC lbessard parents: 18 diff changeset	435	last_transition = current_transition;
cee3c4e5afe2 Adding priority support for transitions in SFC lbessard parents: 18 diff changeset	436	}
cee3c4e5afe2 Adding priority support for transitions in SFC lbessard parents: 18 diff changeset	437	current_transition->set_next(next_transition->get_next());
cee3c4e5afe2 Adding priority support for transitions in SFC lbessard parents: 18 diff changeset	438	next_transition->set_prev(current_transition->get_prev());
cee3c4e5afe2 Adding priority support for transitions in SFC lbessard parents: 18 diff changeset	439	current_transition->set_prev(next_transition);
cee3c4e5afe2 Adding priority support for transitions in SFC lbessard parents: 18 diff changeset	440	next_transition->set_next(current_transition);
cee3c4e5afe2 Adding priority support for transitions in SFC lbessard parents: 18 diff changeset	441	}
cee3c4e5afe2 Adding priority support for transitions in SFC lbessard parents: 18 diff changeset	442	else {
cee3c4e5afe2 Adding priority support for transitions in SFC lbessard parents: 18 diff changeset	443	current_transition = next_transition;
cee3c4e5afe2 Adding priority support for transitions in SFC lbessard parents: 18 diff changeset	444	}
cee3c4e5afe2 Adding priority support for transitions in SFC lbessard parents: 18 diff changeset	445	}
cee3c4e5afe2 Adding priority support for transitions in SFC lbessard parents: 18 diff changeset	446	}
18 e6af5eb5f546 SFC generator improved lbessard parents: 17 diff changeset	447	}
e6af5eb5f546 SFC generator improved lbessard parents: 17 diff changeset	448
e6af5eb5f546 SFC generator improved lbessard parents: 17 diff changeset	449	void reset_transition_number(void) {transition_number = 0;}
19 cee3c4e5afe2 Adding priority support for transitions in SFC lbessard parents: 18 diff changeset	450
cee3c4e5afe2 Adding priority support for transitions in SFC lbessard parents: 18 diff changeset	451	void generate(symbol_c *symbol) {
cee3c4e5afe2 Adding priority support for transitions in SFC lbessard parents: 18 diff changeset	452	symbol->accept(*this);
cee3c4e5afe2 Adding priority support for transitions in SFC lbessard parents: 18 diff changeset	453	sort_transitions();
cee3c4e5afe2 Adding priority support for transitions in SFC lbessard parents: 18 diff changeset	454	transition_element *next_transition = first_transition;
cee3c4e5afe2 Adding priority support for transitions in SFC lbessard parents: 18 diff changeset	455	while (next_transition != NULL) {
cee3c4e5afe2 Adding priority support for transitions in SFC lbessard parents: 18 diff changeset	456	generate_cc_sfc_transitiontest->set_transition_number(next_transition->get_index());
cee3c4e5afe2 Adding priority support for transitions in SFC lbessard parents: 18 diff changeset	457	next_transition->get_transition()->accept(*generate_cc_sfc_transitiontest);
cee3c4e5afe2 Adding priority support for transitions in SFC lbessard parents: 18 diff changeset	458	next_transition = next_transition->get_next();
cee3c4e5afe2 Adding priority support for transitions in SFC lbessard parents: 18 diff changeset	459	}
18 e6af5eb5f546 SFC generator improved lbessard parents: 17 diff changeset	460	}
e6af5eb5f546 SFC generator improved lbessard parents: 17 diff changeset	461
e6af5eb5f546 SFC generator improved lbessard parents: 17 diff changeset	462	/*********************************************/
e6af5eb5f546 SFC generator improved lbessard parents: 17 diff changeset	463	/* B.1.6 Sequential function chart elements */
e6af5eb5f546 SFC generator improved lbessard parents: 17 diff changeset	464	/*********************************************/
e6af5eb5f546 SFC generator improved lbessard parents: 17 diff changeset	465
e6af5eb5f546 SFC generator improved lbessard parents: 17 diff changeset	466	void visit(initial_step_c symbol) {return NULL;}
e6af5eb5f546 SFC generator improved lbessard parents: 17 diff changeset	467
e6af5eb5f546 SFC generator improved lbessard parents: 17 diff changeset	468	void visit(step_c symbol) {return NULL;}
19 cee3c4e5afe2 Adding priority support for transitions in SFC lbessard parents: 18 diff changeset	469
18 e6af5eb5f546 SFC generator improved lbessard parents: 17 diff changeset	470	void visit(transition_c symbol) {
19 cee3c4e5afe2 Adding priority support for transitions in SFC lbessard parents: 18 diff changeset	471	if (symbol->integer != NULL) {
cee3c4e5afe2 Adding priority support for transitions in SFC lbessard parents: 18 diff changeset	472	append_transition(symbol, atoi(((token_c *)symbol->integer)->value), transition_number);
cee3c4e5afe2 Adding priority support for transitions in SFC lbessard parents: 18 diff changeset	473	}
cee3c4e5afe2 Adding priority support for transitions in SFC lbessard parents: 18 diff changeset	474	else {
cee3c4e5afe2 Adding priority support for transitions in SFC lbessard parents: 18 diff changeset	475	append_transition(symbol, 0, transition_number);
18 e6af5eb5f546 SFC generator improved lbessard parents: 17 diff changeset	476	}
e6af5eb5f546 SFC generator improved lbessard parents: 17 diff changeset	477	return NULL;
e6af5eb5f546 SFC generator improved lbessard parents: 17 diff changeset	478	}
e6af5eb5f546 SFC generator improved lbessard parents: 17 diff changeset	479
e6af5eb5f546 SFC generator improved lbessard parents: 17 diff changeset	480	void visit(action_c symbol) {return NULL;}
e6af5eb5f546 SFC generator improved lbessard parents: 17 diff changeset	481
19 cee3c4e5afe2 Adding priority support for transitions in SFC lbessard parents: 18 diff changeset	482	};/* generate_cc_sfc_transitionsort_c */
18 e6af5eb5f546 SFC generator improved lbessard parents: 17 diff changeset	483
e6af5eb5f546 SFC generator improved lbessard parents: 17 diff changeset	484
e6af5eb5f546 SFC generator improved lbessard parents: 17 diff changeset	485
e6af5eb5f546 SFC generator improved lbessard parents: 17 diff changeset	486
e6af5eb5f546 SFC generator improved lbessard parents: 17 diff changeset	487	/***********************************************************************/
e6af5eb5f546 SFC generator improved lbessard parents: 17 diff changeset	488	/***********************************************************************/
e6af5eb5f546 SFC generator improved lbessard parents: 17 diff changeset	489	/***********************************************************************/
e6af5eb5f546 SFC generator improved lbessard parents: 17 diff changeset	490	/***********************************************************************/
e6af5eb5f546 SFC generator improved lbessard parents: 17 diff changeset	491
17 38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	492	class generate_cc_sfc_stepassociation_c: public generate_cc_base_c {
38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	493
38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	494	private:
38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	495	symbol_c *current_step;
38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	496	symbol_c *current_action;
38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	497
38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	498	public:
38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	499	generate_cc_sfc_stepassociation_c(stage4out_c s4o_ptr, symbol_c scope, const char *variable_prefix = NULL)
38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	500	: generate_cc_base_c(s4o_ptr) {
38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	501	this->set_variable_prefix(variable_prefix);
38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	502	}
38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	503
38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	504	void print_step_argument(symbol_c step_name, const char argument) {
38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	505	print_variable_prefix();
38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	506	s4o.print("step_list[");
18 e6af5eb5f546 SFC generator improved lbessard parents: 17 diff changeset	507	s4o.print(SFC_STEP_ACTION_PREFIX);
17 38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	508	step_name->accept(*this);
38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	509	s4o.print("].");
38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	510	s4o.print(argument);
38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	511	}
38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	512
38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	513	void print_action_argument(symbol_c action_name, const char argument) {
38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	514	print_variable_prefix();
38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	515	s4o.print("action_list[");
18 e6af5eb5f546 SFC generator improved lbessard parents: 17 diff changeset	516	s4o.print(SFC_STEP_ACTION_PREFIX);
17 38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	517	action_name->accept(*this);
38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	518	s4o.print("].");
38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	519	s4o.print(argument);
38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	520	}
38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	521
38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	522	/*********************************************/
38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	523	/* B.1.6 Sequential function chart elements */
38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	524	/*********************************************/
38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	525
38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	526	void visit(initial_step_c symbol) {
18 e6af5eb5f546 SFC generator improved lbessard parents: 17 diff changeset	527	if (((list_c*)symbol->action_association_list)->n > 0) {
e6af5eb5f546 SFC generator improved lbessard parents: 17 diff changeset	528	s4o.print(s4o.indent_spaces + "// ");
e6af5eb5f546 SFC generator improved lbessard parents: 17 diff changeset	529	symbol->step_name->accept(*this);
e6af5eb5f546 SFC generator improved lbessard parents: 17 diff changeset	530	s4o.print(" action associations\n");
e6af5eb5f546 SFC generator improved lbessard parents: 17 diff changeset	531	current_step = symbol->step_name;
e6af5eb5f546 SFC generator improved lbessard parents: 17 diff changeset	532	s4o.print(s4o.indent_spaces + "{\n");
e6af5eb5f546 SFC generator improved lbessard parents: 17 diff changeset	533	s4o.indent_right();
e6af5eb5f546 SFC generator improved lbessard parents: 17 diff changeset	534	s4o.print(s4o.indent_spaces + "char activated = ");
e6af5eb5f546 SFC generator improved lbessard parents: 17 diff changeset	535	print_step_argument(current_step, "state");
e6af5eb5f546 SFC generator improved lbessard parents: 17 diff changeset	536	s4o.print(" && !");
e6af5eb5f546 SFC generator improved lbessard parents: 17 diff changeset	537	print_step_argument(current_step, "prev_state");
e6af5eb5f546 SFC generator improved lbessard parents: 17 diff changeset	538	s4o.print(";\n");
e6af5eb5f546 SFC generator improved lbessard parents: 17 diff changeset	539	s4o.print(s4o.indent_spaces + "char desactivated = !");
e6af5eb5f546 SFC generator improved lbessard parents: 17 diff changeset	540	print_step_argument(current_step, "state");
e6af5eb5f546 SFC generator improved lbessard parents: 17 diff changeset	541	s4o.print(" && ");
e6af5eb5f546 SFC generator improved lbessard parents: 17 diff changeset	542	print_step_argument(current_step, "prev_state");
e6af5eb5f546 SFC generator improved lbessard parents: 17 diff changeset	543	s4o.print(";\n");
e6af5eb5f546 SFC generator improved lbessard parents: 17 diff changeset	544	s4o.print(s4o.indent_spaces + "char active = ");
e6af5eb5f546 SFC generator improved lbessard parents: 17 diff changeset	545	print_step_argument(current_step, "state");
e6af5eb5f546 SFC generator improved lbessard parents: 17 diff changeset	546	s4o.print(";\n");
e6af5eb5f546 SFC generator improved lbessard parents: 17 diff changeset	547	symbol->action_association_list->accept(*this);
e6af5eb5f546 SFC generator improved lbessard parents: 17 diff changeset	548	s4o.indent_left();
e6af5eb5f546 SFC generator improved lbessard parents: 17 diff changeset	549	s4o.print(s4o.indent_spaces + "}\n\n");
e6af5eb5f546 SFC generator improved lbessard parents: 17 diff changeset	550	}
17 38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	551	return NULL;
38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	552	}
38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	553
38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	554	void visit(step_c symbol) {
18 e6af5eb5f546 SFC generator improved lbessard parents: 17 diff changeset	555	if (((list_c*)symbol->action_association_list)->n > 0) {
e6af5eb5f546 SFC generator improved lbessard parents: 17 diff changeset	556	s4o.print(s4o.indent_spaces + "// ");
e6af5eb5f546 SFC generator improved lbessard parents: 17 diff changeset	557	symbol->step_name->accept(*this);
e6af5eb5f546 SFC generator improved lbessard parents: 17 diff changeset	558	s4o.print(" action associations\n");
e6af5eb5f546 SFC generator improved lbessard parents: 17 diff changeset	559	current_step = symbol->step_name;
e6af5eb5f546 SFC generator improved lbessard parents: 17 diff changeset	560	s4o.print(s4o.indent_spaces + "{\n");
e6af5eb5f546 SFC generator improved lbessard parents: 17 diff changeset	561	s4o.indent_right();
e6af5eb5f546 SFC generator improved lbessard parents: 17 diff changeset	562	s4o.print(s4o.indent_spaces + "char activated = ");
e6af5eb5f546 SFC generator improved lbessard parents: 17 diff changeset	563	print_step_argument(current_step, "state");
e6af5eb5f546 SFC generator improved lbessard parents: 17 diff changeset	564	s4o.print(" && !");
e6af5eb5f546 SFC generator improved lbessard parents: 17 diff changeset	565	print_step_argument(current_step, "prev_state");
e6af5eb5f546 SFC generator improved lbessard parents: 17 diff changeset	566	s4o.print(";\n");
e6af5eb5f546 SFC generator improved lbessard parents: 17 diff changeset	567	s4o.print(s4o.indent_spaces + "char desactivated = !");
e6af5eb5f546 SFC generator improved lbessard parents: 17 diff changeset	568	print_step_argument(current_step, "state");
e6af5eb5f546 SFC generator improved lbessard parents: 17 diff changeset	569	s4o.print(" && ");
e6af5eb5f546 SFC generator improved lbessard parents: 17 diff changeset	570	print_step_argument(current_step, "prev_state");
e6af5eb5f546 SFC generator improved lbessard parents: 17 diff changeset	571	s4o.print(";\n");
e6af5eb5f546 SFC generator improved lbessard parents: 17 diff changeset	572	s4o.print(s4o.indent_spaces + "char active = ");
e6af5eb5f546 SFC generator improved lbessard parents: 17 diff changeset	573	print_step_argument(current_step, "state");
e6af5eb5f546 SFC generator improved lbessard parents: 17 diff changeset	574	s4o.print(";\n");
e6af5eb5f546 SFC generator improved lbessard parents: 17 diff changeset	575	symbol->action_association_list->accept(*this);
e6af5eb5f546 SFC generator improved lbessard parents: 17 diff changeset	576	s4o.indent_left();
e6af5eb5f546 SFC generator improved lbessard parents: 17 diff changeset	577	s4o.print(s4o.indent_spaces + "}\n\n");
e6af5eb5f546 SFC generator improved lbessard parents: 17 diff changeset	578	}
17 38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	579	return NULL;
38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	580	}
38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	581
38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	582	void visit(transition_c symbol) {return NULL;}
38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	583
38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	584	void visit(action_c symbol) {return NULL;}
38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	585
38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	586	void visit(action_association_list_c symbol) {
18 e6af5eb5f546 SFC generator improved lbessard parents: 17 diff changeset	587	print_list(symbol, "", "\n", "\n");
17 38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	588	return NULL;
38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	589	}
38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	590
38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	591	void visit(action_association_c symbol) {
38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	592	if (symbol->action_qualifier != NULL) {
38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	593	current_action = symbol->action_name;
38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	594	symbol->action_qualifier->accept(*this);
38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	595	}
38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	596	else {
38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	597	s4o.print(s4o.indent_spaces + "if (");
38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	598	print_step_argument(current_step, "state");
38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	599	s4o.print(") {\n");
38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	600	s4o.indent_right();
38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	601	s4o.print(s4o.indent_spaces);
38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	602	print_action_argument(symbol->action_name, "state");
38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	603	s4o.print(" = 1;\n");
38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	604	s4o.indent_left();
38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	605	s4o.print(s4o.indent_spaces + "}");
38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	606	}
38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	607	return NULL;
38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	608	}
38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	609
38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	610	void visit(action_qualifier_c symbol) {
38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	611	char qualifier = (char )symbol->action_qualifier->accept(*this);
38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	612
38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	613	s4o.print(s4o.indent_spaces + "if (");
38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	614	if (strcmp(qualifier, "N") == 0) {
18 e6af5eb5f546 SFC generator improved lbessard parents: 17 diff changeset	615	s4o.print("active");
17 38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	616	}
38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	617	if (strcmp(qualifier, "P") == 0 \|\| strcmp(qualifier, "SD") == 0 \|\|
38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	618	strcmp(qualifier, "DS") == 0 \|\| strcmp(qualifier, "SL") == 0) {
18 e6af5eb5f546 SFC generator improved lbessard parents: 17 diff changeset	619	s4o.print("activated");
17 38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	620	}
38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	621	if (strcmp(qualifier, "D") == 0 \|\| strcmp(qualifier, "L") == 0) {
18 e6af5eb5f546 SFC generator improved lbessard parents: 17 diff changeset	622	s4o.print("active && ");
17 38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	623	print_step_argument(current_step, "elapsed_time");
38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	624	if (strcmp(qualifier, "D") == 0) {
38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	625	s4o.print(" >= ");
38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	626	}
38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	627	else {
38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	628	s4o.print(" < ");
38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	629	}
38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	630	symbol->action_time->accept(*this);
38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	631	}
38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	632	s4o.print(") {\n");
38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	633	s4o.indent_right();
38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	634	s4o.print(s4o.indent_spaces);
38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	635	if (strcmp(qualifier, "N") == 0 \|\| strcmp(qualifier, "P") == 0 \|\|
38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	636	strcmp(qualifier, "D") == 0 \|\| strcmp(qualifier, "L") == 0) {
38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	637	print_action_argument(current_action, "state");
38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	638	s4o.print(" = 1;\n");
38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	639	}
38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	640	if (strcmp(qualifier, "SD") == 0 \|\| strcmp(qualifier, "DS") == 0 \|\|
38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	641	strcmp(qualifier, "SL") == 0) {
38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	642	if (strcmp(qualifier, "SL") == 0) {
38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	643	print_action_argument(current_action, "reset_remaining_time");
38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	644	}
38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	645	else {
38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	646	print_action_argument(current_action, "set_remaining_time");
38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	647	}
38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	648	s4o.print(" = ");
38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	649	symbol->action_time->accept(*this);
38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	650	s4o.print(";\n");
38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	651	}
38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	652	s4o.indent_left();
38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	653	s4o.print(s4o.indent_spaces + "}");
38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	654	if (strcmp(qualifier, "DS") == 0) {
18 e6af5eb5f546 SFC generator improved lbessard parents: 17 diff changeset	655	s4o.print("desactivated");
17 38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	656	s4o.indent_right();
38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	657	s4o.print(s4o.indent_spaces);
38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	658	print_action_argument(current_action, "set_remaining_time");
38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	659	s4o.print(" = __time_to_timespec(1, 0, 0, 0, 0, 0);\n");
38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	660	}
38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	661	return NULL;
38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	662	}
38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	663
38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	664	void visit(qualifier_c symbol) {
38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	665	return (void *)symbol->value;
38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	666	}
38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	667
38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	668	void visit(timed_qualifier_c symbol) {
38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	669	return (void *)symbol->value;
38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	670	}
38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	671
38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	672	}; /* generate_cc_sfc_actiondecl_c */
38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	673
38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	674
38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	675
38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	676
38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	677	/***********************************************************************/
38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	678	/***********************************************************************/
38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	679	/***********************************************************************/
38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	680	/***********************************************************************/
38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	681
38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	682	class generate_cc_sfc_actionexecution_c: public generate_cc_base_c {
38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	683
38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	684	private:
38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	685	generate_cc_SFC_IL_ST_c *generate_cc_code;
38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	686
38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	687	public:
38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	688	generate_cc_sfc_actionexecution_c(stage4out_c s4o_ptr, symbol_c scope, const char *variable_prefix = NULL)
38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	689	: generate_cc_base_c(s4o_ptr) {
38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	690	generate_cc_code = new generate_cc_SFC_IL_ST_c(s4o_ptr, scope, variable_prefix);
38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	691	this->set_variable_prefix(variable_prefix);
38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	692	}
38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	693
38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	694	~generate_cc_sfc_actionexecution_c(void) {
38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	695	delete generate_cc_code;
38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	696	}
38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	697
38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	698	/*********************************************/
38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	699	/* B.1.6 Sequential function chart elements */
38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	700	/*********************************************/
38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	701
38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	702	void visit(initial_step_c symbol) {return NULL;}
38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	703
38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	704	void visit(step_c symbol) {return NULL;}
38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	705
38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	706	void visit(transition_c symbol) {return NULL;}
38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	707
38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	708	void visit(action_c symbol) {
38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	709	s4o.print(s4o.indent_spaces + "if(");
38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	710	print_variable_prefix();
38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	711	s4o.print("action_list[");
18 e6af5eb5f546 SFC generator improved lbessard parents: 17 diff changeset	712	s4o.print(SFC_STEP_ACTION_PREFIX);
17 38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	713	symbol->action_name->accept(*this);
38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	714	s4o.print("].state) {");
38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	715	s4o.indent_right();
38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	716
38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	717	// generate action code
38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	718	symbol->function_block_body->accept(*generate_cc_code);
38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	719
38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	720	s4o.indent_left();
38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	721	s4o.print(s4o.indent_spaces + "}\n\n");
38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	722	return NULL;
38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	723	}
38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	724
38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	725	}; /* generate_cc_sfc_actiondecl_c */
38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	726
38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	727
38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	728
38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	729	/***********************************************************************/
38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	730	/***********************************************************************/
38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	731	/***********************************************************************/
38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	732	/***********************************************************************/
38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	733
38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	734	class generate_cc_sfc_c: public generate_cc_typedecl_c {
38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	735
38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	736	private:
19 cee3c4e5afe2 Adding priority support for transitions in SFC lbessard parents: 18 diff changeset	737	generate_cc_sfc_transitionsort_c *generate_cc_sfc_transitionsort;
18 e6af5eb5f546 SFC generator improved lbessard parents: 17 diff changeset	738	generate_cc_sfc_transitionresetsteps_c *generate_cc_sfc_transitionresetsteps;
e6af5eb5f546 SFC generator improved lbessard parents: 17 diff changeset	739	generate_cc_sfc_transitionsetsteps_c *generate_cc_sfc_transitionsetsteps;
17 38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	740	generate_cc_sfc_stepassociation_c *generate_cc_sfc_stepassociation;
38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	741	generate_cc_sfc_actionexecution_c *generate_cc_sfc_actionexecution;
38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	742
38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	743	public:
38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	744	generate_cc_sfc_c(stage4out_c s4o_ptr, symbol_c scope, const char *variable_prefix = NULL)
38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	745	: generate_cc_typedecl_c(s4o_ptr) {
19 cee3c4e5afe2 Adding priority support for transitions in SFC lbessard parents: 18 diff changeset	746	generate_cc_sfc_transitionsort = new generate_cc_sfc_transitionsort_c(s4o_ptr, scope, variable_prefix);
18 e6af5eb5f546 SFC generator improved lbessard parents: 17 diff changeset	747	generate_cc_sfc_transitionresetsteps = new generate_cc_sfc_transitionresetsteps_c(s4o_ptr, scope, variable_prefix);
e6af5eb5f546 SFC generator improved lbessard parents: 17 diff changeset	748	generate_cc_sfc_transitionsetsteps = new generate_cc_sfc_transitionsetsteps_c(s4o_ptr, scope, variable_prefix);
17 38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	749	generate_cc_sfc_stepassociation = new generate_cc_sfc_stepassociation_c(s4o_ptr, scope, variable_prefix);
38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	750	generate_cc_sfc_actionexecution = new generate_cc_sfc_actionexecution_c(s4o_ptr, scope, variable_prefix);
38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	751	this->set_variable_prefix(variable_prefix);
38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	752	}
38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	753
38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	754	virtual ~generate_cc_sfc_c(void) {
19 cee3c4e5afe2 Adding priority support for transitions in SFC lbessard parents: 18 diff changeset	755	delete generate_cc_sfc_transitionsort;
18 e6af5eb5f546 SFC generator improved lbessard parents: 17 diff changeset	756	delete generate_cc_sfc_transitionresetsteps;
e6af5eb5f546 SFC generator improved lbessard parents: 17 diff changeset	757	delete generate_cc_sfc_transitionsetsteps;
17 38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	758	delete generate_cc_sfc_stepassociation;
38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	759	delete generate_cc_sfc_actionexecution;
38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	760	}
38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	761
38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	762	/*********************************************/
38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	763	/* B.1.6 Sequential function chart elements */
38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	764	/*********************************************/
38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	765
38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	766	void visit(sfc_network_c symbol) {
38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	767	s4o.print(s4o.indent_spaces +"INT i;\n\n");
38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	768	s4o.print(s4o.indent_spaces +"BOOL transition;\n\n");
38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	769
38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	770	/* generate step initilizations */
38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	771	s4o.print(s4o.indent_spaces + "// Steps initialisation\n");
38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	772	s4o.print(s4o.indent_spaces + "for (i = 0; i < ");
38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	773	print_variable_prefix();
38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	774	s4o.print("nb_steps; i++) {\n");
38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	775	s4o.indent_right();
38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	776	s4o.print(s4o.indent_spaces);
38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	777	print_variable_prefix();
18 e6af5eb5f546 SFC generator improved lbessard parents: 17 diff changeset	778	s4o.print("step_list[i].prev_state = ");
e6af5eb5f546 SFC generator improved lbessard parents: 17 diff changeset	779	print_variable_prefix();
e6af5eb5f546 SFC generator improved lbessard parents: 17 diff changeset	780	s4o.print("step_list[i].state;\n");
17 38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	781	s4o.print(s4o.indent_spaces + "if (");
38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	782	print_variable_prefix();
38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	783	s4o.print("step_list[i].state) {\n");
38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	784	s4o.indent_right();
38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	785	s4o.print(s4o.indent_spaces);
38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	786	print_variable_prefix();
38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	787	s4o.print("step_list[i].elapsed_time = __add_timespec(");
38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	788	print_variable_prefix();
38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	789	s4o.print("step_list[i].elapsed_time, PERIOD);\n");
38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	790	s4o.indent_left();
38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	791	s4o.print(s4o.indent_spaces + "}\n");
38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	792	s4o.indent_left();
38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	793	s4o.print(s4o.indent_spaces + "}\n");
38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	794
38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	795	/* generate action initilizations */
38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	796	s4o.print(s4o.indent_spaces + "// Actions initialisation\n");
38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	797	s4o.print(s4o.indent_spaces + "for (i = 0; i < ");
38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	798	print_variable_prefix();
38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	799	s4o.print("nb_actions; i++) {\n");
38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	800	s4o.indent_right();
38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	801	s4o.print(s4o.indent_spaces);
38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	802	print_variable_prefix();
38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	803	s4o.print("action_list[i].state = 0;\n");
38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	804	s4o.print(s4o.indent_spaces);
38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	805	print_variable_prefix();
38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	806	s4o.print("action_list[i].set = 0;\n");
38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	807	s4o.print(s4o.indent_spaces);
38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	808	print_variable_prefix();
38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	809	s4o.print("action_list[i].reset = 0;\n");
38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	810	s4o.print(s4o.indent_spaces + "if (");
38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	811	print_variable_prefix();
38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	812	s4o.print("__compare_timespec(>, action_list[i].set_remaining_time, __time_to_timespec(1, 0, 0, 0, 0, 0)) {\n");
38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	813	s4o.indent_right();
38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	814	s4o.print(s4o.indent_spaces);
38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	815	print_variable_prefix();
38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	816	s4o.print("action_list[i].set_remaining_time = __sub_timespec(");
38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	817	print_variable_prefix();
38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	818	s4o.print("action_list[i].set_remaining_time, PERIOD);\n");
38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	819	s4o.print(s4o.indent_spaces + "if (");
38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	820	print_variable_prefix();
38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	821	s4o.print("__compare_timespec(<=, action_list[i].set_remaining_time, __time_to_timespec(1, 0, 0, 0, 0, 0)) {\n");
38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	822	s4o.indent_right();
38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	823	s4o.print(s4o.indent_spaces);
38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	824	print_variable_prefix();
38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	825	s4o.print("action_list[i].set_remaining_time = __time_to_timespec(1, 0, 0, 0, 0, 0);\n");
38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	826	s4o.print(s4o.indent_spaces);
38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	827	print_variable_prefix();
38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	828	s4o.print("action_list[i].set = 1;\n");
38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	829	s4o.indent_left();
38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	830	s4o.print(s4o.indent_spaces + "}\n");
38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	831	s4o.indent_left();
38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	832	s4o.print(s4o.indent_spaces + "}\n");
38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	833	s4o.print(s4o.indent_spaces + "if (");
38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	834	print_variable_prefix();
38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	835	s4o.print("__compare_timespec(>, action_list[i].reset_remaining_time, __time_to_timespec(1, 0, 0, 0, 0, 0)) {\n");
38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	836	s4o.indent_right();
38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	837	s4o.print(s4o.indent_spaces);
38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	838	print_variable_prefix();
38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	839	s4o.print("action_list[i].reset_remaining_time = __sub_timespec(");
38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	840	print_variable_prefix();
38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	841	s4o.print("action_list[i].reset_remaining_time, PERIOD);\n");
38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	842	s4o.print(s4o.indent_spaces + "if (");
38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	843	print_variable_prefix();
38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	844	s4o.print("__compare_timespec(<=, action_list[i].reset_remaining_time, __time_to_timespec(1, 0, 0, 0, 0, 0)) {\n");
38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	845	s4o.indent_right();
38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	846	s4o.print(s4o.indent_spaces);
38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	847	print_variable_prefix();
38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	848	s4o.print("action_list[i].reset_remaining_time = __time_to_timespec(1, 0, 0, 0, 0, 0);\n");
38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	849	s4o.print(s4o.indent_spaces);
38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	850	print_variable_prefix();
38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	851	s4o.print("action_list[i].reset = 1;\n");
38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	852	s4o.indent_left();
38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	853	s4o.print(s4o.indent_spaces + "}\n");
38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	854	s4o.indent_left();
38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	855	s4o.print(s4o.indent_spaces + "}\n");
38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	856	s4o.indent_left();
38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	857	s4o.print(s4o.indent_spaces + "}\n\n");
38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	858
38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	859	/* generate transition tests */
38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	860	s4o.print(s4o.indent_spaces + "// Transitions fire test\n");
19 cee3c4e5afe2 Adding priority support for transitions in SFC lbessard parents: 18 diff changeset	861	generate_cc_sfc_transitionsort->reset_transition_number();
cee3c4e5afe2 Adding priority support for transitions in SFC lbessard parents: 18 diff changeset	862	generate_cc_sfc_transitionsort->generate(symbol);
17 38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	863	s4o.print("\n");
38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	864
18 e6af5eb5f546 SFC generator improved lbessard parents: 17 diff changeset	865	/* generate transition reset steps */
e6af5eb5f546 SFC generator improved lbessard parents: 17 diff changeset	866	s4o.print(s4o.indent_spaces + "// Transitions reset steps\n");
e6af5eb5f546 SFC generator improved lbessard parents: 17 diff changeset	867	generate_cc_sfc_transitionresetsteps->reset_transition_number();
e6af5eb5f546 SFC generator improved lbessard parents: 17 diff changeset	868	symbol->accept(*generate_cc_sfc_transitionresetsteps);
e6af5eb5f546 SFC generator improved lbessard parents: 17 diff changeset	869	s4o.print("\n");
e6af5eb5f546 SFC generator improved lbessard parents: 17 diff changeset	870
e6af5eb5f546 SFC generator improved lbessard parents: 17 diff changeset	871	/* generate transition set steps */
e6af5eb5f546 SFC generator improved lbessard parents: 17 diff changeset	872	s4o.print(s4o.indent_spaces + "// Transitions set steps\n");
e6af5eb5f546 SFC generator improved lbessard parents: 17 diff changeset	873	generate_cc_sfc_transitionsetsteps->reset_transition_number();
e6af5eb5f546 SFC generator improved lbessard parents: 17 diff changeset	874	symbol->accept(*generate_cc_sfc_transitionsetsteps);
e6af5eb5f546 SFC generator improved lbessard parents: 17 diff changeset	875	s4o.print("\n");
e6af5eb5f546 SFC generator improved lbessard parents: 17 diff changeset	876
17 38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	877	/* generate step association */
38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	878	s4o.print(s4o.indent_spaces + "// Steps association\n");
38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	879	symbol->accept(*generate_cc_sfc_stepassociation);
38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	880	s4o.print("\n");
38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	881
38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	882	/* generate action state evaluation */
38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	883	s4o.print(s4o.indent_spaces + "// Actions state evaluation\n");
38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	884	s4o.print(s4o.indent_spaces + "for (i = 0; i < ");
38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	885	print_variable_prefix();
38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	886	s4o.print("nb_actions; i++) {\n");
38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	887	s4o.indent_right();
38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	888	s4o.print(s4o.indent_spaces + "if (");
38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	889	print_variable_prefix();
38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	890	s4o.print("action_list[i].set) {\n");
38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	891	s4o.indent_right();
38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	892	s4o.print(s4o.indent_spaces);
38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	893	print_variable_prefix();
38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	894	s4o.print("action_list[i].stored = 1;\n");
38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	895	s4o.indent_left();
38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	896	s4o.print(s4o.indent_spaces + "}\n" + s4o.indent_spaces + "if (");
38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	897	print_variable_prefix();
38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	898	s4o.print("action_list[i].set) {\n");
38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	899	s4o.indent_right();
38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	900	s4o.print(s4o.indent_spaces);
38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	901	print_variable_prefix();
38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	902	s4o.print("action_list[i].set_remaining_time = 0;\n" + s4o.indent_spaces);
38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	903	print_variable_prefix();
38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	904	s4o.print("action_list[i].reset_remaining_time = 0;\n" + s4o.indent_spaces);
38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	905	print_variable_prefix();
38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	906	s4o.print("action_list[i].stored = 0;\n");
38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	907	s4o.indent_left();
38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	908	s4o.print(s4o.indent_spaces + "}\n" + s4o.indent_spaces);
38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	909	print_variable_prefix();
38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	910	s4o.print("action_list[i].state \|= ");
38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	911	print_variable_prefix();
38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	912	s4o.print("action_list[i].stored;\n");
38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	913	s4o.indent_left();
38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	914	s4o.print(s4o.indent_spaces + "}\n\n");
38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	915
38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	916	/* generate action execution */
38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	917	s4o.print(s4o.indent_spaces + "// Actions execution\n");
38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	918	symbol->accept(*generate_cc_sfc_actionexecution);
38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	919	s4o.print("\n");
38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	920
38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	921	return NULL;
38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	922	}
38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	923
38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	924	void generate(sequential_function_chart_c *sfc) {
38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	925	sfc->accept(*this);
38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	926	}
38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	927
38754701ac41 SFC state machine first approach generator implemented lbessard parents: diff changeset	928	}; /* generate_cc_sfc_c */

author	lbessard
	Wed, 28 Feb 2007 15:55:41 +0100
changeset 19	cee3c4e5afe2
parent 18	e6af5eb5f546
child 21	ae19aa4ff2d9
permissions	-rw-r--r--