		Search-engine friendly clone of the ACL2 documentation.

Vl-ansi-portdecl

Change-vl-ansi-portdecl

Modifying constructor for vl-ansi-portdecl structures.

Syntax

(change-vl-ansi-portdecl x 
                         [:name <name>] 
                         [:loc <loc>] 
                         [:dir <dir>] 
                         [:typename <typename>] 
                         [:type <type>] 
                         [:pdims <pdims>] 
                         [:udims <udims>] 
                         [:nettype <nettype>] 
                         [:varp <varp>] 
                         [:modport <modport>] 
                         [:signedness <signedness>] 
                         [:atts <atts>])

This is an often useful alternative to make-vl-ansi-portdecl.

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

(defmacro change-vl-ansi-portdecl (x &rest args)
  (std::change-aggregate
       'vl-ansi-portdecl
       x args
       '((:name . vl-ansi-portdecl->name)
         (:loc . vl-ansi-portdecl->loc)
         (:dir . vl-ansi-portdecl->dir)
         (:typename . vl-ansi-portdecl->typename)
         (:type . vl-ansi-portdecl->type)
         (:pdims . vl-ansi-portdecl->pdims)
         (:udims . vl-ansi-portdecl->udims)
         (:nettype . vl-ansi-portdecl->nettype)
         (:varp . vl-ansi-portdecl->varp)
         (:modport . vl-ansi-portdecl->modport)
         (:signedness . vl-ansi-portdecl->signedness)
         (:atts . vl-ansi-portdecl->atts))
       'change-vl-ansi-portdecl
       'nil))