Frama_c_kernel.Cparser
type token =
| SPEC of Filepath.position * string |
| DECL of Logic_ptree.decl list |
| CODE_ANNOT of Logic_ptree.code_annot * Cabs.cabsloc |
| LOOP_ANNOT of Logic_ptree.code_annot list * Cabs.cabsloc |
| ATTRIBUTE_ANNOT of string * Cabs.cabsloc |
| IDENT of string |
| CST_CHAR of int64 list * Cabs.cabsloc |
| CST_WCHAR of int64 list * Cabs.cabsloc |
| CST_INT of string * Cabs.cabsloc |
| CST_FLOAT of string * Cabs.cabsloc |
| NAMED_TYPE of string |
| CST_STRING of int64 list * Cabs.cabsloc |
| CST_WSTRING of int64 list * Cabs.cabsloc |
| EOF |
| BOOL of Cabs.cabsloc |
| CHAR of Cabs.cabsloc |
| INT of Cabs.cabsloc |
| DOUBLE of Cabs.cabsloc |
| FLOAT of Cabs.cabsloc |
| VOID of Cabs.cabsloc |
| INT64 of Cabs.cabsloc |
| ENUM of Cabs.cabsloc |
| STRUCT of Cabs.cabsloc |
| TYPEDEF of Cabs.cabsloc |
| UNION of Cabs.cabsloc |
| SIGNED of Cabs.cabsloc |
| UNSIGNED of Cabs.cabsloc |
| LONG of Cabs.cabsloc |
| SHORT of Cabs.cabsloc |
| VOLATILE of Cabs.cabsloc |
| EXTERN of Cabs.cabsloc |
| STATIC of Cabs.cabsloc |
| CONST of Cabs.cabsloc |
| RESTRICT of Cabs.cabsloc |
| AUTO of Cabs.cabsloc |
| REGISTER of Cabs.cabsloc |
| THREAD of Cabs.cabsloc |
| THREAD_LOCAL of Cabs.cabsloc |
| GHOST of Cabs.cabsloc |
| SIZEOF of Cabs.cabsloc |
| ALIGNOF of Cabs.cabsloc |
| EQ |
| PLUS_EQ |
| MINUS_EQ |
| STAR_EQ |
| SLASH_EQ |
| PERCENT_EQ |
| AND_EQ |
| PIPE_EQ |
| CIRC_EQ |
| INF_INF_EQ |
| SUP_SUP_EQ |
| ARROW |
| DOT |
| EQ_EQ |
| EXCLAM_EQ |
| INF |
| SUP |
| INF_EQ |
| SUP_EQ |
| PLUS of Cabs.cabsloc |
| MINUS of Cabs.cabsloc |
| STAR of Cabs.cabsloc |
| SLASH |
| PERCENT |
| TILDE of Cabs.cabsloc |
| AND of Cabs.cabsloc |
| PIPE |
| CIRC |
| EXCLAM of Cabs.cabsloc |
| AND_AND of Cabs.cabsloc |
| PIPE_PIPE |
| INF_INF |
| SUP_SUP |
| PLUS_PLUS of Cabs.cabsloc |
| MINUS_MINUS of Cabs.cabsloc |
| RPAREN |
| LPAREN of Cabs.cabsloc |
| RBRACE of Cabs.cabsloc |
| LBRACE of Cabs.cabsloc |
| LBRACKET |
| RBRACKET |
| COLON |
| COLON2 |
| SEMICOLON of Cabs.cabsloc |
| COMMA |
| ELLIPSIS |
| QUEST |
| BREAK of Cabs.cabsloc |
| CONTINUE of Cabs.cabsloc |
| GOTO of Cabs.cabsloc |
| RETURN of Cabs.cabsloc |
| SWITCH of Cabs.cabsloc |
| CASE of Cabs.cabsloc |
| DEFAULT of Cabs.cabsloc |
| WHILE of Cabs.cabsloc |
| DO of Cabs.cabsloc |
| FOR of Cabs.cabsloc |
| IF of Cabs.cabsloc |
| TRY of Cabs.cabsloc |
| EXCEPT of Cabs.cabsloc |
| FINALLY of Cabs.cabsloc |
| ELSE |
| ATTRIBUTE of Cabs.cabsloc |
| INLINE of Cabs.cabsloc |
| NORETURN of Cabs.cabsloc |
| STATIC_ASSERT of Cabs.cabsloc |
| ASM of Cabs.cabsloc |
| TYPEOF of Cabs.cabsloc |
| FUNCTION__ of Cabs.cabsloc |
| PRETTY_FUNCTION__ of Cabs.cabsloc |
| LABEL__ |
| BUILTIN_VA_ARG of Cabs.cabsloc |
| BLOCKATTRIBUTE |
| BUILTIN_TYPES_COMPAT of Cabs.cabsloc |
| BUILTIN_OFFSETOF of Cabs.cabsloc |
| DECLSPEC of Cabs.cabsloc |
| MSASM of string * Cabs.cabsloc |
| MSATTR of string * Cabs.cabsloc |
| PRAGMA_LINE of string * Cabs.cabsloc |
| PRAGMA of Cabs.cabsloc |
| PRAGMA_EOL |
| LGHOST |
| RGHOST |
| LGHOST_ELSE of Cabs.cabsloc |
val interpret :
( Stdlib.Lexing.lexbuf -> token ) ->
Stdlib.Lexing.lexbuf ->
(bool * Cabs.definition) list
val file :
( Stdlib.Lexing.lexbuf -> token ) ->
Stdlib.Lexing.lexbuf ->
(bool * Cabs.definition) list