| method | void dispatch(HttpServletRequest, HttpServletRespo nse, ServletContext) |
| pre | log != null |
| pre | (soft) init'ed(net.sourceforge.pebble. PebbleContext__static_init.new PebbleContext(Pebble Context__static_init#1).webApplicationRoot) |
| pre | (soft) net/sourceforge/pebble/web/listener/PebblePD FCreationListener.log != null |
| pre | (soft) response != null |
| pre | (soft) this.entry != null |
| pre | (soft) init'ed(this.filename) |
| presumption | files[0]@187 != null |
| presumption | java.io.File:listFiles(...)@187 != null |
| presumption | java.util.Iterator:next(...)@157 != null |
| presumption | javax.xml.parsers.DocumentBuilder:parse(...)@234 != null |
| presumption | javax.xml.parsers.DocumentBuilderFactory:newDocumen tBuilder(...)@232 != null |
| presumption | javax.xml.parsers.DocumentBuilderFactory:newInstanc e(...)@232 != null |
| presumption | net.sourceforge.pebble.domain.BlogEntry:getAllTags( ...)@153 != null |
| presumption | net.sourceforge.pebble.domain.BlogEntry:getBlog(... )@134 != null |
| presumption | net.sourceforge.pebble.domain.BlogEntry:getBlog(... )@136 != null |
| presumption | net.sourceforge.pebble.domain.BlogEntry:getBlog(... )@176 != null |
| presumption | net.sourceforge.pebble.domain.BlogEntry:getBody(... )@133 != null |
| presumption | net.sourceforge.pebble.domain.BlogEntry:getDate(... )@223 != null |
| presumption | net.sourceforge.pebble.domain.BlogEntry:getUser(... )@130 != null |
| presumption | org.xhtmlrenderer.pdf.ITextRenderer:getFontResolver (...)@199 != null |
| presumption | org.xhtmlrenderer.pdf.TrueTypeUtil:getFamilyName(.. .)@204 != null |
| unanalyzed | call on java.lang.String:length |
| unanalyzed | call on java.lang.String:charAt |
| unanalyzed | call on java.lang.String:replaceAll |
| unanalyzed | call on java.util.Map:keySet |
| unanalyzed | call on java.util.Set:iterator |
| unanalyzed | call on java.util.Map:get |
| unanalyzed | call on java.util.Properties |
| unanalyzed | call on org.w3c.dom.Document:getDocumentElement |
| unanalyzed | call on org.w3c.dom.Element:getElementsByTagName |
| unanalyzed | call on org.w3c.dom.NodeList:item |
| unanalyzed | call on org.w3c.dom.NodeList:getLength |
| unanalyzed | call on org.w3c.dom.Element:getAttribute |
| unanalyzed | call on java.util.Properties:setProperty |
| unanalyzed | call on org.apache.commons.logging.Log:warn |
| test_vector | files.length@187: {0}, {1..+Inf} |
| test_vector | java.io.File:isDirectory(...)@186: {0}, {1} |
| test_vector | java.lang.String:equals(...)@158: {1}, {0} |
| test_vector | java.lang.String:equals(...)@206: {1}, {0} |
| test_vector | java.util.Iterator:hasNext(...)@156: {1}, {0} |
| test_vector | java.util.Iterator:hasNext(...)@160: {0}, {1} |