public interface IdentifierScope
| Modifier and Type | Method and Description |
|---|---|
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
|
Copyright © 2014. All rights reserved.