|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||
Generic interface for creating new Types.
| Method Summary | |
MapType.Editor |
createMapType(Type keyType,
Type valueType)
Create a MapType reference with the given key and value types. |
RecordType.Editor |
createRecordType()
Create a RecordType reference. |
RecordType.Editor |
createRecordType(RecordType ext)
Create a RecordType reference that extends the RecordType ext.. |
RestrictionType.Editor |
createRestrictionType(Type base)
Create a RestrictionType reference with the given base type. |
SequenceType.Editor |
createSequenceType(Type elemType)
Create a SequenceType reference with the given element type restriction.. |
UnionType.Editor |
createUnionType()
Create a UnionType reference (initially empty). |
| Method Detail |
public MapType.Editor createMapType(Type keyType,
Type valueType)
keyType - the type of the keys in this MapTypevalueType - the type of the values in this MapType
public SequenceType.Editor createSequenceType(Type elemType)
elemType - the type of elements of these Sequences
public RecordType.Editor createRecordType()
public RecordType.Editor createRecordType(RecordType ext)
ext..
ext - the RecordType being extended with this definition
public UnionType.Editor createUnionType()
public RestrictionType.Editor createRestrictionType(Type base)
base - the type that is being restricted
|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||