package diffast-langs-cpp-parsing

  1. Overview
  2. Docs

Module Cpp_parsing.LabelSource

module XML = Diffast_misc.XML
Sourceval lang_prefix : string
Sourceval xmlenc : string -> string
Sourceval np : unit -> string -> string
Sourcetype function_like_macro_spec = {
  1. fm_params : string list;
  2. fm_va : string;
  3. mutable fm_param_occur_count : int list;
}
Sourcetype macro_kind =
  1. | ObjectLike
  2. | FunctionLike of function_like_macro_spec
  3. | MK_DUMMY
Sourceval make_func_like : string list -> string -> macro_kind
Sourceval macro_kind_to_string : macro_kind -> string
Sourceval macro_kind_to_rep : macro_kind -> string
Sourceval macro_kind_to_attrs : macro_kind -> (string * string) list
Sourcetype t =
  1. | DUMMY
  2. | EMPTY
  3. | AMBIGUOUS_CONSTRUCT
  4. | PARTIAL_CONSTRUCT
  5. | DECLS
  6. | MEM_DECLS
  7. | EXPRS
  8. | STMTS
  9. | INITS
  10. | LABELS
  11. | SPECS
  12. | ETORS
  13. | OBJC_DECLS
  14. | TEMPL_PARAMS
  15. | TEMPL_ARGS
  16. | DELIM_MACRO of Common.ident
  17. | DELIM_MACRO_ of Common.ident
  18. | Q_PROPERTY
  19. | ERROR of string
  20. | TranslationUnit
  21. | PpInclude of string
  22. | PpDefine of Common.ident
  23. | PpUndef of Common.ident
  24. | PpLine of int * string
  25. | PpError of string
  26. | PpPragma of string
  27. | PpNull
  28. | PpMarker of int * string * int list
  29. | PpIf of string
  30. | PpIfdef of Common.ident
  31. | PpIfndef of Common.ident
  32. | PpElif of string
  33. | PpElse of string
  34. | PpEndif of string
  35. | PpUnknown of string
  36. | PpIfSection of int * string
  37. | PpIfSectionFuncDef of Common.ident
  38. | PpIfSectionAltFuncDef
  39. | PpIfSectionBroken
  40. | PpIfSectionBrokenIf
  41. | PpIfSectionBrokenFuncDef
  42. | PpIfSectionBrokenDtorFunc
  43. | PpIfSectionCondExpr
  44. | PpIfSectionLogicalAnd
  45. | PpIfSectionLogicalOr
  46. | PpIfGroup of string
  47. | PpElifGroup of string
  48. | PpElseGroup of string
  49. | PpStringized of string
  50. | PpMacroParam of Common.ident
  51. | PpImport of string
  52. | OmpDirective of string
  53. | AccDirective of string
  54. | SimpleDeclaration
  55. | AsmDefinition of string
  56. | NamespaceAliasDefinition of Common.ident
  57. | UsingDeclaration
  58. | UsingEnumDeclaration
  59. | UsingDirective of Common.ident
  60. | Static_assertDeclaration
  61. | AliasDeclaration of Common.ident
  62. | OpaqueEnumDeclaration
  63. | OpaqueEnumDeclarationClass
  64. | OpaqueEnumDeclarationStruct
  65. | OpaqueEnumDeclarationMacro of Common.ident
  66. | NodeclspecFunctionDeclaration
  67. | FunctionDefinition of Common.name
  68. | TemplateDeclaration
  69. | DeductionGuide of Common.name
  70. | ExplicitInstantiation
  71. | ExplicitSpecialization
  72. | ExportDeclaration
  73. | LinkageSpecification of string
  74. | NamedNamespaceDefinition of Common.ident
  75. | UnnamedNamespaceDefinition
  76. | NestedNamespaceDefinition of Common.ident
  77. | NamespaceDefinitionMacro of Common.ident
  78. | EmptyDeclaration
  79. | AttributeDeclaration
  80. | DeclarationMacro of Common.ident
  81. | DeclarationMacroInvocation of Common.ident
  82. | DeclarationMacroInvocationInvocation
  83. | DeclarationMacroInvocationArrow
  84. | DeclarationMacroInvocationDot
  85. | ImportDeclaration of string
  86. | Statement
  87. | ExpressionStatement
  88. | DeclarationStatement
  89. | CompoundStatement
  90. | TryBlock
  91. | LabeledStatement
  92. | SelectionStatement
  93. | IfStatement
  94. | ElseStatement
  95. | SwitchStatement
  96. | IterationStatement
  97. | WhileStatement
  98. | DoStatement
  99. | ForStatement
  100. | ForInStatement
  101. | RangeBasedForStatement
  102. | JumpStatement
  103. | BreakStatement
  104. | ContinueStatement
  105. | ReturnStatement
  106. | GotoStatement of Common.ident
  107. | ComputedGotoStatement
  108. | CoroutineReturnStatement
  109. | StatementMacroInvocation of Common.ident
  110. | StatementMacro of Common.ident
  111. | IterationMacroInvocation of Common.ident
  112. | IterationMacro of Common.ident
  113. | This
  114. | ParenthesizedExpression
  115. | RequiresExpression
  116. | FoldExpression
  117. | LambdaExpression
  118. | LogicalOrExpression of Common.ident
  119. | LogicalAndExpression of Common.ident
  120. | InclusiveOrExpression of Common.ident
  121. | ExclusiveOrExpression of Common.ident
  122. | AndExpression of Common.ident
  123. | EqualityExpression
  124. | EqualityExpressionEq
  125. | EqualityExpressionStrictEq
  126. | EqualityExpressionNeq of Common.ident
  127. | RelationalExpression
  128. | RelationalExpressionLt
  129. | RelationalExpressionGt
  130. | RelationalExpressionLe
  131. | RelationalExpressionGe
  132. | CompareExpression
  133. | ShiftExpression
  134. | ShiftExpressionLeft
  135. | ShiftExpressionRight
  136. | ShiftExpressionRightU
  137. | AdditiveExpression
  138. | AdditiveExpressionAdd
  139. | AdditiveExpressionSubt
  140. | MultiplicativeExpression
  141. | MultiplicativeExpressionMult
  142. | MultiplicativeExpressionDiv
  143. | MultiplicativeExpressionMod
  144. | PmExpression
  145. | PmExpressionClass
  146. | PmExpressionPtr
  147. | CastExpression
  148. | CompoundLiteralExpression
  149. | UnaryExpression
  150. | UnaryExpressionIncr
  151. | UnaryExpressionDecr
  152. | UnaryExpressionInd
  153. | UnaryExpressionAddr
  154. | UnaryExpressionLabelAddr
  155. | UnaryExpressionPlus
  156. | UnaryExpressionMinus
  157. | UnaryExpressionNeg of Common.ident
  158. | UnaryExpressionCompl of Common.ident
  159. | UnaryExpressionSizeof
  160. | UnaryExpressionSizeofPack of Common.ident
  161. | UnaryExpressionAlignof
  162. | NoexceptExpression
  163. | NewExpression
  164. | RefNewExpression
  165. | DeleteExpression
  166. | PostfixExpression
  167. | PostfixExpressionSubscr
  168. | PostfixExpressionFunCall
  169. | PostfixExpressionFunCallMacro of Common.ident
  170. | PostfixExpressionExplicitTypeConv
  171. | PostfixExpressionExplicitTypeConvExpr
  172. | PostfixExpressionExplicitTypeConvBraced
  173. | PostfixExpressionDot
  174. | PostfixExpressionArrow
  175. | PostfixExpressionIncr
  176. | PostfixExpressionDecr
  177. | PostfixExpressionTypeid
  178. | PostfixExpressionTypeidExpr
  179. | PostfixExpressionTypeidTy
  180. | PostfixExpressionDynamic_cast
  181. | PostfixExpressionStatic_cast
  182. | PostfixExpressionReinterpret_cast
  183. | PostfixExpressionConst_cast
  184. | AssignmentExpression
  185. | AssignmentExpressionOverloaded of Common.ident
  186. | AssignmentExpressionEq
  187. | AssignmentExpressionPlus
  188. | AssignmentExpressionMinus
  189. | AssignmentExpressionMult
  190. | AssignmentExpressionDiv
  191. | AssignmentExpressionMod
  192. | AssignmentExpressionShiftLeft
  193. | AssignmentExpressionShiftRight
  194. | AssignmentExpressionAnd of Common.ident
  195. | AssignmentExpressionXor of Common.ident
  196. | AssignmentExpressionOr of Common.ident
  197. | ThrowExpression
  198. | ExpressionPair
  199. | ConditionalExpression
  200. | DeleteExpressionBracket
  201. | YieldExpression
  202. | AwaitExpression
  203. | BlockLiteralExpression
  204. | ExpressionMacroInvocation of Common.ident
  205. | LogicalOrMacroInvocation of Common.ident
  206. | DefinedMacroExpression of Common.ident
  207. | HasIncludeExpression of string
  208. | HasAttributeExpression
  209. | Literal
  210. | IntegerLiteral of Common.value
  211. | CharacterLiteral of Common.value
  212. | FloatingLiteral of Common.value
  213. | StringLiteral of Common.value
  214. | StringMacro of Common.ident
  215. | BooleanLiteral of Common.value
  216. | Nullptr
  217. | ConcatenatedString
  218. | UserDefinedCharacterLiteral of Common.value
  219. | UserDefinedStringLiteral of Common.value
  220. | UserDefinedFloatingLiteral of Common.value
  221. | UserDefinedIntegerLiteral of Common.value
  222. | LiteralMacro of Common.ident
  223. | LiteralMacroInvocation of Common.ident
  224. | UnqualifiedId
  225. | OperatorFunctionId
  226. | ConversionFunctionId
  227. | LiteralOperatorId of string
  228. | Destructor
  229. | TemplateId
  230. | TemplateIdOp
  231. | TemplateIdLit
  232. | Operator
  233. | New
  234. | Delete
  235. | NewBracket
  236. | DeleteBracket
  237. | Parentheses
  238. | Brackets
  239. | MinusGt
  240. | MinusGtStar
  241. | Tilde of Common.ident
  242. | Exclam of Common.ident
  243. | Plus
  244. | Minus
  245. | Star
  246. | Slash
  247. | Perc
  248. | Hat of Common.ident
  249. | Amp of Common.ident
  250. | Bar of Common.ident
  251. | Eq
  252. | PlusEq
  253. | MinusEq
  254. | StarEq
  255. | SlashEq
  256. | PercEq
  257. | HatEq of Common.ident
  258. | AmpEq of Common.ident
  259. | BarEq of Common.ident
  260. | EqEq
  261. | ExclamEq of Common.ident
  262. | Lt
  263. | Gt
  264. | LtEq
  265. | GtEq
  266. | LtEqGt
  267. | AmpAmp of Common.ident
  268. | BarBar of Common.ident
  269. | LtLt
  270. | GtGt
  271. | LtLtEq
  272. | GtGtEq
  273. | PlusPlus
  274. | MinusMinus
  275. | Comma
  276. | Semicolon
  277. | Colon
  278. | Co_await
  279. | DotStar
  280. | Dot
  281. | DefiningTypeSpecifier
  282. | SimpleTypeSpecifier of Common.ident
  283. | TypenameSpecifier of Common.ident
  284. | CvQualifier
  285. | TypeMacro of Common.ident
  286. | Const
  287. | Volatile
  288. | Restrict of Common.ident
  289. | MsAsmBlock of Common.ident * string
  290. | MsCdecl of Common.ident
  291. | MsStdcall of Common.ident
  292. | MsPragma of Common.ident
  293. | MsWarningSpecifier of Common.ident
  294. | MsProperty of Common.ident
  295. | MsAttributeSpecifier
  296. | CallingConvention of Common.ident
  297. | GnuAsmBlock of string * string
  298. | GnuAttribute of Common.ident
  299. | GnuStatementExpression
  300. | ElaboratedTypeSpecifier
  301. | ElaboratedTypeSpecifierClass of Common.ident
  302. | ElaboratedTypeSpecifierStruct of Common.ident
  303. | ElaboratedTypeSpecifierUnion of Common.ident
  304. | ElaboratedTypeSpecifierEnum of Common.ident
  305. | ClassSpecifier
  306. | EnumSpecifier
  307. | BasicType
  308. | Char
  309. | Char8_t
  310. | Char16_t
  311. | Char32_t
  312. | Wchar_t
  313. | Bool
  314. | Short
  315. | Int
  316. | Long
  317. | Signed
  318. | Unsigned
  319. | Float
  320. | Double
  321. | Void
  322. | UnsignedInt
  323. | UnsignedLong
  324. | AccessSpecifier
  325. | Private
  326. | Protected
  327. | Public
  328. | AttributeSpecifier
  329. | StandardAttributeSpecifier
  330. | ContractAttributeSpecifier
  331. | ContractAttributeSpecifierExpects
  332. | ContractAttributeSpecifierEnsures of Common.ident
  333. | ContractAttributeSpecifierAssert
  334. | AlignmentAttributeSpecifier of bool
  335. | AttributeMacro of Common.ident
  336. | RefQualifier
  337. | RefQualifierAmp
  338. | RefQualifierAmpAmp
  339. | PlaceholderTypeSpecifier
  340. | PlaceholderTypeSpecifierAuto
  341. | PlaceholderTypeSpecifierDecltype
  342. | PtrOperator
  343. | PtrOperatorStar
  344. | PtrOperatorAmp
  345. | PtrOperatorAmpAmp
  346. | PtrOperatorHat
  347. | PtrOperatorMacro of Common.ident
  348. | Declarator
  349. | DeclaratorFunc
  350. | PtrDeclarator
  351. | PtrDeclaratorPtr
  352. | NoptrDeclarator
  353. | NoptrDeclaratorId
  354. | NoptrDeclaratorParen
  355. | NoptrDeclaratorFunc
  356. | NoptrDeclaratorOldFunc
  357. | NoptrDeclaratorArray
  358. | DtorMacro of Common.ident
  359. | NoexceptSpecifier
  360. | NoexceptSpecifierThrow
  361. | NoexceptSpecifierThrowAny
  362. | VirtSpecifier
  363. | VirtSpecifierFinal
  364. | VirtSpecifierOverride
  365. | VirtSpecifierMacro of Common.ident
  366. | VirtSpecifierMacroInvocation of Common.ident
  367. | StorageClassSpecifier
  368. | StorageClassSpecifierStatic
  369. | StorageClassSpecifierThread_local
  370. | StorageClassSpecifierExtern
  371. | StorageClassSpecifierMutable
  372. | StorageClassSpecifierRegister
  373. | StorageClassSpecifierVaxGlobaldef
  374. | FunctionSpecifier
  375. | FunctionSpecifierVirtual
  376. | ExplicitSpecifier
  377. | ClassHead
  378. | ClassHeadClass
  379. | ClassHeadStruct
  380. | ClassHeadUnion
  381. | ClassHeadMacro of Common.ident
  382. | ClassHeadMacroInvocation of Common.ident
  383. | ClassHeadMsRefClass
  384. | EnumHead
  385. | EnumHeadEnum
  386. | EnumHeadEnumClass
  387. | EnumHeadEnumStruct
  388. | EnumHeadEnumMacro of Common.ident
  389. | TypeParameterKey
  390. | TypeParameterKeyClass
  391. | TypeParameterKeyTypename
  392. | FunctionBody of Common.name
  393. | FunctionBodyDefault
  394. | FunctionBodyDelete
  395. | FunctionTryBlock of Common.name
  396. | FunctionBodyMacro of Common.ident
  397. | FunctionBodyMacroInvocation of Common.ident
  398. | DeclSpecifier
  399. | DeclSpecifierInline
  400. | DeclSpecifierConstexpr
  401. | DeclSpecifierConsteval
  402. | DeclSpecifierConstinit
  403. | DeclSpecifierTypedef
  404. | DeclSpecifierFriend
  405. | DeclSpecifierMacro of Common.ident
  406. | DeclSpecifierMacroInvocation of Common.ident
  407. | Requirement
  408. | SimpleRequirement
  409. | TypeRequirement
  410. | CompoundRequirement
  411. | ReturnTypeRequirement
  412. | NestedRequirement
  413. | AbstractDeclarator
  414. | AbstractDeclaratorFunc
  415. | PtrAbstractDeclarator
  416. | PtrAbstractDeclaratorPtr
  417. | NoptrAbstractDeclarator
  418. | NoptrAbstractDeclaratorFunc
  419. | NoptrAbstractDeclaratorArray
  420. | NoptrAbstractDeclaratorParen
  421. | NoptrAbstractPackDeclaratorFunc
  422. | NoptrAbstractPackDeclaratorArray
  423. | SimpleCapture of Common.ident
  424. | SimpleCaptureAmp of Common.ident
  425. | SimpleCaptureThis
  426. | SimpleCaptureStarThis
  427. | InitCapture of Common.ident
  428. | InitCaptureAmp of Common.ident
  429. | LambdaCapture
  430. | LambdaCaptureDefaultEq
  431. | LambdaCaptureDefaultAmp
  432. | LambdaCaptureMacroInvocation of Common.ident
  433. | MemberDeclarator
  434. | MemberDeclaratorDecl
  435. | MemberDeclaratorBitField of Common.ident
  436. | Label of Common.ident
  437. | CaseLabel
  438. | RangedCaseLabel
  439. | DefaultLabel
  440. | LabelMacroInvocation of Common.ident
  441. | ContractLevel
  442. | ContractLevelDefault
  443. | ContractLevelAudit
  444. | ContractLevelAxiom
  445. | BalancedToken
  446. | BalancedTokenSingle of string
  447. | BalancedTokenParen
  448. | BalancedTokenBracket
  449. | BalancedTokenBrace
  450. | MemberSpecification
  451. | MemberDeclarationDecl
  452. | Explicit
  453. | Virtual
  454. | Template
  455. | Noexcept
  456. | Extern
  457. | Inline
  458. | Default
  459. | ColonColon
  460. | Ellipsis
  461. | Constexpr
  462. | Typename
  463. | PureSpecifier
  464. | BaseSpecifier
  465. | BaseClause
  466. | BaseMacro of Common.ident
  467. | BaseSpecMacro of Common.ident
  468. | BaseSpecMacroInvocation of Common.ident
  469. | SuffixMacro of Common.ident
  470. | ClassVirtSpecifierFinal
  471. | ClassVirtSpecifierMsSealed
  472. | ClassName of Common.ident
  473. | ClassHeadName of Common.name
  474. | MacroArgument
  475. | NoptrNewDeclarator
  476. | NewInitializer
  477. | NewInitializerMacro of Common.ident
  478. | ArgumentsMacro of Common.ident
  479. | ArgumentsMacroInvocation of Common.ident
  480. | NewDeclaratorPtr
  481. | NewDeclarator
  482. | NewTypeId
  483. | NewPlacement
  484. | LambdaDeclarator
  485. | ParenthesizedInitList
  486. | LambdaIntroducer
  487. | LambdaIntroducerMacro of Common.ident
  488. | AbstractPackDeclarator
  489. | AbstractPack
  490. | RequirementBody
  491. | RequirementParameterList
  492. | MemInitializer
  493. | MemInitMacroInvocation of Common.ident
  494. | QualifiedTypeName
  495. | InitDeclarator of Common.name
  496. | ConceptDefinition of Common.name
  497. | CtorInitializer
  498. | ConstraintLogicalOrExpression of Common.ident
  499. | ConstraintLogicalAndExpression of Common.ident
  500. | RequiresClause
  501. | TypeParameter of Common.ident
  502. | TemplateHead
  503. | EnclosingNamespaceSpecifier of Common.ident
  504. | Enumerator of Common.ident
  505. | EnumeratorDefinition
  506. | EnumeratorDefinitionMacro of Common.ident
  507. | TypeMacroInvocation of Common.ident
  508. | Condition
  509. | ParameterDeclaration of Common.name
  510. | ParameterDeclarationClause of bool
  511. | ParametersAndQualifiers
  512. | ParamDeclMacro of Common.ident
  513. | ParamDeclMacroInvocation of Common.ident
  514. | ParametersMacro of Common.ident
  515. | ParametersMacroInvocation of Common.ident
  516. | Handler
  517. | ExceptionDeclaration
  518. | ExpressionList
  519. | EqualInitializer
  520. | DesignatedInitializerClause
  521. | DesignatorField of Common.ident
  522. | DesignatorIndex
  523. | DesignatorRange
  524. | TrailingReturnType
  525. | BracedInitList
  526. | ForRangeDeclaration
  527. | DefiningTypeId
  528. | EnumHeadName of Common.ident
  529. | EnumBase
  530. | QualifiedId
  531. | QualifiedNamespaceSpecifier of Common.name
  532. | TypeName of Common.name
  533. | ConversionDeclarator
  534. | ConversionTypeId
  535. | UsingDeclarator
  536. | UsingEnumDeclarator
  537. | TypeConstraint of Common.name
  538. | TypeId
  539. | DecltypeSpecifier
  540. | SimpleTemplateId of Common.name
  541. | Identifier of Common.ident
  542. | IdentifierMacroInvocation of Common.ident
  543. | PpConcatenatedIdentifier
  544. | NestedNameSpecifier
  545. | NestedNameSpecifierHead
  546. | NestedNameSpecifierIdent of Common.ident
  547. | NestedNameSpecifierTempl of Common.ident
  548. | NestedNameSpecifierDeclty
  549. | PackExpansion
  550. | AttributeUsingPrefix
  551. | Attribute
  552. | AttributeToken of Common.ident
  553. | AttributeScopedToken of Common.ident
  554. | AttributeNamespace of Common.ident
  555. | AttributeArgumentClause
  556. | AttributeArgumentClauseMacro of Common.ident
  557. | TokenSeq of string
  558. | ObjectLikeMacro
  559. | FunctionLikeMacro of macro_kind
  560. | OperatorMacro of Common.ident
  561. | OperatorMacroInvocation of Common.ident
  562. | DefiningTypeSpecifierSeq
  563. | DeclSpecifierSeq
  564. | TypeSpecifierSeq
  565. | FunctionHead of Common.name
  566. | FunctionHeadMacro of Common.ident
  567. | AccessSpecAnnot of Common.ident
  568. | EnumeratorMacroInvocation of Common.ident
  569. | AccessSpecMacro of Common.ident
  570. | CvMacro of Common.ident
  571. | CvMacroInvocation of Common.ident
  572. | RefMacro of Common.ident
  573. | RefMacroInvocation of Common.ident
  574. | OpeningBrace
  575. | ClosingBrace
  576. | OpeningBracket
  577. | ClosingBracket
  578. | DummyBody
  579. | DummyDecl
  580. | DummyStmt
  581. | DummyExpr
  582. | DummyOp
  583. | DummyDtor
  584. | GnuAsmBlockFragmented of string
  585. | GnuAsmFragment of string
  586. | DesignatorFieldOld of Common.ident
  587. | DoxygenLine of string
  588. | NoexceptSpecifierMacro of Common.ident
  589. | AttributeMacroInvocation of Common.ident
  590. | CudaExecutionConfiguration
  591. | CudaKernelCall
  592. | SimpleTemplateIdM
  593. | NamespaceHead of Common.ident
  594. | NamedNamespaceDefinitionHead of Common.ident
  595. | InitializerClause
  596. | TemplParamMacroInvocation of Common.ident
  597. | PostfixExpressionFunCallGuarded of Common.ident
  598. | PpIfSectionTemplDecl
  599. | PpIfSectionTryBlock
  600. | Try
  601. | PpIfSectionHandler
  602. | BlockHeadMacro of Common.ident
  603. | BlockEndMacro of Common.ident
  604. | DeclStmtBlock
  605. | AsmShader of string
  606. | AsmName of Common.ident
  607. | AsmOperand
  608. | AsmDirective of Common.ident
  609. | VaArgs of string
  610. | PtrMacro of Common.ident
  611. | At
  612. | ClassBody
  613. | Lparen
  614. | Rparen
  615. | Asm
  616. | TemplateArguments
  617. | SuffixMacroInvocation of Common.ident
  618. | ObjcThrow
  619. | ObjcSynchronized
  620. | ObjcClassDeclarationList
  621. | ObjcProtocolDeclarationList
  622. | ObjcProtocolDeclaration of Common.ident
  623. | ObjcClassInterface of Common.ident
  624. | ObjcCategoryInterface of Common.ident * Common.ident
  625. | ObjcSuperclass of Common.ident
  626. | ObjcProtocolReferenceList
  627. | ObjcProtocolReferenceListMacro of Common.ident
  628. | ObjcInstanceVariables
  629. | ObjcInstanceVariableDeclaration
  630. | ObjcInterfaceDeclaration
  631. | ObjcPrivate
  632. | ObjcPublic
  633. | ObjcPackage
  634. | ObjcProtected
  635. | ObjcStructDeclaration
  636. | ObjcStructDeclarator
  637. | ObjcPropertyDeclaration
  638. | ObjcPropertyAttributesDeclaration
  639. | ObjcClassMethodDeclaration
  640. | ObjcInstanceMethodDeclaration
  641. | ObjcMethodType
  642. | ObjcMethodSelector
  643. | ObjcMethodSelectorPack
  644. | ObjcSelector of Common.ident
  645. | ObjcSelectorMacro of Common.ident
  646. | ObjcKeywordSelector
  647. | ObjcKeywordDeclarator of Common.ident
  648. | ObjcSpecifierQualifier of Common.ident
  649. | ObjcProtocolName of Common.ident
  650. | ObjcClassName of Common.ident
  651. | ObjcPropertyAttribute of Common.ident
  652. | ObjcMessageExpression
  653. | ObjcMessageSelector
  654. | ObjcProtocolExpression
  655. | ObjcKeywordArgument of Common.ident
  656. | ObjcProtocolInterfaceDeclarationOptional
  657. | ObjcProtocolInterfaceDeclarationRequired
  658. | ObjcAutoreleasepool
  659. | ObjcAvailable
  660. | ObjcSelectorExpression of Common.ident
  661. | ObjcEncodeExpression
  662. | ObjcTryBlock
  663. | ObjcTry
  664. | ObjcCatchClause
  665. | ObjcFinally
  666. | ObjcMethodMacroInvocation of Common.ident
  667. | ObjcKeywordName of Common.ident
  668. | ObjcLiteral
  669. | ObjcArray
  670. | ObjcDictionary
  671. | ObjcKeyValue
  672. | ObjcClass
  673. | SwiftArg of Common.ident
  674. | SwiftFunCall
  675. | HugeArray of int * string
  676. | DslMacroArgument
  677. | ParametersAndQualifiersList
  678. | NestedFunctionDefinition of Common.name
  679. | PragmaMacro of Common.ident
  680. | PragmaMacroInvocation of Common.ident
  681. | MockQualifier of Common.ident
  682. | ClassBodyHeadMacro of Common.ident
  683. | ClassBodyEndMacro of Common.ident
  684. | ClassBodyHeadMacroInvocation of Common.ident
  685. | ClassBodyEndMacroInvocation of Common.ident
  686. | InitHeadMacroInvocation of Common.ident
  687. | InitEndMacroInvocation of Common.ident
  688. | InitDeclaration
  689. | LiteralMacroArgument of string
Sourceval to_string : t -> string
Sourceval to_simple_string : t -> Common.ident
Sourceval to_tag : ?strip:bool -> t -> string * (string * string) list
Sourceval get_name : ?strip:bool -> t -> Common.ident
Sourceval get_name_opt : t -> Common.ident option
Sourceval get_names : t -> Common.ident list
Sourceval get_label : t -> string
Sourceval get_var : t -> string
Sourceval get_var_opt : t -> string option
Sourceval get_category : t -> string
Sourceval get_value : t -> string
Sourceval has_value : t -> bool
Sourceval has_non_trivial_value : t -> bool
Sourceval has_non_trivial_tid : 'a -> bool
Sourcemodule ClassKey : sig ... end
Sourcemodule EnumKey : sig ... end