		Search-engine friendly clone of the ACL2 documentation.

Jmethod

Change-jmethod

Modifying constructor for jmethod structures.

Syntax

(change-jmethod x 
                [:access <access>] 
                [:abstract? <abstract?>] 
                [:static? <static?>] 
                [:final? <final?>] 
                [:synchronized? <synchronized?>] 
                [:native? <native?>] 
                [:strictfp? <strictfp?>] 
                [:result <result>] 
                [:name <name>] 
                [:params <params>] 
                [:throws <throws>] 
                [:body <body>])

This is an often useful alternative to make-jmethod.

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

(defmacro change-jmethod (x &rest args)
  (std::change-aggregate 'jmethod
                         x args
                         '((:access . jmethod->access)
                           (:abstract? . jmethod->abstract?)
                           (:static? . jmethod->static?)
                           (:final? . jmethod->final?)
                           (:synchronized? . jmethod->synchronized?)
                           (:native? . jmethod->native?)
                           (:strictfp? . jmethod->strictfp?)
                           (:result . jmethod->result)
                           (:name . jmethod->name)
                           (:params . jmethod->params)
                           (:throws . jmethod->throws)
                           (:body . jmethod->body))
                         'change-jmethod
                         'nil))