package diffast-langs-verilog

You can search for identifiers within the package.

in-package search v0.2.0

Verilog parser plugin for Diff/AST

Install

sha256=b5bc3e9ed7c92912e06be663c904b6d8c7d277828b6442e43d57c64414d9c5ab

md5=7404586197ede6a4f0a0d00a69069b37

include module type of struct include Ls.Statement end

Sourcetype t = Verilog_parsing.Labels.Statement.t =

| Empty
| OperatorAssignment of Verilog_parsing.Labels.AssignmentOperator.t
| Labeled of Verilog_parsing.Common.identifier
| BlockingAssignment
| NonBlockingAssignment
| Assign
| Deassign
| Force
| Release
| Case
| Casex
| Casez
| Conditional
| IncOrDec
| SubroutineCall
| SubroutineCallVoid
| Disable
| DisableFork
| EventTrigger
| EventTriggerNonBlocking
| Forever
| Repeat
| While
| For
| Do
| Foreach
| Return
| Break
| Continue
| ParBlock of Verilog_parsing.Common.identifier * Verilog_parsing.Labels.JoinSpec.t
| ProceduralTimingControl
| SeqBlock of Verilog_parsing.Common.identifier
| Wait
| WaitFork
| WaitOrder
| ProceduralAssertion
| ClockingDrive
| Randsequence of Verilog_parsing.Common.identifier
| Randcase
| ExpectProperty
| Expr of Verilog_parsing.Labels.Expression.t
| PExpr of Verilog_parsing.Labels.PropertyExpression.t

Sourceval to_string : t -> string

Sourceval get_name : t -> Verilog_parsing.Common.identifier

Sourceval to_simple_string : t -> Verilog_parsing.Common.identifier

Sourceval to_tag : t -> string * (string * Verilog_parsing.Common.identifier) list

Sourceval get_identifier : t -> Verilog_parsing.Common.identifier

Sourceval anonymize : t -> t

Sourceval to_short_string : ?ignore_identifiers_flag:bool -> t -> string