| Package | Description |
|---|---|
| org.eclipse.mat.query.refined |
A way of controlling the detail given by the output of a query.
|
| Modifier and Type | Method and Description |
|---|---|
Filter[] |
RefinedStructuredResult.getFilter() |
| Modifier and Type | Method and Description |
|---|---|
void |
RefinedTable.filterChanged(Filter filter) |
void |
RefinedStructuredResult.filterChanged(Filter filter) |