		Search-engine friendly clone of the ACL2 documentation.

Jclass

Change-jclass

Modifying constructor for jclass structures.

Syntax

(change-jclass x 
               [:access <access>] 
               [:abstract? <abstract?>] 
               [:static? <static?>] 
               [:final? <final?>] 
               [:strictfp? <strictfp?>] 
               [:name <name>] 
               [:superclass? <superclass?>] 
               [:superinterfaces <superinterfaces>] 
               [:body <body>])

This is an often useful alternative to make-jclass.

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

(defmacro change-jclass (x &rest args)
  (std::change-aggregate
       'jclass
       x args
       '((:access . jclass->access)
         (:abstract? . jclass->abstract?)
         (:static? . jclass->static?)
         (:final? . jclass->final?)
         (:strictfp? . jclass->strictfp?)
         (:name . jclass->name)
         (:superclass? . jclass->superclass?)
         (:superinterfaces . jclass->superinterfaces)
         (:body . jclass->body))
       'change-jclass
       'nil))