		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>] 
                     [:ports <ports>] 
                     [:portdecls <portdecls>] 
                     [:paramdecls <paramdecls>] 
                     [:vardecls <vardecls>] 
                     [:modports <modports>] 
                     [:generates <generates>] 
                     [:imports <imports>] 
                     [:warnings <warnings>] 
                     [:minloc <minloc>] 
                     [:maxloc <maxloc>] 
                     [:atts <atts>] 
                     [:origname <origname>] 
                     [:comments <comments>] 
                     [:loaditems <loaditems>])

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)
                           (:ports . vl-interface->ports)
                           (:portdecls . vl-interface->portdecls)
                           (:paramdecls . vl-interface->paramdecls)
                           (:vardecls . vl-interface->vardecls)
                           (:modports . vl-interface->modports)
                           (:generates . vl-interface->generates)
                           (:imports . vl-interface->imports)
                           (:warnings . vl-interface->warnings)
                           (:minloc . vl-interface->minloc)
                           (:maxloc . vl-interface->maxloc)
                           (:atts . vl-interface->atts)
                           (:origname . vl-interface->origname)
                           (:comments . vl-interface->comments)
                           (:loaditems . vl-interface->loaditems))
                         'change-vl-interface
                         'remake-vl-interface))