public class XesExtensionManager
extends java.lang.Object
Modifier and Type | Method and Description |
---|---|
void |
addExtension(XesExtension extension)
Adds the given extension to the list of known extensions.
|
XesExtension |
getExtension(java.lang.String name,
java.lang.String prefix,
java.net.URI uri)
Searches for the extension with given name (may be
|
static XesExtensionManager |
instance() |
public static XesExtensionManager instance()
public void addExtension(XesExtension extension)
extension
- The given extension.public XesExtension getExtension(java.lang.String name, java.lang.String prefix, java.net.URI uri)
name
- The given name. If prefix
- The given prefix. If uri
- The given URI. If