Vl-propassign
A sequence with sequence match items (updates to its variables).
This is a product type, introduced by deftagsum in support of vl-propexpr.
Fields
- seq — vl-propexpr
- Base sequence being extended with match items, e.g.,
foo in the sequence foo, x++.
- items — vl-exprlist
- Sequence match items that are being attached to this
sequence, e.g., x++ in the sequence (foo,
x++).
These match items can perhaps influence local sequence
variables, see SystemVerilog-2012 section 16.10. In practice these
should be assignment expressions, increment/decrement expression,
or function calls. We just represent them as arbitrary
expressions.
Subtopics
- Vl-propassign->seq
- Get the seq field from a vl-propassign.
- Vl-propassign->items
- Get the items field from a vl-propassign.
- Make-vl-propassign
- Basic constructor macro for vl-propassign structures.
- Change-vl-propassign
- Modifying constructor for vl-propassign structures.
