		Search-engine friendly clone of the ACL2 documentation.

Vl-parsed-ansi-port-p

Change-vl-parsed-ansi-port

A copying macro that lets you create new vl-parsed-ansi-port-p structures, based on existing structures.

Syntax:

(change-vl-parsed-ansi-port x 
                            [:dir <dir>] 
                            [:head <head>] 
                            [:id <id>] 
                            [:atts <atts>])

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

(defmacro change-vl-parsed-ansi-port (x &rest args)
  (std::change-aggregate 'vl-parsed-ansi-port
                         x args
                         '((:dir . vl-parsed-ansi-port->dir)
                           (:head . vl-parsed-ansi-port->head)
                           (:id . vl-parsed-ansi-port->id)
                           (:atts . vl-parsed-ansi-port->atts))
                         'change-vl-parsed-ansi-port
                         'remake-vl-parsed-ansi-port))