## pdfview.java

current inspection = 2010-07-22 15:04:21 (id #4) | base = 2010-07-16 16:14:15 (id #1)

Filter Options
History:
+ | added
- | dropped
U | unchanged
| Annotation Kind:
pre
presumption
post
unanalyzed
test

- + bool accept(File, String)

-/+ | Kind | Annotation Text | Date
--- | --- | --- | ---
+ | pre | name != null | 2010-07-22 12:56:56
+ | post | init'ed(return_value) | 2010-07-22 12:56:56
+ | test_vector | java.lang.String:endsWith(...)@192: {1}, {0} | 2010-07-22 12:56:56

- - void dispatch(HttpServletRequest, HttpServletResponse, ServletContext)

-/+ | Kind | Annotation Text | Date
--- | --- | --- | ---

- + void dispatch(HttpServletRequest, HttpServletResponse, ServletContext)

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

- long getContentLength()

-/+ | Kind | Annotation Text | Date
--- | --- | --- | ---
+ | pre | init'ed(this.length) | 2010-07-22 12:56:56
+ | post | init'ed(return_value) | 2010-07-22 12:56:56
+ | post | return_value == this.length | 2010-07-22 12:56:56

- String getContentType()

-/+ | Kind | Annotation Text | Date
--- | --- | --- | ---
+ | post | return_value == &"application.pdf" | 2010-07-22 12:56:56

- + void net.sourceforge.pebble.web.view.PdfView$1(PdfView)

-/+ | Kind | Annotation Text | Date
--- | --- | --- | ---

- + net.sourceforge.pebble.web.view.PdfView$1__static_init

-/+ | Kind | Annotation Text | Date
--- | --- | --- | ---

- void net.sourceforge.pebble.web.view.PdfView(BlogEntry, String)

-/+ | Kind | Annotation Text | Date
--- | --- | --- | ---
+ | post | init'ed(this.entry) | 2010-07-22 12:56:56
+ | post | init'ed(this.filename) | 2010-07-22 12:56:56
+ | post | this.entry == entry | 2010-07-22 12:56:56
+ | post | this.filename == filename | 2010-07-22 12:56:56
+ | post | this.length == 0 | 2010-07-22 12:56:56
+ | unanalyzed | call on net.sourceforge.pebble.web.view.View | 2010-07-22 12:56:56

- net.sourceforge.pebble.web.view.PdfView__static_init

-/+ | Kind | Annotation Text | Date
--- | --- | --- | ---
+ | post | init'ed(log) | 2010-07-22 12:56:56