		Search-engine friendly clone of the ACL2 documentation.

Atj-java-abstract-syntax

Jlocvar

Local variable declarations [JLS14:14.4].

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

Fields

final? — booleanp
type — jtype
name — stringp
init? — maybe-jexpr

We only capture declarations of single local variables without array square brackets after the name (i.e. all the array square brackets are in the type). The declarations have an optional initializer.

We do not capture var.

Subtopics

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