		Search-engine friendly clone of the ACL2 documentation.

Atj-java-abstract-syntax

Jfield

Java field declarations [JLS14:8.3].

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

Fields

access — jaccess
static? — booleanp
final? — booleanp
transient? — booleanp
volatile? — booleanp
type — jtype
name — stringp
init? — maybe-jexpr

We only capture declarations of single fields, with or without an initializer, and without array square brackets after the name (i.e. all the array square brackets are in the type).

Subtopics

Jfield-fix: Fixing function for jfield structures.
Make-jfield: Basic constructor macro for jfield structures.
Jfieldp: Recognizer for jfield structures.
Jfield-equiv: Basic equivalence relation for jfield structures.
Change-jfield: Modifying constructor for jfield structures.
Jfield->volatile?: Get the volatile? field from a jfield.
Jfield->transient?: Get the transient? field from a jfield.
Jfield->static?: Get the static? field from a jfield.
Jfield->init?: Get the init? field from a jfield.
Jfield->final?: Get the final? field from a jfield.
Jfield->access: Get the access field from a jfield.
Jfield->type: Get the type field from a jfield.
Jfield->name: Get the name field from a jfield.