Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec-tests / regression_tests / lustre_files / success / Stateflow / src_Temporal1 / Temporal1.lusi @ 79ef5fc5

History | View | Annotate | Download (4.22 KB)

1
(* Generated Lustre Interface file from Temporal1.lus *)
2
(* by Lustre-C compiler version 1.3-458, 2016/10/29, 22:59:19 *)
3
(* Feel free to mask some of the definitions by removing them from this file. *)
4

    
5
type temporal1_temporal1__type = enum {POINTTemporal1_Temporal1, POINT__TO__TEMPORAL1_A_1, TEMPORAL1_A__TO__TEMPORAL1_B_1, TEMPORAL1_B__TO__TEMPORAL1_A_1, TEMPORAL1_A_IDL, TEMPORAL1_B_IDL };
6

    
7

    
8
function Temporal1_A_en (idTemporal1_Temporal1_1: int; x_1: int; isInner: bool) returns (idTemporal1_Temporal1: int; x: int);
9

    
10
function Temporal1_A_ex (idTemporal1_Temporal1_1: int; isInner: bool) returns (idTemporal1_Temporal1: int);
11

    
12
function Temporal1_B_en (idTemporal1_Temporal1_1: int; x_1: int; isInner: bool) returns (idTemporal1_Temporal1: int; x: int);
13

    
14
function Temporal1_B_ex (idTemporal1_Temporal1_1: int; isInner: bool) returns (idTemporal1_Temporal1: int);
15

    
16
node after (n: int; E: bool; id: int) returns (Y: bool);
17

    
18
function temporal1_temporal1__POINTTemporal1_Temporal1_handler_until (temporal1_temporal1__restart_act: bool; idTemporal1_Temporal1_1: int; x_1: int) returns (temporal1_temporal1__restart_in: bool; temporal1_temporal1__state_in: temporal1_temporal1__type; idTemporal1_Temporal1_out: int; x_out: int);
19

    
20
function temporal1_temporal1__POINTTemporal1_Temporal1_unless (temporal1_temporal1__restart_in: bool; idTemporal1_Temporal1_1: int; E: bool; after_E_2_output: bool; after_E_3_output: bool) returns (temporal1_temporal1__restart_act: bool; temporal1_temporal1__state_act: temporal1_temporal1__type);
21

    
22
function temporal1_temporal1__POINT__TO__TEMPORAL1_A_1_handler_until (temporal1_temporal1__restart_act: bool; idTemporal1_Temporal1_1: int; x_1: int) returns (temporal1_temporal1__restart_in: bool; temporal1_temporal1__state_in: temporal1_temporal1__type; idTemporal1_Temporal1_out: int; x_out: int);
23

    
24
function temporal1_temporal1__POINT__TO__TEMPORAL1_A_1_unless (temporal1_temporal1__restart_in: bool) returns (temporal1_temporal1__restart_act: bool; temporal1_temporal1__state_act: temporal1_temporal1__type);
25

    
26
function temporal1_temporal1__TEMPORAL1_A_IDL_handler_until (temporal1_temporal1__restart_act: bool; idTemporal1_Temporal1_1: int; x_1: int) returns (temporal1_temporal1__restart_in: bool; temporal1_temporal1__state_in: temporal1_temporal1__type; idTemporal1_Temporal1_out: int; x_out: int);
27

    
28
function temporal1_temporal1__TEMPORAL1_A_IDL_unless (temporal1_temporal1__restart_in: bool) returns (temporal1_temporal1__restart_act: bool; temporal1_temporal1__state_act: temporal1_temporal1__type);
29

    
30
function temporal1_temporal1__TEMPORAL1_A__TO__TEMPORAL1_B_1_handler_until (temporal1_temporal1__restart_act: bool; idTemporal1_Temporal1_1: int; x_1: int) returns (temporal1_temporal1__restart_in: bool; temporal1_temporal1__state_in: temporal1_temporal1__type; idTemporal1_Temporal1_out: int; x_out: int);
31

    
32
function temporal1_temporal1__TEMPORAL1_A__TO__TEMPORAL1_B_1_unless (temporal1_temporal1__restart_in: bool) returns (temporal1_temporal1__restart_act: bool; temporal1_temporal1__state_act: temporal1_temporal1__type);
33

    
34
function temporal1_temporal1__TEMPORAL1_B_IDL_handler_until (temporal1_temporal1__restart_act: bool; idTemporal1_Temporal1_1: int; x_1: int) returns (temporal1_temporal1__restart_in: bool; temporal1_temporal1__state_in: temporal1_temporal1__type; idTemporal1_Temporal1_out: int; x_out: int);
35

    
36
function temporal1_temporal1__TEMPORAL1_B_IDL_unless (temporal1_temporal1__restart_in: bool) returns (temporal1_temporal1__restart_act: bool; temporal1_temporal1__state_act: temporal1_temporal1__type);
37

    
38
function temporal1_temporal1__TEMPORAL1_B__TO__TEMPORAL1_A_1_handler_until (temporal1_temporal1__restart_act: bool; idTemporal1_Temporal1_1: int; x_1: int) returns (temporal1_temporal1__restart_in: bool; temporal1_temporal1__state_in: temporal1_temporal1__type; idTemporal1_Temporal1_out: int; x_out: int);
39

    
40
function temporal1_temporal1__TEMPORAL1_B__TO__TEMPORAL1_A_1_unless (temporal1_temporal1__restart_in: bool) returns (temporal1_temporal1__restart_act: bool; temporal1_temporal1__state_act: temporal1_temporal1__type);
41

    
42
node Temporal1_Temporal1_node (idTemporal1_Temporal1_1: int; x_1: int; E: bool) returns (idTemporal1_Temporal1: int; x: int);
43

    
44
node Temporal1_Temporal1 (E: bool) returns (x: int);
45

    
46
node Temporal1 (E_1_1: real) returns (x_1_1: int);
47