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

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

Deliverable D2.2

File size: 440 bytes
Line 
1
2val size_of_ctype : Clight.ctype -> int
3
4val memory_q_of_ctype : Clight.ctype -> Memory.memory_q
5
6val is_int_type : Clight.ctype -> bool
7val is_float_type : Clight.ctype -> bool
8val is_pointer_type : Clight.ctype -> bool
9val is_stack_type : Clight.ctype -> bool
10val is_struct : Clight.ctype -> bool
11val is_ptr_to_struct : Clight.ctype -> bool
12val is_function : Clight.ctype -> bool
13
14val region_of_pointer_type : Clight.ctype -> AST.region
Note: See TracBrowser for help on using the repository browser.