1.1 --- a/isac-java/src/java-tests/isac/bridge/TestTerm.scala	Tue May 17 14:38:22 2016 +0200
     1.2 +++ b/isac-java/src/java-tests/isac/bridge/TestTerm.scala	Tue May 17 15:09:08 2016 +0200
     1.3 @@ -102,7 +102,7 @@
     1.4    }
     1.5  
     1.6    //TODO incremental build ...
     1.7 -  def jtree_of(t: Term): String = t match {
     1.8 +  def jtree_o(t: Term/*, jt: JTree*/): String = t match {
     1.9      case App(App(Const("Product_Type.Pair", _), t1), t2) 
    1.10      => "11111"
    1.11      case App(App(Const(str, _), t1), t2) 
    1.12 @@ -112,12 +112,20 @@
    1.13      case Const(str, _) => str
    1.14      case _ => throw new IllegalArgumentException("makeJTreeOfTerm WRONG arg: " + t)
    1.15    }
    1.16 +  def jtree_of(t: Term): String = {
    1.17 +    null
    1.18 +  }
    1.19  
    1.20 -//    def test_jtree_of() {
    1.21 -//    
    1.22 -//      MockCalcTreeSIMPLIFY.
    1.23 -//      
    1.24 -//  }
    1.25 +    def test_jtree_of() {
    1.26 +      println("/--BEGIN isac.bridge.TestTerm#test_jtree_of");
    1.27 +      
    1.28 +      val ct = new isac.gui.mawen.MockCalcTreeSIMPLIFY
    1.29 +
    1.30 +      val t5 = ct.getTree.elementAt(5).getFormula.getTerm
    1.31 +      println(jtree_of(t5))
    1.32 +
    1.33 +      println("\\--END isac.bridge.TestTerm#test_jtree_of");
    1.34 +  }
    1.35   
    1.36    
    1.37  }
    1.38 \ No newline at end of file