|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES All Classes | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectptolemy.backtrack.ui.BacktrackControllerFrame.HandleTableElement
private class BacktrackControllerFrame.HandleTableElement
Element of the checkpoint handle table.
Red (tfeng) |
Red (tfeng) |
Field Summary | |
---|---|
private long |
_handle
|
private java.util.Date |
_time
|
Constructor Summary | |
---|---|
BacktrackControllerFrame.HandleTableElement(long handle,
java.util.Date time)
Construct an element in the checkpoint handle list. |
Method Summary | |
---|---|
long |
getHandle()
Return the checkpoint handle. |
java.util.Date |
getTime()
Return the time at which the checkpoint was created. |
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Field Detail |
---|
private long _handle
private java.util.Date _time
Constructor Detail |
---|
BacktrackControllerFrame.HandleTableElement(long handle, java.util.Date time)
handle
- The checkpoint handle.time
- The time at which the checkpoint was created.Method Detail |
---|
public long getHandle()
public java.util.Date getTime()
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES All Classes | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |