107 } |
107 } |
108 |
108 |
109 //test additional examples with BOX, CURSOR, GAP |
109 //test additional examples with BOX, CURSOR, GAP |
110 def test_BOX_CURSOR_GAP() { |
110 def test_BOX_CURSOR_GAP() { |
111 println("/--BEGIN isac.gui.mawen.asttrans.TestAst#test_BOX_CURSOR_GAP"); |
111 println("/--BEGIN isac.gui.mawen.asttrans.TestAst#test_BOX_CURSOR_GAP"); |
112 |
112 println(Ast.math_string_of(TestDATAeditor.nest_CURSOR_BOX_3B)) |
113 assertEquals("aaa + bbb", Ast.math_string_of(TestDATAeditor.nest_BOX_1)) |
113 assertEquals("aaa + bbb", Ast.math_string_of(TestDATAeditor.nest_BOX_1)) |
114 assertEquals("aaa + bbb", Ast.math_string_of(TestDATAeditor.nest_BOX_2)) |
114 assertEquals("aaa + bbb", Ast.math_string_of(TestDATAeditor.nest_BOX_2)) |
115 assertEquals("aaa + bbb", Ast.math_string_of(TestDATAeditor.nest_BOX_3)) |
115 assertEquals("aaa + bbb", Ast.math_string_of(TestDATAeditor.nest_BOX_3)) |
116 |
116 |
117 assertEquals("aaa + bbb", Ast.math_string_of(TestDATAeditor.nest_BOX_1_CURSOR)) |
117 assertEquals("aaa + bbb", Ast.math_string_of(TestDATAeditor.nest_BOX_1_CURSOR)) |
118 assertEquals( "# + bbb", Ast.math_string_of(TestDATAeditor.nest_BOX_1_CURSOR_GAP)) |
118 assertEquals( "# + bbb", Ast.math_string_of(TestDATAeditor.nest_BOX_1_CURSOR_GAP)) |
119 assertEquals("aaa + bbb", Ast.math_string_of(TestDATAeditor.nest_BOX_1_CURSOR_b)) |
119 assertEquals("aaa + bbb", Ast.math_string_of(TestDATAeditor.nest_BOX_1_CURSOR_b)) |
120 |
120 |
121 assertEquals("aaa + bbb", Ast.math_string_of(TestDATAeditor.nest_CURSOR_BOX_3A)) |
121 assertEquals("aaa + bbb", Ast.math_string_of(TestDATAeditor.nest_CURSOR_BOX_3A)) |
122 assertEquals("aaa + bbb", Ast.math_string_of(TestDATAeditor.nest_CURSOR_BOX_3B)) |
122 assertEquals("aaa + bbb", Ast.math_string_of(TestDATAeditor.nest_CURSOR_BOX_3B)) |
123 |
123 |
124 |
124 println(Ast.math_string_of(TestDATAeditor.box_05)) |
125 assertEquals("d_d x x + d_d x (sin (x ^ 2))", Ast.math_string_of(TestDATAeditor.box_05)) |
125 assertEquals("d_d x x + d_d x (sin (x ^ 2))", Ast.math_string_of(TestDATAeditor.box_05)) |
126 assertEquals("d_d bdv (sin (u)) = cos (u) * d_d bdv u", Ast.math_string_of(TestDATAeditor.box_06)) |
126 assertEquals("d_d bdv (sin (u)) = cos (u) * d_d bdv u", Ast.math_string_of(TestDATAeditor.box_06)) |
127 assertEquals("d_d x x + cos (x ^ 2) * d_d x #", Ast.math_string_of(TestDATAeditor.box_07_with_cursor)) |
127 assertEquals("d_d x x + cos (x ^ 2) * d_d x #", Ast.math_string_of(TestDATAeditor.box_07_with_cursor)) |
128 assertEquals("a + (# + c)", Ast.math_string_of(TestDATAeditor.box_gap_cursor)) |
128 assertEquals("a + (# + c)", Ast.math_string_of(TestDATAeditor.box_gap_cursor)) |
129 assertEquals("#", Ast.math_string_of(TestDATAeditor.box_with_cursor_on_gap)) |
129 assertEquals("#", Ast.math_string_of(TestDATAeditor.box_with_cursor_on_gap)) |