@Override public String generateXML() { return "\\ingest{" + identifier.generateXML() + "," + threshold.generateXML() + "," + rate.generateXML() + "}"; }
@Override public String generateXML() { String op = ""; switch (prim) { case MAX: op = "max"; break; case MIN: op = "min"; break; } return "\\" + op + "{" + lExpr.generateXML() + "," + rExpr.generateXML() + "}"; }