		Search-engine friendly clone of the ACL2 documentation.

Strin-p

Change-strin

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

Syntax:

(change-strin x 
              [:chars <chars>] 
              [:line <line>] 
              [:col <col>] 
              [:file <file>])

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

(defmacro change-strin (x &rest args)
  (std::change-aggregate 'strin
                         x args
                         '((:chars . strin->chars)
                           (:line . strin->line)
                           (:col . strin->col)
                           (:file . strin->file))
                         'change-strin
                         'nil))