package diffast-langs-java

  1. Overview
  2. Docs
package diffast-langs-java
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

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
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
OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct