source: Deliverables/D2.2/8051/src/clight/clightFold.mli @ 3673

Last change on this file since 3673 was 818, checked in by ayache, 9 years ago

32 and 16 bits operations support in D2.2/8051

File size: 1.6 KB
Line 
1
2(** This module provides folding functions over the constructors of the
3    [Clight]'s AST. *)
4
5val ctype_fill_subs : Clight.ctype -> Clight.ctype list -> Clight.ctype
6
7val ctype : (Clight.ctype -> 'a list -> 'a) -> Clight.ctype -> 'a
8
9val expr_fill_subs :
10  Clight.expr -> Clight.ctype list -> Clight.expr_descr list ->
11  Clight.expr
12
13val expr_fill_exprs :
14  Clight.expr -> Clight.expr list -> Clight.expr
15
16val expr :
17  (Clight.ctype -> 'a list -> 'a) ->
18  (Clight.expr -> 'a list -> 'b list -> 'c) ->
19  (Clight.expr_descr -> 'a list -> 'c list -> 'b) ->
20  Clight.expr ->
21  'c
22
23val expr2 :
24  (Clight.expr -> 'a list -> 'a) -> Clight.expr -> 'a
25
26val expr_descr_subs :
27  Clight.expr_descr -> Clight.ctype list * Clight.expr list
28
29val expr_descr_fill_subs :
30  Clight.expr_descr -> Clight.ctype list -> Clight.expr list ->
31  Clight.expr_descr
32
33val expr_descr :
34  (Clight.ctype -> 'a list -> 'a) ->
35  (Clight.expr -> 'a list -> 'b list -> 'c) ->
36  (Clight.expr_descr -> 'a list -> 'c list -> 'b) ->
37  Clight.expr_descr ->
38  'b
39
40val statement_subs :
41  Clight.statement ->
42  (Clight.expr list * Clight.statement list)
43
44val statement_sub_exprs : Clight.statement -> Clight.expr list
45
46val statement_fill_subs :
47  Clight.statement -> Clight.expr list -> Clight.statement list ->
48  Clight.statement
49
50val statement :
51  (Clight.ctype -> 'a list -> 'a) ->
52  (Clight.expr -> 'a list -> 'b list -> 'c) ->
53  (Clight.expr_descr -> 'a list -> 'c list -> 'b) ->
54  (Clight.statement -> 'c list -> 'd list -> 'd) ->
55  Clight.statement ->
56  'd
57
58val statement2 :
59  (Clight.expr -> 'a list -> 'a) ->
60  (Clight.statement -> 'a list -> 'b list -> 'b) ->
61  Clight.statement ->
62  'b
Note: See TracBrowser for help on using the repository browser.