diffast-langs-java 0.1.1 (latest)

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

module P = Java_parsing.Printer

module L = Java_label

module BID = Binding.ID

module FB : sig ... end

module UID = Diffast_misc.UID

module Triple = Diffast_core.Triple

module Ast = Java_parsing.Ast

module Astloc = Langs_common.Astloc

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

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

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

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

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

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

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

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

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

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

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

val get_uqn : string -> string

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

module Tree : sig ... end

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

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

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

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

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

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

val vdid_to_id : string -> string

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

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

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

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

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

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

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

package diffast-langs-java