Module `Java_base.Java_label`Source

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

Sourcemodule Ast = Java_parsing.Ast

Sourcemodule Printer = Java_parsing.Printer

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

Sourcetype tie_id = Lang_base.tie_id

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

Source

val 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 =

| Kclass of name
| Kinterface of name
| Kenum of name
| Krecord of name
| Kannotation of name
| Kfield of name
| Kconstructor of name
| Kmethod of name
| Kparameter of name
| Klocal of name
| Kany
| Kaspect of name
| 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 =

| Type of Type.t
| Primary of Primary.t
| Expression of Expression.t
| Statement of Statement.t
| Modifier of Modifier.t
| Annotation of Annotation.t
| TypeBound
| ThisInvocation
| SuperInvocation
| PrimaryInvocation
| NameInvocation of name
| SLconstant of tie_id
| SLdefault
| EVconditional
| EVannotation
| EVarrayInit
| ElementValuePair of name
| Constructor of name * signature
| ConstructorBody of name * signature
| StaticInitializer
| InstanceInitializer
| Block of tie_id
| LocalVariableDeclaration of bool * (name * dims) list
| VariableDeclarator of name * dims
| CatchClause of tie_id
| Finally
| ForInit of tie_id
| ForCond of tie_id
| ForUpdate of tie_id
| SwitchBlock
| SwitchBlockStatementGroup
| DimExpr
| TypeArguments of int * name
| Wildcard
| WildcardBoundsExtends
| WildcardBoundsSuper
| Annotations
| Arguments
| NamedArguments of name
| Parameters of name
| Parameter of identifier * dims * bool
| ReceiverParameter of identifier option
| TypeParameter of name
| TypeParameters of name
| ArrayInitializer
| Modifiers of kind
| FieldDeclaration of (name * dims) list
| VariableDeclaration
| Method of name * signature
| Super
| Qualifier of name
| Throws of name
| MethodBody of name * signature
| Specifier of kind
| Class of name
| Enum of name
| EnumConstant of name
| Record of name
| Extends
| Implements
| Permits
| ClassBody of name
| EnumBody of name
| Interface of name
| AnnotationType of name
| AnnotationTypeBody of name
| ExtendsInterfaces
| InterfaceBody of name
| PackageDeclaration of name
| Module of name
| Open
| ModuleName of name
| ModuleBody of name
| Requires of name
| Exports of name
| Opens of name
| Uses of name
| Provides of name
| TypeName of name
| IDsingle of name
| IDtypeOnDemand of name
| IDsingleStatic of name * name
| IDstaticOnDemand of name
| ImportDeclarations
| TypeDeclarations
| CompilationUnit
| ElementDeclaration of name
| FieldDeclarations of name
| InferredFormalParameters
| InferredFormalParameter of identifier
| ResourceSpec
| CatchParameter of name * dims
| AnnotDim of bool
| Error of string
| HugeArray of int * string
| HugeExpr of int * string
| EmptyDeclaration
| ForHead of tie_id
| Aspect of name
| Pointcut of name
| DeclareParents
| DeclareMessage of string
| DeclareSoft
| DeclarePrecedence
| PointcutAnd
| PointcutOr
| PointcutNot
| PointcutParen
| PointcutWithin
| ClassnamePatternAnd
| ClassnamePatternOr
| ClassnamePatternNot
| ClassnamePatternParen
| ClassnamePatternName of name
| ClassnamePatternNamePlus of name
| SwitchRule
| SRLconstant
| 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

Source

val 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

Source

val 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

Source

val 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

Install

dune-project
Dependency

Authors

Maintainers

Sources

doc/diffast-langs-java.base/Java_base/Java_label/index.html

Module `Java_base.Java_label`Source

package diffast-langs-java

Install

dune-project Dependency

Authors

Maintainers

Sources

doc/diffast-langs-java.base/Java_base/Java_label/index.html

Module Java_base.Java_labelSource

dune-project
Dependency

Module `Java_base.Java_label`Source