Top

Syntax

Vl-typedef

Representation of a basic type declaration like typedef struct ... foo_t;.

This is a product type introduced by defprod.

Fields

name — stringp: Name of the type being defined, e.g., foo_t.
type — vl-datatype: Type this name is being defined as, e.g., struct { ... }.
minloc — vl-location
maxloc — vl-location
atts — vl-atts
warnings — vl-warninglist
comments — vl-commentmap

Subtopics

Vl-typedef-p: Recognizer for vl-typedef structures.
Vl-typedef-fix: Fixing function for vl-typedef structures.
Make-vl-typedef: Basic constructor macro for vl-typedef structures.
Vl-typedef-equiv: Basic equivalence relation for vl-typedef structures.
Change-vl-typedef: Modifying constructor for vl-typedef structures.
Vl-typedef->warnings: Get the warnings field from a vl-typedef.
Vl-typedef->comments: Get the comments field from a vl-typedef.
Vl-typedef->type: Get the type field from a vl-typedef.
Vl-typedef->name: Get the name field from a vl-typedef.
Vl-typedef->minloc: Get the minloc field from a vl-typedef.
Vl-typedef->maxloc: Get the maxloc field from a vl-typedef.
Vl-typedef->atts: Get the atts field from a vl-typedef.