package diffast-langs-cpp

  1. Overview
  2. Docs

Module Cpp_lib_base.FactSource

module FB : sig ... end
Sourceval getlab : < data : < _label : Obj.t.. >.. > -> Label.t
Sourceval p_in_translation_unit : Diffast_core.Triple.node
Sourceval p_in_simple_decl : Diffast_core.Triple.node
Sourceval p_in_decl_stmt : Diffast_core.Triple.node
Sourceval p_in_comp_stmt : Diffast_core.Triple.node
Sourceval p_in_try_block : Diffast_core.Triple.node
Sourceval p_in_ranged_for : Diffast_core.Triple.node
Sourceval p_in_container_unit : Diffast_core.Triple.node
Sourceval p_in_pp_if_section : Diffast_core.Triple.node
Sourceval p_in_pp_group : Diffast_core.Triple.node
Sourceval p_in_pp_if_group : Diffast_core.Triple.node
Sourceval p_in_pp_elif_group : Diffast_core.Triple.node
Sourceval p_in_pp_else_group : Diffast_core.Triple.node
Sourceval p_in_parameters : Diffast_core.Triple.node
Sourceval p_in_arguments : Diffast_core.Triple.node
Sourceval p_then_part_of : Diffast_core.Triple.node
Sourceval p_else_part_of : Diffast_core.Triple.node
Sourceval p_member_name : Diffast_core.Triple.node
Sourceval p_declared_by : Diffast_core.Triple.node
Sourceval node_filter : < fact_restricted_flag : bool.. > -> < data : < _label : Obj.t.. >.. > -> bool
Sourceval node_pair_filter : < fact_restricted_flag : bool.. > -> < data : < _label : Obj.t.. >.. > -> < data : < _label : Obj.t.. >.. > -> bool
Sourceval is_static : Diffast_core.Spec.node_t -> bool
Sourceval is_extern : Diffast_core.Spec.node_t -> bool
Sourceval name_sep_pat : Str.regexp
Sourceval conv_pat : string -> string
Sourceval mkpat : string -> string
Sourceval is_pat : string -> bool
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 warning_msg : ?out:out_channel -> ('a, unit, string, unit) format4 -> 'a
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
OCaml

Innovation. Community. Security.