public Element toXml(String elementName) {
		Element result = new Element(elementName);

		Element instructionsListEle = new Element("instructions");
		result.addContent(instructionsListEle);
		if (instructions != null) {
			for (String s : instructions) {
				Element x = new Element("instruction");
				instructionsListEle.addContent(x);
				if (s != null) {
					x.setAttribute("value", s);
				}
			}
		}

		Element sizesListEle = new Element("sizes");
		result.addContent(sizesListEle);
		if (sizes != null) {
			for (Integer s : sizes) {
				Element x = new Element("size");
				sizesListEle.addContent(x);
				if (s != null) {
					XmlUtilities.setIntAttr(x, "value", s);
				}
			}
		}

		Element csoListEle = new Element("commaSeparatedOperands");
		result.addContent(csoListEle);
		if (commaSeparatedOperands != null) {
			for (String s : commaSeparatedOperands) {
				Element x = new Element("operands");
				csoListEle.addContent(x);
				if (s != null) {
					x.setAttribute("value", s);
				}
			}
		}

		return result;
	}
Convert this object into a XML node, using the specified name for the node.

@param elementName name for the new XML node
@return new XML element
Ghidra/Features/BytePatterns/src/main/java/ghidra/bitpatterns/info/InstructionSequence.java