Module `Java_fact.FB`

val mkent : string -> Diffast_core.Triple.node

val mkproj : string -> Diffast_core.Triple.node

val mkrel : string -> Diffast_core.Triple.node

val mksvnrev : string -> Diffast_core.Triple.node

val mkgitrev : string -> Diffast_core.Triple.node

val mkext : ?lang:string -> string -> Diffast_core.Triple.node

val mklit : 
  ?ty:Diffast_core.Triple.lit_ty ->
  string ->
  Diffast_core.Triple.node

val lit_ty_string : Diffast_core.Triple.lit_ty

val lit_ty_int : Diffast_core.Triple.lit_ty

val lit_ty_nn_int : Diffast_core.Triple.lit_ty

val lit_ty_real : Diffast_core.Triple.lit_ty

val mksrcres : string -> Diffast_core.Triple.node

val mkjres : string -> Diffast_core.Triple.node

val mkcres : string -> Diffast_core.Triple.node

val mkpres : string -> Diffast_core.Triple.node

val mkvres : string -> Diffast_core.Triple.node

val mkfres : string -> Diffast_core.Triple.node

val mkcppres : string -> Diffast_core.Triple.node

val mkccxres : string -> Diffast_core.Triple.node

val mkver : Diffast_core.Entity.vkind -> string -> Diffast_core.Triple.node

val p_is_a : Diffast_core.Triple.node

val p_parent : Diffast_core.Triple.node

val p_children : Diffast_core.Triple.node

val p_child0 : Diffast_core.Triple.node

val p_childx : int -> Diffast_core.Triple.node

val p_value : Diffast_core.Triple.node

val p_tree_digest : Diffast_core.Triple.node

val p_version : Diffast_core.Triple.node

val p_file_digest : Diffast_core.Triple.node

val p_in_file : Diffast_core.Triple.node

val p_in_project : Diffast_core.Triple.node

val p_file_location : Diffast_core.Triple.node

val p_binding : Diffast_core.Triple.node

val l_true : Diffast_core.Triple.node

val l_false : Diffast_core.Triple.node

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

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

val getloc : < data : < src_loc : Diffast_misc.Loc.t.. >.. > -> string

exception Node_found of Diffast_core.Spec.node_t

val find_node : 
  (L.t -> bool) ->
  Diffast_core.Spec.node_t ->
  Diffast_core.Spec.node_t

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

val get_nearest_surrounding_xxx : 
  (L.t -> bool) ->
  < data : < _label : Obj.t.. > ; initial_parent : 'a.. > as 'a ->
  'a

class extractor_base : < 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_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

Install

Dune Dependency

Authors

Maintainers

Sources

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

Module `Java_fact.FB`

package diffast-langs-java

Install

Dune Dependency

Authors

Maintainers

Sources

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

Module Java_fact.FB

Module `Java_fact.FB`