@Override
	public void encode(Encoder encoder) throws IOException {
		encoder.openElement(ELEM_EXTERNREFSYMBOL);
		if ((name != null) && (name.length() > 0)) { // Give the symbol a name if we can
			encoder.writeString(ATTRIB_NAME, name + "_exref");
		}
		AddressXML.encode(encoder, resolveAddress);
		encoder.closeElement(ELEM_EXTERNREFSYMBOL);
	}
Construct the external reference symbol given a name, the symbol Address, and a
resolving Address.
@param nm is the given name
@param addr is the symbol Address
@param resolveAddr is the resolve Address
@param dtmanage is a PcodeDataTypeManager for facilitating XML marshaling
Ghidra/Framework/SoftwareModeling/src/main/java/ghidra/program/model/pcode/HighExternalSymbol.java