		Search-engine friendly clone of the ACL2 documentation.

Jfield

Change-jfield

Modifying constructor for jfield structures.

Syntax

(change-jfield x 
               [:access <access>] 
               [:static? <static?>] 
               [:final? <final?>] 
               [:transient? <transient?>] 
               [:volatile? <volatile?>] 
               [:type <type>] 
               [:name <name>] 
               [:init? <init?>])

This is an often useful alternative to make-jfield.

We construct a new jfield 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-jfield

(defmacro change-jfield (x &rest args)
  (std::change-aggregate 'jfield
                         x args
                         '((:access . jfield->access)
                           (:static? . jfield->static?)
                           (:final? . jfield->final?)
                           (:transient? . jfield->transient?)
                           (:volatile? . jfield->volatile?)
                           (:type . jfield->type)
                           (:name . jfield->name)
                           (:init? . jfield->init?))
                         'change-jfield
                         'nil))