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.SAXException
java.io.IOException
public DatatypeLibrary getLibrary(java.lang.String name)