Module `F_lib_base.Fact`Source

module FB : sig ... end

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

Sourceval p_in_module : Diffast_core.Triple.node

Sourceval p_in_ext_function : Diffast_core.Triple.node

Sourceval p_in_ext_subroutine : Diffast_core.Triple.node

Sourceval p_in_mod_function : Diffast_core.Triple.node

Sourceval p_in_mod_subroutine : Diffast_core.Triple.node

Sourceval p_in_int_function : Diffast_core.Triple.node

Sourceval p_in_int_subroutine : Diffast_core.Triple.node

Sourceval p_in_main_program : Diffast_core.Triple.node

Sourceval p_in_block_data : Diffast_core.Triple.node

Sourceval p_in_stmt : Diffast_core.Triple.node

Sourceval p_in_fragment : Diffast_core.Triple.node

Sourceval p_in_execution_part : Diffast_core.Triple.node

Sourceval p_in_subprogram_part : Diffast_core.Triple.node

Sourceval p_in_do_construct : Diffast_core.Triple.node

Sourceval p_in_case_construct : Diffast_core.Triple.node

Sourceval p_in_forall_construct : Diffast_core.Triple.node

Sourceval p_in_if_construct : Diffast_core.Triple.node

Sourceval p_in_where_construct : Diffast_core.Triple.node

Sourceval p_in_select_type_construct : Diffast_core.Triple.node

Sourceval p_in_associate_construct : Diffast_core.Triple.node

Sourceval p_in_block_construct : Diffast_core.Triple.node

Sourceval p_in_critical_construct : Diffast_core.Triple.node

Sourceval p_in_derived_type_def : Diffast_core.Triple.node

Sourceval p_in_interface_block : Diffast_core.Triple.node

Sourceval p_in_if_then_block : Diffast_core.Triple.node

Sourceval p_in_else_block : Diffast_core.Triple.node

Sourceval p_in_else_if_block : Diffast_core.Triple.node

Sourceval p_in_where_block : Diffast_core.Triple.node

Sourceval p_in_case_block : Diffast_core.Triple.node

Sourceval p_in_type_guard_block : Diffast_core.Triple.node

Sourceval p_in_do_block : Diffast_core.Triple.node

Sourceval p_in_pp_branch : Diffast_core.Triple.node

Sourceval p_in_pp_branch_do : Diffast_core.Triple.node

Sourceval p_in_pp_branch_end_do : Diffast_core.Triple.node

Sourceval p_in_pp_branch_if : Diffast_core.Triple.node

Sourceval p_in_pp_branch_end_if : Diffast_core.Triple.node

Sourceval p_in_pp_branch_forall : Diffast_core.Triple.node

Sourceval p_in_pp_branch_end_forall : Diffast_core.Triple.node

Sourceval p_in_pp_branch_where : Diffast_core.Triple.node

Sourceval p_in_pp_branch_end_where : Diffast_core.Triple.node

Sourceval p_in_pp_branch_select : Diffast_core.Triple.node

Sourceval p_in_pp_branch_end_select : Diffast_core.Triple.node

Sourceval p_in_pp_section_ifdef : Diffast_core.Triple.node

Sourceval p_in_pp_section_ifndef : Diffast_core.Triple.node

Sourceval p_in_pp_section_if : Diffast_core.Triple.node

Sourceval p_in_pp_section_elif : Diffast_core.Triple.node

Sourceval p_in_pp_section_else : Diffast_core.Triple.node

Sourceval p_in_omp_construct : Diffast_core.Triple.node

Sourceval p_in_acc_construct : Diffast_core.Triple.node

Sourceval p_in_container_unit : Diffast_core.Triple.node

Sourceval p_in_pu_or_fragment : Diffast_core.Triple.node

Sourceval p_in_pu_or_sp : Diffast_core.Triple.node

Sourceval p_name : Diffast_core.Triple.node

Sourceval p_label : Diffast_core.Triple.node

Sourceval p_slabel : Diffast_core.Triple.node

Sourceval p_regexp : Diffast_core.Triple.node

Sourceval p_value : Diffast_core.Triple.node

Sourceval p_variable : Diffast_core.Triple.node

Sourceval p_rank : Diffast_core.Triple.node

Sourceval p_requires : Diffast_core.Triple.node

Sourceval p_provides : Diffast_core.Triple.node

Sourceval p_type_spec : Diffast_core.Triple.node

Sourceval p_path : Diffast_core.Triple.node

Sourceval p_body : 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

Sourceval name_sep_pat : Str.regexp

Sourceval conv_pat : string -> string

Sourceval mkpat : string -> string

Sourceval is_pat : string -> bool

Source

val has_subprogram : 
  < data : < _label : Obj.t.. > ; initial_children : 'a array.. > as 'a ->
  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

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-fortran.base/Fortran_base/F_lib_base/Fact/index.html

Module `F_lib_base.Fact`Source

package diffast-langs-fortran

Install

Dune Dependency

Authors

Maintainers

Sources

doc/diffast-langs-fortran.base/Fortran_base/F_lib_base/Fact/index.html

Module F_lib_base.FactSource

Module `F_lib_base.Fact`Source