package frama-c

  1. Overview
  2. Docs
package frama-c
Legend:
Library
Module
Module type
Parameter
Class
Class type
type token =
  1. | WSTRING_CONSTANT of string
  2. | WRITES
  3. | WITH
  4. | VOLATILE
  5. | VOID
  6. | VARIANT
  7. | VALID_READ
  8. | VALID_RANGE
  9. | VALID_INDEX
  10. | VALID_FUNCTION
  11. | VALID
  12. | UNSIGNED
  13. | UNION
  14. | UNALLOCATED
  15. | TYPEOF
  16. | TYPENAME of string
  17. | TYPE
  18. | TRUE
  19. | TILDE
  20. | TERMINATES
  21. | STRUCT
  22. | STRING_LITERAL of bool * string
  23. | STRING_CONSTANT of string
  24. | STATIC
  25. | STARHAT
  26. | STAR
  27. | SLASH
  28. | SIZEOF
  29. | SIGNED
  30. | SHORT
  31. | SEPARATED
  32. | SEMICOLON
  33. | RSQUAREPIPE
  34. | RSQUARE
  35. | RPAR
  36. | RETURNS
  37. | RESULT
  38. | REQUIRES
  39. | REGISTER
  40. | REAL
  41. | READS
  42. | RBRACE
  43. | QUESTION
  44. | PREDICATE
  45. | PLUS
  46. | PIPE
  47. | PI
  48. | PERCENT
  49. | OR
  50. | OLD
  51. | OFFSET
  52. | OBJECT_POINTER
  53. | NULL
  54. | NOTHING
  55. | NOT
  56. | NE
  57. | MODULE
  58. | MODEL
  59. | MINUS
  60. | LTLT
  61. | LT
  62. | LSQUAREPIPE
  63. | LSQUARE
  64. | LPAR
  65. | LOOP
  66. | LONGIDENT of string
  67. | LONG
  68. | LOGIC
  69. | LET
  70. | LEMMA
  71. | LE
  72. | LBRACE
  73. | LAMBDA
  74. | LABEL
  75. | INVARIANT
  76. | INT_CONSTANT of string
  77. | INTER
  78. | INTEGER
  79. | INT
  80. | INITIALIZED
  81. | INDUCTIVE
  82. | IN
  83. | IMPORT
  84. | IMPLIES
  85. | IFF
  86. | IF
  87. | IDENTIFIER_LOADER of string
  88. | IDENTIFIER_EXT of string
  89. | IDENTIFIER of string
  90. | HATHAT
  91. | HAT
  92. | GTGT
  93. | GT
  94. | GLOBAL
  95. | GHOST
  96. | GE
  97. | FROM
  98. | FRESH
  99. | FREES
  100. | FREEABLE
  101. | FORALL
  102. | FOR
  103. | FLOAT_CONSTANT of string
  104. | FLOAT
  105. | FALSE
  106. | EXT_SPEC_MODULE
  107. | EXT_SPEC_LET
  108. | EXT_SPEC_INCLUDE
  109. | EXT_SPEC_FUNCTION
  110. | EXT_SPEC_CONTRACT
  111. | EXT_SPEC_AT
  112. | EXT_LOADER_PLUGIN of string * string
  113. | EXT_LOADER of string * string
  114. | EXT_GLOBAL_BLOCK of string * string
  115. | EXT_GLOBAL of string * string
  116. | EXT_CONTRACT of string * string
  117. | EXT_CODE_ANNOT of string * string
  118. | EXITS
  119. | EXISTS
  120. | EQUAL
  121. | EQ
  122. | EOF
  123. | ENUM
  124. | ENSURES
  125. | EMPTY
  126. | ELSE
  127. | DYNAMIC
  128. | DOUBLE
  129. | DOTDOTDOT
  130. | DOTDOT
  131. | DOT
  132. | DOLLAR
  133. | DISJOINT
  134. | DECREASES
  135. | DANGLING
  136. | CONTINUES
  137. | CONST
  138. | COMPLETE
  139. | COMMA
  140. | COLONCOLON
  141. | COLON2
  142. | COLON
  143. | CHECK_RETURNS
  144. | CHECK_REQUIRES
  145. | CHECK_LOOP
  146. | CHECK_LEMMA
  147. | CHECK_INVARIANT
  148. | CHECK_EXITS
  149. | CHECK_ENSURES
  150. | CHECK_CONTINUES
  151. | CHECK_BREAKS
  152. | CHECK
  153. | CHAR
  154. | CASE
  155. | BSUNION
  156. | BSTYPE
  157. | BSGHOST
  158. | BREAKS
  159. | BOOLEAN
  160. | BOOL
  161. | BLOCK_LENGTH
  162. | BIMPLIES
  163. | BIFF
  164. | BEHAVIORS
  165. | BEHAVIOR
  166. | BASE_ADDR
  167. | AXIOMATIC
  168. | AXIOM
  169. | AUTOMATIC
  170. | AT
  171. | ASSUMES
  172. | ASSIGNS
  173. | ASSERT
  174. | AS
  175. | ARROW
  176. | AND
  177. | AMP
  178. | ALLOCATION
  179. | ALLOCATES
  180. | ALLOCABLE
  181. | ADMIT_RETURNS
  182. | ADMIT_REQUIRES
  183. | ADMIT_LOOP
  184. | ADMIT_LEMMA
  185. | ADMIT_INVARIANT
  186. | ADMIT_EXITS
  187. | ADMIT_ENSURES
  188. | ADMIT_CONTINUES
  189. | ADMIT_BREAKS
  190. | ADMIT
exception Error
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