Java_tree (u.7d9ee48f3891d223868c4657a3646583.diffast-langs-java.0.3.6.doc.diffast-langs-java.base.Java_base.Java

module Xlist = Diffast_misc.Xlist

module Xset = Diffast_misc.Xset

module Xhash = Diffast_misc.Xhash

module Xchannel = Diffast_misc.Xchannel

module Xprint = Diffast_misc.Xprint

module Binding = Diffast_misc.Binding

module Loc = Diffast_misc.Loc

module Spec_base = Diffast_core.Spec_base

module Spec = Diffast_core.Spec

module Fact_base = Diffast_core.Fact_base

module Lang_base = Diffast_core.Lang_base

module Sourcecode = Diffast_core.Sourcecode

Sourcemodule P = Java_parsing.Printer

Sourcemodule L = Java_label

module BID = Binding.ID

module FB : sig ... end

module UID = Diffast_misc.UID

module Triple = Diffast_core.Triple

Sourcemodule Ast = Java_parsing.Ast

module Astloc = Langs_common.Astloc

Sourceval sprintf : ('a, unit, string) format -> 'a

Sourceval qualifier_of_name : Ast.name -> Ast.name option

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

Sourceval loc_of_name : Ast.name -> L.Loc.t

Sourceval set_loc : < data : < set_loc : L.Loc.t -> 'a.. >.. > -> L.Ast.Loc.t -> 'a

Source

val set_ghost_rec : 
  (< children : 'a array ; data : < set_loc : Loc.t -> 'b.. >.. > as 'a) ->
  unit

Sourceval is_ghost : < data : < src_loc : Triple.Loc.t.. >.. > -> bool

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

Source

val get_orig_lab_opt : 
  < data : < orig_lab_opt : Obj.t option.. >.. > ->
  L.t option

Sourceval get_orig_lab : < data : < orig_lab_opt : Obj.t option.. >.. > -> L.t

Source

val get_surrounding_classes_or_interfaces : 
  (< data : < _label : Obj.t.. > ; initial_parent : 'a.. > as 'a) ->
  'a list

Sourceval get_uqn : string -> string

Source

val get_fqn : 
  ?strip:bool ->
  string ->
  (< data : < _label : Obj.t.. > ; initial_parent : 'a.. > as 'a) ->
  L.t ->
  string

module Tree : sig ... end

Sourceval get_annotation : < data : < _annotation : Obj.t.. >.. > -> L.annotation

Sourceclass c : Diffast_core.Parser_options.c -> Tree.node_t -> bool -> object ... end

Sourceval of_xnode : Diffast_core.Parser_options.c -> Diffast_misc.XML.node -> Tree.c

Sourceval of_opt : ('a -> 'b) -> 'a option -> 'b list

Source

val set_nodes_loc : 
  < data : < set_loc : Loc.t -> unit.. >.. > ->
  < data : < src_loc : Loc.t.. >.. > list ->
  unit

Source

val apply_child : 
  (L.t -> bool) ->
  ((< data : < _label : Obj.t.. >.. > as 'a) -> unit) ->
  'a array ->
  unit

Sourceval vdid_to_id : string -> string

Sourceval strip_vdid : (string * 'a) -> string * 'a

Source

val set_control_flow : 
  < initial_children : 
    (< data : 
       < _label : Obj.t
       ; add_successor : 'a -> unit
       ; get_ordinal : int -> int.. >
      ; initial_children : 'a array
      ; initial_nchildren : int.. > as 'a)
      array
    ; initial_nchildren : int.. > ->
  unit

Source

class visitor : < no_binding_trace_flag : bool.. > -> < gen : Binding.ID.t.. > -> 
  Diffast_core.Spec.node_t
    Xset.t -> < add_to_bid_map : Binding.ID.t -> Binding.ID.t -> unit
  ; add_to_bid_tbl : Binding.ID.t -> L.name -> unit
  ; add_to_def_bid_tbl : Binding.ID.t -> Diffast_core.Spec.node_t -> unit
  ; root : Diffast_core.Spec.node_t.. > -> object ... end

Source

val compare_node_sig : 
  ?reverse:bool ->
  < data : < _label : Obj.t ; label : 'a.. >.. > ->
  < data : < _label : Obj.t ; label : 'a.. >.. > ->
  int

Sourceclass translator : Diffast_core.Parser_options.c -> object ... end

Source

val of_compilation_unit : 
  Diffast_core.Parser_options.c ->
  Ast.compilation_unit ->
  Tree.c

Source

val of_ast : 
  Diffast_core.Parser_options.c ->
  < comment_regions : (int * int) list
    ; compilation_unit : Ast.compilation_unit
    ; ignored_regions : (int * int) list
    ; lines_read : int
    ; missed_LOC : int
    ; missed_regions : (int * int) list.. > ->
  Tree.c