		Search-engine friendly clone of the ACL2 documentation.

Demo-p

Change-demo

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

Syntax:

(change-demo x 
             [:help <help>] 
             [:verbose <verbose>] 
             [:version <version>] 
             [:username <username>] 
             [:port <port>] 
             [:dirs <dirs>] 
             [:extra-stuff <extra-stuff>] 
             [:extra-stuff2 <extra-stuff2>])

This is a sometimes useful alternative to make-demo. It constructs a new demo-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 std::defaggregate.

Macro: change-demo

(defmacro change-demo (x &rest args)
  (std::change-aggregate 'demo
                         x args
                         '((:help . demo->help)
                           (:verbose . demo->verbose)
                           (:version . demo->version)
                           (:username . demo->username)
                           (:port . demo->port)
                           (:dirs . demo->dirs)
                           (:extra-stuff . demo->extra-stuff)
                           (:extra-stuff2 . demo->extra-stuff2))
                         'change-demo
                         'nil))