impl.addLine("const AbstractDomain &dom1 = " + evaluate(asstn.getChildAtIndex(0), funcImpls) + ";"); impl.addLine("const AbstractDomain &dom2 = " + evaluate(asstn.getChildAtIndex(1), funcImpls) + ";");
String domStart = "const AbstractDomain& dom"; for(int i = 0; i < 2; i++) { if(asstn.getChildAtIndex(i).getName().equals("EnumeratedDomain") && asstn.getChildAtIndex(i).getChildren().size() > 1) { impl.addLine(evalEnumDomain(asstn.getChildAtIndex(i), funcImpls)); impl.addLine(domStart + (i+1) + " = " + getCurrentEnumName() + ";"); } else { impl.addLine(domStart + (i+1) + " = " + evaluate(asstn.getChildAtIndex(i), funcImpls) + ";"); } }
  private void evaluateBoolean(LinkedList funcImpls) {    String Q = step.getAttribute("qualifier", "");    impl.indent();    impl.addLine("const AbstractDomain &dom1 = " + evaluate(asstn.getChildAtIndex(0), funcImpls) + ";");    impl.addLine("const AbstractDomain &dom2 = " + evaluate(asstn.getChildAtIndex(1), funcImpls) + ";");    impl.addLine("if(" + asstn.getName() + "(dom1, dom2))");    impl.indent();    impl.addLine("m_status = Test::PASSED;");    impl.unindent();    impl.addLine("else");    impl.indent();    impl.addLine("m_status = Test::FAILED;");    impl.unindent();    if(Q.equals("each")) {      impl.addLine("if(m_status == Test::FAILED)");      impl.indent();      impl.addLine("fail();");    }    impl.unindent();    impl.addLine("return m_status;");    impl.unindent();  }