• Top
  • Documentation
  • Books
  • Boolean-reasoning
  • Projects
  • Debugging
  • Std
  • Proof-automation
  • Macro-libraries
  • ACL2
  • Interfacing-tools
  • Hardware-verification
    • Gl
    • Esim
    • Vl2014
    • Sv
    • Vwsim
    • Fgl
    • Vl
      • Syntax
      • Loader
      • Warnings
      • Getting-started
      • Utilities
      • Printer
      • Kit
        • Vl-lint
        • Vl-server
        • Vl-gather
        • Vl-zip
        • Vl-main
        • Split-plusargs
        • Vl-shell
        • Vl-json
          • Vl-json-opts-p
            • Parse-vl-json-opts
            • Vl-json-opts
            • Make-vl-json-opts
            • Change-vl-json-opts
            • Honsed-vl-json-opts
            • Make-honsed-vl-json-opts
            • *vl-json-opts-usage*
            • Vl-json-opts->strict
            • Vl-json-opts->start-files
            • Vl-json-opts->search-path
            • Vl-json-opts->search-exts
            • Vl-json-opts->readme
            • Vl-json-opts->plusargs
            • Vl-json-opts->output
            • Vl-json-opts->mem
            • Vl-json-opts->include-dirs
            • Vl-json-opts->help
            • Vl-json-opts->edition
            • Vl-json-opts->defines
          • *vl-json-readme*
          • Vl-json-main
          • Vl-json-top
      • Mlib
      • Transforms
    • X86isa
    • Svl
    • Rtl
  • Software-verification
  • Math
  • Testing-utilities

• Vl-json-opts-p

Change-vl-json-opts

A copying macro that lets you create new vl-json-opts-p structures, based on existing structures.

Syntax:

(change-vl-json-opts x 
                     [:help <help>] 
                     [:readme <readme>] 
                     [:output <output>] 
                     [:start-files <start-files>] 
                     [:plusargs <plusargs>] 
                     [:search-path <search-path>] 
                     [:include-dirs <include-dirs>] 
                     [:search-exts <search-exts>] 
                     [:defines <defines>] 
                     [:edition <edition>] 
                     [:strict <strict>] 
                     [:mem <mem>]) 

This is a sometimes useful alternative to make-vl-json-opts. It constructs a new vl-json-opts-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-json-opts

(defmacro change-vl-json-opts (x &rest args)
  (std::change-aggregate
       'vl-json-opts
       x args
       '((:help . vl-json-opts->help)
         (:readme . vl-json-opts->readme)
         (:output . vl-json-opts->output)
         (:start-files . vl-json-opts->start-files)
         (:plusargs . vl-json-opts->plusargs)
         (:search-path . vl-json-opts->search-path)
         (:include-dirs . vl-json-opts->include-dirs)
         (:search-exts . vl-json-opts->search-exts)
         (:defines . vl-json-opts->defines)
         (:edition . vl-json-opts->edition)
         (:strict . vl-json-opts->strict)
         (:mem . vl-json-opts->mem))
       'change-vl-json-opts
       'nil))