Project

General

Profile

« Previous | Next » 

Revision ca7ff3f7

Added by LĂ©lio Brun 7 months ago

reformatting

View differences:

src/machine_code_common.mli
1
val pp_val: Machine_code_types.machine_t -> Format.formatter -> Machine_code_types.value_t -> unit
2
val is_memory: Machine_code_types.machine_t -> Lustre_types.var_decl -> bool
3
val is_reset_flag: Lustre_types.var_decl -> bool
4
val is_output: Machine_code_types.machine_t -> Lustre_types.var_decl -> bool
5
val is_const_value: Machine_code_types.value_t -> bool
6
val get_const_assign: Machine_code_types.machine_t -> Lustre_types.var_decl -> Machine_code_types.value_t
7
val get_stateless_status: Machine_code_types.machine_t -> bool * bool
8
val get_stateless_status_top_decl: Lustre_types.top_decl -> bool * bool
9
val is_stateless: Machine_code_types.machine_t -> bool
10
val mk_val: Machine_code_types.value_t_desc -> Types.type_expr -> Machine_code_types.value_t
11
val vdecl_to_val: Lustre_types.var_decl -> Machine_code_types.value_t
12
val vdecls_to_vals: Lustre_types.var_decl list -> Machine_code_types.value_t list
13
val id_to_tag: Lustre_types.ident -> Machine_code_types.value_t
14
val mk_conditional: ?lustre_eq:Lustre_types.eq -> Machine_code_types.value_t -> Machine_code_types.instr_t list -> Machine_code_types.instr_t list -> Machine_code_types.instr_t
15
val mk_branch: ?lustre_eq:Lustre_types.eq -> Machine_code_types.value_t -> (Lustre_types.label * Machine_code_types.instr_t list) list -> Machine_code_types.instr_t
16
val mk_branch': ?lustre_eq:Lustre_types.eq -> Lustre_types.var_decl -> (Lustre_types.label * Machine_code_types.instr_t list) list -> Machine_code_types.instr_t
17
val mk_assign: ?lustre_eq:Lustre_types.eq -> Lustre_types.var_decl -> Machine_code_types.value_t -> Machine_code_types.instr_t
18
val empty_machine: Machine_code_types.machine_t
19
val arrow_machine: Machine_code_types.machine_t
20
val new_instance: Lustre_types.top_decl -> Lustre_types.tag -> Lustre_types.ident
21
val value_of_dimension: Machine_code_types.machine_t -> Dimension.dim_expr -> Machine_code_types.value_t
22
val dimension_of_value:Machine_code_types.value_t -> Dimension.dim_expr
23
val pp_instr: Machine_code_types.machine_t -> Format.formatter -> Machine_code_types.instr_t -> unit
24
val pp_instrs: Machine_code_types.machine_t -> Format.formatter -> Machine_code_types.instr_t list -> unit
25
val pp_machines: Format.formatter -> Machine_code_types.machine_t list -> unit
26
val get_machine_opt: Machine_code_types.machine_t list -> string -> Machine_code_types.machine_t option
27

  
28
(* Same function but fails if no such a machine  exists *)
29
val get_machine: Machine_code_types.machine_t list -> string -> Machine_code_types.machine_t
30

  
31
val get_node_def: string -> Machine_code_types.machine_t -> Lustre_types.node_desc
32
val join_guards_list: Machine_code_types.instr_t list -> Machine_code_types.instr_t list
33
val machine_vars: Machine_code_types.machine_t -> Lustre_types.var_decl list
34

  
35
module PrintSpec: sig val pp_spec: Machine_code_types.machine_t -> Format.formatter -> Machine_code_types.value_t Spec_types.formula_t -> unit end
1
val pp_val :
2
  Machine_code_types.machine_t ->
3
  Format.formatter ->
4
  Machine_code_types.value_t ->
5
  unit
6

  
7
val is_memory : Machine_code_types.machine_t -> Lustre_types.var_decl -> bool
8

  
9
val is_reset_flag : Lustre_types.var_decl -> bool
10

  
11
val is_output : Machine_code_types.machine_t -> Lustre_types.var_decl -> bool
12

  
13
val is_const_value : Machine_code_types.value_t -> bool
14

  
15
val get_const_assign :
16
  Machine_code_types.machine_t ->
17
  Lustre_types.var_decl ->
18
  Machine_code_types.value_t
19

  
20
val get_stateless_status : Machine_code_types.machine_t -> bool * bool
21

  
22
val get_stateless_status_top_decl : Lustre_types.top_decl -> bool * bool
23

  
24
val is_stateless : Machine_code_types.machine_t -> bool
25

  
26
val mk_val :
27
  Machine_code_types.value_t_desc ->
28
  Types.type_expr ->
29
  Machine_code_types.value_t
30

  
31
val vdecl_to_val : Lustre_types.var_decl -> Machine_code_types.value_t
32

  
33
val vdecls_to_vals :
34
  Lustre_types.var_decl list -> Machine_code_types.value_t list
35

  
36
val id_to_tag : Lustre_types.ident -> Machine_code_types.value_t
37

  
38
val mk_conditional :
39
  ?lustre_eq:Lustre_types.eq ->
40
  Machine_code_types.value_t ->
41
  Machine_code_types.instr_t list ->
42
  Machine_code_types.instr_t list ->
43
  Machine_code_types.instr_t
44

  
45
val mk_branch :
46
  ?lustre_eq:Lustre_types.eq ->
47
  Machine_code_types.value_t ->
48
  (Lustre_types.label * Machine_code_types.instr_t list) list ->
49
  Machine_code_types.instr_t
50

  
51
val mk_branch' :
52
  ?lustre_eq:Lustre_types.eq ->
53
  Lustre_types.var_decl ->
54
  (Lustre_types.label * Machine_code_types.instr_t list) list ->
55
  Machine_code_types.instr_t
56

  
57
val mk_assign :
58
  ?lustre_eq:Lustre_types.eq ->
59
  Lustre_types.var_decl ->
60
  Machine_code_types.value_t ->
61
  Machine_code_types.instr_t
62

  
63
val empty_machine : Machine_code_types.machine_t
64

  
65
val arrow_machine : Machine_code_types.machine_t
66

  
67
val new_instance :
68
  Lustre_types.top_decl -> Lustre_types.tag -> Lustre_types.ident
69

  
70
val value_of_dimension :
71
  Machine_code_types.machine_t ->
72
  Dimension.dim_expr ->
73
  Machine_code_types.value_t
74

  
75
val dimension_of_value : Machine_code_types.value_t -> Dimension.dim_expr
76

  
77
val pp_instr :
78
  Machine_code_types.machine_t ->
79
  Format.formatter ->
80
  Machine_code_types.instr_t ->
81
  unit
82

  
83
val pp_instrs :
84
  Machine_code_types.machine_t ->
85
  Format.formatter ->
86
  Machine_code_types.instr_t list ->
87
  unit
88

  
89
val pp_machines : Format.formatter -> Machine_code_types.machine_t list -> unit
90

  
91
val get_machine_opt :
92
  Machine_code_types.machine_t list ->
93
  string ->
94
  Machine_code_types.machine_t option
95

  
96
(* Same function but fails if no such a machine exists *)
97
val get_machine :
98
  Machine_code_types.machine_t list -> string -> Machine_code_types.machine_t
99

  
100
val get_node_def :
101
  string -> Machine_code_types.machine_t -> Lustre_types.node_desc
102

  
103
val join_guards_list :
104
  Machine_code_types.instr_t list -> Machine_code_types.instr_t list
105

  
106
val machine_vars : Machine_code_types.machine_t -> Lustre_types.var_decl list
107

  
108
module PrintSpec : sig
109
  val pp_spec :
110
    Machine_code_types.machine_t ->
111
    Format.formatter ->
112
    Machine_code_types.value_t Spec_types.formula_t ->
113
    unit
114
end

Also available in: Unified diff