2 * @author Walther Neuper
3 * Created on Mar 30, 2017
4 * (c) due to copyright terms
7 package isac.gui.mawen.syntax
9 import isac.bridge.Isabelle_Isac
10 import isac.bridge.xml.DataTypes
11 import isac.gui.mawen.syntax.Ast._ //"._" simplifies "Ast.Ast" to "Ast"
13 import junit.framework.TestCase
14 import org.junit.Assert._
16 class ScalaAstFromString extends TestCase {
18 val sys_ = Isabelle_Isac.connect();
21 println("/--BEGIN isac.gui.mawen.syntax.ScalaAstFromString#test_etc");
23 //numeral 123 is Ast.Variable("123")
25 var tree = sys_.invoke(isac.bridge.IsacOperations.SCALATERM_OF_STRING, term_str)
26 var form = DataTypes.xml_to_Formula_NEW(tree)
27 var ast = form.getTerm
28 //println(Ast.raw_string_of(ast))
29 // assertEquals(ast, Ast.Variable("123"))
30 assertEquals(term_str, Ast.math_string_of(ast))
32 //create <code>TestDATA.box_07_with_cursor</code>
33 term_str = "[aaa, bbb, ccc]"
34 tree = sys_.invoke(isac.bridge.IsacOperations.SCALATERM_OF_STRING, term_str)
35 form = DataTypes.xml_to_Formula_NEW(tree)
37 assertEquals(term_str, Ast.math_string_of(ast))
39 println("\\--END isac.gui.mawen.syntax.ScalaAstFromString#test_etc");