|
|||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
| 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 | ||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | ||||||||