diffast-langs-java 0.1.1 (latest)

module Xlist = Diffast_misc.Xlist

module Xset = Diffast_misc.Xset

module Loc = Diffast_misc.Loc

module Astml = Diffast_core.Astml

module Fact_base = Diffast_core.Fact_base

module Sourcecode = Diffast_core.Sourcecode

module Triple = Diffast_core.Triple

module L = Java_label

module Tree = Java_tree

module Common = Java_parsing.Common

module FB : sig ... end

val p_provides : Diffast_core.Triple.node

val p_fqn : Diffast_core.Triple.node

val p_uqn : Diffast_core.Triple.node

val p_in_class : Diffast_core.Triple.node

val p_in_interface : Diffast_core.Triple.node

val p_in_method : Diffast_core.Triple.node

val p_in_constructor : Diffast_core.Triple.node

val p_in_statement : Diffast_core.Triple.node

val p_in_invocation : Diffast_core.Triple.node

val p_in_instance_creation : Diffast_core.Triple.node

val p_in_method_invocation : Diffast_core.Triple.node

val p_in_ctor_invocation : Diffast_core.Triple.node

val p_in_field : Diffast_core.Triple.node

val p_in_enum : Diffast_core.Triple.node

val p_in_extends : Diffast_core.Triple.node

val p_in_throws : Diffast_core.Triple.node

val p_in_return_type : Diffast_core.Triple.node

val p_in_variable_declaration : Diffast_core.Triple.node

val p_in_parameter : Diffast_core.Triple.node

val p_in_staticinit : Diffast_core.Triple.node

val p_in_instanceinit : Diffast_core.Triple.node

val p_cond_of : Diffast_core.Triple.node

val p_then_part_of : Diffast_core.Triple.node

val p_else_part_of : Diffast_core.Triple.node

val p_name : Diffast_core.Triple.node

val p_dimensions : Diffast_core.Triple.node

val p_extended_name : Diffast_core.Triple.node

val p_signature : Diffast_core.Triple.node

val p_initializer : Diffast_core.Triple.node

val p_declared_by : Diffast_core.Triple.node

val p_requires : Diffast_core.Triple.node

val p_successor : Diffast_core.Triple.node

val p_nparams : Diffast_core.Triple.node

val p_nargs : Diffast_core.Triple.node

val p_is_va_meth : Diffast_core.Triple.node

val p_is_abst : Diffast_core.Triple.node

val p_identifier : Diffast_core.Triple.node

val p_qualifier : Diffast_core.Triple.node

val p_id_offset : Diffast_core.Triple.node

val p_id_length : Diffast_core.Triple.node

val p_expr_offset : Diffast_core.Triple.node

val p_expr_length : Diffast_core.Triple.node

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

val node_filter : 
  < fact_restricted_flag : bool.. > ->
  < data : < _label : Obj.t.. >.. > ->
  bool

val xxx_to_simple_name : char -> string -> string

val signature_to_simple_name : string -> string

val extended_name_to_simple_name : string -> string

val node_pair_filter : 
  < fact_restricted_flag : bool.. > ->
  < data : < _label : Obj.t.. >.. > ->
  < data : < _label : Obj.t.. >
    ; initial_parent : < data : < _label : Obj.t.. >.. >
    ; pos : int.. > ->
  bool

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

val is_argument : 
  < initial_parent : < data : < _label : Obj.t.. >.. >.. > ->
  bool

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

val get_logical_nth_child : 
  < data : < get_ordinal : int -> 'a.. > ; initial_children : 'b array.. > ->
  'a ->
  'b list

class extractor : < fact_algo : Diffast_core.Triple.Xhash.algo
  ; fact_compress_flag : bool
  ; fact_compression : Diffast_core.Triple.C.c
  ; fact_enc : Diffast_core.Entity.encoding
  ; fact_for_ast_flag : bool
  ; fact_into_directory : string
  ; fact_into_virtuoso : string
  ; fact_proj : string
  ; fact_restricted_flag : bool
  ; fact_size_threshold : int
  ; fact_virtuoso_temp_dir : string
  ; local_cache_name : string
  ; verbose_flag : bool.. > -> string -> < encoded_source_digest : string
  ; find_true_parent : Diffast_misc.UID.t -> Diffast_core.Spec.node_t
  ; proj_root : string
  ; root : Diffast_core.Spec.node_t
  ; source_digest : Diffast_core.Triple.Xhash.t
  ; source_path : string
  ; version : string
  ; vkind : Diffast_core.Entity.vkind.. > -> object ... end

val extract : 
  < fact_algo : Diffast_core.Triple.Xhash.algo
    ; fact_compress_flag : bool
    ; fact_compression : Diffast_core.Triple.C.c
    ; fact_enc : Diffast_core.Entity.encoding
    ; fact_for_ast_flag : bool
    ; fact_into_directory : string
    ; fact_into_virtuoso : string
    ; fact_proj : string
    ; fact_restricted_flag : bool
    ; fact_size_threshold : int
    ; fact_virtuoso_temp_dir : string
    ; local_cache_name : string
    ; verbose_flag : bool.. > ->
  string ->
  < encoded_source_digest : string
    ; find_true_parent : Diffast_misc.UID.t -> Diffast_core.Spec.node_t
    ; proj_root : string
    ; root : Diffast_core.Spec.node_t
    ; source_digest : Diffast_core.Triple.Xhash.t
    ; source_path : string
    ; version : string
    ; vkind : Diffast_core.Entity.vkind.. > ->
  unit

package diffast-langs-java