package goblint-cil

  1. Overview
  2. Docs
package goblint-cil
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. | INT128
  25. | VOLATILE
  26. | EXTERN
  27. | STATIC
  28. | CONST
  29. | RESTRICT
  30. | AUTO
  31. | REGISTER
  32. | ARG_e of string
  33. | ARG_eo of string
  34. | ARG_E of string
  35. | ARG_u of string
  36. | ARG_b of string
  37. | ARG_t of string
  38. | ARG_d of string
  39. | ARG_lo of string
  40. | ARG_l of string
  41. | ARG_i of string
  42. | ARG_o of string
  43. | ARG_va of string
  44. | ARG_f of string
  45. | ARG_F of string
  46. | ARG_A of string
  47. | ARG_v of string
  48. | ARG_k of string
  49. | ARG_c of string
  50. | ARG_s of string
  51. | ARG_p of string
  52. | ARG_P of string
  53. | ARG_I of string
  54. | ARG_S of string
  55. | ARG_g of string
  56. | SIZEOF
  57. | ALIGNOF
  58. | EQ
  59. | ARROW
  60. | DOT
  61. | EQ_EQ
  62. | EXCLAM_EQ
  63. | INF
  64. | SUP
  65. | INF_EQ
  66. | SUP_EQ
  67. | MINUS_EQ
  68. | PLUS_EQ
  69. | STAR_EQ
  70. | PLUS
  71. | MINUS
  72. | STAR
  73. | SLASH
  74. | PERCENT
  75. | TILDE
  76. | AND
  77. | PIPE
  78. | CIRC
  79. | EXCLAM
  80. | AND_AND
  81. | PIPE_PIPE
  82. | INF_INF
  83. | SUP_SUP
  84. | PLUS_PLUS
  85. | MINUS_MINUS
  86. | RPAREN
  87. | LPAREN
  88. | RBRACE
  89. | LBRACE
  90. | LBRACKET
  91. | RBRACKET
  92. | COLON
  93. | SEMICOLON
  94. | COMMA
  95. | ELLIPSIS
  96. | QUEST
  97. | BREAK
  98. | CONTINUE
  99. | GOTO
  100. | RETURN
  101. | SWITCH
  102. | CASE
  103. | DEFAULT
  104. | WHILE
  105. | DO
  106. | FOR
  107. | IF
  108. | THEN
  109. | ELSE
  110. | SLASH_EQ
  111. | PERCENT_EQ
  112. | AND_EQ
  113. | PIPE_EQ
  114. | CIRC_EQ
  115. | INF_INF_EQ
  116. | SUP_SUP_EQ
  117. | ATTRIBUTE
  118. | INLINE
  119. | ASM
  120. | TYPEOF
  121. | FUNCTION__
  122. | PRETTY_FUNCTION__
  123. | LABEL__
  124. | BUILTIN_VA_ARG
  125. | BUILTIN_VA_LIST
  126. | BLOCKATTRIBUTE
  127. | DECLSPEC
  128. | MSASM of string
  129. | MSATTR of string
  130. | 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