Package oracle.jdeveloper.history

Interface Summary

HistoryFilter

An object that filters history entries implements this interface.

Class Summary

BaseHistoryEntry
CustomFilter
CustomFilterCopyable
CustomFilterManager
CustomFilterSubstitution
DefaultHistoryFilter
DefaultHistoryModel	Our implementation of a history model.
DefaultHistoryProperty
HistoryContext	Provides typesafe getter and setter methods for Context properties specific to the version history viewer.
HistoryElement	Provides a bridge between HistoryEntry and the IDE's Element interface.
HistoryEntrySelector	Class to assist the contextual opening of a HistoryViewer by the nomination of a HistoryEntry from the model.
HistoryManager	The HistoryManager provides a mechanism for extensions to register HistoryProvider instances, which are used to retrieve a list of history entries for a URL for the history viewer.
HistoryProvider	An object that can provide a history for a given URL.
RevisionIdentifier	Class of objects returned from HistoryEntry.getValue() for the SharedProperties.REVISION property.
SharedProperties	Provides access to HistoryProperty instances that are shared amongst several HistoryProviders.