Module Java_base.Java_labelSource

module Xset = Diffast_misc.Xset
module Xlist = Diffast_misc.Xlist
module Xhash = Diffast_misc.Xhash
module XML = Diffast_misc.XML
module Loc = Diffast_misc.Loc
module Astml = Diffast_core.Astml
module Spec = Diffast_core.Spec
module Lang_base = Diffast_core.Lang_base
module Charpool = Diffast_core.Charpool
Sourcetype name = string
Sourcetype identifier = string
Sourcetype signature = string
Sourceval lang_prefix : string
Sourceval ident_attr_name : string
Sourceval label_attr_name : string
Sourceval dims_attr_name : string
Sourceval islocal_attr_name : string
Sourceval isstmt_attr_name : string
Sourceval keyroot_depth_min : int
Sourceval null_tid : string * string
Sourceval mktid : 'a -> 'b -> 'a * 'b
Sourceval hash_of_tid : Lang_base.tie_id -> string
Sourceval tid_to_string : (string * string) -> string
Sourceval anonymize_tid : ?more:bool -> Lang_base.tie_id -> string * string
Sourceval mktidattr : Lang_base.tie_id -> (string * string) list
Sourceval mkstmttidattr : Lang_base.tie_id -> (string * string) list
Sourceval xmlenc : string -> string
Sourceval xmldec : string -> string
Sourceval escaped_dollar_pat : Str.regexp
Sourceval unescape_dollar : string -> string
Sourceval undeco_pat : Str.regexp
Sourceval undeco : string -> string
Sourceval get_uqn : string -> string
Sourcemodule type T = sig ... end
Sourcetype dims = int
Sourceval vdid_to_string : (string * int) -> string
Sourceval vdids_to_string : (string * int) list -> string
Sourceval vdid_to_name : ('a * 'b) -> 'a
Sourceval vdids_to_name : (string * dims) list -> string
Sourceval conv_name : ?resolve:bool -> ?unqualified:bool -> Ast.name -> Ast.identifier
Sourceval conv_loc : Ast.Loc.t -> Loc.t
Sourcemodule Type : sig ... end
Sourcemodule Literal : sig ... end
Sourcemodule AssignmentOperator : sig ... end
Sourcemodule UnaryOperator : sig ... end
Sourcemodule BinaryOperator : sig ... end
Sourcemodule Modifier : sig ... end
Sourcemodule Primary : sig ... end
Sourcemodule Expression : sig ... end
Sourcemodule Annotation : sig ... end
Sourcemodule Statement : sig ... end
Sourcetype annotation = string option
Sourceval null_annotation : 'a option
Sourceval annotation_to_string : annotation -> string
Sourceval make_annotation : string -> annotation
Sourcetype kind =
  1. | Kclass of name
  2. | Kinterface of name
  3. | Kenum of name
  4. | Krecord of name
  5. | Kannotation of name
  6. | Kfield of name
  7. | Kconstructor of name
  8. | Kmethod of name
  9. | Kparameter of name
  10. | Klocal of name
  11. | Kany
  12. | Kaspect of name
  13. | Kpointcut of name
Sourceval anonymize_kind : kind -> kind
Sourceval kind_to_anonymous_string : kind -> string
Sourceval kind_to_string : kind -> string
Sourceval kind_to_attrs : kind -> (string * string) list
Sourceval kind_to_name_attrs : kind -> (string * string) list
Sourceval kind_to_name : kind -> name
Sourceval kind_to_short_string : kind -> string
Sourcetype t =
  1. | Type of Type.t
  2. | Primary of Primary.t
  3. | Expression of Expression.t
  4. | Statement of Statement.t
  5. | Modifier of Modifier.t
  6. | Annotation of Annotation.t
  7. | TypeBound
  8. | ThisInvocation
  9. | SuperInvocation
  10. | PrimaryInvocation
  11. | NameInvocation of name
  12. | SLconstant of tie_id
  13. | SLdefault
  14. | EVconditional
  15. | EVannotation
  16. | EVarrayInit
  17. | ElementValuePair of name
  18. | Constructor of name * signature
  19. | ConstructorBody of name * signature
  20. | StaticInitializer
  21. | InstanceInitializer
  22. | Block of tie_id
  23. | LocalVariableDeclaration of bool * (name * dims) list
  24. | VariableDeclarator of name * dims
  25. | CatchClause of tie_id
  26. | Finally
  27. | ForInit of tie_id
  28. | ForCond of tie_id
  29. | ForUpdate of tie_id
  30. | SwitchBlock
  31. | SwitchBlockStatementGroup
  32. | DimExpr
  33. | TypeArguments of int * name
  34. | Wildcard
  35. | WildcardBoundsExtends
  36. | WildcardBoundsSuper
  37. | Annotations
  38. | Arguments
  39. | NamedArguments of name
  40. | Parameters of name
  41. | Parameter of identifier * dims * bool
  42. | ReceiverParameter of identifier option
  43. | TypeParameter of name
  44. | TypeParameters of name
  45. | ArrayInitializer
  46. | Modifiers of kind
  47. | FieldDeclaration of (name * dims) list
  48. | VariableDeclaration
  49. | Method of name * signature
  50. | Super
  51. | Qualifier of name
  52. | Throws of name
  53. | MethodBody of name * signature
  54. | Specifier of kind
  55. | Class of name
  56. | Enum of name
  57. | EnumConstant of name
  58. | Record of name
  59. | Extends
  60. | Implements
  61. | Permits
  62. | ClassBody of name
  63. | EnumBody of name
  64. | Interface of name
  65. | AnnotationType of name
  66. | AnnotationTypeBody of name
  67. | ExtendsInterfaces
  68. | InterfaceBody of name
  69. | PackageDeclaration of name
  70. | Module of name
  71. | Open
  72. | ModuleName of name
  73. | ModuleBody of name
  74. | Requires of name
  75. | Exports of name
  76. | Opens of name
  77. | Uses of name
  78. | Provides of name
  79. | TypeName of name
  80. | IDsingle of name
  81. | IDtypeOnDemand of name
  82. | IDsingleStatic of name * name
  83. | IDstaticOnDemand of name
  84. | ImportDeclarations
  85. | TypeDeclarations
  86. | CompilationUnit
  87. | ElementDeclaration of name
  88. | FieldDeclarations of name
  89. | InferredFormalParameters
  90. | InferredFormalParameter of identifier
  91. | ResourceSpec
  92. | CatchParameter of name * dims
  93. | AnnotDim of bool
  94. | Error of string
  95. | HugeArray of int * string
  96. | HugeExpr of int * string
  97. | EmptyDeclaration
  98. | ForHead of tie_id
  99. | Aspect of name
  100. | Pointcut of name
  101. | DeclareParents
  102. | DeclareMessage of string
  103. | DeclareSoft
  104. | DeclarePrecedence
  105. | PointcutAnd
  106. | PointcutOr
  107. | PointcutNot
  108. | PointcutParen
  109. | PointcutWithin
  110. | ClassnamePatternAnd
  111. | ClassnamePatternOr
  112. | ClassnamePatternNot
  113. | ClassnamePatternParen
  114. | ClassnamePatternName of name
  115. | ClassnamePatternNamePlus of name
  116. | SwitchRule
  117. | SRLconstant
  118. | SRLdefault
Sourceval to_string : t -> string
Sourceval strip : t -> t
Sourceval anonymize : ?more:bool -> t -> t
Sourceval anonymize2 : t -> t
Sourceval anonymize3 : t -> t
Sourceval to_simple_string : t -> name
Sourceval to_short_string : ?ignore_identifiers_flag:bool -> t -> string
Sourceval sig_attr_name : string
Sourceval to_tag : ?strip:bool -> t -> string * (string * identifier) list
Sourceval to_char : t -> char
Sourceval to_elem_data : ?strip:bool -> ?afilt:(string -> bool) -> Astml.Loc.t -> t -> string * (string * string) list * string
Sourceval of_javatype : ?resolve:bool -> Ast.javatype -> t
Sourceval of_classname : ?resolve:bool -> Ast.name -> t
Sourceval of_literal : ?anonymize_int:bool -> ?anonymize_float:bool -> ?anonymize_string:bool -> ?reduce:bool -> Ast.literal -> t
Sourceval of_binary_operator : Ast.binary_operator -> t
Sourceval mkelab : ?tid:tie_id -> bool -> Expression.t -> t
Sourceval mkplab : ?tid:tie_id -> bool -> Primary.t -> t
Sourceval of_assignment_operator : ?is_stmt:bool -> Ast.assignment_operator -> tie_id -> t
Sourceval of_unary_operator : ?is_stmt:bool -> Ast.unary_operator -> t
Sourceval get_expr : t -> Expression.t
Sourceval is_hunk_boundary : t -> t -> bool
Sourceval forced_to_be_collapsible : 'a -> bool
Sourceval is_collapse_target : < no_collapse_flag : bool.. > -> t -> bool
Sourceval is_statement_expression : t -> bool
Sourceval is_compatible : ?weak:bool -> t -> t -> bool
Sourceval quasi_eq : t -> t -> bool
Sourceval relabel_allowed : (t * t) -> bool
Sourceval move_disallowed : t -> bool
Sourceval is_common : t -> bool
Sourceval is_order_insensitive : t -> bool
Sourceval is_named : t -> bool
Sourceval is_named_orig : t -> bool
Sourceval is_to_be_notified : t -> bool
Sourceval is_partition : t -> bool
Sourceval is_boundary : t -> bool
Sourceval is_sequence : t -> bool
Sourceval is_ntuple : t -> bool
Sourceval is_wildcard_bounds : t -> bool
Sourceval is_if : t -> bool
Sourceval is_elseif : t -> bool
Sourceval is_else : t -> bool
Sourceval is_while : t -> bool
Sourceval is_do : t -> bool
Sourceval is_try : t -> bool
Sourceval is_yield : t -> bool
Sourceval is_return : t -> bool
Sourceval is_method : t -> bool
Sourceval is_parameter : t -> bool
Sourceval is_va_parameter : t -> bool
Sourceval is_parameters : t -> bool
Sourceval is_typeparameter : t -> bool
Sourceval is_typeparameters : t -> bool
Sourceval is_typearguments : ?nth:int -> t -> bool
Sourceval is_statement : t -> bool
Sourceval is_statement_or_block : t -> bool
Sourceval is_field : t -> bool
Sourceval is_fieldaccess : t -> bool
Sourceval is_import_single : t -> bool
Sourceval is_type : t -> bool
Sourceval is_module : t -> bool
Sourceval is_module_body : t -> bool
Sourceval is_open : t -> bool
Sourceval is_module_directive : t -> bool
Sourceval is_class : t -> bool
Sourceval is_implements : t -> bool
Sourceval is_permits : t -> bool
Sourceval is_classbody : t -> bool
Sourceval is_classbodydecl : t -> bool
Sourceval is_emptydecl : t -> bool
Sourceval is_enumbody : t -> bool
Sourceval is_interface : t -> bool
Sourceval is_interfacebody : t -> bool
Sourceval is_annotationtype : t -> bool
Sourceval is_annotationtypebody : t -> bool
Sourceval is_annotations : t -> bool
Sourceval is_annotation : t -> bool
Sourceval is_class_or_interface : t -> bool
Sourceval is_enum : t -> bool
Sourceval is_enumconstant : t -> bool
Sourceval is_record : t -> bool
Sourceval is_typedeclaration : t -> bool
Sourceval is_modifier : t -> bool
Sourceval is_final : t -> bool
Sourceval is_public : t -> bool
Sourceval is_private : t -> bool
Sourceval is_protected : t -> bool
Sourceval is_modifiers : t -> bool
Sourceval is_methodbody : t -> bool
Sourceval is_ctorbody : t -> bool
Sourceval is_extends : t -> bool
Sourceval is_extendsinterfaces : t -> bool
Sourceval is_localvariabledecl : t -> bool
Sourceval is_assert : t -> bool
Sourceval is_for : t -> bool
Sourceval is_forinit : t -> bool
Sourceval is_forcond : t -> bool
Sourceval is_forupdate : t -> bool
Sourceval is_forhead : t -> bool
Sourceval is_switchblock : t -> bool
Sourceval is_switchblockstmtgroup : t -> bool
Sourceval is_switchrule : t -> bool
Sourceval is_switchlabel : t -> bool
Sourceval is_switchrulelabel : t -> bool
Sourceval is_arrayinitializer : t -> bool
Sourceval is_variabledeclarator : t -> bool
Sourceval is_literal : t -> bool
Sourceval is_string_literal : t -> bool
Sourceval is_text_block : t -> bool
Sourceval is_int_literal : t -> bool
Sourceval is_real_literal : t -> bool
Sourceval is_name : t -> bool
Sourceval is_ambiguous_name : t -> bool
Sourceval is_ambiguous_method_invocation : t -> bool
Sourceval is_instancecreation : t -> bool
Sourceval is_assignment : t -> bool
Sourceval is_qualifier : t -> bool
Sourceval is_arguments : t -> bool
Sourceval is_arraycreation : t -> bool
Sourceval is_importdeclarations : t -> bool
Sourceval is_throws : t -> bool
Sourceval is_expression : t -> bool
Sourceval is_op : t -> bool
Sourceval is_methodinvocation : t -> bool
Sourceval is_ctorinvocation : t -> bool
Sourceval is_invocation : t -> bool
Sourceval is_simple_invocation : t -> bool
Sourceval is_instance_creation : t -> bool
Sourceval is_invocation_or_instance_creation : t -> bool
Sourceval is_specifier : t -> bool
Sourceval is_primary : t -> bool
Sourceval is_primarythis : t -> bool
Sourceval is_primaryname : t -> bool
Sourceval is_unaryop : t -> bool
Sourceval is_binaryop : t -> bool
Sourceval is_binary_add : t -> bool
Sourceval is_block : t -> bool
Sourceval get_ident_use : t -> name
Sourceval is_explicitctorinvok : t -> bool
Sourceval is_blockstatement : t -> bool
Sourceval is_elementvalue : t -> bool
Sourceval is_ctor : t -> bool
Sourceval is_staticinit : t -> bool
Sourceval is_instanceinit : t -> bool
Sourceval is_packagedeclaration : t -> bool
Sourceval is_compilationunit : t -> bool
Sourceval is_type_bound : t -> bool
Sourceval is_catch_clause : t -> bool
Sourceval is_finally : t -> bool
Sourceval is_resource_spec : t -> bool
Sourceval is_catch_parameter : t -> bool
Sourceval is_annot_dim : t -> bool
Sourceval is_aspect : t -> bool
Sourceval is_pointcut : t -> bool
Sourceval is_declare : t -> bool
Sourceval is_pointcut_expr : t -> bool
Sourceval is_classname_pattern_expr : t -> bool
Sourceval is_scope_creating : t -> bool
Sourceval get_category : t -> string
Sourceval get_dims : t -> dims
Sourceval get_name : ?strip:bool -> t -> name
Sourceval get_value : t -> string
Sourceval has_value : t -> bool
Sourceval has_non_trivial_value : t -> bool
Sourceval has_non_trivial_tid : t -> bool
Sourceval get_signature : t -> signature
Sourceval getlab : < data : < _label : Obj.t.. >.. > -> t
Sourceval get_dimensions : t -> dims
Sourceval cannot_be_keyroot : < data : < _label : Obj.t.. >.. > -> bool
Sourceval is_phantom : t -> bool
Sourceval is_special : 'a -> bool
Sourceval is_error : t -> bool
Sourceval find_name : (string * string) list -> string
Sourceval find_code : (string * string) list -> string
Sourceval find_kind : (string * string) list -> kind
Sourceval of_elem_data : string -> (string * identifier) list -> string -> t