Project

General

Profile

Download (1.72 KB) Statistics
| Branch: | Tag: | Revision:
1
open Format
2
open Machine_code_types
3
open Lustre_types
4
open Types
5
open Ada_printer
6
open Misc_printer
7

    
8
val pp_state_name : printer
9

    
10
val pp_state_type : printer
11

    
12
val pp_reset_procedure_name : printer
13

    
14
val pp_step_procedure_name : printer
15

    
16
val pp_main_procedure_name : printer
17

    
18
val pp_polymorphic_type : int -> printer
19

    
20
val pp_past_name : int -> printer
21

    
22
val is_builtin_fun : string -> bool
23

    
24
val ada_supported_funs : (string * (string * string)) list
25

    
26
val pp_var_name : var_decl -> formatter -> unit
27

    
28
val pp_var : (string * printer) list -> formatter -> var_decl -> unit
29

    
30
val pp_value : (string * printer) list -> formatter -> value_t -> unit
31

    
32
val pp_type : formatter -> type_expr -> unit
33

    
34
val pp_var_type : formatter -> var_decl -> unit
35

    
36
val pp_package_name : machine_t -> printer
37

    
38
val pp_package_name_with_polymorphic :
39
  (int * Types.type_expr) list -> machine_t -> printer
40

    
41
val mk_default_value : type_expr -> value_t
42

    
43
val build_pp_var_decl : parameter_mode -> ada_with -> var_decl -> ada_var_decl
44

    
45
val build_pp_var_decl_local : ada_with -> var_decl -> ada_local_decl
46

    
47
val build_pp_var_decl_step_input :
48
  parameter_mode -> ada_with -> machine_t -> ada_var_decl list list
49

    
50
val build_pp_var_decl_step_output :
51
  parameter_mode -> ada_with -> machine_t -> ada_var_decl list list
52

    
53
val build_pp_arg_step : machine_t -> ada_var_decl list list
54

    
55
val build_pp_arg_reset : machine_t -> ada_var_decl list list
56

    
57
val build_pp_state_decl_from_subinstance :
58
  parameter_mode ->
59
  ada_with ->
60
  string * ((int * Types.type_expr) list * Machine_code_types.machine_t) ->
61
  ada_var_decl
62

    
63
val build_pp_state_decl : parameter_mode -> ada_with -> ada_var_decl
64

    
65
val pp_machine_filename : string -> formatter -> machine_t -> unit
66

    
67
val pp_main_filename : formatter -> machine_t -> unit
(6-6/11)