		Search-engine friendly clone of the ACL2 documentation.

Vl-modinst

Change-vl-modinst

Modifying constructor for vl-modinst structures.

Syntax

(change-vl-modinst x 
                   [:instname <instname>] 
                   [:modname <modname>] 
                   [:range <range>] 
                   [:paramargs <paramargs>] 
                   [:portargs <portargs>] 
                   [:str <str>] 
                   [:delay <delay>] 
                   [:atts <atts>] 
                   [:loc <loc>])

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

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

(defmacro change-vl-modinst (x &rest args)
  (std::change-aggregate 'vl-modinst
                         x args
                         '((:instname . vl-modinst->instname)
                           (:modname . vl-modinst->modname)
                           (:range . vl-modinst->range)
                           (:paramargs . vl-modinst->paramargs)
                           (:portargs . vl-modinst->portargs)
                           (:str . vl-modinst->str)
                           (:delay . vl-modinst->delay)
                           (:atts . vl-modinst->atts)
                           (:loc . vl-modinst->loc))
                         'change-vl-modinst
                         'remake-vl-modinst))