/regression_tests/lustre_files/success/Simulink/src_many_files/IF_with_EnabledSS_PP.LUSTREC.lusi - Annotate - Lustrec-Tests

4748b215

hbourbou

(* Generated Lustre Interface file from IF_with_EnabledSS_PP.LUSTREC.lus *)

2

(* by Lustre-C compiler version 1.7-888-@GITBRANCH@, 2018/11/4, 20:22:20 *)

3

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

4

5

type enabled_ActionSubsystem1_50_010__type = enum {Active_ActionSubsystem1_50_010, Inactive_ActionSubsystem1_50_010 };

6

7

type enabled_ActionSubsystem2_57_013__type = enum {Active_ActionSubsystem2_57_013, Inactive_ActionSubsystem2_57_013 };

8

9

type enabled_ActionSubsystem3_64_010__type = enum {Active_ActionSubsystem3_64_010, Inactive_ActionSubsystem3_64_010 };

10

11

node ActionSubsystem1_50_010 (In1_1: real;

12

__time_step: real;

13

__nb_step: int) returns (Out1_1: real);

14

15

node ActionSubsystem2_57_013 (In1_1: real;

16

__time_step: real;

17

__nb_step: int) returns (Out1_1: real);

18

19

node ActionSubsystem3_64_010 (In1_1: real;

20

__time_step: real;

21

__nb_step: int) returns (Out1_1: real);

22

23

node enabled_ActionSubsystem1_50_010__Active_ActionSubsystem1_50_010_handler_until (enabled_ActionSubsystem1_50_010__restart_act: bool;

24

In1_1: real;

25

__time_step: real;

26

__nb_step: int) returns (enabled_ActionSubsystem1_50_010__restart_in: bool;

27

enabled_ActionSubsystem1_50_010__state_in: enabled_ActionSubsystem1_50_010__type;

28

Out1_1_out: real);

29

30

function enabled_ActionSubsystem1_50_010__Active_ActionSubsystem1_50_010_unless (enabled_ActionSubsystem1_50_010__restart_in: bool;

31

_isEnabled: bool) returns (enabled_ActionSubsystem1_50_010__restart_act: bool;

32

enabled_ActionSubsystem1_50_010__state_act: enabled_ActionSubsystem1_50_010__type);

33

34

function enabled_ActionSubsystem1_50_010__Inactive_ActionSubsystem1_50_010_handler_until (enabled_ActionSubsystem1_50_010__restart_act: bool;

35

pre_Out1_1: real) returns (enabled_ActionSubsystem1_50_010__restart_in: bool;

36

enabled_ActionSubsystem1_50_010__state_in: enabled_ActionSubsystem1_50_010__type;

37

Out1_1_out: real);

38

39

function enabled_ActionSubsystem1_50_010__Inactive_ActionSubsystem1_50_010_unless (enabled_ActionSubsystem1_50_010__restart_in: bool;

40

_isEnabled: bool) returns (enabled_ActionSubsystem1_50_010__restart_act: bool;

41

enabled_ActionSubsystem1_50_010__state_act: enabled_ActionSubsystem1_50_010__type);

42

43

node enabled_ActionSubsystem2_57_013__Active_ActionSubsystem2_57_013_handler_until (enabled_ActionSubsystem2_57_013__restart_act: bool;

44

In1_1: real;

45

__time_step: real;

46

__nb_step: int) returns (enabled_ActionSubsystem2_57_013__restart_in: bool;

47

enabled_ActionSubsystem2_57_013__state_in: enabled_ActionSubsystem2_57_013__type;

48

Out1_1_out: real);

49

50

function enabled_ActionSubsystem2_57_013__Active_ActionSubsystem2_57_013_unless (enabled_ActionSubsystem2_57_013__restart_in: bool;

51

_isEnabled: bool) returns (enabled_ActionSubsystem2_57_013__restart_act: bool;

52

enabled_ActionSubsystem2_57_013__state_act: enabled_ActionSubsystem2_57_013__type);

53

54

function enabled_ActionSubsystem2_57_013__Inactive_ActionSubsystem2_57_013_handler_until (enabled_ActionSubsystem2_57_013__restart_act: bool;

55

pre_Out1_1: real) returns (enabled_ActionSubsystem2_57_013__restart_in: bool;

56

enabled_ActionSubsystem2_57_013__state_in: enabled_ActionSubsystem2_57_013__type;

57

Out1_1_out: real);

58

59

function enabled_ActionSubsystem2_57_013__Inactive_ActionSubsystem2_57_013_unless (enabled_ActionSubsystem2_57_013__restart_in: bool;

60

_isEnabled: bool) returns (enabled_ActionSubsystem2_57_013__restart_act: bool;

61

enabled_ActionSubsystem2_57_013__state_act: enabled_ActionSubsystem2_57_013__type);

62

63

node enabled_ActionSubsystem3_64_010__Active_ActionSubsystem3_64_010_handler_until (enabled_ActionSubsystem3_64_010__restart_act: bool;

64

In1_1: real;

65

__time_step: real;

66

__nb_step: int) returns (enabled_ActionSubsystem3_64_010__restart_in: bool;

67

enabled_ActionSubsystem3_64_010__state_in: enabled_ActionSubsystem3_64_010__type;

68

Out1_1_out: real);

69

70

function enabled_ActionSubsystem3_64_010__Active_ActionSubsystem3_64_010_unless (enabled_ActionSubsystem3_64_010__restart_in: bool;

71

_isEnabled: bool) returns (enabled_ActionSubsystem3_64_010__restart_act: bool;

72

enabled_ActionSubsystem3_64_010__state_act: enabled_ActionSubsystem3_64_010__type);

73

74

function enabled_ActionSubsystem3_64_010__Inactive_ActionSubsystem3_64_010_handler_until (enabled_ActionSubsystem3_64_010__restart_act: bool;

75

pre_Out1_1: real) returns (enabled_ActionSubsystem3_64_010__restart_in: bool;

76

enabled_ActionSubsystem3_64_010__state_in: enabled_ActionSubsystem3_64_010__type;

77

Out1_1_out: real);

78

79

function enabled_ActionSubsystem3_64_010__Inactive_ActionSubsystem3_64_010_unless (enabled_ActionSubsystem3_64_010__restart_in: bool;

80

_isEnabled: bool) returns (enabled_ActionSubsystem3_64_010__restart_act: bool;

81

enabled_ActionSubsystem3_64_010__state_act: enabled_ActionSubsystem3_64_010__type);

82

83

node ActionSubsystem1_50_010_automaton (In1_1: real;

84

_isEnabled: bool;

85

__time_step: real;

86

__nb_step: int) returns (Out1_1: real);

87

88

node ActionSubsystem2_57_013_automaton (In1_1: real;

89

_isEnabled: bool;

90

__time_step: real;

91

__nb_step: int) returns (Out1_1: real);

92

93

node ActionSubsystem3_64_010_automaton (In1_1: real;

94

_isEnabled: bool;

95

__time_step: real;

96

__nb_step: int) returns (Out1_1: real);

97

98

node IF_with_EnabledSS_PP (In1_1: int;

99

In1_2: int;

100

In1_3: int;

101

In2_1: real;

102

In3_1: int;

103

In3_2: int;

104

In3_3: int) returns (Out1_1: real;

105

Out2_1: real;

106

Out3_1: real);

107

Project

General

Profile

CristalCaveGem » LustreC » Lustrec-Tests

Project

General

Profile

CristalCaveGem » LustreC » Lustrec-Tests

lustrec-tests/regression_tests/lustre_files/success/Simulink/src_many_files/IF_with_EnabledSS_PP.LUSTREC.lusi @ 4748b215