(final long t)
| 6804 | return gameTimestamp; |
| 6805 | } |
| 6806 | public final void setGameTimestamp(final long t) { |
| 6807 | gameTimestamp = t; |
| 6808 | // 613.7d An object receives a timestamp at the time it enters a zone. |
| 6809 | layerTimestamp = t; |
| 6810 | } |
| 6811 | |
| 6812 | public final long getLayerTimestamp() { |
| 6813 | return layerTimestamp; |
no outgoing calls