| -/+ |
Kind |
Annotation Text |
Date |
|---|
| U |
pre | source != null | 2010-07-16 16:14:15 |
| U |
presumption | java.lang.System.out != null | 2010-07-16 16:14:15 |
| U |
presumption | javax.xml.parsers.DocumentBuilder:parse(...)@104 != null | 2010-07-16 16:14:15 |
| U |
presumption | javax.xml.parsers.DocumentBuilderFactory:newDocumen tBuilder(...)@82 != null | 2010-07-16 16:14:15 |
| U |
presumption | javax.xml.parsers.DocumentBuilderFactory:newInstanc e(...)@77 != null | 2010-07-16 16:14:15 |
| U |
presumption | org.w3c.dom.Document:getDocumentElement(...)@105 != null | 2010-07-16 16:14:15 |
| U |
presumption | org.w3c.dom.NamedNodeMap:getNamedItem(...)@114 != null | 2010-07-16 16:14:15 |
| U |
presumption | org.w3c.dom.NamedNodeMap:getNamedItem(...)@115 != null | 2010-07-16 16:14:15 |
| U |
presumption | org.w3c.dom.NamedNodeMap:getNamedItem(...)@116 != null | 2010-07-16 16:14:15 |
| U |
presumption | org.w3c.dom.NamedNodeMap:getNamedItem(...)@118 != null | 2010-07-16 16:14:15 |
| U |
presumption | org.w3c.dom.NamedNodeMap:getNamedItem(...)@119 != null | 2010-07-16 16:14:15 |
| U |
presumption | org.w3c.dom.NamedNodeMap:getNamedItem(...)@124 != null | 2010-07-16 16:14:15 |
| U |
presumption | org.w3c.dom.NamedNodeMap:getNamedItem(...)@125 != null | 2010-07-16 16:14:15 |
| U |
presumption | org.w3c.dom.Node:getAttributes(...)@113 != null | 2010-07-16 16:14:15 |
| U |
presumption | org.w3c.dom.Node:getAttributes(...)@114 != null | 2010-07-16 16:14:15 |
| U |
presumption | org.w3c.dom.Node:getAttributes(...)@115 != null | 2010-07-16 16:14:15 |
| U |
presumption | org.w3c.dom.Node:getAttributes(...)@116 != null | 2010-07-16 16:14:15 |
| U |
presumption | org.w3c.dom.Node:getAttributes(...)@118 != null | 2010-07-16 16:14:15 |
| U |
presumption | org.w3c.dom.Node:getAttributes(...)@119 != null | 2010-07-16 16:14:15 |
| U |
presumption | org.w3c.dom.Node:getAttributes(...)@124 != null | 2010-07-16 16:14:15 |
| U |
presumption | org.w3c.dom.Node:getAttributes(...)@125 != null | 2010-07-16 16:14:15 |
| U |
presumption | org.w3c.dom.Node:getChildNodes(...)@106 != null | 2010-07-16 16:14:15 |
| U |
presumption | org.w3c.dom.Node:getNodeName(...)@112 != null | 2010-07-16 16:14:15 |
| U |
presumption | org.w3c.dom.Node:getNodeName(...)@124 != null | 2010-07-16 16:14:15 |
| U |
presumption | org.w3c.dom.Node:getNodeValue(...)@115 != null | 2010-07-16 16:14:15 |
| U |
presumption | org.w3c.dom.Node:getNodeValue(...)@118 != null | 2010-07-16 16:14:15 |
| U |
presumption | org.w3c.dom.Node:getNodeValue(...)@124 != null | 2010-07-16 16:14:15 |
| U |
presumption | org.w3c.dom.Node:getNodeValue(...)@125 != null | 2010-07-16 16:14:15 |
| U |
presumption | org.w3c.dom.NodeList:item(...)@109 != null | 2010-07-16 16:14:15 |
| U |
test_vector | java.lang.String:equals(...)@112: {0}, {1} | 2010-07-16 16:14:15 |
| U |
test_vector | java.lang.String:equals(...)@115: {0}, {1} | 2010-07-16 16:14:15 |
| U |
test_vector | java.lang.String:equals(...)@118: {0}, {1} | 2010-07-16 16:14:15 |
| U |
test_vector | java.lang.String:equals(...)@124: {0}, {1} | 2010-07-16 16:14:15 |
| -/+ |
Kind |
Annotation Text |
Date |
|---|
| U |
pre | args != null | 2010-07-16 16:14:15 |
| U |
pre | args.length >= 3 | 2010-07-16 16:14:15 |
| U |
pre | init'ed(args[0]) | 2010-07-16 16:14:15 |
| U |
pre | init'ed(args[1]) | 2010-07-16 16:14:15 |
| U |
pre | init'ed(args[2]) | 2010-07-16 16:14:15 |
| U |
presumption | java.io.File:listFiles(...)@64 != null | 2010-07-16 16:14:15 |
| U |
presumption | sources.length@64 <= 232-1 | 2010-07-16 16:14:15 |
| U |
presumption | sources[i]@64 != null | 2010-07-16 16:14:15 |
| U |
unanalyzed | call on java.io.File:getName | 2010-07-16 16:14:15 |
| U |
unanalyzed | call on java.io.PrintStream:println | 2010-07-16 16:14:15 |
| U |
unanalyzed | call on java.lang.String:equals | 2010-07-16 16:14:15 |
| U |
unanalyzed | call on java.lang.String:substring | 2010-07-16 16:14:15 |
| U |
unanalyzed | call on java.text.SimpleDateFormat | 2010-07-16 16:14:15 |
| U |
unanalyzed | call on java.text.SimpleDateFormat:parse | 2010-07-16 16:14:15 |
| U |
unanalyzed | call on javax.xml.parsers.DocumentBuilder:parse | 2010-07-16 16:14:15 |
| U |
unanalyzed | call on javax.xml.parsers.DocumentBuilder:setErrorH andler | 2010-07-16 16:14:15 |
| U |
unanalyzed | call on javax.xml.parsers.DocumentBuilderFactory:ne wDocumentBuilder | 2010-07-16 16:14:15 |
| U |
unanalyzed | call on javax.xml.parsers.DocumentBuilderFactory:ne wInstance | 2010-07-16 16:14:15 |
| U |
unanalyzed | call on javax.xml.parsers.DocumentBuilderFactory:se tIgnoringComments | 2010-07-16 16:14:15 |
| U |
unanalyzed | call on javax.xml.parsers.DocumentBuilderFactory:se tIgnoringElementContentWhitespace | 2010-07-16 16:14:15 |
| U |
unanalyzed | call on javax.xml.parsers.DocumentBuilderFactory:se tNamespaceAware | 2010-07-16 16:14:15 |
| U |
unanalyzed | call on javax.xml.parsers.DocumentBuilderFactory:se tValidating | 2010-07-16 16:14:15 |
| U |
unanalyzed | call on net.sourceforge.pebble.domain.BlogEntry | 2010-07-16 16:14:15 |
| U |
unanalyzed | call on net.sourceforge.pebble.domain. BlogEntry:setBody | 2010-07-16 16:14:15 |
| U |
unanalyzed | call on net.sourceforge.pebble.domain. BlogEntry:setDate | 2010-07-16 16:14:15 |
| U |
unanalyzed | call on net.sourceforge.pebble.domain. BlogEntry:setTitle | 2010-07-16 16:14:15 |
| U |
unanalyzed | call on net.sourceforge.pebble.domain.BlogService | 2010-07-16 16:14:15 |
| U |
unanalyzed | call on net.sourceforge.pebble.domain. BlogService:putBlogEntry | 2010-07-16 16:14:15 |
| U |
unanalyzed | call on org.w3c.dom.Document:getDocumentElement | 2010-07-16 16:14:15 |
| U |
unanalyzed | call on org.w3c.dom.NamedNodeMap:getNamedItem | 2010-07-16 16:14:15 |
| U |
unanalyzed | call on org.w3c.dom.Node:getAttributes | 2010-07-16 16:14:15 |
| U |
unanalyzed | call on org.w3c.dom.Node:getChildNodes | 2010-07-16 16:14:15 |
| U |
unanalyzed | call on org.w3c.dom.Node:getNodeName | 2010-07-16 16:14:15 |
| U |
unanalyzed | call on org.w3c.dom.Node:getNodeValue | 2010-07-16 16:14:15 |
| U |
unanalyzed | call on org.w3c.dom.NodeList:getLength | 2010-07-16 16:14:15 |
| U |
unanalyzed | call on org.w3c.dom.NodeList:item | 2010-07-16 16:14:15 |