Module Java_base.Java_factSource

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
Sourcemodule L = Java_label
Sourcemodule Tree = Java_tree
module FB : sig ... end
Sourceval p_in_interface : Diffast_core.Triple.node
Sourceval p_in_constructor : Diffast_core.Triple.node
Sourceval p_in_statement : Diffast_core.Triple.node
Sourceval p_in_invocation : Diffast_core.Triple.node
Sourceval p_in_instance_creation : Diffast_core.Triple.node
Sourceval p_in_method_invocation : Diffast_core.Triple.node
Sourceval p_in_ctor_invocation : Diffast_core.Triple.node
Sourceval p_in_return_type : Diffast_core.Triple.node
Sourceval p_in_variable_declaration : Diffast_core.Triple.node
Sourceval p_in_parameter : Diffast_core.Triple.node
Sourceval p_in_staticinit : Diffast_core.Triple.node
Sourceval p_in_instanceinit : Diffast_core.Triple.node
Sourceval p_then_part_of : Diffast_core.Triple.node
Sourceval p_else_part_of : Diffast_core.Triple.node
Sourceval p_extended_name : Diffast_core.Triple.node
Sourceval p_initializer : Diffast_core.Triple.node
Sourceval p_declared_by : Diffast_core.Triple.node
Sourceval p_expr_offset : Diffast_core.Triple.node
Sourceval p_expr_length : Diffast_core.Triple.node
Sourceval getlab : < data : < _label : Obj.t.. >.. > -> L.t
Sourceval node_filter : < fact_restricted_flag : bool.. > -> < data : < _label : Obj.t.. >.. > -> bool
Sourceval xxx_to_simple_name : char -> string -> string
Sourceval signature_to_simple_name : string -> string
Sourceval extended_name_to_simple_name : string -> string
Sourceval node_pair_filter : < fact_restricted_flag : bool.. > -> < data : < _label : Obj.t.. >.. > -> < data : < _label : Obj.t.. > ; initial_parent : < data : < _label : Obj.t.. >.. > ; pos : int.. > -> bool
Sourceval get_fqn : ?strip:bool -> string -> (< data : < _label : Obj.t.. > ; initial_parent : 'a.. > as 'a) -> Tree.L.t -> string
Sourceval is_argument : < initial_parent : < data : < _label : Obj.t.. >.. >.. > -> bool
Sourceval find : (L.t -> bool) -> (< data : < _label : Obj.t.. >.. > as 'a) array -> 'a
Sourceval get_logical_nth_child : < data : < get_ordinal : int -> 'a.. > ; initial_children : 'b array.. > -> 'a -> 'b list
Sourceclass 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
Sourceval 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