Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec-tests / regression_tests / lustre_files / success / Stateflow / src_Junctions1V0 / Junctions1V0.lusi @ 79ef5fc5

History | View | Annotate | Download (5.16 KB)

1
(* Generated Lustre Interface file from Junctions1V0.lus *)
2
(* by Lustre-C compiler version 1.3-458, 2016/10/29, 22:59:27 *)
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_CHARTJUNCTION1192_1, CHART_B__TO__CHART_A_1, CHART_C__TO__CHART_A_1, CHART_A_IDL, CHART_B_IDL, CHART_C_IDL };
6

    
7

    
8
function Chart_A__To__Chart_ChartJunction1192_1_Condition_Action (y_1: int) returns (y: int);
9

    
10
function Chart_A__To__Chart_ChartJunction1192_1_Transition_Action (z_1: int) returns (z: int);
11

    
12
function Chart_A_ex (idChart_Chart_1: int; isInner: bool) returns (idChart_Chart: int);
13

    
14
function Chart_B_en (idChart_Chart_1: int; isInner: bool) returns (idChart_Chart: int);
15

    
16
function Chart_C_en (idChart_Chart_1: int; isInner: bool) returns (idChart_Chart: int);
17

    
18
function Chart_ChartJunction1192__To__Chart_B_1_Condition_Action (y_1: int) returns (y: int);
19

    
20
function Chart_ChartJunction1192__To__Chart_B_1_Transition_Action (z_1: int) returns (z: int);
21

    
22
function Chart_ChartJunction1192__To__Chart_C_2_Condition_Action (y_1: int) returns (y: int);
23

    
24
function Chart_ChartJunction1192__To__Chart_C_2_Transition_Action (z_1: int) returns (z: int);
25

    
26
function Chart_A_en (idChart_Chart_1: int; isInner: bool) returns (idChart_Chart: int);
27

    
28
function Chart_B_ex (idChart_Chart_1: int; isInner: bool) returns (idChart_Chart: int);
29

    
30
function Chart_C_ex (idChart_Chart_1: int; isInner: bool) returns (idChart_Chart: int);
31

    
32
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);
33

    
34
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);
35

    
36
function chart_chart__CHART_A__TO__CHART_CHARTJUNCTION1192_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);
37

    
38
function chart_chart__CHART_A__TO__CHART_CHARTJUNCTION1192_1_unless (chart_chart__restart_in: bool) returns (chart_chart__restart_act: bool; chart_chart__state_act: chart_chart__type);
39

    
40
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);
41

    
42
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);
43

    
44
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);
45

    
46
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);
47

    
48
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);
49

    
50
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);
51

    
52
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);
53

    
54
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);
55

    
56
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);
57

    
58
function chart_chart__POINTChart_Chart_unless (chart_chart__restart_in: bool; idChart_Chart_1: int; E1: bool; x: int) returns (chart_chart__restart_act: bool; chart_chart__state_act: chart_chart__type);
59

    
60
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);
61

    
62
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);
63

    
64
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);
65

    
66
node Junctions1V0_Chart (x: int; E1: bool) returns (y: int; z: int);
67

    
68
node Junctions1V0 (x_1_1: int; E1_1_1: real) returns (y_1_1: int; z_2_1: int);
69