|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES All Classes | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
public interface DatatypeLibrary
Disabled: no SafeJ information.
A Datatype library
Method Summary | |
---|---|
Datatype |
createDatatype(String typeLocalName)
Gets or creates a pre-defined type. |
DatatypeBuilder |
createDatatypeBuilder(String baseTypeLocalName)
Creates a new instance of DatatypeBuilder. |
Method Detail |
---|
DatatypeBuilder createDatatypeBuilder(String baseTypeLocalName) throws DatatypeException
baseTypeLocalName
- The local name of the base type.
DatatypeException
Datatype createDatatype(String typeLocalName) throws DatatypeException
createDatatypeBuilder(typeLocalName).createDatatype();
The callee should throw a DatatypeException in case of an error.
DatatypeException
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES All Classes | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |