Raw constructor for vl-useset-report-entry-p structures.
Syntax:
(vl-useset-report-entry name spurious unused unset wwires warnings typos lvalue-inputs)
This is the lowest-level constructor for vl-useset-report-entry-p structures. It simply conses together a structure with the specified fields.
Note: It's generally better to use macros like make-vl-useset-report-entry or change-vl-useset-report-entry instead. These macros lead to more readable and robust code, because you don't have to remember the order of the fields.
The vl-useset-report-entry-p structures we create here are just constructed with ordinary cons. If you want to create honsed structures, see honsed-vl-useset-report-entry instead.
This is an ordinary constructor function introduced by defaggregate.
Function:
(defun vl-useset-report-entry (name spurious unused unset wwires warnings typos lvalue-inputs) (declare (xargs :guard (and (stringp name) (string-listp spurious) (string-listp unused) (string-listp unset) (string-listp wwires) (vl-warninglist-p warnings) (and (alistp typos) (vl-string-keys-p typos) (vl-string-list-values-p typos)) (string-listp lvalue-inputs)))) (cons :vl-useset-report (cons (cons 'name name) (cons (cons 'spurious spurious) (cons (cons 'unused unused) (cons (cons 'unset unset) (cons (cons 'wwires wwires) (cons (cons 'warnings warnings) (cons (cons 'typos typos) (cons (cons 'lvalue-inputs lvalue-inputs) nil))))))))))