|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Object ptolemy.data.type.StructuredType ptolemy.data.type.RecordType ptolemy.actor.gt.LocationType
public class LocationType
A type of tokens for x-y locations.
Red (tfeng) |
Yellow (tfeng) |
Field Summary |
---|
Fields inherited from class ptolemy.data.type.RecordType |
---|
EMPTY_RECORD |
Fields inherited from class ptolemy.data.type.StructuredType |
---|
MAXDEPTHBOUND |
Fields inherited from interface ptolemy.data.type.Type |
---|
HASH_INVALID, HASH_MAX |
Constructor Summary | |
---|---|
LocationType()
Construct a location type as a record type with x and y fields, which are both integers. |
Method Summary |
---|
Methods inherited from class ptolemy.data.type.RecordType |
---|
_compare, _getRepresentative, _greatestLowerBound, _leastUpperBound, clone, convert, depth, equals, get, getTokenClass, getTypeTerm, hashCode, initialize, isAbstract, isCompatible, isConstant, isInstantiable, isSubstitutionInstance, labelSet, toString, updateType |
Methods inherited from class ptolemy.data.type.StructuredType |
---|
add, divide, getTypeHash, modulo, multiply, one, subtract, zero |
Methods inherited from class java.lang.Object |
---|
finalize, getClass, notify, notifyAll, wait, wait, wait |
Constructor Detail |
---|
public LocationType()
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |