public class DefaultGMLIdManager extends java.lang.Object implements GMLIdManager
Modifier and Type | Method and Description |
---|---|
java.lang.String |
generateUUID() |
java.lang.String |
generateUUID(java.lang.String prefix) |
java.lang.String |
getDefaultPrefix() |
static DefaultGMLIdManager |
getInstance() |
java.lang.String |
getPrefix() |
void |
setPrefix(java.lang.String prefix) |
public static DefaultGMLIdManager getInstance()
public java.lang.String getDefaultPrefix()
getDefaultPrefix
in interface GMLIdManager
public java.lang.String getPrefix()
getPrefix
in interface GMLIdManager
public void setPrefix(java.lang.String prefix)
setPrefix
in interface GMLIdManager
public java.lang.String generateUUID(java.lang.String prefix)
generateUUID
in interface GMLIdManager
public java.lang.String generateUUID()
generateUUID
in interface GMLIdManager