Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec-tests / regression_tests / lustre_files / success / Stateflow / src_Junctions1False / Junctions1False.lusi @ 79ef5fc5

History | View | Annotate | Download (6.29 KB)

1 79ef5fc5 bourbouh
(* Generated Lustre Interface file from Junctions1False.lus *)
2
(* by Lustre-C compiler version 1.3-458, 2016/10/29, 22:59:21 *)
3
(* Feel free to mask some of the definitions by removing them from this file. *)
4
5
type chart_chart__type = enum {POINTChart_Chart, POINT__TO__CHART_A_1, CHART_A__TO__CHART_CHARTJUNCTION1168_1, CHART_A__TO__CHART_CHARTJUNCTION1167_2, CHART_C__TO__CHART_A_1, CHART_B__TO__CHART_A_1, CHART_A_IDL, CHART_C_IDL, CHART_B_IDL };
6
7
8
function Chart_A_ex (y_1: int; idChart_Chart_1: int; isInner: bool) returns (y: int; idChart_Chart: int);
9
10
function Chart_C_en (idChart_Chart_1: int; isInner: bool) returns (idChart_Chart: int);
11
12
function Chart_ChartJunction1167__To__Chart_C_1_Transition_Action (z_1: int) returns (z: int);
13
14
function Chart_A__To__Chart_ChartJunction1168_1_Condition_Action (y_1: int) returns (y: int);
15
16
function Chart_A__To__Chart_ChartJunction1168_1_Transition_Action (z_1: int) returns (z: int);
17
18
function Chart_B_en (idChart_Chart_1: int; isInner: bool) returns (idChart_Chart: int);
19
20
function Chart_ChartJunction1168__To__Chart_B_1_Condition_Action (y_1: int) returns (y: int);
21
22
function Chart_ChartJunction1168__To__Chart_B_1_Transition_Action (z_1: int) returns (z: int);
23
24
function Chart_ChartJunction1168__To__Chart_C_3_Condition_Action (y_1: int) returns (y: int);
25
26
function Chart_ChartJunction1168__To__Chart_C_3_Transition_Action (z_1: int) returns (z: int);
27
28
function Chart_ChartJunction1168__To__Chart_ChartJunction1169_2_Condition_Action (y_1: int) returns (y: int);
29
30
function Chart_ChartJunction1168__To__Chart_ChartJunction1169_2_Transition_Action (z_1: int) returns (z: int);
31
32
function Chart_ChartJunction1169__To__Chart_B_1_Condition_Action (y_1: int) returns (y: int);
33
34
function Chart_ChartJunction1169__To__Chart_B_1_Transition_Action (z_1: int) returns (z: int);
35
36
function Chart_ChartJunction1169__To__Chart_C_2_Condition_Action (y_1: int) returns (y: int);
37
38
function Chart_A_en (idChart_Chart_1: int; isInner: bool) returns (idChart_Chart: int);
39
40
function Chart_B_ex (idChart_Chart_1: int; isInner: bool) returns (idChart_Chart: int);
41
42
function Chart_C_ex (idChart_Chart_1: int; isInner: bool) returns (idChart_Chart: int);
43
44
function chart_chart__CHART_A_IDL_handler_until (chart_chart__restart_act: bool; idChart_Chart_1: int; y_1: int; z_1: int) returns (chart_chart__restart_in: bool; chart_chart__state_in: chart_chart__type; idChart_Chart_out: int; y_out: int; z_out: int);
45
46
function chart_chart__CHART_A_IDL_unless (chart_chart__restart_in: bool) returns (chart_chart__restart_act: bool; chart_chart__state_act: chart_chart__type);
47
48
function chart_chart__CHART_A__TO__CHART_CHARTJUNCTION1167_2_handler_until (chart_chart__restart_act: bool; idChart_Chart_1: int; x: int; y_1: int; z_1: int) returns (chart_chart__restart_in: bool; chart_chart__state_in: chart_chart__type; idChart_Chart_out: int; y_out: int; z_out: int);
49
50
function chart_chart__CHART_A__TO__CHART_CHARTJUNCTION1167_2_unless (chart_chart__restart_in: bool) returns (chart_chart__restart_act: bool; chart_chart__state_act: chart_chart__type);
51
52
function chart_chart__CHART_A__TO__CHART_CHARTJUNCTION1168_1_handler_until (chart_chart__restart_act: bool; idChart_Chart_1: int; x: int; y_1: int; z_1: int) returns (chart_chart__restart_in: bool; chart_chart__state_in: chart_chart__type; idChart_Chart_out: int; y_out: int; z_out: int);
53
54
function chart_chart__CHART_A__TO__CHART_CHARTJUNCTION1168_1_unless (chart_chart__restart_in: bool) returns (chart_chart__restart_act: bool; chart_chart__state_act: chart_chart__type);
55
56
function chart_chart__CHART_B_IDL_handler_until (chart_chart__restart_act: bool; idChart_Chart_1: int; y_1: int; z_1: int) returns (chart_chart__restart_in: bool; chart_chart__state_in: chart_chart__type; idChart_Chart_out: int; y_out: int; z_out: int);
57
58
function chart_chart__CHART_B_IDL_unless (chart_chart__restart_in: bool) returns (chart_chart__restart_act: bool; chart_chart__state_act: chart_chart__type);
59
60
function chart_chart__CHART_B__TO__CHART_A_1_handler_until (chart_chart__restart_act: bool; idChart_Chart_1: int; y_1: int; z_1: int) returns (chart_chart__restart_in: bool; chart_chart__state_in: chart_chart__type; idChart_Chart_out: int; y_out: int; z_out: int);
61
62
function chart_chart__CHART_B__TO__CHART_A_1_unless (chart_chart__restart_in: bool) returns (chart_chart__restart_act: bool; chart_chart__state_act: chart_chart__type);
63
64
function chart_chart__CHART_C_IDL_handler_until (chart_chart__restart_act: bool; idChart_Chart_1: int; y_1: int; z_1: int) returns (chart_chart__restart_in: bool; chart_chart__state_in: chart_chart__type; idChart_Chart_out: int; y_out: int; z_out: int);
65
66
function chart_chart__CHART_C_IDL_unless (chart_chart__restart_in: bool) returns (chart_chart__restart_act: bool; chart_chart__state_act: chart_chart__type);
67
68
function chart_chart__CHART_C__TO__CHART_A_1_handler_until (chart_chart__restart_act: bool; idChart_Chart_1: int; y_1: int; z_1: int) returns (chart_chart__restart_in: bool; chart_chart__state_in: chart_chart__type; idChart_Chart_out: int; y_out: int; z_out: int);
69
70
function chart_chart__CHART_C__TO__CHART_A_1_unless (chart_chart__restart_in: bool) returns (chart_chart__restart_act: bool; chart_chart__state_act: chart_chart__type);
71
72
function chart_chart__POINTChart_Chart_handler_until (chart_chart__restart_act: bool; idChart_Chart_1: int; y_1: int; z_1: int) returns (chart_chart__restart_in: bool; chart_chart__state_in: chart_chart__type; idChart_Chart_out: int; y_out: int; z_out: int);
73
74
function chart_chart__POINTChart_Chart_unless (chart_chart__restart_in: bool; idChart_Chart_1: int; E1: bool; x: int; y_1: int) returns (chart_chart__restart_act: bool; chart_chart__state_act: chart_chart__type);
75
76
function chart_chart__POINT__TO__CHART_A_1_handler_until (chart_chart__restart_act: bool; idChart_Chart_1: int; y_1: int; z_1: int) returns (chart_chart__restart_in: bool; chart_chart__state_in: chart_chart__type; idChart_Chart_out: int; y_out: int; z_out: int);
77
78
function chart_chart__POINT__TO__CHART_A_1_unless (chart_chart__restart_in: bool) returns (chart_chart__restart_act: bool; chart_chart__state_act: chart_chart__type);
79
80
node Chart_Chart_node (idChart_Chart_1: int; E1: bool; x: int; y_1: int; z_1: int) returns (idChart_Chart: int; y: int; z: int);
81
82
node Junctions1False_Chart (x: int; E1: bool) returns (y: int; z: int);
83
84
node Junctions1False (x_1_1: int; E1_1_1: real) returns (y_1_1: int; z_2_1: int);