		Search-engine friendly clone of the ACL2 documentation.

Vl-design

Change-vl-design

Modifying constructor for vl-design structures.

Syntax

(change-vl-design x 
                  [:version <version>] 
                  [:mods <mods>] 
                  [:udps <udps>] 
                  [:interfaces <interfaces>] 
                  [:programs <programs>] 
                  [:classes <classes>] 
                  [:packages <packages>] 
                  [:configs <configs>] 
                  [:vardecls <vardecls>] 
                  [:taskdecls <taskdecls>] 
                  [:fundecls <fundecls>] 
                  [:paramdecls <paramdecls>] 
                  [:imports <imports>] 
                  [:dpiimports <dpiimports>] 
                  [:dpiexports <dpiexports>] 
                  [:fwdtypes <fwdtypes>] 
                  [:typedefs <typedefs>] 
                  [:binds <binds>] 
                  [:properties <properties>] 
                  [:sequences <sequences>] 
                  [:warnings <warnings>] 
                  [:comments <comments>] 
                  [:plusargs <plusargs>])

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

We construct a new vl-design 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-design

(defmacro change-vl-design (x &rest args)
  (std::change-aggregate 'vl-design
                         x args
                         '((:version . vl-design->version)
                           (:mods . vl-design->mods)
                           (:udps . vl-design->udps)
                           (:interfaces . vl-design->interfaces)
                           (:programs . vl-design->programs)
                           (:classes . vl-design->classes)
                           (:packages . vl-design->packages)
                           (:configs . vl-design->configs)
                           (:vardecls . vl-design->vardecls)
                           (:taskdecls . vl-design->taskdecls)
                           (:fundecls . vl-design->fundecls)
                           (:paramdecls . vl-design->paramdecls)
                           (:imports . vl-design->imports)
                           (:dpiimports . vl-design->dpiimports)
                           (:dpiexports . vl-design->dpiexports)
                           (:fwdtypes . vl-design->fwdtypes)
                           (:typedefs . vl-design->typedefs)
                           (:binds . vl-design->binds)
                           (:properties . vl-design->properties)
                           (:sequences . vl-design->sequences)
                           (:warnings . vl-design->warnings)
                           (:comments . vl-design->comments)
                           (:plusargs . vl-design->plusargs))
                         'change-vl-design
                         'remake-vl-design))