package diffast-core

  1. Overview
  2. Docs

Parameters

module L : Spec.LABEL_T

Signature

val mkent : string -> Triple.node
val mkproj : string -> Triple.node
val mkrel : string -> Triple.node
val mksvnrev : string -> Triple.node
val mkgitrev : string -> Triple.node
val mkext : ?lang:string -> string -> Triple.node
val mklit : ?ty:Triple.lit_ty -> string -> Triple.node
val lit_ty_string : Triple.lit_ty
val lit_ty_int : Triple.lit_ty
val lit_ty_nn_int : Triple.lit_ty
val lit_ty_real : Triple.lit_ty
val mksrcres : string -> Triple.node
val mkjres : string -> Triple.node
val mkcres : string -> Triple.node
val mkpres : string -> Triple.node
val mkvres : string -> Triple.node
val mkfres : string -> Triple.node
val mkcppres : string -> Triple.node
val mkccxres : string -> Triple.node
val mkver : Entity.vkind -> string -> Triple.node
val p_is_a : Triple.node
val p_parent : Triple.node
val p_children : Triple.node
val p_child0 : Triple.node
val p_childx : int -> Triple.node
val p_value : Triple.node
val p_tree_digest : Triple.node
val p_version : Triple.node
val p_file_digest : Triple.node
val p_in_file : Triple.node
val p_in_project : Triple.node
val p_file_location : Triple.node
val p_binding : Triple.node
val l_true : Triple.node
val l_false : Triple.node
val getlab : < data : < _label : Obj.t.. >.. > -> L.t
val getannot : < data : < _annotation : Obj.t.. >.. > -> L.annotation
val getloc : < data : < src_loc : Loc.t.. >.. > -> string
exception Node_found of Spec.node_t
val find_node : (L.t -> bool) -> Spec.node_t -> 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 : 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 -> Spec.node_t ; proj_root : string ; root : Spec.node_t ; source_digest : Diffast_core.Triple.Xhash.t ; source_path : string ; version : string ; vkind : Entity.vkind.. > -> object ... end
OCaml

Innovation. Community. Security.