@Override
	RecordIterator getRecords(Address start, Address end, boolean atStart) throws IOException {
		return new RecordIteratorAdapter(new AddressKeyRecordIterator(instTable, addrMap,
			atStart ? start : end, atStart ? true : false));
	}
@see ghidra.program.database.code.MoveRangeAdapter#getRecords(long, long, boolean)
Ghidra/Framework/SoftwareModeling/src/main/java/ghidra/program/database/code/InstDBAdapterV0.java