Top

Syntax

Vl-package

Representation of a single package.

This is a product type introduced by defprod.

Fields

name — stringp: The name of this package as a string.
minloc — vl-location
maxloc — vl-location
paramdecls — vl-paramdecllist
typedefs — vl-typedeflist
comments — vl-commentmap
warnings — vl-warninglist
imports — vl-importlist
fundecls — vl-fundecllist
taskdecls — vl-taskdecllist
vardecls — vl-vardecllist
lifetime — vl-lifetime-p
dpiimports — vl-dpiimportlist
dpiexports — vl-dpiexportlist
classes — vl-classlist
atts — vl-atts

BOZO we haven't finished out all the things that can go inside of packages. Eventually there will be new fields here.

Subtopics

Vl-package-p: Recognizer for vl-package structures.
Vl-package-fix: Fixing function for vl-package structures.
Make-vl-package: Basic constructor macro for vl-package structures.
Vl-package-equiv: Basic equivalence relation for vl-package structures.
Change-vl-package: Modifying constructor for vl-package structures.
Vl-package->warnings: Get the warnings field from a vl-package.
Vl-package->vardecls: Get the vardecls field from a vl-package.
Vl-package->typedefs: Get the typedefs field from a vl-package.
Vl-package->taskdecls: Get the taskdecls field from a vl-package.
Vl-package->paramdecls: Get the paramdecls field from a vl-package.
Vl-package->fundecls: Get the fundecls field from a vl-package.
Vl-package->dpiimports: Get the dpiimports field from a vl-package.
Vl-package->dpiexports: Get the dpiexports field from a vl-package.
Vl-package->name: Get the name field from a vl-package.
Vl-package->minloc: Get the minloc field from a vl-package.
Vl-package->maxloc: Get the maxloc field from a vl-package.
Vl-package->lifetime: Get the lifetime field from a vl-package.
Vl-package->imports: Get the imports field from a vl-package.
Vl-package->comments: Get the comments field from a vl-package.
Vl-package->classes: Get the classes field from a vl-package.
Vl-package->atts: Get the atts field from a vl-package.