Frama-C:
Plug-ins:
Libraries:

Frama-C API - Cparser

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. | TRUE 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. | 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. | GCC_ALIGNOF of Cabs.cabsloc
  77. | FUNCTION__ of Cabs.cabsloc
  78. | FOR of Cabs.cabsloc
  79. | FLOAT64 of Cabs.cabsloc
  80. | FLOAT32 of Cabs.cabsloc
  81. | FLOAT of Cabs.cabsloc
  82. | FALSE of Cabs.cabsloc
  83. | EXTERN of Cabs.cabsloc
  84. | EXCLAM_EQ
  85. | EXCLAM of Cabs.cabsloc
  86. | EQ_EQ
  87. | EQ
  88. | EOF
  89. | ENUM of Cabs.cabsloc
  90. | ELSE
  91. | ELLIPSIS
  92. | DOUBLE of Cabs.cabsloc
  93. | DOT
  94. | DO of Cabs.cabsloc
  95. | DEFAULT of Cabs.cabsloc
  96. | DECLSPEC of Cabs.cabsloc
  97. | DECL of Logic_ptree.decl list
  98. | CST_WSTRING of int64 list * Cabs.cabsloc
  99. | CST_WCHAR of int64 list * Cabs.cabsloc
  100. | CST_STRING of int64 list * Cabs.cabsloc
  101. | CST_INT of string * Cabs.cabsloc
  102. | CST_FLOAT of string * Cabs.cabsloc
  103. | CST_CHAR of int64 list * Cabs.cabsloc
  104. | CONTINUE of Cabs.cabsloc
  105. | CONST of Cabs.cabsloc
  106. | COMMA
  107. | COLON2
  108. | COLON
  109. | CODE_ANNOT of Logic_ptree.code_annot * Cabs.cabsloc
  110. | CIRC_EQ
  111. | CIRC
  112. | CHAR of Cabs.cabsloc
  113. | CASE of Cabs.cabsloc
  114. | BUILTIN_VA_ARG of Cabs.cabsloc
  115. | BUILTIN_TYPES_COMPAT of Cabs.cabsloc
  116. | BUILTIN_OFFSETOF of Cabs.cabsloc
  117. | BREAK of Cabs.cabsloc
  118. | BOOL of Cabs.cabsloc
  119. | BLOCKATTRIBUTE
  120. | AUTO of 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
  128. | ALIGNAS of Cabs.cabsloc
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