public String toXML() { String s = ""; for (Expression operand : operands) s = s + operand.toXML(); return "<simpl:application>\n" + "<simpl:operator>\n" + operator.toXML() + "</simpl:operator>\n" + "<simpl:arguments>\n" + s + "</simpl:arguments>\n" + "</simpl:application>\n"; }