@Override
	void deleteAddressRange(Address startAddr, Address endAddr, final AddressMap addrMap,
			final Set<Address> set, TaskMonitor monitor) throws CancelledException, IOException {
		RecordFilter filter = new RecordFilter() {
			@Override
			public boolean matches(DBRecord record) {
				Address addr = addrMap.decodeAddress(record.getLongValue(HISTORY_ADDR_COL));
				return set == null || !set.contains(addr);
			}
		};
		AddressRecordDeleter.deleteRecords(table, HISTORY_ADDR_COL, addrMap, startAddr, endAddr,
			filter);
	}
@see ghidra.program.database.symbol.LabelHistoryAdapter#deleteAddressRange(ghidra.program.model.address.Address, ghidra.program.model.address.Address, ghidra.program.model.address.AddressMap, ghidra.util.task.TaskMonitor)
Ghidra/Framework/SoftwareModeling/src/main/java/ghidra/program/database/symbol/LabelHistoryAdapterV0.java