diff options
Diffstat (limited to 'cparser/Cabs.ml')
-rw-r--r-- | cparser/Cabs.ml | 10 |
1 files changed, 9 insertions, 1 deletions
diff --git a/cparser/Cabs.ml b/cparser/Cabs.ml index a2bb512c..23d3643c 100644 --- a/cparser/Cabs.ml +++ b/cparser/Cabs.ml @@ -267,9 +267,17 @@ and expression = | MEMBEROFPTR of expression * string | GNU_BODY of block +and floatInfo = { + isHex_FI:bool; + integer_FI:string option; + fraction_FI:string option; + exponent_FI:string option; + suffix_FI:char option; +} + and constant = | CONST_INT of string (* the textual representation *) - | CONST_FLOAT of string (* the textual representaton *) + | CONST_FLOAT of floatInfo | CONST_CHAR of int64 list | CONST_WCHAR of int64 list | CONST_STRING of string |