package diffast-langs-verilog

  1. Overview
  2. Docs
Verilog parser plugin for Diff/AST

Install 

dune-project
 Dependency

github.com Readme Edit opam file Versions (4)

Authors

  1. C
    Codinuum <codinuum@me.com>
  2. M
    Masatomo Hashimoto <m.hashimoto@stair.center>

Maintainers

  1. C
    Codinuum <codinuum@me.com>
  2. M
    Masatomo Hashimoto <m.hashimoto@stair.center>

Sources

v0.3.6.tar.gz
sha256=be973fe1316a3d72672c03680305ca8a4ad947ed07a8c3eeea8380faec9e52c0
md5=edb85aaf77cd22aaa8f6ce3889bf241d

doc/diffast-langs-verilog.base/Verilog_base/V_fact/F/index.html

Module V_fact.FSource

Parameters

module L : V_label.T

Signature

module FB : sig ... end
Sourceval p_in_statement : 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
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 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