diffast-langs-cpp 0.1.1 · OCaml Package

Parameters

module L : Label.T

Signature

module FB : sig ... end

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

val p_in_translation_unit : Diffast_core.Triple.node

val p_in_decl : Diffast_core.Triple.node

val p_in_simple_decl : Diffast_core.Triple.node

val p_in_func : Diffast_core.Triple.node

val p_in_stmt : Diffast_core.Triple.node

val p_in_decl_stmt : Diffast_core.Triple.node

val p_in_comp_stmt : Diffast_core.Triple.node

val p_in_try_block : Diffast_core.Triple.node

val p_in_if : Diffast_core.Triple.node

val p_in_switch : Diffast_core.Triple.node

val p_in_while : Diffast_core.Triple.node

val p_in_do : Diffast_core.Triple.node

val p_in_for : Diffast_core.Triple.node

val p_in_ranged_for : Diffast_core.Triple.node

val p_in_container_unit : Diffast_core.Triple.node

val p_in_pp_if_section : Diffast_core.Triple.node

val p_in_pp_group : Diffast_core.Triple.node

val p_in_pp_if_group : Diffast_core.Triple.node

val p_in_pp_elif_group : Diffast_core.Triple.node

val p_in_pp_else_group : Diffast_core.Triple.node

val p_in_return : Diffast_core.Triple.node

val p_in_call : Diffast_core.Triple.node

val p_in_parameters : Diffast_core.Triple.node

val p_in_arguments : Diffast_core.Triple.node

val p_lhs : Diffast_core.Triple.node

val p_rhs : Diffast_core.Triple.node

val p_cond_of : Diffast_core.Triple.node

val p_then_part_of : Diffast_core.Triple.node

val p_else_part_of : Diffast_core.Triple.node

val p_name : Diffast_core.Triple.node

val p_path : Diffast_core.Triple.node

val p_regexp : Diffast_core.Triple.node

val p_value : Diffast_core.Triple.node

val p_type_spec : Diffast_core.Triple.node

val p_member : Diffast_core.Triple.node

val p_member_name : Diffast_core.Triple.node

val p_type : Diffast_core.Triple.node

val p_requires : Diffast_core.Triple.node

val p_provides : Diffast_core.Triple.node

val p_declared_by : Diffast_core.Triple.node

val p_refers_to : Diffast_core.Triple.node

val p_successor : Diffast_core.Triple.node

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

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

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

val is_static : Diffast_core.Spec.node_t -> bool

val is_extern : Diffast_core.Spec.node_t -> bool

val name_sep_pat : Str.regexp

val conv_pat : string -> string

val mkpat : string -> string

val is_pat : string -> bool

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

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

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

package diffast-langs-cpp

Parameters

Signature