Package | Description |
---|---|
oracle.ide.history |
Contains API classes for the local history feature.
|
Modifier and Type | Method and Description |
---|---|
abstract LocalState |
HistoryManager.getLastState(java.lang.Object objId)
Get the last local state for the object identified by the given ID.
|
abstract LocalState[] |
HistoryManager.getLocalHistory(java.lang.Object objId)
Get all local history for the object identified by the given ID.
|
abstract LocalState[] |
HistoryManager.getLocalHistory(java.net.URL url)
Get all local history for the object located at the given URL.
|
static LocalState |
HistoryContext.getLocalState(Context context)
Returns the LocalState stored in the specified Context, if any.
|
Modifier and Type | Method and Description |
---|---|
abstract void |
HistoryManager.restore(LocalState[] states, Context context)
Restore the given states.
|
static void |
HistoryContext.setLocalState(Context context, LocalState localState)
Stored the specified LocalState in the specified Context.
|