1.1 --- a/src/java-tests/isac/util/parser/TestXMLParserDigest.java Mon Feb 21 19:02:39 2005 +0100
1.2 +++ b/src/java-tests/isac/util/parser/TestXMLParserDigest.java Tue Feb 22 08:15:35 2005 +0100
1.3 @@ -373,31 +373,31 @@
1.4 String xmlString = "> @@@@@begin@@@@@" //...........................
1.5 + " 1 " //......................................................
1.6 + "<APPLICABLETACTICS>" //.......................................
1.7 - + " <CALCID> 1 </CALCID>" //....................................
1.8 - + " <TACLIST>" //...............................................
1.9 - + " <REWRITESETTACTIC name=\"Rewrite_Set\">"//.................
1.10 - + " <RULESET> norm_equation </RULESET>"//....................
1.11 - + " </REWRITESETTACTIC>"//.....................................
1.12 - + " <REWRITESETTACTIC name=\"Rewrite_Set\">"//.................
1.13 - + " <RULESET> Test_simplify </RULESET>"//....................
1.14 - + " </REWRITESETTACTIC>"//.....................................
1.15 - + " <SUBPROBLEMTACTIC name=\"Subproblem\">"//..................
1.16 - + " <THEORY> Test.thy </THEORY>"//...........................
1.17 - + " <PROBLEM>"//.............................................
1.18 - + " <STRINGLIST>"//........................................
1.19 - + " <STRING> linear </STRING>"//.........................
1.20 - + " <STRING> univariate </STRING>"//.....................
1.21 - + " <STRING> equation </STRING>"//.......................
1.22 - + " <STRING> test </STRING>"//...........................
1.23 - + " </STRINGLIST>"//.......................................
1.24 - + " </PROBLEM>"//............................................
1.25 - + " </SUBPROBLEMTACTIC>"//.....................................
1.26 - + " <SIMPLETACTIC name=\"Check_elementwise\">"//...............
1.27 - + " <MATHML>"//............................................
1.28 - + " <ISA> Assumptions </ISA>"//..........................
1.29 - + " </MATHML>"//...........................................
1.30 - + " </SIMPLETACTIC>"//.........................................
1.31 - + " </TACLIST>"//................................................
1.32 + + " <CALCID> 1 </CALCID>" //....................................
1.33 + + " <TACLIST>" //...............................................
1.34 + + " <REWRITESETTACTIC name=\"Rewrite_Set\">"//.................
1.35 + + " <RULESET> norm_equation </RULESET>"//....................
1.36 + + " </REWRITESETTACTIC>"//.....................................
1.37 + + " <REWRITESETTACTIC name=\"Rewrite_Set\">"//.................
1.38 + + " <RULESET> Test_simplify </RULESET>"//....................
1.39 + + " </REWRITESETTACTIC>"//.....................................
1.40 + + " <SUBPROBLEMTACTIC name=\"Subproblem\">"//..................
1.41 + + " <THEORY> Test.thy </THEORY>"//...........................
1.42 + + " <PROBLEM>"//.............................................
1.43 + + " <STRINGLIST>"//........................................
1.44 + + " <STRING> linear </STRING>"//.........................
1.45 + + " <STRING> univariate </STRING>"//.....................
1.46 + + " <STRING> equation </STRING>"//.......................
1.47 + + " <STRING> test </STRING>"//...........................
1.48 + + " </STRINGLIST>"//.......................................
1.49 + + " </PROBLEM>"//............................................
1.50 + + " </SUBPROBLEMTACTIC>"//.....................................
1.51 + + " <SIMPLETACTIC name=\"Check_elementwise\">"//...............
1.52 + + " <MATHML>"//............................................
1.53 + + " <ISA> Assumptions </ISA>"//..........................
1.54 + + " </MATHML>"//...........................................
1.55 + + " </SIMPLETACTIC>"//.........................................
1.56 + + " </TACLIST>"//................................................
1.57 + "</APPLICABLETACTICS>"//........................................
1.58 + "@@@@@end@@@@@";
1.59 System.out.println("---testParseFetchApplicableTactics before parsing");