module Flx_cil_formatparse: sig
.. end
type
token =
| |
IDENT of string |
| |
CST_CHAR of string |
| |
CST_INT of string |
| |
CST_FLOAT of string |
| |
CST_STRING of string |
| |
CST_WSTRING of string |
| |
NAMED_TYPE of string |
| |
EOF |
| |
BOOL |
| |
CHAR |
| |
INT |
| |
DOUBLE |
| |
FLOAT |
| |
COMPLEX |
| |
IMAGINARY |
| |
VOID |
| |
INT64 |
| |
INT32 |
| |
ENUM |
| |
STRUCT |
| |
TYPEDEF |
| |
UNION |
| |
SIGNED |
| |
UNSIGNED |
| |
LONG |
| |
SHORT |
| |
VOLATILE |
| |
EXTERN |
| |
STATIC |
| |
CONST |
| |
RESTRICT |
| |
AUTO |
| |
REGISTER |
| |
ARG_e of string |
| |
ARG_eo of string |
| |
ARG_E of string |
| |
ARG_u of string |
| |
ARG_b of string |
| |
ARG_t of string |
| |
ARG_d of string |
| |
ARG_lo of string |
| |
ARG_l of string |
| |
ARG_i of string |
| |
ARG_o of string |
| |
ARG_va of string |
| |
ARG_f of string |
| |
ARG_F of string |
| |
ARG_A of string |
| |
ARG_v of string |
| |
ARG_k of string |
| |
ARG_c of string |
| |
ARG_s of string |
| |
ARG_p of string |
| |
ARG_P of string |
| |
ARG_I of string |
| |
ARG_S of string |
| |
ARG_g of string |
| |
SIZEOF |
| |
ALIGNOF |
| |
EQ |
| |
ARROW |
| |
DOT |
| |
EQ_EQ |
| |
EXCLAM_EQ |
| |
INF |
| |
SUP |
| |
INF_EQ |
| |
SUP_EQ |
| |
MINUS_EQ |
| |
PLUS_EQ |
| |
STAR_EQ |
| |
PLUS |
| |
MINUS |
| |
STAR |
| |
SLASH |
| |
PERCENT |
| |
TILDE |
| |
AND |
| |
PIPE |
| |
CIRC |
| |
EXCLAM |
| |
AND_AND |
| |
PIPE_PIPE |
| |
INF_INF |
| |
SUP_SUP |
| |
PLUS_PLUS |
| |
MINUS_MINUS |
| |
RPAREN |
| |
LPAREN |
| |
RBRACE |
| |
LBRACE |
| |
LBRACKET |
| |
RBRACKET |
| |
COLON |
| |
SEMICOLON |
| |
COMMA |
| |
ELLIPSIS |
| |
QUEST |
| |
BREAK |
| |
CONTINUE |
| |
GOTO |
| |
RETURN |
| |
SWITCH |
| |
CASE |
| |
DEFAULT |
| |
WHILE |
| |
DO |
| |
FOR |
| |
IF |
| |
THEN |
| |
ELSE |
| |
ATTRIBUTE |
| |
INLINE |
| |
ASM |
| |
TYPEOF |
| |
FUNCTION__ |
| |
PRETTY_FUNCTION__ |
| |
LABEL__ |
| |
BUILTIN_VA_ARG |
| |
BUILTIN_VA_LIST |
| |
BLOCKATTRIBUTE |
| |
DECLSPEC |
| |
MSASM of string |
| |
MSATTR of string |
| |
PRAGMA |
val initialize : (Lexing.lexbuf -> token) -> Lexing.lexbuf -> unit
val expression : (Lexing.lexbuf -> token) ->
Lexing.lexbuf ->
((string * Flx_cil_cil.formatArg) list -> Flx_cil_cil.exp) *
(Flx_cil_cil.exp -> Flx_cil_cil.formatArg list option)
val typename : (Lexing.lexbuf -> token) ->
Lexing.lexbuf ->
((string * Flx_cil_cil.formatArg) list -> Flx_cil_cil.typ) *
(Flx_cil_cil.typ -> Flx_cil_cil.formatArg list option)
val offset : (Lexing.lexbuf -> token) ->
Lexing.lexbuf ->
(Flx_cil_cil.typ ->
(string * Flx_cil_cil.formatArg) list -> Flx_cil_cil.offset) *
(Flx_cil_cil.offset -> Flx_cil_cil.formatArg list option)
val lval : (Lexing.lexbuf -> token) ->
Lexing.lexbuf ->
((string * Flx_cil_cil.formatArg) list -> Flx_cil_cil.lval) *
(Flx_cil_cil.lval -> Flx_cil_cil.formatArg list option)
val instr : (Lexing.lexbuf -> token) ->
Lexing.lexbuf ->
(Flx_cil_cil.location ->
(string * Flx_cil_cil.formatArg) list -> Flx_cil_cil.instr) *
(Flx_cil_cil.instr -> Flx_cil_cil.formatArg list option)
val stmt : (Lexing.lexbuf -> token) ->
Lexing.lexbuf ->
(string -> Flx_cil_cil.typ -> Flx_cil_cil.varinfo) ->
Flx_cil_cil.location ->
(string * Flx_cil_cil.formatArg) list -> Flx_cil_cil.stmt
val stmt_list : (Lexing.lexbuf -> token) ->
Lexing.lexbuf ->
(string -> Flx_cil_cil.typ -> Flx_cil_cil.varinfo) ->
Flx_cil_cil.location ->
(string * Flx_cil_cil.formatArg) list -> Flx_cil_cil.stmt list