| Modifier and Type | Field and Description |
|---|---|
| public static final BuiltinDatatypeLibrary | theInstance
the sole instance of this class. |
| Access | Constructor and Description |
|---|---|
| protected |
| Modifier and Type | Method and Description |
|---|---|
| public Datatype | createDatatype(String name)
Implements org. |
| public DatatypeBuilder | createDatatypeBuilder(String
The local name of the base type. name)Implements org. |
| theInstance | back to summary |
|---|---|
| public static final BuiltinDatatypeLibrary theInstance the sole instance of this class. | |
| BuiltinDatatypeLibrary | back to summary |
|---|---|
| protected BuiltinDatatypeLibrary() | |
| createDatatype | back to summary |
|---|---|
| public Datatype createDatatype(String name) throws DatatypeException Implements org. Doc from org. Gets or creates a pre-defined type.
This is just a short-cut of
| |
| createDatatypeBuilder | back to summary |
|---|---|
| public DatatypeBuilder createDatatypeBuilder(String name) throws DatatypeException Implements org. Doc from org. Creates a new instance of DatatypeBuilder. The callee should throw a DatatypeException in case of an error.
| |