|
JML | ||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | ||||||||||
This interface represents the type of an object that provides a description of a variable or field (hereafter, "slot"). The description includes the slot's lexical address (a number identifying the slot, unique within any lexical contour in which the slot is in scope), the slot's identifier, and whether the slot is declared final.
| Method Summary | |
String |
ident()
Returns the (unqualified) identifier for the slot. |
int |
index()
Returns the slot's lexical address, a number identifying the slot, unique within any lexical contour in which the slot is in scope. |
boolean |
isFinal()
Returns true iff the slot is declared final. |
| Method Detail |
public int index()
public String ident()
public boolean isFinal()
|
JML | ||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | ||||||||||