@Override
	public RecordIterator getRecords() throws IOException {
		return table.iterator();
	}
@see ghidra.program.database.code.ProtoDBAdapter#getRecords()
Ghidra/Framework/SoftwareModeling/src/main/java/ghidra/program/database/code/ProtoDBAdapterV1.java