Messages

Last Msg First Msg

method | net.sourceforge.pebble.web.view.PdfView__static_ init
post | init'ed(log)

method | net.sourceforge.pebble.web.view.PdfView$1__static_ init

method | void net.sourceforge.pebble.web.view. PdfView$1(PdfView)

method | void net.sourceforge.pebble.web.view. PdfView(BlogEntry, String)
post | this.entry == entry
post | init'ed(this.entry)
post | this.filename == filename
post | init'ed(this.filename)
post | this.length == 0
unanalyzed | call on net.sourceforge.pebble.web.view.View

| info | method not available | -- call on Log org.apache.commons.logging. LogFactory:getLog(Class)

method | String getContentType()
post | return_value == &"application.pdf"

method | long getContentLength()
pre | init'ed(this.length)
post | return_value == this.length
post | init'ed(return_value)

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}

| info | method not available | -- call on void org.xhtmlrenderer.pdf. ITextRenderer()

| info | method not available | -- call on PebbleUserDetails net.sourceforge. pebble.domain.BlogEntry:getUser()

| info | method not available | -- call on String net.sourceforge.pebble.domain. BlogEntry:getTitle()

| info | method not available | -- call on String net.sourceforge.pebble.domain. BlogEntry:getSubtitle()

| info | method not available | -- call on String net.sourceforge.pebble.domain. BlogEntry:getBody()

| info | method not available | -- call on Blog net.sourceforge.pebble.domain. BlogEntry:getBlog()
| info | method not available | -- call on String net.sourceforge.pebble.domain. Blog:getName()

| info | method not available | -- call on String net.sourceforge.pebble.domain. BlogEntry:getPermalink()

| info | method not available | -- call on Blog net.sourceforge.pebble.domain. BlogEntry:getBlog()
| info | method not available | -- call on String net.sourceforge.pebble.domain. Blog:getDescription()

| info | method not available | -- call on List net.sourceforge.pebble.domain. BlogEntry:getAllTags()

| info | method not available | -- call on Blog net.sourceforge.pebble.domain. BlogEntry:getBlog()
| info | method not available | -- call on String net.sourceforge.pebble.domain. Blog:getUrl()

method | bool accept(File, String)
pre | name != null
post | init'ed(return_value)
test_vector | java.lang.String:endsWith(...)@192: {1}, {0}

Prev Msg Next Msg

+ |
| warning
| unused assignment | unused assignment into fontFamilyName

Prev Msg Next Msg

| info | method not available | -- call on ITextFontResolver org.xhtmlrenderer.pdf. ITextRenderer:getFontResolver()
| info | method not available | -- call on void org.xhtmlrenderer.pdf. ITextFontResolver:addFont(String, String, bool)

| info | method not available | -- call on void org.apache.commons.logging. Log:info(Object)

| info | method not available | -- call on BaseFont com.lowagie.text.pdf. BaseFont:createFont(String, String, bool)

| info | method not available | -- call on String org.xhtmlrenderer.pdf. TrueTypeUtil:getFamilyName(BaseFont)

| info | method not available | -- call on void org.apache.commons.logging. Log:info(Object)

| info | method not available | -- call on Date net.sourceforge.pebble.domain. BlogEntry:getDate()

| info | method not available | -- call on void org.xml.sax.InputSource(InputStream )

| info | method not available | -- call on void org.xhtmlrenderer.pdf. ITextRenderer:setListener(PDFCreationListener)

| info | method not available | -- call on void org.xhtmlrenderer.pdf. ITextRenderer:setDocument(Document, String)

| info | method not available | -- call on void org.xhtmlrenderer.pdf. ITextRenderer:layout()

| info | method not available | -- call on void org.xhtmlrenderer.pdf. ITextRenderer:createPDF(OutputStream)

| info | method not available | -- call on void org.apache.commons.logging. Log:info(Object)

| info | method not available | -- call on void org.apache.commons.logging. Log:error(Object)

| info | method not available | -- call on void org.apache.commons.logging. Log:error(Object)

| info | method not available | -- call on void org.apache.commons.logging. Log:error(Object)

| info | method not available | -- call on void org.apache.commons.logging. Log:error(Object)

| info | method not available | -- call on void org.apache.commons.logging. Log:error(Object)