public AddressKeyIterator getAddressKeyIterator(Address start, Address end, boolean atStart)
			throws IOException {
		validate(lock);
		Table table = propertyTable;
		if (table == null) {
			return AddressKeyIterator.EMPTY_ITERATOR;
		}
		if (atStart) {
			return new AddressKeyIterator(table, addrMap, start, end, start, true);
		}
		return new AddressKeyIterator(table, addrMap, start, end, end, false);
	}
Get an iterator over the long address keys which contain a property value.
@param start start of iterator address range
@param end end of iterator address range
@param atStart true if the iterator should be positioned at the start
of the range
@return long address iterator.
@throws IOException if IO error occurs
Ghidra/Framework/SoftwareModeling/src/main/java/ghidra/program/database/properties/PropertyMapDB.java