		Search-engine friendly clone of the ACL2 documentation.

Vl-useset-report-entry-p

Make-vl-useset-report-entry

Constructor macro for vl-useset-report-entry-p structures.

Syntax:

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

This is our preferred way to construct vl-useset-report-entry-p structures. It simply conses together a structure with the specified fields.

This macro generates a new vl-useset-report-entry-p structure from scratch. See also change-vl-useset-report-entry, which can "change" an existing structure, instead.

The vl-useset-report-entry-p structures we create here are just constructed with ordinary cons. If you want to create honsed structures, see make-honsed-vl-useset-report-entry instead.

Definition

This is an ordinary make- macro introduced by defaggregate.

Macro: make-vl-useset-report-entry

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