package goblint-cil

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type
type token =
  1. | IDENT of string
  2. | CST_CHAR of string
  3. | CST_INT of string
  4. | CST_FLOAT of string
  5. | CST_STRING of string
  6. | CST_WSTRING of string
  7. | NAMED_TYPE of string
  8. | EOF
  9. | CHAR
  10. | INT
  11. | DOUBLE
  12. | FLOAT
  13. | VOID
  14. | INT64
  15. | INT32
  16. | ENUM
  17. | STRUCT
  18. | TYPEDEF
  19. | UNION
  20. | SIGNED
  21. | UNSIGNED
  22. | LONG
  23. | SHORT
  24. | VOLATILE
  25. | EXTERN
  26. | STATIC
  27. | CONST
  28. | RESTRICT
  29. | AUTO
  30. | REGISTER
  31. | ARG_e of string
  32. | ARG_eo of string
  33. | ARG_E of string
  34. | ARG_u of string
  35. | ARG_b of string
  36. | ARG_t of string
  37. | ARG_d of string
  38. | ARG_lo of string
  39. | ARG_l of string
  40. | ARG_i of string
  41. | ARG_o of string
  42. | ARG_va of string
  43. | ARG_f of string
  44. | ARG_F of string
  45. | ARG_A of string
  46. | ARG_v of string
  47. | ARG_k of string
  48. | ARG_c of string
  49. | ARG_s of string
  50. | ARG_p of string
  51. | ARG_P of string
  52. | ARG_I of string
  53. | ARG_S of string
  54. | ARG_g of string
  55. | SIZEOF
  56. | ALIGNOF
  57. | EQ
  58. | ARROW
  59. | DOT
  60. | EQ_EQ
  61. | EXCLAM_EQ
  62. | INF
  63. | SUP
  64. | INF_EQ
  65. | SUP_EQ
  66. | MINUS_EQ
  67. | PLUS_EQ
  68. | STAR_EQ
  69. | PLUS
  70. | MINUS
  71. | STAR
  72. | SLASH
  73. | PERCENT
  74. | TILDE
  75. | AND
  76. | PIPE
  77. | CIRC
  78. | EXCLAM
  79. | AND_AND
  80. | PIPE_PIPE
  81. | INF_INF
  82. | SUP_SUP
  83. | PLUS_PLUS
  84. | MINUS_MINUS
  85. | RPAREN
  86. | LPAREN
  87. | RBRACE
  88. | LBRACE
  89. | LBRACKET
  90. | RBRACKET
  91. | COLON
  92. | SEMICOLON
  93. | COMMA
  94. | ELLIPSIS
  95. | QUEST
  96. | BREAK
  97. | CONTINUE
  98. | GOTO
  99. | RETURN
  100. | SWITCH
  101. | CASE
  102. | DEFAULT
  103. | WHILE
  104. | DO
  105. | FOR
  106. | IF
  107. | THEN
  108. | ELSE
  109. | SLASH_EQ
  110. | PERCENT_EQ
  111. | AND_EQ
  112. | PIPE_EQ
  113. | CIRC_EQ
  114. | INF_INF_EQ
  115. | SUP_SUP_EQ
  116. | ATTRIBUTE
  117. | INLINE
  118. | ASM
  119. | TYPEOF
  120. | FUNCTION__
  121. | PRETTY_FUNCTION__
  122. | LABEL__
  123. | BUILTIN_VA_ARG
  124. | BUILTIN_VA_LIST
  125. | BLOCKATTRIBUTE
  126. | DECLSPEC
  127. | MSASM of string
  128. | MSATTR of string
  129. | PRAGMA
val initialize : (Lexing.lexbuf -> token) -> Lexing.lexbuf -> unit
val expression : (Lexing.lexbuf -> token) -> Lexing.lexbuf -> ((string * Cil.formatArg) list -> Cil.exp) * (Cil.exp -> Cil.formatArg list option)
val typename : (Lexing.lexbuf -> token) -> Lexing.lexbuf -> ((string * Cil.formatArg) list -> Cil.typ) * (Cil.typ -> Cil.formatArg list option)
val offset : (Lexing.lexbuf -> token) -> Lexing.lexbuf -> (Cil.typ -> (string * Cil.formatArg) list -> Cil.offset) * (Cil.offset -> Cil.formatArg list option)
val lval : (Lexing.lexbuf -> token) -> Lexing.lexbuf -> ((string * Cil.formatArg) list -> Cil.lval) * (Cil.lval -> Cil.formatArg list option)
val instr : (Lexing.lexbuf -> token) -> Lexing.lexbuf -> (Cil.location -> (string * Cil.formatArg) list -> Cil.instr) * (Cil.instr -> Cil.formatArg list option)
val stmt : (Lexing.lexbuf -> token) -> Lexing.lexbuf -> (string -> Cil.typ -> Cil.varinfo) -> Cil.location -> (string * Cil.formatArg) list -> Cil.stmt
val stmt_list : (Lexing.lexbuf -> token) -> Lexing.lexbuf -> (string -> Cil.typ -> Cil.varinfo) -> Cil.location -> (string * Cil.formatArg) list -> Cil.stmt list