Uses of Interface
oracle.jdeveloper.history.HistoryFilter

Packages that use HistoryFilter

oracle.jdeveloper.history

Uses of HistoryFilter in oracle.jdeveloper.history

Classes in oracle.jdeveloper.history that implement HistoryFilter

class	CustomFilter
class	DefaultHistoryFilter

Methods in oracle.jdeveloper.history that return HistoryFilter

HistoryFilter	HistoryManager.getAllFilter() Get the predefined filter that returns all items in the history.
HistoryFilter[]	HistoryProvider.getPredefinedFilters() Get predefined filters for this provider.
abstract HistoryFilter	HistoryProvider.getTypeFilter() Get a history filter for entries provided by this type.

Methods in oracle.jdeveloper.history with parameters of type HistoryFilter

void	DefaultHistoryModel.applyFilter(java.net.URL url, HistoryFilter filter)
HistoryModel	HistoryManager.buildModel(java.net.URL url, boolean isAsynchronous, HistoryFilter filter) Retrieve a HistoryModel for the specified URL.
HistoryModel	HistoryManager.buildModel(java.net.URL url, boolean isAsynchronous, HistoryFilter filter, java.util.Collection providers) Retrieve a HistoryModel for the specified URL.
abstract HistoryEntry[]	HistoryProvider.getEntries(java.net.URL url, HistoryFilter filter) Get history entries for the specified URL.