Module `Java_base.Java_fact`Source

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

Sourcemodule Common = Java_parsing.Common

module FB : sig ... end

Sourceval p_provides : Diffast_core.Triple.node

Sourceval p_fqn : Diffast_core.Triple.node

Sourceval p_uqn : Diffast_core.Triple.node

Sourceval p_in_class : Diffast_core.Triple.node

Sourceval p_in_interface : Diffast_core.Triple.node

Sourceval p_in_method : 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_field : Diffast_core.Triple.node

Sourceval p_in_enum : Diffast_core.Triple.node

Sourceval p_in_extends : Diffast_core.Triple.node

Sourceval p_in_throws : 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_cond_of : Diffast_core.Triple.node

Sourceval p_then_part_of : Diffast_core.Triple.node

Sourceval p_else_part_of : Diffast_core.Triple.node

Sourceval p_name : Diffast_core.Triple.node

Sourceval p_dimensions : Diffast_core.Triple.node

Sourceval p_extended_name : Diffast_core.Triple.node

Sourceval p_signature : Diffast_core.Triple.node

Sourceval p_initializer : Diffast_core.Triple.node

Sourceval p_declared_by : Diffast_core.Triple.node

Sourceval p_requires : Diffast_core.Triple.node

Sourceval p_successor : Diffast_core.Triple.node

Sourceval p_nparams : Diffast_core.Triple.node

Sourceval p_nargs : Diffast_core.Triple.node

Sourceval p_is_va_meth : Diffast_core.Triple.node

Sourceval p_is_abst : Diffast_core.Triple.node

Sourceval p_identifier : Diffast_core.Triple.node

Sourceval p_qualifier : Diffast_core.Triple.node

Sourceval p_id_offset : Diffast_core.Triple.node

Sourceval p_id_length : 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

Source

val 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

Source

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

Source

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

Source

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

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

Source

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

Source

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

Source

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

Install

Dune Dependency

Authors

Maintainers

Sources

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

Module `Java_base.Java_fact`Source

package diffast-langs-java

Install

Dune Dependency

Authors

Maintainers

Sources

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

Module Java_base.Java_factSource

Module `Java_base.Java_fact`Source