protected void notifyChanged(Filter filter) {
if (!pushedFilter) {
filterStack.pushFilter(filter);
pushedFilter = true;
}
if (pushedFilter && !disableFilterOutput) {
outputFilter();
}
}
protected void outputFilter() {
// Notify the stack to execute the changed top filter and output the results.
lastFilterChangedCallback = new FilterChangedCallback();
filterStack.topFilterChanged(lastFilterChangedCallback);
}