Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec-tests / regression_tests / lustre_files / success / automata / without_properties / microwave.lusi @ 02d89bbb

History | View | Annotate | Download (6.22 KB)

1
(* Generated Lustre Interface file from microwave.lus *)
2
(* by Lustre-C compiler version 1.3-458, 2016/10/21, 12:58:32 *)
3
(* Feel free to mask some of the definitions by removing them from this file. *)
4

    
5
type microwave_basic_automaton__type = enum {BSETUP, BRUNNING }; 
6

    
7
type microwave_basic_running__type = enum {BRUNNING_ENTRY, BCOOKING, BSUSPENDED };
8

    
9

    
10
type microwave_automaton__type = enum {SETUP, RUNNING }; 
11

    
12
type microwave_running__type = enum {RUNNING_ENTRY, COOKING, SUSPENDED }; 
13

    
14
node push_n_relaxed (kp_0: bool; kp_1: bool; kp_2: bool; kp_3: bool; kp_4: bool; kp_5: bool; kp_6: bool; kp_7: bool; kp_8: bool; kp_9: bool) returns (ok: bool; value: int);
15

    
16
node microwave_basic_running__BCOOKING_handler_until (microwave_basic_running__restart_act: bool) returns (microwave_basic_running__restart_in: bool; microwave_basic_running__state_in: microwave_basic_running__type; _mode_out_1: int; _steps_remaining_out_1: int);
17

    
18
function microwave_basic_running__BCOOKING_unless (microwave_basic_running__restart_in: bool; clear: bool; door_closed: bool) returns (microwave_basic_running__restart_act: bool; microwave_basic_running__state_act: microwave_basic_running__type);
19

    
20
node microwave_basic_running__BRUNNING_ENTRY_handler_until (microwave_basic_running__restart_act: bool) returns (microwave_basic_running__restart_in: bool; microwave_basic_running__state_in: microwave_basic_running__type; _mode_out_1: int; _steps_remaining_out_1: int);
21

    
22
function microwave_basic_running__BRUNNING_ENTRY_unless (microwave_basic_running__restart_in: bool; door_closed: bool) returns (microwave_basic_running__restart_act: bool; microwave_basic_running__state_act: microwave_basic_running__type);
23

    
24
node microwave_basic_running__BSUSPENDED_handler_until (microwave_basic_running__restart_act: bool) returns (microwave_basic_running__restart_in: bool; microwave_basic_running__state_in: microwave_basic_running__type; _mode_out_1: int; _steps_remaining_out_1: int);
25

    
26
function microwave_basic_running__BSUSPENDED_unless (microwave_basic_running__restart_in: bool; start: bool; door_closed: bool) returns (microwave_basic_running__restart_act: bool; microwave_basic_running__state_act: microwave_basic_running__type);
27

    
28
node microwave_running__COOKING_handler_until (microwave_running__restart_act: bool) returns (microwave_running__restart_in: bool; microwave_running__state_in: microwave_running__type; _mode_out_1: int; _steps_remaining_out_1: int);
29

    
30
function microwave_running__COOKING_unless (microwave_running__restart_in: bool; door_closed: bool; CLEAR_PRESSED: bool) returns (microwave_running__restart_act: bool; microwave_running__state_act: microwave_running__type);
31

    
32
node microwave_running__RUNNING_ENTRY_handler_until (microwave_running__restart_act: bool) returns (microwave_running__restart_in: bool; microwave_running__state_in: microwave_running__type; _mode_out_1: int; _steps_remaining_out_1: int);
33

    
34
function microwave_running__RUNNING_ENTRY_unless (microwave_running__restart_in: bool; door_closed: bool) returns (microwave_running__restart_act: bool; microwave_running__state_act: microwave_running__type);
35

    
36
node microwave_running__SUSPENDED_handler_until (microwave_running__restart_act: bool) returns (microwave_running__restart_in: bool; microwave_running__state_in: microwave_running__type; _mode_out_1: int; _steps_remaining_out_1: int);
37

    
38
function microwave_running__SUSPENDED_unless (microwave_running__restart_in: bool; door_closed: bool; START_PRESSED: bool) returns (microwave_running__restart_act: bool; microwave_running__state_act: microwave_running__type);
39

    
40
node keypad (kp_0: bool; kp_1: bool; kp_2: bool; kp_3: bool; kp_4: bool; kp_5: bool; kp_6: bool; kp_7: bool; kp_8: bool; kp_9: bool) returns (left: int; middle: int; right: int);
41

    
42
node microwave_basic_automaton__BRUNNING_handler_until (microwave_basic_automaton__restart_act: bool; start: bool; clear: bool; door_closed: bool) returns (microwave_basic_automaton__restart_in: bool; microwave_basic_automaton__state_in: microwave_basic_automaton__type; mode_out: int; steps_remaining_out: int);
43

    
44
function microwave_basic_automaton__BRUNNING_unless (microwave_basic_automaton__restart_in: bool) returns (microwave_basic_automaton__restart_act: bool; microwave_basic_automaton__state_act: microwave_basic_automaton__type);
45

    
46
function microwave_basic_automaton__BSETUP_handler_until (microwave_basic_automaton__restart_act: bool; start: bool; steps_to_cook: int) returns (microwave_basic_automaton__restart_in: bool; microwave_basic_automaton__state_in: microwave_basic_automaton__type; mode_out: int; steps_remaining_out: int);
47

    
48
function microwave_basic_automaton__BSETUP_unless (microwave_basic_automaton__restart_in: bool) returns (microwave_basic_automaton__restart_act: bool; microwave_basic_automaton__state_act: microwave_basic_automaton__type);
49

    
50
node microwave_automaton__RUNNING_handler_until (microwave_automaton__restart_act: bool; door_closed: bool; CLEAR_PRESSED: bool; START_PRESSED: bool) returns (microwave_automaton__restart_in: bool; microwave_automaton__state_in: microwave_automaton__type; left_out: int; middle_out: int; mode_out: int; right_out: int; steps_remaining_out: int; steps_to_cook_out: int);
51

    
52
function microwave_automaton__RUNNING_unless (microwave_automaton__restart_in: bool) returns (microwave_automaton__restart_act: bool; microwave_automaton__state_act: microwave_automaton__type);
53

    
54
node microwave_automaton__SETUP_handler_until (microwave_automaton__restart_act: bool; kp_clear: bool; kp_0: bool; kp_1: bool; kp_2: bool; kp_3: bool; kp_4: bool; kp_5: bool; kp_6: bool; kp_7: bool; kp_8: bool; kp_9: bool; START_PRESSED: bool) returns (microwave_automaton__restart_in: bool; microwave_automaton__state_in: microwave_automaton__type; left_out: int; middle_out: int; mode_out: int; right_out: int; steps_remaining_out: int; steps_to_cook_out: int);
55

    
56
function microwave_automaton__SETUP_unless (microwave_automaton__restart_in: bool) returns (microwave_automaton__restart_act: bool; microwave_automaton__state_act: microwave_automaton__type);
57

    
58
node microwave_basic (start: bool; clear: bool; door_closed: bool; steps_to_cook: int) returns (mode: int);
59

    
60
node microwave (kp_start: bool; kp_clear: bool; kp_0: bool; kp_1: bool; kp_2: bool; kp_3: bool; kp_4: bool; kp_5: bool; kp_6: bool; kp_7: bool; kp_8: bool; kp_9: bool; door_closed: bool) returns (light_on: bool);
61