Top

Jclasses+jcmembers

Jclass

Java class declarations [JLS14:8.1].

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

Fields

access — jaccess
abstract? — booleanp
static? — booleanp
final? — booleanp
strictfp? — booleanp
name — stringp
superclass? — maybe-string
superinterfaces — string-listp
body — jcbody-element-list

We only capture normal class declarations, not enum ones.

We do not capture instance initializers, static initializers, and constructor declarations.

Subtopics

Make-jclass: Basic constructor macro for jclass structures.
Jclassp: Recognizer for jclass structures.
Jclass-equiv: Basic equivalence relation for jclass structures.
Jclass->superinterfaces: Get the superinterfaces field from a jclass.
Change-jclass: Modifying constructor for jclass structures.
Jclass->superclass?: Get the superclass? field from a jclass.
Jclass->strictfp?: Get the strictfp? field from a jclass.
Jclass->abstract?: Get the abstract? field from a jclass.
Jclass->static?: Get the static? field from a jclass.
Jclass->final?: Get the final? field from a jclass.
Jclass->body: Get the body field from a jclass.
Jclass->access: Get the access field from a jclass.
Jclass->name: Get the name field from a jclass.
Jclass-fix: Fixing function for jclass structures.
Jclass-count: Measure for recurring over jclass structures.