		Search-engine friendly clone of the ACL2 documentation.

Vl-json-opts-p

Make-vl-json-opts

Constructor macro for vl-json-opts-p structures.

Syntax:

(make-vl-json-opts [:help <help>] 
                   [:readme <readme>] 
                   [:outfile <outfile>] 
                   [:search-path <search-path>] 
                   [:separate <separate>] 
                   [:edition <edition>] 
                   [:strict <strict>] 
                   [:mem <mem>] 
                   [:debug <debug>])

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

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

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

Definition

This is an ordinary make- macro introduced by defaggregate.

Macro: make-vl-json-opts

(defmacro make-vl-json-opts (&rest args)
  (std::make-aggregate 'vl-json-opts
                       args
                       '((:help)
                         (:readme)
                         (:outfile . "")
                         (:search-path)
                         (:separate)
                         (:edition . :system-verilog-2012)
                         (:strict)
                         (:mem . 4)
                         (:debug))
                       'make-vl-json-opts
                       nil))