Frama-C:
Plug-ins:
Libraries:

Frama-C API - Cparser

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