Adding sypet to repo
[Benchmarks_CSolver.git] / sypet / benchmarks / xml / 29 / TestSource.java
1 public static boolean test() throws Throwable {
2     java.io.File file = new java.io.File("benchmarks/xml/29/doc.xml");
3     java.lang.String query = "/html/body/div[@id='container']";
4     javax.xml.namespace.QName qname = javax.xml.xpath.XPathConstants.NODE;
5     java.lang.Object node = Source.evaluateByXpath(file, query, qname);
6     boolean flag = (node != null) && (((org.w3c.dom.Node)node).getNodeName().equals("div"));
7
8     if(flag) 
9         return true;
10     else 
11         return false;
12 }
13