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