public interface GMLIdManager
Modifier and Type | Method and Description |
---|---|
java.lang.String |
generateUUID() |
java.lang.String |
generateUUID(java.lang.String prefix) |
java.lang.String |
getDefaultPrefix() |
java.lang.String |
getPrefix() |
void |
setPrefix(java.lang.String prefix) |