public class DatatypeLibraryManager
extends java.lang.Object
Datatype objects to be retrieved.| Constructor and Description |
|---|
DatatypeLibraryManager(Options _opt) |
| Modifier and Type | Method and Description |
|---|---|
DatatypeLibrary |
getLibrary(java.lang.String name)
Obtains a datatype library by its name.
|
void |
parse(org.xml.sax.InputSource source)
Parses a datatype definition XML file and adds it to
this manager.
|
public DatatypeLibraryManager(Options _opt)
public void parse(org.xml.sax.InputSource source)
throws org.xml.sax.SAXException,
java.io.IOException
if - an error happens.org.xml.sax.SAXExceptionjava.io.IOExceptionpublic DatatypeLibrary getLibrary(java.lang.String name)