|
|
|---|
|
|
|
|---|
Raw constructor for vl-lintconfig-p structures.
Syntax:
(vl-lintconfig start-files
help readme search-path search-exts
include-dirs topmods quiet dropmods
ignore cclimit edition strict mem debug)This is the lowest-level constructor for vl-lintconfig-p structures. It simply conses together a structure with the specified fields.
Note: It's generally better to use macros like make-vl-lintconfig or change-vl-lintconfig instead. These macros lead to more readable and robust code, because you don't have to remember the order of the fields.
The vl-lintconfig-p structures we create here are just constructed with ordinary cons. If you want to create honsed structures, see honsed-vl-lintconfig instead.
This is an ordinary constructor function introduced by defaggregate.
Function:
(defun vl-lintconfig (start-files help readme search-path search-exts include-dirs topmods quiet dropmods ignore cclimit edition strict mem debug) (declare (xargs :guard (and (string-listp start-files) (booleanp help) (booleanp readme) (string-listp search-path) (string-listp search-exts) (string-listp include-dirs) (string-listp topmods) (string-listp quiet) (string-listp dropmods) (string-listp ignore) (natp cclimit) (vl-edition-p edition) (booleanp strict) (posp mem) (booleanp debug)))) (cons :vl-lint-opts (cons (cons 'start-files start-files) (cons (cons 'help help) (cons (cons 'readme readme) (cons (cons 'search-path search-path) (cons (cons 'search-exts search-exts) (cons (cons 'include-dirs include-dirs) (cons (cons 'topmods topmods) (cons (cons 'quiet quiet) (cons (cons 'dropmods dropmods) (cons (cons 'ignore ignore) (cons (cons 'cclimit cclimit) (cons (cons 'edition edition) (cons (cons 'strict strict) (cons (cons 'mem mem) (cons (cons 'debug debug) nil)))))))))))))))))