@Override
	protected void encodeBody(Encoder encoder) throws IOException {
		encoder.openElement(ELEM_RANGELIST);
		AddressRangeIterator iter = cover.getAddressRanges(true);
		while (iter.hasNext()) {
			AddressRange range = iter.next();
			encoder.openElement(ELEM_RANGE);
			encoder.writeSpace(ATTRIB_SPACE, range.getAddressSpace());
			encoder.writeUnsignedInteger(ATTRIB_FIRST, range.getMinAddress().getOffset());
			encoder.writeUnsignedInteger(ATTRIB_LAST, range.getMaxAddress().getOffset());
		}
		encoder.closeElement(ELEM_RANGELIST);
	}
@return an iterator over the PcodeOps in this basic block
Ghidra/Framework/SoftwareModeling/src/main/java/ghidra/program/model/pcode/PcodeBlockBasic.java