Module `Cpp_base.Cpp_label`Source

module Xlist = Diffast_misc.Xlist

module Xhash = Diffast_misc.Xhash

module Loc = Diffast_misc.Loc

module Spec = Diffast_core.Spec

module Charpool = Diffast_core.Charpool

module Astml = Diffast_core.Astml

Sourcemodule Label = Cpp_parsing.Label

Sourcemodule Ast = Cpp_parsing.Ast

Sourceval keyroot_depth_min : int

Sourcemodule type T = sig ... end

Sourceval conv_loc : Ast.Loc.t -> Loc.t

include module type of struct include Label end

module XML = Label.XML

Sourceval lang_prefix : string

Sourceval xmlenc : string -> string

Sourceval np : unit -> string -> string

Sourcetype function_like_macro_spec = Cpp_parsing.Label.function_like_macro_spec = {

fm_params : string list;
fm_va : string;
mutable fm_param_occur_count : int list;

}

Sourcetype macro_kind = Cpp_parsing.Label.macro_kind =

| ObjectLike
| FunctionLike of function_like_macro_spec
| 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 = Cpp_parsing.Label.t =

| DUMMY
| EMPTY
| AMBIGUOUS_CONSTRUCT
| PARTIAL_CONSTRUCT
| DECLS
| MEM_DECLS
| EXPRS
| STMTS
| INITS
| LABELS
| SPECS
| ETORS
| OBJC_DECLS
| TEMPL_PARAMS
| TEMPL_ARGS
| DELIM_MACRO of Cpp_parsing.Common.ident
| DELIM_MACRO_ of Cpp_parsing.Common.ident
| Q_PROPERTY
| ERROR of string
| TranslationUnit
| PpInclude of string
| PpDefine of Cpp_parsing.Common.ident
| PpUndef of Cpp_parsing.Common.ident
| PpLine of int * string
| PpError of string
| PpPragma of string
| PpNull
| PpMarker of int * string * int list
| PpIf of string
| PpIfdef of Cpp_parsing.Common.ident
| PpIfndef of Cpp_parsing.Common.ident
| PpElif of string
| PpElse of string
| PpEndif of string
| PpUnknown of string
| PpIfSection of int * string
| PpIfSectionFuncDef of Cpp_parsing.Common.ident
| PpIfSectionAltFuncDef
| PpIfSectionBroken
| PpIfSectionBrokenIf
| PpIfSectionBrokenFuncDef
| PpIfSectionBrokenDtorFunc
| PpIfSectionCondExpr
| PpIfSectionLogicalAnd
| PpIfSectionLogicalOr
| PpIfGroup of string
| PpElifGroup of string
| PpElseGroup of string
| PpStringized of string
| PpMacroParam of Cpp_parsing.Common.ident
| PpImport of string
| OmpDirective of string
| AccDirective of string
| SimpleDeclaration
| AsmDefinition of string
| NamespaceAliasDefinition of Cpp_parsing.Common.ident
| UsingDeclaration
| UsingEnumDeclaration
| UsingDirective of Cpp_parsing.Common.ident
| Static_assertDeclaration
| AliasDeclaration of Cpp_parsing.Common.ident
| OpaqueEnumDeclaration
| OpaqueEnumDeclarationClass
| OpaqueEnumDeclarationStruct
| OpaqueEnumDeclarationMacro of Cpp_parsing.Common.ident
| NodeclspecFunctionDeclaration
| FunctionDefinition of Cpp_parsing.Common.name
| TemplateDeclaration
| DeductionGuide of Cpp_parsing.Common.name
| ExplicitInstantiation
| ExplicitSpecialization
| ExportDeclaration
| LinkageSpecification of string
| NamedNamespaceDefinition of Cpp_parsing.Common.ident
| UnnamedNamespaceDefinition
| NestedNamespaceDefinition of Cpp_parsing.Common.ident
| NamespaceDefinitionMacro of Cpp_parsing.Common.ident
| EmptyDeclaration
| AttributeDeclaration
| DeclarationMacro of Cpp_parsing.Common.ident
| DeclarationMacroInvocation of Cpp_parsing.Common.ident
| DeclarationMacroInvocationInvocation
| DeclarationMacroInvocationArrow
| DeclarationMacroInvocationDot
| ImportDeclaration of string
| Statement
| ExpressionStatement
| DeclarationStatement
| CompoundStatement
| TryBlock
| LabeledStatement
| SelectionStatement
| IfStatement
| ElseStatement
| SwitchStatement
| IterationStatement
| WhileStatement
| DoStatement
| ForStatement
| ForInStatement
| RangeBasedForStatement
| JumpStatement
| BreakStatement
| ContinueStatement
| ReturnStatement
| GotoStatement of Cpp_parsing.Common.ident
| ComputedGotoStatement
| CoroutineReturnStatement
| StatementMacroInvocation of Cpp_parsing.Common.ident
| StatementMacro of Cpp_parsing.Common.ident
| IterationMacroInvocation of Cpp_parsing.Common.ident
| IterationMacro of Cpp_parsing.Common.ident
| This
| ParenthesizedExpression
| RequiresExpression
| FoldExpression
| LambdaExpression
| LogicalOrExpression of Cpp_parsing.Common.ident
| LogicalAndExpression of Cpp_parsing.Common.ident
| InclusiveOrExpression of Cpp_parsing.Common.ident
| ExclusiveOrExpression of Cpp_parsing.Common.ident
| AndExpression of Cpp_parsing.Common.ident
| EqualityExpression
| EqualityExpressionEq
| EqualityExpressionStrictEq
| EqualityExpressionNeq of Cpp_parsing.Common.ident
| RelationalExpression
| RelationalExpressionLt
| RelationalExpressionGt
| RelationalExpressionLe
| RelationalExpressionGe
| CompareExpression
| ShiftExpression
| ShiftExpressionLeft
| ShiftExpressionRight
| ShiftExpressionRightU
| AdditiveExpression
| AdditiveExpressionAdd
| AdditiveExpressionSubt
| MultiplicativeExpression
| MultiplicativeExpressionMult
| MultiplicativeExpressionDiv
| MultiplicativeExpressionMod
| PmExpression
| PmExpressionClass
| PmExpressionPtr
| CastExpression
| CompoundLiteralExpression
| UnaryExpression
| UnaryExpressionIncr
| UnaryExpressionDecr
| UnaryExpressionInd
| UnaryExpressionAddr
| UnaryExpressionLabelAddr
| UnaryExpressionPlus
| UnaryExpressionMinus
| UnaryExpressionNeg of Cpp_parsing.Common.ident
| UnaryExpressionCompl of Cpp_parsing.Common.ident
| UnaryExpressionSizeof
| UnaryExpressionSizeofPack of Cpp_parsing.Common.ident
| UnaryExpressionAlignof
| NoexceptExpression
| NewExpression
| RefNewExpression
| DeleteExpression
| PostfixExpression
| PostfixExpressionSubscr
| PostfixExpressionFunCall
| PostfixExpressionFunCallMacro of Cpp_parsing.Common.ident
| PostfixExpressionExplicitTypeConv
| PostfixExpressionExplicitTypeConvExpr
| PostfixExpressionExplicitTypeConvBraced
| PostfixExpressionDot
| PostfixExpressionArrow
| PostfixExpressionIncr
| PostfixExpressionDecr
| PostfixExpressionTypeid
| PostfixExpressionTypeidExpr
| PostfixExpressionTypeidTy
| PostfixExpressionDynamic_cast
| PostfixExpressionStatic_cast
| PostfixExpressionReinterpret_cast
| PostfixExpressionConst_cast
| AssignmentExpression
| AssignmentExpressionOverloaded of Cpp_parsing.Common.ident
| AssignmentExpressionEq
| AssignmentExpressionPlus
| AssignmentExpressionMinus
| AssignmentExpressionMult
| AssignmentExpressionDiv
| AssignmentExpressionMod
| AssignmentExpressionShiftLeft
| AssignmentExpressionShiftRight
| AssignmentExpressionAnd of Cpp_parsing.Common.ident
| AssignmentExpressionXor of Cpp_parsing.Common.ident
| AssignmentExpressionOr of Cpp_parsing.Common.ident
| ThrowExpression
| ExpressionPair
| ConditionalExpression
| DeleteExpressionBracket
| YieldExpression
| AwaitExpression
| BlockLiteralExpression
| ExpressionMacroInvocation of Cpp_parsing.Common.ident
| LogicalOrMacroInvocation of Cpp_parsing.Common.ident
| DefinedMacroExpression of Cpp_parsing.Common.ident
| HasIncludeExpression of string
| HasAttributeExpression
| Literal
| IntegerLiteral of Cpp_parsing.Common.value
| CharacterLiteral of Cpp_parsing.Common.value
| FloatingLiteral of Cpp_parsing.Common.value
| StringLiteral of Cpp_parsing.Common.value
| StringMacro of Cpp_parsing.Common.ident
| BooleanLiteral of Cpp_parsing.Common.value
| Nullptr
| ConcatenatedString
| UserDefinedCharacterLiteral of Cpp_parsing.Common.value
| UserDefinedStringLiteral of Cpp_parsing.Common.value
| UserDefinedFloatingLiteral of Cpp_parsing.Common.value
| UserDefinedIntegerLiteral of Cpp_parsing.Common.value
| LiteralMacro of Cpp_parsing.Common.ident
| LiteralMacroInvocation of Cpp_parsing.Common.ident
| UnqualifiedId
| OperatorFunctionId
| ConversionFunctionId
| LiteralOperatorId of string
| Destructor
| TemplateId
| TemplateIdOp
| TemplateIdLit
| Operator
| New
| Delete
| NewBracket
| DeleteBracket
| Parentheses
| Brackets
| MinusGt
| MinusGtStar
| Tilde of Cpp_parsing.Common.ident
| Exclam of Cpp_parsing.Common.ident
| Plus
| Minus
| Star
| Slash
| Perc
| Hat of Cpp_parsing.Common.ident
| Amp of Cpp_parsing.Common.ident
| Bar of Cpp_parsing.Common.ident
| Eq
| PlusEq
| MinusEq
| StarEq
| SlashEq
| PercEq
| HatEq of Cpp_parsing.Common.ident
| AmpEq of Cpp_parsing.Common.ident
| BarEq of Cpp_parsing.Common.ident
| EqEq
| ExclamEq of Cpp_parsing.Common.ident
| Lt
| Gt
| LtEq
| GtEq
| LtEqGt
| AmpAmp of Cpp_parsing.Common.ident
| BarBar of Cpp_parsing.Common.ident
| LtLt
| GtGt
| LtLtEq
| GtGtEq
| PlusPlus
| MinusMinus
| Comma
| Semicolon
| Colon
| Co_await
| DotStar
| Dot
| DefiningTypeSpecifier
| SimpleTypeSpecifier of Cpp_parsing.Common.ident
| TypenameSpecifier of Cpp_parsing.Common.ident
| CvQualifier
| TypeMacro of Cpp_parsing.Common.ident
| Const
| Volatile
| Restrict of Cpp_parsing.Common.ident
| MsAsmBlock of Cpp_parsing.Common.ident * string
| MsCdecl of Cpp_parsing.Common.ident
| MsStdcall of Cpp_parsing.Common.ident
| MsPragma of Cpp_parsing.Common.ident
| MsWarningSpecifier of Cpp_parsing.Common.ident
| MsProperty of Cpp_parsing.Common.ident
| MsAttributeSpecifier
| CallingConvention of Cpp_parsing.Common.ident
| GnuAsmBlock of string * string
| GnuAttribute of Cpp_parsing.Common.ident
| GnuStatementExpression
| ElaboratedTypeSpecifier
| ElaboratedTypeSpecifierClass of Cpp_parsing.Common.ident
| ElaboratedTypeSpecifierStruct of Cpp_parsing.Common.ident
| ElaboratedTypeSpecifierUnion of Cpp_parsing.Common.ident
| ElaboratedTypeSpecifierEnum of Cpp_parsing.Common.ident
| ClassSpecifier
| EnumSpecifier
| BasicType
| Char
| Char8_t
| Char16_t
| Char32_t
| Wchar_t
| Bool
| Short
| Int
| Long
| Signed
| Unsigned
| Float
| Double
| Void
| UnsignedInt
| UnsignedLong
| AccessSpecifier
| Private
| Protected
| Public
| AttributeSpecifier
| StandardAttributeSpecifier
| ContractAttributeSpecifier
| ContractAttributeSpecifierExpects
| ContractAttributeSpecifierEnsures of Cpp_parsing.Common.ident
| ContractAttributeSpecifierAssert
| AlignmentAttributeSpecifier of bool
| AttributeMacro of Cpp_parsing.Common.ident
| RefQualifier
| RefQualifierAmp
| RefQualifierAmpAmp
| PlaceholderTypeSpecifier
| PlaceholderTypeSpecifierAuto
| PlaceholderTypeSpecifierDecltype
| PtrOperator
| PtrOperatorStar
| PtrOperatorAmp
| PtrOperatorAmpAmp
| PtrOperatorHat
| PtrOperatorMacro of Cpp_parsing.Common.ident
| Declarator
| DeclaratorFunc
| PtrDeclarator
| PtrDeclaratorPtr
| NoptrDeclarator
| NoptrDeclaratorId
| NoptrDeclaratorParen
| NoptrDeclaratorFunc
| NoptrDeclaratorOldFunc
| NoptrDeclaratorArray
| DtorMacro of Cpp_parsing.Common.ident
| NoexceptSpecifier
| NoexceptSpecifierThrow
| NoexceptSpecifierThrowAny
| VirtSpecifier
| VirtSpecifierFinal
| VirtSpecifierOverride
| VirtSpecifierMacro of Cpp_parsing.Common.ident
| VirtSpecifierMacroInvocation of Cpp_parsing.Common.ident
| StorageClassSpecifier
| StorageClassSpecifierStatic
| StorageClassSpecifierThread_local
| StorageClassSpecifierExtern
| StorageClassSpecifierMutable
| StorageClassSpecifierRegister
| StorageClassSpecifierVaxGlobaldef
| FunctionSpecifier
| FunctionSpecifierVirtual
| ExplicitSpecifier
| ClassHead
| ClassHeadClass
| ClassHeadStruct
| ClassHeadUnion
| ClassHeadMacro of Cpp_parsing.Common.ident
| ClassHeadMacroInvocation of Cpp_parsing.Common.ident
| ClassHeadMsRefClass
| EnumHead
| EnumHeadEnum
| EnumHeadEnumClass
| EnumHeadEnumStruct
| EnumHeadEnumMacro of Cpp_parsing.Common.ident
| TypeParameterKey
| TypeParameterKeyClass
| TypeParameterKeyTypename
| FunctionBody of Cpp_parsing.Common.name
| FunctionBodyDefault
| FunctionBodyDelete
| FunctionTryBlock of Cpp_parsing.Common.name
| FunctionBodyMacro of Cpp_parsing.Common.ident
| FunctionBodyMacroInvocation of Cpp_parsing.Common.ident
| DeclSpecifier
| DeclSpecifierInline
| DeclSpecifierConstexpr
| DeclSpecifierConsteval
| DeclSpecifierConstinit
| DeclSpecifierTypedef
| DeclSpecifierFriend
| DeclSpecifierMacro of Cpp_parsing.Common.ident
| DeclSpecifierMacroInvocation of Cpp_parsing.Common.ident
| Requirement
| SimpleRequirement
| TypeRequirement
| CompoundRequirement
| ReturnTypeRequirement
| NestedRequirement
| AbstractDeclarator
| AbstractDeclaratorFunc
| PtrAbstractDeclarator
| PtrAbstractDeclaratorPtr
| NoptrAbstractDeclarator
| NoptrAbstractDeclaratorFunc
| NoptrAbstractDeclaratorArray
| NoptrAbstractDeclaratorParen
| NoptrAbstractPackDeclaratorFunc
| NoptrAbstractPackDeclaratorArray
| SimpleCapture of Cpp_parsing.Common.ident
| SimpleCaptureAmp of Cpp_parsing.Common.ident
| SimpleCaptureThis
| SimpleCaptureStarThis
| InitCapture of Cpp_parsing.Common.ident
| InitCaptureAmp of Cpp_parsing.Common.ident
| LambdaCapture
| LambdaCaptureDefaultEq
| LambdaCaptureDefaultAmp
| LambdaCaptureMacroInvocation of Cpp_parsing.Common.ident
| MemberDeclarator
| MemberDeclaratorDecl
| MemberDeclaratorBitField of Cpp_parsing.Common.ident
| Label of Cpp_parsing.Common.ident
| CaseLabel
| RangedCaseLabel
| DefaultLabel
| LabelMacroInvocation of Cpp_parsing.Common.ident
| ContractLevel
| ContractLevelDefault
| ContractLevelAudit
| ContractLevelAxiom
| BalancedToken
| BalancedTokenSingle of string
| BalancedTokenParen
| BalancedTokenBracket
| BalancedTokenBrace
| MemberSpecification
| MemberDeclarationDecl
| Explicit
| Virtual
| Template
| Noexcept
| Extern
| Inline
| Default
| ColonColon
| Ellipsis
| Constexpr
| Typename
| PureSpecifier
| BaseSpecifier
| BaseClause
| BaseMacro of Cpp_parsing.Common.ident
| BaseSpecMacro of Cpp_parsing.Common.ident
| BaseSpecMacroInvocation of Cpp_parsing.Common.ident
| SuffixMacro of Cpp_parsing.Common.ident
| ClassVirtSpecifierFinal
| ClassVirtSpecifierMsSealed
| ClassName of Cpp_parsing.Common.ident
| ClassHeadName of Cpp_parsing.Common.name
| MacroArgument
| NoptrNewDeclarator
| NewInitializer
| NewInitializerMacro of Cpp_parsing.Common.ident
| ArgumentsMacro of Cpp_parsing.Common.ident
| ArgumentsMacroInvocation of Cpp_parsing.Common.ident
| NewDeclaratorPtr
| NewDeclarator
| NewTypeId
| NewPlacement
| LambdaDeclarator
| ParenthesizedInitList
| LambdaIntroducer
| LambdaIntroducerMacro of Cpp_parsing.Common.ident
| AbstractPackDeclarator
| AbstractPack
| RequirementBody
| RequirementParameterList
| MemInitializer
| MemInitMacroInvocation of Cpp_parsing.Common.ident
| QualifiedTypeName
| InitDeclarator of Cpp_parsing.Common.name
| ConceptDefinition of Cpp_parsing.Common.name
| CtorInitializer
| ConstraintLogicalOrExpression of Cpp_parsing.Common.ident
| ConstraintLogicalAndExpression of Cpp_parsing.Common.ident
| RequiresClause
| TypeParameter of Cpp_parsing.Common.ident
| TemplateHead
| EnclosingNamespaceSpecifier of Cpp_parsing.Common.ident
| Enumerator of Cpp_parsing.Common.ident
| EnumeratorDefinition
| EnumeratorDefinitionMacro of Cpp_parsing.Common.ident
| TypeMacroInvocation of Cpp_parsing.Common.ident
| Condition
| ParameterDeclaration of Cpp_parsing.Common.name
| ParameterDeclarationClause of bool
| ParametersAndQualifiers
| ParamDeclMacro of Cpp_parsing.Common.ident
| ParamDeclMacroInvocation of Cpp_parsing.Common.ident
| ParametersMacro of Cpp_parsing.Common.ident
| ParametersMacroInvocation of Cpp_parsing.Common.ident
| Handler
| ExceptionDeclaration
| ExpressionList
| EqualInitializer
| DesignatedInitializerClause
| DesignatorField of Cpp_parsing.Common.ident
| DesignatorIndex
| DesignatorRange
| TrailingReturnType
| BracedInitList
| ForRangeDeclaration
| DefiningTypeId
| EnumHeadName of Cpp_parsing.Common.ident
| EnumBase
| QualifiedId
| QualifiedNamespaceSpecifier of Cpp_parsing.Common.name
| TypeName of Cpp_parsing.Common.name
| ConversionDeclarator
| ConversionTypeId
| UsingDeclarator
| UsingEnumDeclarator
| TypeConstraint of Cpp_parsing.Common.name
| TypeId
| DecltypeSpecifier
| SimpleTemplateId of Cpp_parsing.Common.name
| Identifier of Cpp_parsing.Common.ident
| IdentifierMacroInvocation of Cpp_parsing.Common.ident
| PpConcatenatedIdentifier
| NestedNameSpecifier
| NestedNameSpecifierHead
| NestedNameSpecifierIdent of Cpp_parsing.Common.ident
| NestedNameSpecifierTempl of Cpp_parsing.Common.ident
| NestedNameSpecifierDeclty
| PackExpansion
| AttributeUsingPrefix
| Attribute
| AttributeToken of Cpp_parsing.Common.ident
| AttributeScopedToken of Cpp_parsing.Common.ident
| AttributeNamespace of Cpp_parsing.Common.ident
| AttributeArgumentClause
| AttributeArgumentClauseMacro of Cpp_parsing.Common.ident
| TokenSeq of string
| ObjectLikeMacro
| FunctionLikeMacro of macro_kind
| OperatorMacro of Cpp_parsing.Common.ident
| OperatorMacroInvocation of Cpp_parsing.Common.ident
| DefiningTypeSpecifierSeq
| DeclSpecifierSeq
| TypeSpecifierSeq
| FunctionHead of Cpp_parsing.Common.name
| FunctionHeadMacro of Cpp_parsing.Common.ident
| AccessSpecAnnot of Cpp_parsing.Common.ident
| EnumeratorMacroInvocation of Cpp_parsing.Common.ident
| AccessSpecMacro of Cpp_parsing.Common.ident
| CvMacro of Cpp_parsing.Common.ident
| CvMacroInvocation of Cpp_parsing.Common.ident
| RefMacro of Cpp_parsing.Common.ident
| RefMacroInvocation of Cpp_parsing.Common.ident
| OpeningBrace
| ClosingBrace
| OpeningBracket
| ClosingBracket
| DummyBody
| DummyDecl
| DummyStmt
| DummyExpr
| DummyOp
| DummyDtor
| GnuAsmBlockFragmented of string
| GnuAsmFragment of string
| DesignatorFieldOld of Cpp_parsing.Common.ident
| DoxygenLine of string
| NoexceptSpecifierMacro of Cpp_parsing.Common.ident
| AttributeMacroInvocation of Cpp_parsing.Common.ident
| CudaExecutionConfiguration
| CudaKernelCall
| SimpleTemplateIdM
| NamespaceHead of Cpp_parsing.Common.ident
| NamedNamespaceDefinitionHead of Cpp_parsing.Common.ident
| InitializerClause
| TemplParamMacroInvocation of Cpp_parsing.Common.ident
| PostfixExpressionFunCallGuarded of Cpp_parsing.Common.ident
| PpIfSectionTemplDecl
| PpIfSectionTryBlock
| Try
| PpIfSectionHandler
| BlockHeadMacro of Cpp_parsing.Common.ident
| BlockEndMacro of Cpp_parsing.Common.ident
| DeclStmtBlock
| AsmShader of string
| AsmName of Cpp_parsing.Common.ident
| AsmOperand
| AsmDirective of Cpp_parsing.Common.ident
| VaArgs of string
| PtrMacro of Cpp_parsing.Common.ident
| At
| ClassBody
| Lparen
| Rparen
| Asm
| TemplateArguments
| SuffixMacroInvocation of Cpp_parsing.Common.ident
| ObjcThrow
| ObjcSynchronized
| ObjcClassDeclarationList
| ObjcProtocolDeclarationList
| ObjcProtocolDeclaration of Cpp_parsing.Common.ident
| ObjcClassInterface of Cpp_parsing.Common.ident
| ObjcCategoryInterface of Cpp_parsing.Common.ident * Cpp_parsing.Common.ident
| ObjcSuperclass of Cpp_parsing.Common.ident
| ObjcProtocolReferenceList
| ObjcProtocolReferenceListMacro of Cpp_parsing.Common.ident
| ObjcInstanceVariables
| ObjcInstanceVariableDeclaration
| ObjcInterfaceDeclaration
| ObjcPrivate
| ObjcPublic
| ObjcPackage
| ObjcProtected
| ObjcStructDeclaration
| ObjcStructDeclarator
| ObjcPropertyDeclaration
| ObjcPropertyAttributesDeclaration
| ObjcClassMethodDeclaration
| ObjcInstanceMethodDeclaration
| ObjcMethodType
| ObjcMethodSelector
| ObjcMethodSelectorPack
| ObjcSelector of Cpp_parsing.Common.ident
| ObjcSelectorMacro of Cpp_parsing.Common.ident
| ObjcKeywordSelector
| ObjcKeywordDeclarator of Cpp_parsing.Common.ident
| ObjcSpecifierQualifier of Cpp_parsing.Common.ident
| ObjcProtocolName of Cpp_parsing.Common.ident
| ObjcClassName of Cpp_parsing.Common.ident
| ObjcPropertyAttribute of Cpp_parsing.Common.ident
| ObjcMessageExpression
| ObjcMessageSelector
| ObjcProtocolExpression
| ObjcKeywordArgument of Cpp_parsing.Common.ident
| ObjcProtocolInterfaceDeclarationOptional
| ObjcProtocolInterfaceDeclarationRequired
| ObjcAutoreleasepool
| ObjcAvailable
| ObjcSelectorExpression of Cpp_parsing.Common.ident
| ObjcEncodeExpression
| ObjcTryBlock
| ObjcTry
| ObjcCatchClause
| ObjcFinally
| ObjcMethodMacroInvocation of Cpp_parsing.Common.ident
| ObjcKeywordName of Cpp_parsing.Common.ident
| ObjcLiteral
| ObjcArray
| ObjcDictionary
| ObjcKeyValue
| ObjcClass
| SwiftArg of Cpp_parsing.Common.ident
| SwiftFunCall
| HugeArray of int * string
| DslMacroArgument
| ParametersAndQualifiersList
| NestedFunctionDefinition of Cpp_parsing.Common.name
| PragmaMacro of Cpp_parsing.Common.ident
| PragmaMacroInvocation of Cpp_parsing.Common.ident
| MockQualifier of Cpp_parsing.Common.ident
| ClassBodyHeadMacro of Cpp_parsing.Common.ident
| ClassBodyEndMacro of Cpp_parsing.Common.ident
| ClassBodyHeadMacroInvocation of Cpp_parsing.Common.ident
| ClassBodyEndMacroInvocation of Cpp_parsing.Common.ident
| InitHeadMacroInvocation of Cpp_parsing.Common.ident
| InitEndMacroInvocation of Cpp_parsing.Common.ident
| InitDeclaration
| LiteralMacroArgument of string

Sourceval to_string : t -> string

Sourceval to_simple_string : t -> Cpp_parsing.Common.ident

Sourceval to_tag : ?strip:bool -> t -> string * (string * string) list

Sourceval get_name : ?strip:bool -> t -> Cpp_parsing.Common.ident

Sourceval get_name_opt : t -> Cpp_parsing.Common.ident option

Sourceval get_names : t -> Cpp_parsing.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 = Label.ClassKey

Sourcemodule EnumKey = Label.EnumKey

Sourceval to_short_string : ?ignore_identifiers_flag:bool -> t -> string

Sourceval strip : 'a -> 'a

Sourceval _anonymize : ?more:bool -> ?most:bool -> t -> t

Sourceval anonymize : ?more:bool -> t -> t

Sourceval anonymize2 : t -> t

Sourceval anonymize3 : t -> t

Sourcemodule Annotation : sig ... end

Sourcetype annotation = Annotation.t

Sourceval null_annotation : Annotation.t

Sourceval annotation_to_string : Annotation.spec list -> string

Sourceval is_hunk_boundary : 'a -> 'b -> bool

Sourceval forced_to_be_collapsible : 'a -> bool

Sourceval is_collapse_target : < no_collapse_flag : bool.. > -> t -> bool

Sourceval is_to_be_notified : t -> bool

Sourceval is_partition : t -> bool

Sourceval is_sequence : t -> bool

Sourceval is_ntuple : 'a -> bool

Sourceval is_boundary : t -> bool

Sourceval is_primary : t -> bool

Sourceval is_expr : t -> bool

Sourceval is_op : t -> bool

Sourceval is_scope_creating : 'a -> bool

Sourceval is_pp_branch : t -> bool

Sourceval is_stmt : t -> bool

Sourceval is_statement : t -> bool

Sourceval get_ident_use : 'a -> string

Sourceval to_char : 'a -> char

Sourceval has_names : t -> bool

Sourceval has_a_name : t -> bool

Sourceval is_named : t -> bool

Sourceval is_named_orig : t -> bool

Source

val to_elem_data : 
  ?strip:bool ->
  ?afilt:(string -> bool) ->
  Astml.Loc.t ->
  t ->
  string * (string * string) list * string

Sourceval getlab : < data : < _label : Obj.t.. >.. > -> t

Sourceval cannot_be_keyroot : < data : < _label : Obj.t.. >.. > -> bool

Sourceval is_literal : t -> bool

Sourceval is_int_literal : t -> bool

Sourceval is_real_literal : t -> bool

Sourceval is_string_literal : t -> bool

Sourceval is_phantom : 'a -> bool

Sourceval is_special : 'a -> bool

Sourceval is_pp_directive : t -> bool

Sourceval is_pp_define : t -> bool

Sourceval is_pp_include : t -> bool

Sourceval get_pp_include_path : t -> string

Sourceval is_container_unit : t -> bool

Sourceval is_pp_if_section : t -> bool

Sourceval is_pp_if_section_broken : t -> bool

Sourceval is_pp_group : t -> bool

Sourceval is_pp_if_group : t -> bool

Sourceval is_pp_elif_group : t -> bool

Sourceval is_pp_else_group : t -> bool

Sourceval is_translation_unit : t -> bool

Sourceval is_decl : t -> bool

Sourceval is_simple_decl : t -> bool

Sourceval is_func : t -> bool

Sourceval is_jump_stmt : t -> bool

Sourceval is_sel_stmt : t -> bool

Sourceval is_iter_stmt : t -> bool

Sourceval is_decl_spec : t -> bool

Sourceval is_decl_stmt : t -> bool

Sourceval is_comp_stmt : t -> bool

Sourceval is_try_block : t -> bool

Sourceval is_if : t -> bool

Sourceval is_switch : t -> bool

Sourceval is_while : t -> bool

Sourceval is_do : t -> bool

Sourceval is_for : t -> bool

Sourceval is_ranged_for : t -> bool

Sourceval is_return : t -> bool

Sourceval is_goto : t -> bool

Sourceval is_static : t -> bool

Sourceval is_typedef : t -> bool

Sourceval is_extern : t -> bool

Sourceval is_expr_list : t -> bool

Sourceval is_ident : t -> bool

Sourceval is_unary_expr : t -> bool

Sourceval is_funcall : t -> bool

Sourceval is_array_acc : t -> bool

Sourceval is_memb_acc : t -> bool

Sourceval is_memb_ptr_acc : t -> bool

Sourceval is_param_decl_clause : t -> bool

Sourceval is_param_decl : t -> bool

Sourceval is_desig : t -> bool

Sourceval is_dtor : t -> bool

Sourceval is_abst_dtor : t -> bool

Sourceval is_initializer : t -> bool

Sourceval is_block : t -> bool

Sourceval is_body : t -> bool

Sourceval is_class_spec : t -> bool

Sourceval is_enum_spec : t -> bool

Sourceval is_class : t -> bool

Sourceval is_struct : t -> bool

Sourceval is_union : t -> bool

Sourceval is_namespace_head : t -> bool

Sourceval is_expr_macro_ivk : t -> bool

Sourceval is_stmt_macro_ivk : t -> bool

Sourceval is_type_macro_ivk : t -> bool

Sourceval is_type_id : t -> bool

Sourceval is_capture : t -> bool

Sourceval is_braced_init_list : t -> bool

Sourceval is_args_macro : t -> bool

Sourceval is_args_macro_ivk : t -> bool

Sourceval is_desig_old : t -> bool

Sourceval is_compatible : ?weak:bool -> 'a -> 'b -> bool

Sourceval is_order_insensitive : 'a -> bool

Sourceval quasi_eq : 'a -> 'b -> bool

Sourceval relabel_allowed : (t * t) -> bool

Sourceval move_disallowed : 'a -> bool

Sourceval is_common : t -> bool

Sourceval of_elem_data : string -> (string * string) list -> string -> t

Install

dune-project
Dependency

Authors

Maintainers

Sources

doc/diffast-langs-cpp.base/Cpp_base/Cpp_label/index.html

Module `Cpp_base.Cpp_label`Source

package diffast-langs-cpp

Install

dune-project Dependency

Authors

Maintainers

Sources

doc/diffast-langs-cpp.base/Cpp_base/Cpp_label/index.html

Module Cpp_base.Cpp_labelSource

dune-project
Dependency

Module `Cpp_base.Cpp_label`Source