/regression_tests/lustre_files/success/Stateflow/src_Arrays2/Arrays2.lusi - Annotate - Lustrec-Tests

79ef5fc5

bourbouh

(* Generated Lustre Interface file from Arrays2.lus *)

2

(* by Lustre-C compiler version 1.3-458, 2016/10/29, 22:59:32 *)

3

(* Feel free to mask some of the definitions by removing them from this file. *)

4

5

type arrays2_arrays2__type = enum {POINTArrays2_Arrays2, POINT__TO__ARRAYS2_A_1, ARRAYS2_A__TO__ARRAYS2_B_1, ARRAYS2_B__TO__ARRAYS2_C_1, ARRAYS2_C__TO__ARRAYS2_A_1, ARRAYS2_A_IDL, ARRAYS2_B_IDL, ARRAYS2_C_IDL };

6

7

8

function Arrays2_A_ex (idArrays2_Arrays2_1: int; isInner: bool) returns (idArrays2_Arrays2: int);

9

10

function Arrays2_B_en (idArrays2_Arrays2_1: int; x_1_2_1: real; x_2_2_1: real; isInner: bool) returns (idArrays2_Arrays2: int; x_1_2: real; x_2_2: real);

11

12

function Arrays2_B_ex (idArrays2_Arrays2_1: int; isInner: bool) returns (idArrays2_Arrays2: int);

13

14

function Arrays2_C_en (idArrays2_Arrays2_1: int; x_1_3_1: real; x_2_3_1: real; isInner: bool) returns (idArrays2_Arrays2: int; x_1_3: real; x_2_3: real);

15

16

function Arrays2_A_en (idArrays2_Arrays2_1: int; x_1_1_1: real; x_2_1_1: real; isInner: bool) returns (idArrays2_Arrays2: int; x_1_1: real; x_2_1: real);

17

18

function Arrays2_C_ex (idArrays2_Arrays2_1: int; isInner: bool) returns (idArrays2_Arrays2: int);

19

20

function arrays2_arrays2__ARRAYS2_A_IDL_handler_until (arrays2_arrays2__restart_act: bool; idArrays2_Arrays2_1: int; x_1_1_1: real; x_2_1_1: real; x_1_2_1: real; x_2_2_1: real; x_1_3_1: real; x_2_3_1: real) returns (arrays2_arrays2__restart_in: bool; arrays2_arrays2__state_in: arrays2_arrays2__type; idArrays2_Arrays2_out: int; x_1_1_out: real; x_1_2_out: real; x_1_3_out: real; x_2_1_out: real; x_2_2_out: real; x_2_3_out: real);

21

22

function arrays2_arrays2__ARRAYS2_A_IDL_unless (arrays2_arrays2__restart_in: bool) returns (arrays2_arrays2__restart_act: bool; arrays2_arrays2__state_act: arrays2_arrays2__type);

23

24

function arrays2_arrays2__ARRAYS2_A__TO__ARRAYS2_B_1_handler_until (arrays2_arrays2__restart_act: bool; idArrays2_Arrays2_1: int; x_1_1_1: real; x_2_1_1: real; x_1_2_1: real; x_2_2_1: real; x_1_3_1: real; x_2_3_1: real) returns (arrays2_arrays2__restart_in: bool; arrays2_arrays2__state_in: arrays2_arrays2__type; idArrays2_Arrays2_out: int; x_1_1_out: real; x_1_2_out: real; x_1_3_out: real; x_2_1_out: real; x_2_2_out: real; x_2_3_out: real);

25

26

function arrays2_arrays2__ARRAYS2_A__TO__ARRAYS2_B_1_unless (arrays2_arrays2__restart_in: bool) returns (arrays2_arrays2__restart_act: bool; arrays2_arrays2__state_act: arrays2_arrays2__type);

27

28

function arrays2_arrays2__ARRAYS2_B_IDL_handler_until (arrays2_arrays2__restart_act: bool; idArrays2_Arrays2_1: int; x_1_1_1: real; x_2_1_1: real; x_1_2_1: real; x_2_2_1: real; x_1_3_1: real; x_2_3_1: real) returns (arrays2_arrays2__restart_in: bool; arrays2_arrays2__state_in: arrays2_arrays2__type; idArrays2_Arrays2_out: int; x_1_1_out: real; x_1_2_out: real; x_1_3_out: real; x_2_1_out: real; x_2_2_out: real; x_2_3_out: real);

29

30

function arrays2_arrays2__ARRAYS2_B_IDL_unless (arrays2_arrays2__restart_in: bool) returns (arrays2_arrays2__restart_act: bool; arrays2_arrays2__state_act: arrays2_arrays2__type);

31

32

function arrays2_arrays2__ARRAYS2_B__TO__ARRAYS2_C_1_handler_until (arrays2_arrays2__restart_act: bool; idArrays2_Arrays2_1: int; x_1_1_1: real; x_2_1_1: real; x_1_2_1: real; x_2_2_1: real; x_1_3_1: real; x_2_3_1: real) returns (arrays2_arrays2__restart_in: bool; arrays2_arrays2__state_in: arrays2_arrays2__type; idArrays2_Arrays2_out: int; x_1_1_out: real; x_1_2_out: real; x_1_3_out: real; x_2_1_out: real; x_2_2_out: real; x_2_3_out: real);

33

34

function arrays2_arrays2__ARRAYS2_B__TO__ARRAYS2_C_1_unless (arrays2_arrays2__restart_in: bool) returns (arrays2_arrays2__restart_act: bool; arrays2_arrays2__state_act: arrays2_arrays2__type);

35

36

function arrays2_arrays2__ARRAYS2_C_IDL_handler_until (arrays2_arrays2__restart_act: bool; idArrays2_Arrays2_1: int; x_1_1_1: real; x_2_1_1: real; x_1_2_1: real; x_2_2_1: real; x_1_3_1: real; x_2_3_1: real) returns (arrays2_arrays2__restart_in: bool; arrays2_arrays2__state_in: arrays2_arrays2__type; idArrays2_Arrays2_out: int; x_1_1_out: real; x_1_2_out: real; x_1_3_out: real; x_2_1_out: real; x_2_2_out: real; x_2_3_out: real);

37

38

function arrays2_arrays2__ARRAYS2_C_IDL_unless (arrays2_arrays2__restart_in: bool) returns (arrays2_arrays2__restart_act: bool; arrays2_arrays2__state_act: arrays2_arrays2__type);

39

40

function arrays2_arrays2__ARRAYS2_C__TO__ARRAYS2_A_1_handler_until (arrays2_arrays2__restart_act: bool; idArrays2_Arrays2_1: int; x_1_1_1: real; x_2_1_1: real; x_1_2_1: real; x_2_2_1: real; x_1_3_1: real; x_2_3_1: real) returns (arrays2_arrays2__restart_in: bool; arrays2_arrays2__state_in: arrays2_arrays2__type; idArrays2_Arrays2_out: int; x_1_1_out: real; x_1_2_out: real; x_1_3_out: real; x_2_1_out: real; x_2_2_out: real; x_2_3_out: real);

41

42

function arrays2_arrays2__ARRAYS2_C__TO__ARRAYS2_A_1_unless (arrays2_arrays2__restart_in: bool) returns (arrays2_arrays2__restart_act: bool; arrays2_arrays2__state_act: arrays2_arrays2__type);

43

44

function arrays2_arrays2__POINTArrays2_Arrays2_handler_until (arrays2_arrays2__restart_act: bool; idArrays2_Arrays2_1: int; x_1_1_1: real; x_2_1_1: real; x_1_2_1: real; x_2_2_1: real; x_1_3_1: real; x_2_3_1: real) returns (arrays2_arrays2__restart_in: bool; arrays2_arrays2__state_in: arrays2_arrays2__type; idArrays2_Arrays2_out: int; x_1_1_out: real; x_1_2_out: real; x_1_3_out: real; x_2_1_out: real; x_2_2_out: real; x_2_3_out: real);

45

46

function arrays2_arrays2__POINTArrays2_Arrays2_unless (arrays2_arrays2__restart_in: bool; idArrays2_Arrays2_1: int; E: bool) returns (arrays2_arrays2__restart_act: bool; arrays2_arrays2__state_act: arrays2_arrays2__type);

47

48

function arrays2_arrays2__POINT__TO__ARRAYS2_A_1_handler_until (arrays2_arrays2__restart_act: bool; idArrays2_Arrays2_1: int; x_1_1_1: real; x_2_1_1: real; x_1_2_1: real; x_2_2_1: real; x_1_3_1: real; x_2_3_1: real) returns (arrays2_arrays2__restart_in: bool; arrays2_arrays2__state_in: arrays2_arrays2__type; idArrays2_Arrays2_out: int; x_1_1_out: real; x_1_2_out: real; x_1_3_out: real; x_2_1_out: real; x_2_2_out: real; x_2_3_out: real);

49

50

function arrays2_arrays2__POINT__TO__ARRAYS2_A_1_unless (arrays2_arrays2__restart_in: bool) returns (arrays2_arrays2__restart_act: bool; arrays2_arrays2__state_act: arrays2_arrays2__type);

51

52

node Arrays2_Arrays2_node (idArrays2_Arrays2_1: int; x_1_1_1: real; x_2_1_1: real; E: bool; x_1_2_1: real; x_2_2_1: real; x_1_3_1: real; x_2_3_1: real) returns (idArrays2_Arrays2: int; x_1_1: real; x_2_1: real; x_1_2: real; x_2_2: real; x_1_3: real; x_2_3: real);

53

54

node Arrays2_Arrays2 (E: bool) returns (x_1_1: real; x_1_2: real; x_1_3: real; x_2_1: real; x_2_2: real; x_2_3: real);

55

56

node Arrays2 (In1_1_1: real) returns (Out1_1_1: real; Out1_1_2: real; Out1_1_3: real; Out1_1_4: real; Out1_1_5: real; Out1_1_6: real);

Project

General

Profile

CristalCaveGem » LustreC » Lustrec-Tests

Project

General

Profile

CristalCaveGem » LustreC » Lustrec-Tests

lustrec-tests/regression_tests/lustre_files/success/Stateflow/src_Arrays2/Arrays2.lusi @ 79ef5fc5