public Element toXml() {

		Element e = new Element(XML_ELEMENT_NAME);
		e.setAttribute("contextRegister", contextRegister);
		if (value != null) {
			e.setAttribute("value", value.toString());
		}

		return e;
	}
Converts this object into XML

@return new jdom Element
Ghidra/Features/BytePatterns/src/main/java/ghidra/bitpatterns/info/ContextRegisterInfo.java