		Search-engine friendly clone of the ACL2 documentation.

Vl-zipfile

Change-vl-zipfile

Modifying constructor for vl-zipfile structures.

Syntax

(change-vl-zipfile x 
                   [:name <name>] 
                   [:syntax <syntax>] 
                   [:date <date>] 
                   [:ltime <ltime>] 
                   [:design <design>] 
                   [:filemap <filemap>] 
                   [:defines <defines>])

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

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

(defmacro change-vl-zipfile (x &rest args)
  (std::change-aggregate 'vl-zipfile
                         x args
                         '((:name . vl-zipfile->name)
                           (:syntax . vl-zipfile->syntax)
                           (:date . vl-zipfile->date)
                           (:ltime . vl-zipfile->ltime)
                           (:design . vl-zipfile->design)
                           (:filemap . vl-zipfile->filemap)
                           (:defines . vl-zipfile->defines))
                         'change-vl-zipfile
                         'nil))