/**

  * @author Walther Neuper

  * Created on Mar 30, 2017

  * (c) due to copyright terms

  */

 package isac.gui.mawen.syntax

 import isac.bridge.Isabelle_Isac

 import isac.bridge.xml.DataTypes

 import isac.gui.mawen.syntax.Ast._   //"._" simplifies "Ast.Ast" to "Ast"

 import edu.tum.cs.isabelle.japi._    // for JSystem

 import junit.framework.TestCase

 import org.junit.Assert._

 /** 

  * Create libisabelle's Scala Ast from String for tests.

  * Compare ScalaTermFromString.

  */

 class ScalaAstFromString extends TestCase {

   var sys_ : JSystem = null

   override def setUp() {

     sys_ = Isabelle_Isac.connect();

   }

   def test_etc() {

     println("/--BEGIN isac.gui.mawen.syntax.ScalaAstFromString#test_etc");

     //numeral 123 is Ast.Variable("123")

     var term_str = "123"

     var tree = sys_.invoke(isac.bridge.IsacOperations.SCALATERM_OF_STRING, term_str)

     var form = DataTypes.xml_to_Formula_NEW(tree)

     var ast = form.getTerm

     //println(Ast.raw_string_of(ast))

 //    assertEquals(ast, Ast.Variable("123"))

     assertEquals(term_str, Ast.math_string_of(ast))

     //create <code>TestDATA.box_07_with_cursor</code>

     term_str = "[aaa, bbb, ccc]"

     tree = sys_.invoke(isac.bridge.IsacOperations.SCALATERM_OF_STRING, term_str)

     form = DataTypes.xml_to_Formula_NEW(tree)

     ast = form.getTerm

     assertEquals(term_str, Ast.math_string_of(ast))

     println("\\--END isac.gui.mawen.syntax.ScalaAstFromString#test_etc");

   }

   override def tearDown() {

     sys_.dispose()

     super.tearDown()

   }

 }