wneuper@5074: /**
wneuper@5074:  * @author Walther Neuper
wneuper@5074:  * Created on Mar 30, 2017
wneuper@5074:  * (c) due to copyright terms
wneuper@5074:  */
wneuper@5074: 
wneuper@5074: package isac.gui.mawen.syntax
wneuper@5074: 
wneuper@5074: import isac.bridge.Isabelle_Isac
wneuper@5074: import isac.bridge.xml.DataTypes
wneuper@5085: import isac.gui.mawen.syntax.Ast._   //"._" simplifies "Ast.Ast" to "Ast"
walther@5239: import edu.tum.cs.isabelle.japi._    // for JSystem
wneuper@5074: 
wneuper@5074: import junit.framework.TestCase
wneuper@5074: import org.junit.Assert._
wneuper@5074: 
wneuper@5130: /** 
wneuper@5130:  * Create libisabelle's Scala Ast from String for tests.
wneuper@5130:  * Compare ScalaTermFromString.
wneuper@5130:  */
wneuper@5074: class ScalaAstFromString extends TestCase {
wneuper@5074:   
wneuper@5150:   var sys_ : JSystem = null
wneuper@5150:   override def setUp() {
wneuper@5150:     sys_ = Isabelle_Isac.connect();
wneuper@5150:   }
wneuper@5074:   
wneuper@5078:   def test_etc() {
wneuper@5078:     println("/--BEGIN isac.gui.mawen.syntax.ScalaAstFromString#test_etc");
wneuper@5078:     
wneuper@5078:     //numeral 123 is Ast.Variable("123")
wneuper@5078:     var term_str = "123"
wneuper@5078:     var tree = sys_.invoke(isac.bridge.IsacOperations.SCALATERM_OF_STRING, term_str)
wneuper@5078:     var form = DataTypes.xml_to_Formula_NEW(tree)
wneuper@5078:     var ast = form.getTerm
wneuper@5078:     //println(Ast.raw_string_of(ast))
s1520454056@5112: //    assertEquals(ast, Ast.Variable("123"))
wneuper@5104:     assertEquals(term_str, Ast.math_string_of(ast))
wneuper@5078: 
wneuper@5083:     //create <code>TestDATA.box_07_with_cursor</code>
wneuper@5083:     term_str = "[aaa, bbb, ccc]"
wneuper@5083:     tree = sys_.invoke(isac.bridge.IsacOperations.SCALATERM_OF_STRING, term_str)
wneuper@5083:     form = DataTypes.xml_to_Formula_NEW(tree)
wneuper@5083:     ast = form.getTerm
wneuper@5104:     assertEquals(term_str, Ast.math_string_of(ast))
wneuper@5083:     
wneuper@5078:     println("\\--END isac.gui.mawen.syntax.ScalaAstFromString#test_etc");
wneuper@5078:   }
wneuper@5078: 
wneuper@5150:   override def tearDown() {
wneuper@5150:     sys_.dispose()
wneuper@5150:     super.tearDown()
wneuper@5150:   }
walther@5239: }