package frama-c

  1. Overview
  2. Docs
package frama-c
Legend:
Library
Module
Module type
Parameter
Class
Class type
type token =
  1. | WHILE of Cabs.cabsloc
  2. | VOLATILE of Cabs.cabsloc
  3. | VOID of Cabs.cabsloc
  4. | UNSIGNED of Cabs.cabsloc
  5. | UNION of Cabs.cabsloc
  6. | TYPEOF of Cabs.cabsloc
  7. | TYPEDEF of Cabs.cabsloc
  8. | TRY of Cabs.cabsloc
  9. | TILDE of Cabs.cabsloc
  10. | THREAD_LOCAL of Cabs.cabsloc
  11. | THREAD of Cabs.cabsloc
  12. | SWITCH of Cabs.cabsloc
  13. | SUP_SUP_EQ
  14. | SUP_SUP
  15. | SUP_EQ
  16. | SUP
  17. | STRUCT of Cabs.cabsloc
  18. | STATIC_ASSERT of Cabs.cabsloc
  19. | STATIC of Cabs.cabsloc
  20. | STAR_EQ
  21. | STAR of Cabs.cabsloc
  22. | SPEC of Filepath.position * string
  23. | SLASH_EQ
  24. | SLASH
  25. | SIZEOF of Cabs.cabsloc
  26. | SIGNED of Cabs.cabsloc
  27. | SHORT of Cabs.cabsloc
  28. | SEMICOLON of Cabs.cabsloc
  29. | RPAREN
  30. | RGHOST
  31. | RETURN of Cabs.cabsloc
  32. | RESTRICT of Cabs.cabsloc
  33. | REGISTER of Cabs.cabsloc
  34. | RBRACKET
  35. | RBRACE of Cabs.cabsloc
  36. | QUEST
  37. | PRETTY_FUNCTION__ of Cabs.cabsloc
  38. | PRAGMA_LINE of string * Cabs.cabsloc
  39. | PRAGMA_EOL
  40. | PRAGMA of Cabs.cabsloc
  41. | PLUS_PLUS of Cabs.cabsloc
  42. | PLUS_EQ
  43. | PLUS of Cabs.cabsloc
  44. | PIPE_PIPE
  45. | PIPE_EQ
  46. | PIPE
  47. | PERCENT_EQ
  48. | PERCENT
  49. | NORETURN of Cabs.cabsloc
  50. | NOP_ATTRIBUTE of Cabs.cabsloc
  51. | NAMED_TYPE of string
  52. | MSATTR of string * Cabs.cabsloc
  53. | MSASM of string * Cabs.cabsloc
  54. | MINUS_MINUS of Cabs.cabsloc
  55. | MINUS_EQ
  56. | MINUS of Cabs.cabsloc
  57. | LPAREN of Cabs.cabsloc
  58. | LOOP_ANNOT of Logic_ptree.code_annot list * Cabs.cabsloc
  59. | LONG of Cabs.cabsloc
  60. | LGHOST_ELSE of Cabs.cabsloc
  61. | LGHOST
  62. | LBRACKET
  63. | LBRACE of Cabs.cabsloc
  64. | LABEL__
  65. | INT64 of Cabs.cabsloc
  66. | INT of Cabs.cabsloc
  67. | INLINE of Cabs.cabsloc
  68. | INF_INF_EQ
  69. | INF_INF
  70. | INF_EQ
  71. | INF
  72. | IF of Cabs.cabsloc
  73. | IDENT of string
  74. | GOTO of Cabs.cabsloc
  75. | GHOST of Cabs.cabsloc
  76. | GENERIC of Cabs.cabsloc
  77. | FUNCTION__ of Cabs.cabsloc
  78. | FOR of Cabs.cabsloc
  79. | FLOAT of Cabs.cabsloc
  80. | FINALLY of Cabs.cabsloc
  81. | EXTERN of Cabs.cabsloc
  82. | EXCLAM_EQ
  83. | EXCLAM of Cabs.cabsloc
  84. | EXCEPT of Cabs.cabsloc
  85. | EQ_EQ
  86. | EQ
  87. | EOF
  88. | ENUM of Cabs.cabsloc
  89. | ELSE
  90. | ELLIPSIS
  91. | DOUBLE of Cabs.cabsloc
  92. | DOT
  93. | DO of Cabs.cabsloc
  94. | DEFAULT of Cabs.cabsloc
  95. | DECLSPEC of Cabs.cabsloc
  96. | DECL of Logic_ptree.decl list
  97. | CST_WSTRING of int64 list * Cabs.cabsloc
  98. | CST_WCHAR of int64 list * Cabs.cabsloc
  99. | CST_STRING of int64 list * Cabs.cabsloc
  100. | CST_INT of string * Cabs.cabsloc
  101. | CST_FLOAT of string * Cabs.cabsloc
  102. | CST_CHAR of int64 list * Cabs.cabsloc
  103. | CONTINUE of Cabs.cabsloc
  104. | CONST of Cabs.cabsloc
  105. | COMMA
  106. | COLON2
  107. | COLON
  108. | CODE_ANNOT of Logic_ptree.code_annot * Cabs.cabsloc
  109. | CIRC_EQ
  110. | CIRC
  111. | CHAR of Cabs.cabsloc
  112. | CASE of Cabs.cabsloc
  113. | BUILTIN_VA_ARG of Cabs.cabsloc
  114. | BUILTIN_TYPES_COMPAT of Cabs.cabsloc
  115. | BUILTIN_OFFSETOF of Cabs.cabsloc
  116. | BREAK of Cabs.cabsloc
  117. | BOOL of Cabs.cabsloc
  118. | BLOCKATTRIBUTE
  119. | AUTO of Cabs.cabsloc
  120. | ATTRIBUTE_ANNOT of string * Cabs.cabsloc
  121. | ATTRIBUTE of Cabs.cabsloc
  122. | ASM of Cabs.cabsloc
  123. | ARROW
  124. | AND_EQ
  125. | AND_AND of Cabs.cabsloc
  126. | AND of Cabs.cabsloc
  127. | ALIGNOF of Cabs.cabsloc
exception Error
val interpret : (Lexing.lexbuf -> token) -> Lexing.lexbuf -> (bool * Cabs.definition) list
val file : (Lexing.lexbuf -> token) -> Lexing.lexbuf -> (bool * Cabs.definition) 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