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. | 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 : (Stdlib.Lexing.lexbuf -> token) -> Stdlib.Lexing.lexbuf -> unit
val expression : (Stdlib.Lexing.lexbuf -> token) -> Stdlib.Lexing.lexbuf -> ((string * Cil.formatArg) list -> Cil.exp) * (Cil.exp -> Cil.formatArg list option)
val typename : (Stdlib.Lexing.lexbuf -> token) -> Stdlib.Lexing.lexbuf -> ((string * Cil.formatArg) list -> Cil.typ) * (Cil.typ -> Cil.formatArg list option)
val offset : (Stdlib.Lexing.lexbuf -> token) -> Stdlib.Lexing.lexbuf -> (Cil.typ -> (string * Cil.formatArg) list -> Cil.offset) * (Cil.offset -> Cil.formatArg list option)
val lval : (Stdlib.Lexing.lexbuf -> token) -> Stdlib.Lexing.lexbuf -> ((string * Cil.formatArg) list -> Cil.lval) * (Cil.lval -> Cil.formatArg list option)
val instr : (Stdlib.Lexing.lexbuf -> token) -> Stdlib.Lexing.lexbuf -> (Cil.location -> (string * Cil.formatArg) list -> Cil.instr) * (Cil.instr -> Cil.formatArg list option)
val stmt : (Stdlib.Lexing.lexbuf -> token) -> Stdlib.Lexing.lexbuf -> (string -> Cil.typ -> Cil.varinfo) -> Cil.location -> (string * Cil.formatArg) list -> Cil.stmt
val stmt_list : (Stdlib.Lexing.lexbuf -> token) -> Stdlib.Lexing.lexbuf -> (string -> Cil.typ -> Cil.varinfo) -> Cil.location -> (string * Cil.formatArg) list -> Cil.stmt list
OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct