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. | NAMED_TYPE of string
  51. | MSATTR of string * Cabs.cabsloc
  52. | MSASM of string * Cabs.cabsloc
  53. | MINUS_MINUS of Cabs.cabsloc
  54. | MINUS_EQ
  55. | MINUS of Cabs.cabsloc
  56. | LPAREN of Cabs.cabsloc
  57. | LOOP_ANNOT of Logic_ptree.code_annot list * Cabs.cabsloc
  58. | LONG of Cabs.cabsloc
  59. | LGHOST_ELSE of Cabs.cabsloc
  60. | LGHOST
  61. | LBRACKET
  62. | LBRACE of Cabs.cabsloc
  63. | LABEL__
  64. | INT64 of Cabs.cabsloc
  65. | INT of Cabs.cabsloc
  66. | INLINE of Cabs.cabsloc
  67. | INF_INF_EQ
  68. | INF_INF
  69. | INF_EQ
  70. | INF
  71. | IF of Cabs.cabsloc
  72. | IDENT of string
  73. | GOTO of Cabs.cabsloc
  74. | GHOST of Cabs.cabsloc
  75. | GENERIC of Cabs.cabsloc
  76. | FUNCTION__ of Cabs.cabsloc
  77. | FOR of Cabs.cabsloc
  78. | FLOAT of Cabs.cabsloc
  79. | FINALLY of Cabs.cabsloc
  80. | EXTERN of Cabs.cabsloc
  81. | EXCLAM_EQ
  82. | EXCLAM of Cabs.cabsloc
  83. | EXCEPT of Cabs.cabsloc
  84. | EQ_EQ
  85. | EQ
  86. | EOF
  87. | ENUM of Cabs.cabsloc
  88. | ELSE
  89. | ELLIPSIS
  90. | DOUBLE of Cabs.cabsloc
  91. | DOT
  92. | DO of Cabs.cabsloc
  93. | DEFAULT of Cabs.cabsloc
  94. | DECLSPEC of Cabs.cabsloc
  95. | DECL of Logic_ptree.decl list
  96. | CST_WSTRING of int64 list * Cabs.cabsloc
  97. | CST_WCHAR of int64 list * Cabs.cabsloc
  98. | CST_STRING of int64 list * Cabs.cabsloc
  99. | CST_INT of string * Cabs.cabsloc
  100. | CST_FLOAT of string * Cabs.cabsloc
  101. | CST_CHAR of int64 list * Cabs.cabsloc
  102. | CONTINUE of Cabs.cabsloc
  103. | CONST of Cabs.cabsloc
  104. | COMMA
  105. | COLON2
  106. | COLON
  107. | CODE_ANNOT of Logic_ptree.code_annot * Cabs.cabsloc
  108. | CIRC_EQ
  109. | CIRC
  110. | CHAR of Cabs.cabsloc
  111. | CASE of Cabs.cabsloc
  112. | BUILTIN_VA_ARG of Cabs.cabsloc
  113. | BUILTIN_TYPES_COMPAT of Cabs.cabsloc
  114. | BUILTIN_OFFSETOF of Cabs.cabsloc
  115. | BREAK of Cabs.cabsloc
  116. | BOOL of Cabs.cabsloc
  117. | BLOCKATTRIBUTE
  118. | AUTO of Cabs.cabsloc
  119. | ATTRIBUTE_ANNOT of string * Cabs.cabsloc
  120. | ATTRIBUTE of Cabs.cabsloc
  121. | ASM of Cabs.cabsloc
  122. | ARROW
  123. | AND_EQ
  124. | AND_AND of Cabs.cabsloc
  125. | AND of Cabs.cabsloc
  126. | 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