		Search-engine friendly clone of the ACL2 documentation.

Vl-genblob

Change-vl-genblob

Modifying constructor for vl-genblob structures.

Syntax

(change-vl-genblob x 
                   [:portdecls <portdecls>] 
                   [:assigns <assigns>] 
                   [:aliases <aliases>] 
                   [:vardecls <vardecls>] 
                   [:paramdecls <paramdecls>] 
                   [:fundecls <fundecls>] 
                   [:taskdecls <taskdecls>] 
                   [:modinsts <modinsts>] 
                   [:gateinsts <gateinsts>] 
                   [:alwayses <alwayses>] 
                   [:initials <initials>] 
                   [:typedefs <typedefs>] 
                   [:imports <imports>] 
                   [:fwdtypedefs <fwdtypedefs>] 
                   [:modports <modports>] 
                   [:genvars <genvars>] 
                   [:generates <generates>] 
                   [:ports <ports>] 
                   [:name <name>])

This is an often useful alternative to make-vl-genblob.

We construct a new vl-genblob structure that is a copy of x, except that you can explicitly change some particular fields. Any fields you don't mention just keep their values from x.

Definition

This is an ordinary change- macro introduced by defprod.

Macro: change-vl-genblob

(defmacro change-vl-genblob (x &rest args)
  (std::change-aggregate 'vl-genblob
                         x args
                         '((:portdecls . vl-genblob->portdecls)
                           (:assigns . vl-genblob->assigns)
                           (:aliases . vl-genblob->aliases)
                           (:vardecls . vl-genblob->vardecls)
                           (:paramdecls . vl-genblob->paramdecls)
                           (:fundecls . vl-genblob->fundecls)
                           (:taskdecls . vl-genblob->taskdecls)
                           (:modinsts . vl-genblob->modinsts)
                           (:gateinsts . vl-genblob->gateinsts)
                           (:alwayses . vl-genblob->alwayses)
                           (:initials . vl-genblob->initials)
                           (:typedefs . vl-genblob->typedefs)
                           (:imports . vl-genblob->imports)
                           (:fwdtypedefs . vl-genblob->fwdtypedefs)
                           (:modports . vl-genblob->modports)
                           (:genvars . vl-genblob->genvars)
                           (:generates . vl-genblob->generates)
                           (:ports . vl-genblob->ports)
                           (:name . vl-genblob->name))
                         'change-vl-genblob
                         'remake-vl-genblob))