		Search-engine friendly clone of the ACL2 documentation.

Vl-interface

Change-vl-interface

Modifying constructor for vl-interface structures.

Syntax

(change-vl-interface x 
                     [:name <name>] 
                     [:imports <imports>] 
                     [:ports <ports>] 
                     [:portdecls <portdecls>] 
                     [:modports <modports>] 
                     [:vardecls <vardecls>] 
                     [:paramdecls <paramdecls>] 
                     [:fundecls <fundecls>] 
                     [:taskdecls <taskdecls>] 
                     [:typedefs <typedefs>] 
                     [:dpiimports <dpiimports>] 
                     [:dpiexports <dpiexports>] 
                     [:properties <properties>] 
                     [:sequences <sequences>] 
                     [:clkdecls <clkdecls>] 
                     [:gclkdecls <gclkdecls>] 
                     [:defaultdisables <defaultdisables>] 
                     [:binds <binds>] 
                     [:classes <classes>] 
                     [:elabtasks <elabtasks>] 
                     [:modinsts <modinsts>] 
                     [:assigns <assigns>] 
                     [:aliases <aliases>] 
                     [:assertions <assertions>] 
                     [:cassertions <cassertions>] 
                     [:alwayses <alwayses>] 
                     [:initials <initials>] 
                     [:finals <finals>] 
                     [:generates <generates>] 
                     [:genvars <genvars>] 
                     [:warnings <warnings>] 
                     [:minloc <minloc>] 
                     [:maxloc <maxloc>] 
                     [:atts <atts>] 
                     [:origname <origname>] 
                     [:comments <comments>] 
                     [:parse-temps <parse-temps>])

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

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

(defmacro change-vl-interface (x &rest args)
  (std::change-aggregate
       'vl-interface
       x args
       '((:name . vl-interface->name)
         (:imports . vl-interface->imports)
         (:ports . vl-interface->ports)
         (:portdecls . vl-interface->portdecls)
         (:modports . vl-interface->modports)
         (:vardecls . vl-interface->vardecls)
         (:paramdecls . vl-interface->paramdecls)
         (:fundecls . vl-interface->fundecls)
         (:taskdecls . vl-interface->taskdecls)
         (:typedefs . vl-interface->typedefs)
         (:dpiimports . vl-interface->dpiimports)
         (:dpiexports . vl-interface->dpiexports)
         (:properties . vl-interface->properties)
         (:sequences . vl-interface->sequences)
         (:clkdecls . vl-interface->clkdecls)
         (:gclkdecls . vl-interface->gclkdecls)
         (:defaultdisables . vl-interface->defaultdisables)
         (:binds . vl-interface->binds)
         (:classes . vl-interface->classes)
         (:elabtasks . vl-interface->elabtasks)
         (:modinsts . vl-interface->modinsts)
         (:assigns . vl-interface->assigns)
         (:aliases . vl-interface->aliases)
         (:assertions . vl-interface->assertions)
         (:cassertions . vl-interface->cassertions)
         (:alwayses . vl-interface->alwayses)
         (:initials . vl-interface->initials)
         (:finals . vl-interface->finals)
         (:generates . vl-interface->generates)
         (:genvars . vl-interface->genvars)
         (:warnings . vl-interface->warnings)
         (:minloc . vl-interface->minloc)
         (:maxloc . vl-interface->maxloc)
         (:atts . vl-interface->atts)
         (:origname . vl-interface->origname)
         (:comments . vl-interface->comments)
         (:parse-temps . vl-interface->parse-temps))
       'change-vl-interface
       'remake-vl-interface))