|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
public interface DatatypeBuilder
Disabled: no SafeJ information.
Creates a user-defined type by adding parameters to the pre-defined type.
Method Summary | |
---|---|
void |
addParameter(String name,
String strValue,
ValidationContext context)
Adds a new parameter. |
Datatype |
createDatatype()
Derives a new Datatype from a Datatype by parameters that were already set through the addParameter method. |
Method Detail |
---|
void addParameter(String name, String strValue, ValidationContext context) throws DatatypeException
name
- The name of the parameter to be added.strValue
- The raw value of the parameter. Caller may not normalize
this value because any white space is potentially significant.context
- The context information which can be used by the callee to
acquire additional information. This context object is
valid only during this method call. The callee may not
keep a reference to this object.
DatatypeException
- When the given parameter is inappropriate for some reason.
The callee is responsible to recover from this error.
That is, the object should behave as if no such error
was occured.Datatype createDatatype() throws DatatypeException
DatatypeException
- DatatypeException must be thrown if the derivation is
somehow invalid. For example, a required parameter is missing,
etc. The exception should contain a diagnosis message
if possible.
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |