oracle.ide.history

Class HistoryContext

java.lang.Object

oracle.ide.history.HistoryContext

public final class HistoryContext
extends java.lang.Object

Provides typesafe getter and setter methods for data stored in a Context that is specific to the history manager.

Method Summary

Modifier and Type	Method and Description
static LocalState	getLocalState(Context context) Returns the LocalState stored in the specified Context, if any.
static void	setLocalState(Context context, LocalState localState) Stored the specified LocalState in the specified Context.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Method Detail

getLocalState

public static LocalState getLocalState(Context context)

Returns the LocalState stored in the specified Context, if any.

setLocalState

public static void setLocalState(Context context,
                                 LocalState localState)

Stored the specified LocalState in the specified Context.