Package | Description |
---|---|
oracle.jdeveloper.history |
Modifier and Type | Class and Description |
---|---|
class |
CustomFilter |
class |
DefaultHistoryFilter |
Modifier and Type | Method and Description |
---|---|
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.
|
Modifier and Type | Method and Description |
---|---|
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.
|