package frama-c

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