Top

Atj-java-abstract-syntax

Jparam

Java formal parameter [JLS14:8.4.1].

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

Fields

final? — booleanp
type — jtype
name — stringp

We do not capture variable arity parameters.

We only capture parameters without array square brackets after the name (i.e. all the array square brackets are in the type).

Subtopics

Jparam-fix: Fixing function for jparam structures.
Jparam-equiv: Basic equivalence relation for jparam structures.
Make-jparam: Basic constructor macro for jparam structures.
Change-jparam: Modifying constructor for jparam structures.
Jparam->type: Get the type field from a jparam.
Jparam->name: Get the name field from a jparam.
Jparam->final?: Get the final? field from a jparam.
Jparamp: Recognizer for jparam structures.