Module `Cpp_fact.F`Source

Parameters

module L : Label.T

Signature

module FB : sig ... end

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

Sourceval p_in_translation_unit : Diffast_core.Triple.node

Sourceval p_in_decl : Diffast_core.Triple.node

Sourceval p_in_simple_decl : Diffast_core.Triple.node

Sourceval p_in_func : Diffast_core.Triple.node

Sourceval p_in_stmt : 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_if : Diffast_core.Triple.node

Sourceval p_in_switch : Diffast_core.Triple.node

Sourceval p_in_while : Diffast_core.Triple.node

Sourceval p_in_do : Diffast_core.Triple.node

Sourceval p_in_for : 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_return : Diffast_core.Triple.node

Sourceval p_in_call : Diffast_core.Triple.node

Sourceval p_in_parameters : Diffast_core.Triple.node

Sourceval p_in_arguments : Diffast_core.Triple.node

Sourceval p_lhs : Diffast_core.Triple.node

Sourceval p_rhs : 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_path : Diffast_core.Triple.node

Sourceval p_regexp : Diffast_core.Triple.node

Sourceval p_value : Diffast_core.Triple.node

Sourceval p_type_spec : Diffast_core.Triple.node

Sourceval p_member : Diffast_core.Triple.node

Sourceval p_member_name : Diffast_core.Triple.node

Sourceval p_type : Diffast_core.Triple.node

Sourceval p_requires : Diffast_core.Triple.node

Sourceval p_provides : Diffast_core.Triple.node

Sourceval p_declared_by : Diffast_core.Triple.node

Sourceval p_refers_to : Diffast_core.Triple.node

Sourceval p_successor : Diffast_core.Triple.node

Source

val node_filter : 
  < fact_restricted_flag : bool.. > ->
  < data : < _label : Obj.t.. >.. > ->
  bool

Source

val node_pair_filter : 
  < fact_restricted_flag : bool.. > ->
  < data : < _label : Obj.t.. >.. > ->
  < data : < _label : Obj.t.. >.. > ->
  bool

Source

val get_params : 
  < initial_children : Diffast_core.Spec.node_t array.. > ->
  Diffast_core.Spec.node_data_t Diffast_core.Spec.SB.Otree.node2 list

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

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

Sourceval warning_msg : ?out:out_channel -> ('a, unit, string, unit) format4 -> 'a

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-cpp.base/Cpp_base/Cpp_fact/F/index.html

Module `Cpp_fact.F`Source

Parameters

Signature

package diffast-langs-cpp

Install

Dune Dependency

Authors

Maintainers

Sources

doc/diffast-langs-cpp.base/Cpp_base/Cpp_fact/F/index.html

Module Cpp_fact.FSource

Parameters

Signature

Module `Cpp_fact.F`Source