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

Last change on this file since 740 was 740, checked in by ayache, 10 years ago

New memory model and bug fixes in 8051 branch. Added primitive operations in interpreters from Clight to LIN.

File size: 1.1 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 :
14  (Clight.ctype -> 'a list -> 'a) ->
15  (Clight.expr -> 'a list -> 'b list -> 'c) ->
16  (Clight.expr_descr -> 'a list -> 'c list -> 'b) ->
17  Clight.expr ->
18  'c
19
20val expr_descr_fill_subs :
21  Clight.expr_descr -> Clight.ctype list -> Clight.expr list ->
22  Clight.expr_descr
23
24val expr_descr :
25  (Clight.ctype -> 'a list -> 'a) ->
26  (Clight.expr -> 'a list -> 'b list -> 'c) ->
27  (Clight.expr_descr -> 'a list -> 'c list -> 'b) ->
28  Clight.expr_descr ->
29  'b
30
31val statement_fill_subs :
32  Clight.statement -> Clight.expr list -> Clight.statement list ->
33  Clight.statement
34
35val statement :
36  (Clight.ctype -> 'a list -> 'a) ->
37  (Clight.expr -> 'a list -> 'b list -> 'c) ->
38  (Clight.expr_descr -> 'a list -> 'c list -> 'b) ->
39  (Clight.statement -> 'c list -> 'd list -> 'd) ->
40  Clight.statement ->
41  'd
Note: See TracBrowser for help on using the repository browser.