|
||||||||||
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 |