Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec-tests / regression_tests / lustre_files / success / Simulink / src_goto_from_test / goto_from_test.lus @ 6c3ea955

History | View | Annotate | Download (2.47 KB)

1
-- This file has been generated by cocoSim
2

    
3

    
4
-- System nodes
5
node goto_from_test (In1_1_1 : real; In2_1_1 : int; In2_1_2 : int; In3_1_1 : bool; In3_1_2 : bool; In3_1_3 : bool; In3_1_4 : bool; In3_1_5 : bool; In3_1_6 : bool)
6
returns (Out1_1_1 : real;
7
	Out2_2_1 : int; Out2_2_2 : int;
8
	Out3_3_1 : int; Out3_3_2 : int; Out3_3_3 : int; Out3_3_4 : int; Out3_3_5 : int; Out3_3_6 : int); 
9
var
10
	Subsystem2_Add_1_1 : int; Subsystem2_Add_1_2 : int; Subsystem2_Add_1_3 : int; Subsystem2_Add_1_4 : int; Subsystem2_Add_1_5 : int; Subsystem2_Add_1_6 : int;
11
	Subsystem2_From_1_1 : bool; Subsystem2_From_1_2 : bool; Subsystem2_From_1_3 : bool; Subsystem2_From_1_4 : bool; Subsystem2_From_1_5 : bool; Subsystem2_From_1_6 : bool;
12
	Subsystem1_Add_1_1 : int; Subsystem1_Add_1_2 : int;
13
	Subsystem1_From_1_1 : int; Subsystem1_From_1_2 : int;
14
	Subsystem_Add_1_1 : real;
15
	Subsystem_From_1_1 : real;
16
	i_virtual_local : real;
17
	Goto_A_1: real;
18
	Goto_B_1, Goto_B_2: int;
19
	Goto_C_1, Goto_C_2, Goto_C_3, Goto_C_4, Goto_C_5, Goto_C_6: bool;
20
let 
21
	Goto_A_1 = In1_1_1;
22
	Goto_B_1 = In2_1_1;
23
	Goto_B_2 = In2_1_2;
24
	Goto_C_1 = In3_1_1;
25
	Goto_C_2 = In3_1_2;
26
	Goto_C_3 = In3_1_3;
27
	Goto_C_4 = In3_1_4;
28
	Goto_C_5 = In3_1_5;
29
	Goto_C_6 = In3_1_6;
30
	Out1_1_1 = Subsystem_Add_1_1;
31
	Subsystem2_Add_1_1 = (if In3_1_1 then 1 else 0) + (if Subsystem2_From_1_1 then 1 else 0);
32
	Subsystem2_Add_1_2 = (if In3_1_2 then 1 else 0) + (if Subsystem2_From_1_2 then 1 else 0);
33
	Subsystem2_Add_1_3 = (if In3_1_3 then 1 else 0) + (if Subsystem2_From_1_3 then 1 else 0);
34
	Subsystem2_Add_1_4 = (if In3_1_4 then 1 else 0) + (if Subsystem2_From_1_4 then 1 else 0);
35
	Subsystem2_Add_1_5 = (if In3_1_5 then 1 else 0) + (if Subsystem2_From_1_5 then 1 else 0);
36
	Subsystem2_Add_1_6 = (if In3_1_6 then 1 else 0) + (if Subsystem2_From_1_6 then 1 else 0);
37
	Subsystem2_From_1_1 = Goto_C_1;
38
	Subsystem2_From_1_2 = Goto_C_2;
39
	Subsystem2_From_1_3 = Goto_C_3;
40
	Subsystem2_From_1_4 = Goto_C_4;
41
	Subsystem2_From_1_5 = Goto_C_5;
42
	Subsystem2_From_1_6 = Goto_C_6;
43
	Subsystem1_Add_1_1 = In2_1_1 + Subsystem1_From_1_1;
44
	Subsystem1_Add_1_2 = In2_1_2 + Subsystem1_From_1_2;
45
	Subsystem1_From_1_1 = Goto_B_1;
46
	Subsystem1_From_1_2 = Goto_B_2;
47
	Subsystem_Add_1_1 = In1_1_1 + Subsystem_From_1_1;
48
	Subsystem_From_1_1 = Goto_A_1;
49
	Out2_2_1 = Subsystem1_Add_1_1;
50
	Out2_2_2 = Subsystem1_Add_1_2;
51
	Out3_3_1 = Subsystem2_Add_1_1;
52
	Out3_3_2 = Subsystem2_Add_1_2;
53
	Out3_3_3 = Subsystem2_Add_1_3;
54
	Out3_3_4 = Subsystem2_Add_1_4;
55
	Out3_3_5 = Subsystem2_Add_1_5;
56
	Out3_3_6 = Subsystem2_Add_1_6;
57
	i_virtual_local= 0.0 -> 1.0;
58
tel
59