		Search-engine friendly clone of the ACL2 documentation.

Syntax

Vl-enumbasetype

The base types for SystemVerilog enumerations.

This is a product type introduced by defprod.

Fields

kind — vl-enumbasekind
signedp — booleanp
dim — vl-maybe-packeddimension

The base type for an enumeration is given by the following SystemVerilog grammar rule:

enum_base_type ::=
    integer_atom_type [signing]
  | integer_vector_type [signing] [packed_dimension]
  | type_identifier [packed_dimension]

The main part of this (integer_atom_type, integer_vector_type, or type_identifier) is captured by the kind field.

The signedp field isn't sensible for type_identifiers but we include it for uniformity. For the other kinds of enums, it captures whether the signed keyword was mentioned. or unsigned keywords were mentioned.

The optional dimension, if applicable. BOZO we don't currently support unsized dimensions.

Subtopics

Vl-enumbasetype-fix: Fixing function for vl-enumbasetype structures.
Vl-enumbasetype-p: Recognizer for vl-enumbasetype structures.
Vl-enumbasetype-equiv: Basic equivalence relation for vl-enumbasetype structures.
Make-vl-enumbasetype: Basic constructor macro for vl-enumbasetype structures.
Vl-enumbasetype->signedp: Get the signedp field from a vl-enumbasetype.
Vl-enumbasetype->dim: Get the dim field from a vl-enumbasetype.
Vl-enumbasetype->kind: Get the kind field from a vl-enumbasetype.
Change-vl-enumbasetype: Modifying constructor for vl-enumbasetype structures.