|
|||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Object | +--edu.stanford.rt.datatype.DataType | +--edu.stanford.rt.datatype.RecordType
RecordType
element in
DomainSpecification
.Field Summary | |
private OrderedMap |
fieldDeclarations
Maps String (field name) to DataType (field type). |
private int |
size
the number of fields declared for this RecordType declaration. |
Fields inherited from class edu.stanford.rt.datatype.DataType |
|
Constructor Summary | |
RecordType(java.lang.String name,
OrderedMap fieldDeclarations)
constructor for RecordType. |
Method Summary | |
OrderedMap |
getFieldDeclarations()
Method getFieldDeclarations. |
DataType |
getFieldType(java.lang.String fieldName)
Method getFieldType. |
java.lang.String |
toString(java.lang.String indent)
Method toString. |
Methods inherited from class edu.stanford.rt.datatype.DataType |
getName, toString |
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait |
Field Detail |
private OrderedMap fieldDeclarations
private int size
Constructor Detail |
public RecordType(java.lang.String name, OrderedMap fieldDeclarations) throws DomainSpecException
Method Detail |
public OrderedMap getFieldDeclarations()
public DataType getFieldType(java.lang.String fieldName) throws DomainSpecException
fieldName
-
DomainSpecException
public java.lang.String toString(java.lang.String indent)
DataType
toString
in class DataType
indent
-
|
|||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |