/*

 * @author Walther Neuper

 * Copyright (c) due to license terms

 * Created on Aug 18, 2015

 * Institute for Softwaretechnology, Graz University of Technology, Austria.

 */

package isac.bridge.xml;

import isac.bridge.xml.TestsDATA; // DataTypes.scala

import edu.tum.cs.isabelle.api.XML;

import junit.framework.TestCase;

/**

 * @author Walther Neuper Aug 18, 2015

 * TODO

 */

public class TestXMLout extends TestCase {

  /* test_is_message failed, so we prepare by increasing complexity stepwise:

   * 1:   def create_AAA (): XML.Tree = XML.Elem(Markup("AAA", Nil), Nil)

   */

  public void test_match() throws Exception {

    System.out.println("  ---------------------------------------------");

    System.out.println("/--BEGIN isac.bridge.xml.TestXMLout#test_match");

    XML.Tree xml_out = TestsDATA.create_AAA();

    String found = TestsDATA.match_ABC(xml_out);

    assertEquals("case simplest", found, "AAA");

    xml_out = TestsDATA.create_BBB();

    found = TestsDATA.match_ABC(xml_out);

    assertEquals("case 2nd match", found, "BBB");

    xml_out = TestsDATA.create_CCCddd();

    found = TestsDATA.match_ABC(xml_out);

    assertEquals("case 2 fields", found, "CCCddd");

    xml_out = TestsDATA.create_DDDeeeFFF();

    found = TestsDATA.match_ABC(xml_out);

    assertEquals("case 3 fields", found, "DDDeeeFFF");

    xml_out = TestsDATA.create_EEEfffGGGhhhIII();

    found = TestsDATA.match_ABC(xml_out);

    assertEquals("case 5 fields", found, "EEEfffGGGhhhIII");

    xml_out = TestsDATA.create_SYSERROR();

    found = TestsDATA.match_ABC(xml_out);

    assertEquals("case SYSERROR, XML.Text(\"1\") ANDALSO XML.Text(_)", found, "SYSERROR");

    System.out.println("\\--END isac.bridge.xml.TestXMLout#test_match");

  }

  /* found wrong () in IsaToJava.is_message */

  public void test_is_message() throws Exception {

	System.out.println("  ---------------------------------------------");

	System.out.println("/--BEGIN isac.bridge.xml.TestXMLout#test_is_message");

	XML.Tree xml_out = TestsDATA.create_SYSERROR();

	Boolean is_msg = IsaToJava.is_message(xml_out);

	assertTrue("<SYSERROR>... is recognised as a message.", is_msg);

	System.out.println("\\--END isac.bridge.xml.TestXMLout#test_is_message");

	}

}