public interface DatatypeLibrary
| Modifier and Type | Method and Description |
|---|---|
Datatype |
createDatatype(String typeLocalName)
Gets or creates a pre-defined type.
|
DatatypeBuilder |
createDatatypeBuilder(String baseTypeLocalName)
Creates a new instance of DatatypeBuilder.
|
DatatypeBuilder createDatatypeBuilder(String baseTypeLocalName) throws DatatypeException
baseTypeLocalName - The local name of the base type.DatatypeExceptionDatatype createDatatype(String typeLocalName) throws DatatypeException
createDatatypeBuilder(typeLocalName).createDatatype();
The callee should throw a DatatypeException in case of an error.DatatypeException