		Search-engine friendly clone of the ACL2 documentation.

Parstate$

Change-parstate$

Modifying constructor for parstate$ structures.

Syntax

(change-parstate$ x 
                  [:bytes <bytes>] 
                  [:position <position>] 
                  [:chars-read <chars-read>] 
                  [:chars-unread <chars-unread>] 
                  [:tokens-read <tokens-read>] 
                  [:tokens-unread <tokens-unread>] 
                  [:version <version>])

This is an often useful alternative to make-parstate$.

We construct a new parstate$ 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 fty::defprod.

Macro: change-parstate$

(defmacro change-parstate$ (x &rest args)
  (std::change-aggregate
       'parstate$
       x args
       '((:bytes . parstate$->bytes)
         (:position . parstate$->position)
         (:chars-read . parstate$->chars-read)
         (:chars-unread . parstate$->chars-unread)
         (:tokens-read . parstate$->tokens-read)
         (:tokens-unread . parstate$->tokens-unread)
         (:version . parstate$->version))
       'change-parstate$
       'remake-parstate$))