ptolemy.actor.gt
Class LocationType

java.lang.Object
  ptolemy.data.type.StructuredType
      ptolemy.data.type.RecordType
          ptolemy.actor.gt.LocationType

All Implemented Interfaces:

java.lang.Cloneable, Type

public class LocationType
extends RecordType

A type of tokens for x-y locations.

Since:

Ptolemy II 8.0

Version:

$Id: LocationType.java 57040 2010-01-27 20:52:32Z cxh $

Author:

Thomas Huining Feng

Accepted Rating:

Red (tfeng)

Proposed Rating:

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

LocationType

public LocationType()

Construct a location type as a record type with x and y fields, which are both integers.