Top

Vl-propexpr

Vl-propif

An if-else property expression.

This is a product type, introduced by deftagsum in support of vl-propexpr.

Fields

condition — vl-exprdist
then — vl-propexpr
else — vl-propexpr: In the SystemVerilog grammar the else branch is optional. But an assertion of the form if (foo) bar is equivalent to if (foo) bar else 1, so to keep our internal representation simpler we require that the else branch is present, and if it is missing our parser just fills in an explicit 1 here.

Subtopics

Vl-propif->condition: Get the condition field from a vl-propif.
Make-vl-propif: Basic constructor macro for vl-propif structures.
Vl-propif->then: Get the then field from a vl-propif.
Vl-propif->else: Get the else field from a vl-propif.
Change-vl-propif: Modifying constructor for vl-propif structures.