Top

Atj-java-abstract-syntax

Jmethod

Java method declarations [JLS14:8.4].

This is a product type introduced by fty::defprod.

Fields

access — jaccess
abstract? — booleanp
static? — booleanp
final? — booleanp
synchronized? — booleanp
native? — booleanp
strictfp? — booleanp
result — jresult
name — stringp
params — jparam-list
throws — string-listp
body — jblock

We do not capture receiver parameters.

We do not capture array square brackets after the parameter list (i.e. all the array square brackets are in the type).

We do not capture the case of a method without body.

Subtopics

Jmethodp: Recognizer for jmethod structures.
Jmethod-fix: Fixing function for jmethod structures.
Make-jmethod: Basic constructor macro for jmethod structures.
Jmethod-equiv: Basic equivalence relation for jmethod structures.
Change-jmethod: Modifying constructor for jmethod structures.
Jmethod->synchronized?: Get the synchronized? field from a jmethod.
Jmethod->strictfp?: Get the strictfp? field from a jmethod.
Jmethod->abstract?: Get the abstract? field from a jmethod.
Jmethod->throws: Get the throws field from a jmethod.
Jmethod->static?: Get the static? field from a jmethod.
Jmethod->result: Get the result field from a jmethod.
Jmethod->params: Get the params field from a jmethod.
Jmethod->native?: Get the native? field from a jmethod.
Jmethod->name: Get the name field from a jmethod.
Jmethod->final?: Get the final? field from a jmethod.
Jmethod->body: Get the body field from a jmethod.
Jmethod->access: Get the access field from a jmethod.