		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>] 
                  [:packages <packages>] 
                  [:configs <configs>] 
                  [:vardecls <vardecls>] 
                  [:taskdecls <taskdecls>] 
                  [:fundecls <fundecls>] 
                  [:paramdecls <paramdecls>] 
                  [:imports <imports>] 
                  [:fwdtypes <fwdtypes>] 
                  [:typedefs <typedefs>] 
                  [:warnings <warnings>] 
                  [:comments <comments>])

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)
                           (: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)
                           (:fwdtypes . vl-design->fwdtypes)
                           (:typedefs . vl-design->typedefs)
                           (:warnings . vl-design->warnings)
                           (:comments . vl-design->comments))
                         'change-vl-design
                         'remake-vl-design))