Project

General

Profile

Download (4.87 KB) Statistics
| Branch: | Tag: | Revision:
1
open Mini_vhdl_ast
2
open Vhdl_ast
3
open Vhdl_ast_pp
4

    
5
let rec pp_mini_vhdl_component_t :
6
  Format.formatter -> mini_vhdl_component_t -> Ppx_deriving_runtime.unit =
7
  let __6 () = pp_vhdl_concurrent_stmt_t
8
  
9
  and __5 () = pp_vhdl_definition_t
10
  
11
  and __4 () = pp_vhdl_declaration_t
12
  
13
  and __3 () = pp_vhdl_load_t
14
  
15
  and __2 () = pp_vhdl_port_t
16
  
17
  and __1 () = pp_vhdl_port_t
18
  
19
  and __0 () = pp_vhdl_name_t
20
   in
21
  ((let open! Ppx_deriving_runtime in
22
      fun fmt  ->
23
        fun x  ->
24
          Format.fprintf fmt "@[<v 2>component ";
25
          (match x.names with
26
          | [] -> ()
27
          | _ ->
28
            ((fun x  ->
29
              ignore
30
              (List.fold_left
31
                (fun sep  ->
32
                  fun x  ->
33
                    if sep then Format.fprintf fmt "__";
34
                      ((__0 ()) fmt) x;
35
                      true) false x))) x.names);
36
          Format.fprintf fmt " is";
37
          (match x.generics with
38
          | [] -> ()
39
          | _ ->
40
              Format.fprintf fmt "@;generics (@[";
41
                ((fun x  ->
42
                    ignore
43
                      (List.fold_left
44
                         (fun sep  ->
45
                            fun x  ->
46
                              if sep then Format.fprintf fmt ",@ ";
47
                              ((__1 ()) fmt) x;
48
                              true) false x))) x.generics;
49
              Format.fprintf fmt "@]);");
50
          (match x.ports with
51
          | [] -> ()
52
          | _ ->
53
              Format.fprintf fmt "@;ports (@[";
54
               ((fun x  ->
55
                   ignore
56
                     (List.fold_left
57
                        (fun sep  ->
58
                           fun x  ->
59
                             if sep then Format.fprintf fmt ",@ ";
60
                             ((__2 ()) fmt) x;
61
                             true) false x))) x.ports;
62
               Format.fprintf fmt "@]);");
63
          (match x.contexts with
64
          | [] -> ()
65
          | _ ->
66
            Format.fprintf fmt "@;";
67
            ((fun x  ->
68
            ignore
69
              (List.fold_left
70
                (fun sep  ->
71
                  fun x  ->
72
                    if sep then Format.fprintf fmt ";@;";
73
                      ((__3 ()) fmt) x;
74
                      true) false x))) x.contexts);
75
          (match x.declarations with
76
          | [] -> ()
77
          | _ ->
78
            Format.fprintf fmt "@;";
79
            ((fun x  ->
80
            ignore
81
              (List.fold_left
82
                (fun sep  ->
83
                  fun x  ->
84
                    if sep then Format.fprintf fmt "@;";
85
                      ((__4 ()) fmt) x;
86
                      Format.fprintf fmt ";";
87
                      true) false x))) x.declarations);
88
          (match x.definitions with
89
          | [] -> ()
90
          | _ ->
91
            Format.fprintf fmt "@;";
92
            ((fun x  ->
93
            ignore
94
              (List.fold_left
95
                (fun sep  ->
96
                  fun x  ->
97
                    if sep then Format.fprintf fmt "@;";
98
                      ((__5 ()) fmt) x;
99
                      Format.fprintf fmt ";";
100
                      true) false x))) x.definitions);
101
          Format.fprintf fmt "@]@;@[<v 2>begin";
102
          (match x.body with
103
          | [] -> ()
104
          | _ ->
105
            Format.fprintf fmt "@;";
106
            ((fun x  ->
107
            ignore
108
              (List.fold_left
109
                (fun sep  ->
110
                  fun x  ->
111
                    if sep then Format.fprintf fmt "@;";
112
                      ((__6 ()) fmt) x;
113
                         true) false x))) x.body);
114
           Format.fprintf fmt "@]@;end;")
115
    [@ocaml.warning "-A"])
116

    
117
and show_mini_vhdl_component_t :
118
  mini_vhdl_component_t -> Ppx_deriving_runtime.string =
119
  fun x  -> Format.asprintf "%a" pp_mini_vhdl_component_t x
120

    
121
let rec pp_mini_vhdl_design_file_t :
122
  Format.formatter -> mini_vhdl_design_file_t -> Ppx_deriving_runtime.unit =
123
  let __1 () = pp_vhdl_package_t
124
  
125
  and __0 () = pp_mini_vhdl_component_t
126
   in
127
  ((let open! Ppx_deriving_runtime in
128
      fun fmt  ->
129
        fun x  ->
130
          Format.fprintf fmt "@[<v>";
131
            ((fun x  ->
132
                ignore
133
                  (List.fold_left
134
                     (fun sep  ->
135
                        fun x  ->
136
                          if sep then Format.fprintf fmt "@;";
137
                          ((__0 ()) fmt) x;
138
                          true) false x))) x.components;
139
           ((fun x  ->
140
               ignore
141
                 (List.fold_left
142
                    (fun sep  ->
143
                       fun x  ->
144
                         if sep then Format.fprintf fmt "@;";
145
                         ((__1 ()) fmt) x;
146
                         true) false x))) x.packages;
147
           Format.fprintf fmt "@]")
148
    [@ocaml.warning "-A"])
149

    
150
and show_mini_vhdl_design_file_t :
151
  mini_vhdl_design_file_t -> Ppx_deriving_runtime.string =
152
  fun x  -> Format.asprintf "%a" pp_mini_vhdl_design_file_t x
(2-2/10)