@Override
	public void setTableFilter(TableFilter<ROW_OBJECT> tableFilter) {
		this.pendingTableFilter = tableFilter;
		if (pendingTableFilter == null) {
			// Don't allow the pending filter to be null in this case.  The client has changed the
			// filter.  If we use null, then we don't know the difference between a client change
			// request or a simple refilter operation.
			pendingTableFilter = new NullTableFilter<>();
		}
		reFilter();
	}
Sets the given <code>TableFilter</code> on this model.  This table filter will then be used
by this model in the default {@link #doFilter(List, TableSortingContext, TaskMonitor)}
method.
@param tableFilter The filter to use for table filtering.
Ghidra/Framework/Docking/src/main/java/docking/widgets/table/threaded/ThreadedTableModel.java