public void test_SyntaxChecker_validXHTML()
{
SBMLNamespaces NS24 = new SBMLNamespaces(2, 4);
SBMLNamespaces NS31 = new SBMLNamespaces(3, 1);
XMLToken toptoken;
XMLNode topnode;
XMLTriple toptriple = new XMLTriple("notes", "", "");
XMLToken token;
XMLNode node;
XMLTriple triple = new XMLTriple("p", "", "");
XMLAttributes att = new XMLAttributes();
XMLNamespaces ns = new XMLNamespaces();
ns.add("http://www.w3.org/1999/xhtml", "");
XMLToken tt = new XMLToken("This is my text");
XMLNode n1 = new XMLNode(tt);
toptoken = new XMLToken(toptriple, att);
topnode = new XMLNode(toptoken);
token = new XMLToken(triple, att, ns);
node = new XMLNode(token);
node.addChild(n1);
topnode.addChild(node);
assertTrue(SyntaxChecker.hasExpectedXHTMLSyntax(topnode, null) == true);
assertTrue(SyntaxChecker.hasExpectedXHTMLSyntax(topnode, NS24) == true);
assertTrue(SyntaxChecker.hasExpectedXHTMLSyntax(topnode, NS31) == true);
triple = new XMLTriple("html", "", "");
token = new XMLToken(triple, att, ns);
node = new XMLNode(token);
node.addChild(n1);
topnode.removeChild(0);
topnode.addChild(node);
assertTrue(SyntaxChecker.hasExpectedXHTMLSyntax(topnode, null) == true);
assertTrue(SyntaxChecker.hasExpectedXHTMLSyntax(topnode, NS24) == false);
assertTrue(SyntaxChecker.hasExpectedXHTMLSyntax(topnode, NS31) == true);
triple = new XMLTriple("html", "", "");
ns.clear();
token = new XMLToken(triple, att, ns);
node = new XMLNode(token);
node.addChild(n1);
topnode.removeChild(0);
topnode.addChild(node);
assertTrue(SyntaxChecker.hasExpectedXHTMLSyntax(topnode, null) == false);
assertTrue(SyntaxChecker.hasExpectedXHTMLSyntax(topnode, NS24) == false);
assertTrue(SyntaxChecker.hasExpectedXHTMLSyntax(topnode, NS31) == false);
}
