|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||
public interface IdentifierScope
| Method Summary | |
|---|---|
boolean |
isLocalIdent(String ident)
Determines if the client ident is declared in local scope |
String |
nextIdent(String prefix)
Gets a new unique ident with the given prefix |
String |
uniqueIdent(String ident)
Gets the corresponding unique server ident for the client ident |
| Method Detail |
|---|
boolean isLocalIdent(String ident)
ident -
String uniqueIdent(String ident)
ident -
String nextIdent(String prefix)
prefix -
|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||