Representation of a concurrent assertion.
This is a product type introduced by defprod.
- name — maybe-string
- The label for this assertion, if provided. Note that in a
statement context, labels like foo : assert ... mainly
get turned into named begin/end blocks, but we do take
care to also put the name into the assertion object.
- type — vl-asserttype-p
- The type of this assertion, e.g., assert, assume,
- sequencep — booleanp
- This should be nil except for cover sequence
statements, where it is t. Cover statements are
special; most concurrent assertions are just things like
assert property ... or assume property ... and
don't even have a sequence form.
- condition — vl-propspec
- The property specification being asserted.
- success — vl-stmt
- For most assertions, this is the success statement for the
associated action block, or a vl-nullstmt if there
is no success statement. Note that cover assertions
are special and don't have an action block, so for a
cover assertion this is just the associated
statement, if any.
- failure — vl-stmt
- This is the else statement from the action block, or
a vl-nullstmt if there is no else statement.
For cover assertions this is always just a vl-nullstmt since there is no else action.
- loc — vl-location
- Location of this statement in the source code.
- Basic constructor macro for vl-cassertion structures.
- Basic equivalence relation for vl-cassertion structures.
- Modifying constructor for vl-cassertion structures.
- Get the sequencep field from a vl-cassertion.
- Get the condition field from a vl-cassertion.
- Get the type field from a vl-cassertion.
- Get the success field from a vl-cassertion.
- Get the name field from a vl-cassertion.
- Get the loc field from a vl-cassertion.
- Get the failure field from a vl-cassertion.
- Recognizer for vl-cassertion structures.
- Fixing function for vl-cassertion structures.
- Measure for recurring over vl-cassertion structures.