wneuper@4856
|
1 |
package isac.gui.mawen.scalaterm
|
wneuper@4856
|
2 |
|
wneuper@5049
|
3 |
import isac.gui.mawen.syntax.Ast
|
walther@5239
|
4 |
import edu.tum.cs.isabelle.pure._
|
wneuper@4856
|
5 |
import junit.framework.TestCase
|
wneuper@4856
|
6 |
import java.lang.String
|
wneuper@4856
|
7 |
import org.junit.Assert._
|
wneuper@4856
|
8 |
|
wneuper@4856
|
9 |
class TestUtil extends TestCase {
|
wneuper@4856
|
10 |
|
wneuper@5063
|
11 |
def test_string_of() {
|
wneuper@5063
|
12 |
println("/--BEGIN isac.gui.mawen.scalaterm.TestUtil#test_string_of");
|
wneuper@5063
|
13 |
|
wneuper@5064
|
14 |
assertEquals(Util.string_of(TestsDATA.t1), "aaa + bbb = processed_by_Isabelle_Isac")
|
wneuper@5064
|
15 |
assertEquals(Util.string_of(TestsDATA.t2), "a + 2 * b + 3 * (c + d)")
|
wneuper@5063
|
16 |
|
wneuper@5064
|
17 |
assertEquals(Util.string_of(TestsDATA.t31), "aaa + bbb + ccc")
|
wneuper@5064
|
18 |
assertEquals(Util.string_of(TestsDATA.t32), "aaa + (bbb + ccc)")
|
wneuper@5063
|
19 |
|
wneuper@5064
|
20 |
assertEquals(Util.string_of(TestsDATA.t41), "Diff (x + sin (x ^ 2), x)")
|
wneuper@5064
|
21 |
assertEquals(Util.string_of(TestsDATA.t42), "d_d x (x + sin (x ^ 2))")
|
wneuper@5063
|
22 |
|
wneuper@5063
|
23 |
// MAWEN example for reference No.1
|
wneuper@5063
|
24 |
assertEquals(Util.string_of(TestsDATA.tt1()), "Simplify (1 + 2 * x * (y + 3) / (4 * z * (y + 3)) + 5)")
|
wneuper@5063
|
25 |
assertEquals(Util.string_of(TestsDATA.tt3()), "1 + 2 * x * (y + 3) / (4 * z * (y + 3)) + 5")
|
wneuper@5063
|
26 |
assertEquals(Util.string_of(TestsDATA.tt4()), "1 + 2 * x / (4 * z) + 5")
|
wneuper@5063
|
27 |
assertEquals(Util.string_of(TestsDATA.tt5()), "1 + x / (2 * z) + 5")
|
wneuper@5063
|
28 |
assertEquals(Util.string_of(TestsDATA.tt6()), "6 + x / (2 * z)")
|
wneuper@5063
|
29 |
|
wneuper@5063
|
30 |
println("\\--END isac.gui.mawen.scalaterm.TestUtil#test_string_of");
|
wneuper@5063
|
31 |
}
|
wneuper@4962
|
32 |
|
S1420454023@4922
|
33 |
/**
|
S1420454023@4922
|
34 |
* tested on validity with: http://www-archive.mozilla.org/projects/mathml/demo/tester.html
|
S1420454023@4922
|
35 |
*/
|
wneuper@4920
|
36 |
def test_mathml_of() {
|
wneuper@4920
|
37 |
println("/--BEGIN isac.gui.mawen.scalaterm.TestUtil#mathml_of");
|
S1420454023@4922
|
38 |
assertEquals(Util.mathml_of(TestsDATA.tt3), TestsDATA.tt3_math());
|
wneuper@4920
|
39 |
println("\\--END isac.gui.mawen.scalaterm.TestUtil#mathml_of");
|
wneuper@4920
|
40 |
}
|
wneuper@5020
|
41 |
|
walther@5239
|
42 |
}
|