		Search-engine friendly clone of the ACL2 documentation.

Vl-useset-report-entry-p

Change-vl-useset-report-entry

A copying macro that lets you create new vl-useset-report-entry-p structures, based on existing structures.

Syntax:

(change-vl-useset-report-entry x 
                               [:name <name>] 
                               [:spurious <spurious>] 
                               [:unused <unused>] 
                               [:unset <unset>] 
                               [:wwires <wwires>] 
                               [:warnings <warnings>] 
                               [:typos <typos>] 
                               [:lvalue-inputs <lvalue-inputs>])

This is a sometimes useful alternative to make-vl-useset-report-entry. It constructs a new vl-useset-report-entry-p 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 defaggregate.

Macro: change-vl-useset-report-entry

(defmacro change-vl-useset-report-entry (x &rest args)
  (std::change-aggregate
       'vl-useset-report-entry
       x args
       '((:name . vl-useset-report-entry->name)
         (:spurious . vl-useset-report-entry->spurious)
         (:unused . vl-useset-report-entry->unused)
         (:unset . vl-useset-report-entry->unset)
         (:wwires . vl-useset-report-entry->wwires)
         (:warnings . vl-useset-report-entry->warnings)
         (:typos . vl-useset-report-entry->typos)
         (:lvalue-inputs .
                         vl-useset-report-entry->lvalue-inputs))
       'change-vl-useset-report-entry
       'nil))