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
    +prename != null2010-07-22 12:56:56
    +postinit'ed(return_value)2010-07-22 12:56:56
    +test_vectorjava.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 != null2010-07-22 12:56:56
    +pre(soft) response != null2010-07-22 12:56:56
    +pre(soft) this.entry != null2010-07-22 12:56:56
    +prelog != null2010-07-22 12:56:56
    +presumptionfiles[0]@187 != null2010-07-22 12:56:56
    +presumptionjava.io.File:listFiles(...)@187 != null2010-07-22 12:56:56
    +presumptionjava.util.Iterator:next(...)@157 != null2010-07-22 12:56:56
    +presumptionjavax.xml.parsers.DocumentBuilder:parse(...)@234 != null2010-07-22 12:56:56
    +presumptionjavax.xml.parsers.DocumentBuilderFactory:newDocumen tBuilder(...)@232 != null2010-07-22 12:56:56
    +presumptionjavax.xml.parsers.DocumentBuilderFactory:newInstanc e(...)@232 != null2010-07-22 12:56:56
    +presumptionnet.sourceforge.pebble.domain.BlogEntry:getAllTags( ...)@153 != null2010-07-22 12:56:56
    +presumptionnet.sourceforge.pebble.domain.BlogEntry:getBlog(... )@134 != null2010-07-22 12:56:56
    +presumptionnet.sourceforge.pebble.domain.BlogEntry:getBlog(... )@136 != null2010-07-22 12:56:56
    +presumptionnet.sourceforge.pebble.domain.BlogEntry:getBlog(... )@176 != null2010-07-22 12:56:56
    +presumptionnet.sourceforge.pebble.domain.BlogEntry:getBody(... )@133 != null2010-07-22 12:56:56
    +presumptionnet.sourceforge.pebble.domain.BlogEntry:getDate(... )@223 != null2010-07-22 12:56:56
    +presumptionnet.sourceforge.pebble.domain.BlogEntry:getUser(... )@130 != null2010-07-22 12:56:56
    +presumptionorg.xhtmlrenderer.pdf.ITextRenderer:getFontResolver (...)@199 != null2010-07-22 12:56:56
    +presumptionorg.xhtmlrenderer.pdf.TrueTypeUtil:getFamilyName(.. .)@204 != null2010-07-22 12:56:56
    +unanalyzedcall on java.lang.String:charAt2010-07-22 12:56:56
    +unanalyzedcall on java.lang.String:length2010-07-22 12:56:56
    +unanalyzedcall on java.lang.String:replaceAll2010-07-22 12:56:56
    +unanalyzedcall on java.util.Map:get2010-07-22 12:56:56
    +unanalyzedcall on java.util.Map:keySet2010-07-22 12:56:56
    +unanalyzedcall on java.util.Properties2010-07-22 12:56:56
    +unanalyzedcall on java.util.Properties:setProperty2010-07-22 12:56:56
    +unanalyzedcall on java.util.Set:iterator2010-07-22 12:56:56
    +unanalyzedcall on org.apache.commons.logging.Log:warn2010-07-22 12:56:56
    +unanalyzedcall on org.w3c.dom.Document:getDocumentElement2010-07-22 12:56:56
    +unanalyzedcall on org.w3c.dom.Element:getAttribute2010-07-22 12:56:56
    +unanalyzedcall on org.w3c.dom.Element:getElementsByTagName2010-07-22 12:56:56
    +unanalyzedcall on org.w3c.dom.NodeList:getLength2010-07-22 12:56:56
    +unanalyzedcall on org.w3c.dom.NodeList:item2010-07-22 12:56:56
    +test_vectorfiles.length@187: {0}, {1..+Inf}2010-07-22 12:56:56
    +test_vectorjava.io.File:isDirectory(...)@186: {0}, {1}2010-07-22 12:56:56
    +test_vectorjava.lang.String:equals(...)@158: {1}, {0}2010-07-22 12:56:56
    +test_vectorjava.lang.String:equals(...)@206: {1}, {0}2010-07-22 12:56:56
    +test_vectorjava.util.Iterator:hasNext(...)@156: {1}, {0}2010-07-22 12:56:56
    +test_vectorjava.util.Iterator:hasNext(...)@160: {0}, {1}2010-07-22 12:56:56

  • long getContentLength()

    • -/+ Kind Annotation Text Date
    +preinit'ed(this.length)2010-07-22 12:56:56
    +postinit'ed(return_value)2010-07-22 12:56:56
    +postreturn_value == this.length2010-07-22 12:56:56

  • String getContentType()

    • -/+ Kind Annotation Text Date
    +postreturn_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
    +postinit'ed(this.entry)2010-07-22 12:56:56
    +postinit'ed(this.filename)2010-07-22 12:56:56
    +postthis.entry == entry2010-07-22 12:56:56
    +postthis.filename == filename2010-07-22 12:56:56
    +postthis.length == 02010-07-22 12:56:56
    +unanalyzedcall on net.sourceforge.pebble.web.view.View2010-07-22 12:56:56

  • net.sourceforge.pebble.web.view.PdfView__static_init

    • -/+ Kind Annotation Text Date
    +postinit'ed(log)2010-07-22 12:56:56