Messages

Last Msg First Msg

method | void net.sourceforge.pebble.domain.BlogService()

method | net.sourceforge.pebble.domain.BlogService__static_ init
post | init'ed(log)

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

method | BlogEntry getBlogEntry(Blog, String)
pre | blog != null
pre | (soft) net/sourceforge/pebble/dao/file/FileBlogEntr yDAO.log != null
presumption | org.apache.commons.logging.LogFactory:getLog(... )@57 != null
post | new BlogEntry(loadBlogEntry#2*) num objects <= 1
post | init'ed(new BlogEntry(loadBlogEntry#2*). attachment)
post | init'ed(new BlogEntry(loadBlogEntry#2*).date)
post | init'ed(new BlogEntry(loadBlogEntry#2*). eventsEnabled)
post | possibly_updated(new BlogEntry(loadBlogEntry#2*). id)
post | init'ed(new BlogEntry(loadBlogEntry#2*).lockedBy)
post | init'ed(new BlogEntry(loadBlogEntry#2*). originalPermalink)
post | init'ed(new BlogEntry(loadBlogEntry#2*).permalink)
post | init'ed(new BlogEntry(loadBlogEntry#2*). persistent)
post | init'ed(new BlogEntry(loadBlogEntry#2*). timeZoneId)
unanalyzed | call on java.io.File:exists
unanalyzed | call on java.io.File:getAbsolutePath
unanalyzed | call on org.apache.commons.logging.Log:debug
unanalyzed | call on java.lang.Exception:getMessage
unanalyzed | call on java.lang.String:valueOf
unanalyzed | call on org.apache.commons.logging.Log:error
unanalyzed | call on java.lang.Exception:printStackTrace
unanalyzed | call on net.sourceforge.pebble.domain.Blog:getRoot
unanalyzed | call on java.io.File
unanalyzed | call on java.text.SimpleDateFormat
unanalyzed | call on java.text.DateFormat:setTimeZone
unanalyzed | call on java.lang.Long:parseLong
unanalyzed | call on java.util.Date
unanalyzed | call on java.text.DateFormat:format
unanalyzed | call on getComments
unanalyzed | call on java.util.EventObject
unanalyzed | call on net.sourceforge.pebble.domain.Blog:error
unanalyzed | call on java.lang.Exception
unanalyzed | call on net.sourceforge.pebble.domain.BlogEntry
unanalyzed | call on org.xml.sax.helpers.DefaultHandler
pre | init'ed(blog.id)
unanalyzed | call on net.sourceforge.pebble.domain. BlogEntry:getBlog
unanalyzed | call on net.sourceforge.pebble.domain. Blog:getTimeZone
pre | net.sourceforge.pebble.ContentCache__static_init. new ContentCache(ContentCache__static_init#1). cache != null
pre | (soft) net.sourceforge.pebble.domain.State__static_ init.new State(State__static_init#4).name != null
unanalyzed | call on java.text.SimpleDateFormat:setTimeZone
unanalyzed | call on net.sourceforge.pebble.domain. Blog:getLocale
pre | (soft) net.sourceforge.pebble.domain.State__static_ init.new State(State__static_init#5).name != null
pre | (soft) net/sourceforge/pebble/dao/DAOFactory. configuredFactory != null
unanalyzed | call on javax.xml.parsers.SAXParserFactory:newInsta nce
unanalyzed | call on javax.xml.parsers.SAXParserFactory:setValid ating
pre | (soft) net/sourceforge/pebble/dao/DAOFactory. configuredFactory.blogEntryDAO != null
unanalyzed | call on javax.xml.parsers.SAXParserFactory:setNames paceAware
unanalyzed | call on javax.xml.parsers.SAXParserFactory:newSAXPa rser
unanalyzed | call on javax.xml.parsers.SAXParser:parse
unanalyzed | call on java.beans.PropertyChangeSupport:fireProper tyChange
unanalyzed | call on java.util.Date:getTime
unanalyzed | call on java.util.ArrayList
presumption | blogEntry.blog@77 != null
unanalyzed | call on net.sourceforge.pebble.PebbleException
presumption | blogEntry.categories@70 != null
presumption | blogEntry.categories@77 != null
unanalyzed | call on java.util.List:add
presumption | blogEntry.categories@81 != null
unanalyzed | call on java.util.List:iterator
presumption | blogEntry.comments@70 != null
unanalyzed | call on java.util.List:addAll
presumption | blogEntry.comments@77 != null
unanalyzed | call on java.lang.String:equals
presumption | blogEntry.comments@81 != null
unanalyzed | call on java.util.Collections:sort
presumption | blogEntry.date@70 != null
unanalyzed | call on java.util.HashSet
presumption | blogEntry.date@77 != null
unanalyzed | call on setState
presumption | blogEntry.date@81 != null
unanalyzed | call on java.beans.PropertyChangeSupport
unanalyzed | call on java.beans.PropertyChangeSupport:addPropert yChangeListener
presumption | blogEntry.state@70 != null
presumption | blogEntry.state@77 != null
unanalyzed | call on java.util.LinkedList
presumption | blogEntry.state@81 != null
unanalyzed | call on setDate
post | return_value in Addr_Set{null,&new BlogEntry(clone#1)}
post | new ArrayList(BlogEntry#2) num objects == One-of{0, 1, new ArrayList(BlogEntry#2) num objects + 1}
post | new ArrayList(BlogEntry#2) num objects <= 2
post | new ArrayList(BlogEntry#3) num objects == One-of{0, 1, new ArrayList(BlogEntry#3) num objects + 1}
post | new ArrayList(BlogEntry#3) num objects <= 2
post | init'ed(new ArrayList(Content#1) num objects)
post | init'ed(new ArrayList(Content#3) num objects)
post | new ArrayList(parse#1) num objects <= 1
post | new Attachment(clone#1*) num objects <= 1
post | init'ed(new Attachment(clone#1*).size)
post | init'ed(new Attachment(clone#1*).type)
post | init'ed(new Attachment(clone#1*).url)
post | new BlogEntry(clone#1) num objects <= 1
post | init'ed(new BlogEntry(clone#1).attachment)
post | init'ed(new BlogEntry(clone#1).author)
post | init'ed(new BlogEntry(clone#1).blog)
post | init'ed(new BlogEntry(clone#1).body)
post | new BlogEntry(clone#1).categories == &new HashSet(BlogEntry#1)
post | new BlogEntry(clone#1).categories != null
post | new BlogEntry(clone#1).comments == &new ArrayList(BlogEntry#2)
post | new BlogEntry(clone#1).comments != null
post | init'ed(new BlogEntry(clone#1).commentsEnabled)
post | new BlogEntry(clone#1).date != null
post | new BlogEntry(clone#1).events == &new ArrayList(Content#1)
post | new BlogEntry(clone#1).events != null
post | new BlogEntry(clone#1).eventsEnabled == 1
post | init'ed(new BlogEntry(clone#1).excerpt)
post | new BlogEntry(clone#1).id != null
post | init'ed(new BlogEntry(clone#1).lockedBy)
post | init'ed(new BlogEntry(clone#1).originalPermalink)
post | init'ed(new BlogEntry(clone#1).permalink)
post | new BlogEntry(clone#1).persistent == 1
post | new BlogEntry(clone#1).propertyChangeEvents == &new ArrayList(Content#3)
post | new BlogEntry(clone#1).propertyChangeEvents != null
post | new BlogEntry(clone#1).propertyChangeSupport == &new PropertyChangeSupport(Content#2)
post | new BlogEntry(clone#1).propertyChangeSupport != null
post | new BlogEntry(clone#1).state != null
post | init'ed(new BlogEntry(clone#1).subtitle)
post | init'ed(new BlogEntry(clone#1).tags)
post | new BlogEntry(clone#1).tagsAsCommaSeparated != null
post | new BlogEntry(clone#1).tagsAsList == &new ArrayList(parse#1)
post | init'ed(new BlogEntry(clone#1).timeZoneId)
post | init'ed(new BlogEntry(clone#1).title)
post | new BlogEntry(clone#1).trackBacks == &new ArrayList(BlogEntry#3)
post | new BlogEntry(clone#1).trackBacks != null
post | init'ed(new BlogEntry(clone#1).trackBacksEnabled)
post | new BlogEntry(loadBlogEntry#2*).author == &""
post | new BlogEntry(loadBlogEntry#2*).blog == blog
post | new BlogEntry(loadBlogEntry#2*).blog != null
post | new BlogEntry(loadBlogEntry#2*).body == &""
post | new BlogEntry(loadBlogEntry#2*).categories == &new HashSet(BlogEntry#1)
post | new BlogEntry(loadBlogEntry#2*).comments == &new ArrayList(BlogEntry#2)
post | new BlogEntry(loadBlogEntry#2*).commentsEnabled == 1
post | new BlogEntry(loadBlogEntry#2*).events == &new ArrayList(Content#1)
post | new BlogEntry(loadBlogEntry#2*).excerpt == &""
post | new BlogEntry(loadBlogEntry#2*).propertyChangeEvent s == &new ArrayList(Content#3)
post | new BlogEntry(loadBlogEntry#2*).propertyChangeSuppo rt == &new PropertyChangeSupport(Content#2)
post | new BlogEntry(loadBlogEntry#2*).state == &net.sourceforge.pebble.domain.State__static_ init.new State(State__static_init#4)
post | new BlogEntry(loadBlogEntry#2*).subtitle == &""
post | new BlogEntry(loadBlogEntry#2*).tags == &""
post | new BlogEntry(loadBlogEntry#2*).tagsAsCommaSeparate d == &""
post | new BlogEntry(loadBlogEntry#2*).tagsAsList == &new LinkedList(PageBasedContent#1)
post | new BlogEntry(loadBlogEntry#2*).title == &""
post | new BlogEntry(loadBlogEntry#2*).trackBacks == &new ArrayList(BlogEntry#3)
post | new BlogEntry(loadBlogEntry#2*).trackBacksEnabled == 1
post | new Date(PageBasedContent#2) num objects == One-of{0, 1, new Date(PageBasedContent#2) num objects + 1}
post | new Date(PageBasedContent#2) num objects <= 2
post | new HashSet(BlogEntry#1) num objects == One-of{0, 1, new HashSet(BlogEntry#1) num objects + 1}
post | new HashSet(BlogEntry#1) num objects <= 2
post | new LinkedList(PageBasedContent#1) num objects == One-of{0, 1, new LinkedList(PageBasedContent#1) num objects + 1}
post | new LinkedList(PageBasedContent#1) num objects <= 2
post | init'ed(new PropertyChangeSupport(Content#2) num objects)
unanalyzed | call on getBlog
unanalyzed | call on getId
unanalyzed | call on getCompositeKeyForBlogEntry
unanalyzed | call on setEventsEnabled
unanalyzed | call on net.sf.ehcache.Cache:get
unanalyzed | call on net.sf.ehcache.Element:getValue
unanalyzed | call on net.sf.ehcache.Element
unanalyzed | call on net.sf.ehcache.Cache:put
unanalyzed | call on net.sourceforge.pebble.api.event. PebbleEvent
unanalyzed | call on getBlogEntry
unanalyzed | call on isApproved
unanalyzed | call on isRejected
unanalyzed | call on net.sourceforge.pebble.domain.Content
unanalyzed | call on getComment
unanalyzed | call on getState
unanalyzed | call on areEventsEnabled
unanalyzed | call on net.sourceforge.pebble.util. StringUtils:transformHTML
unanalyzed | call on net.sourceforge.pebble.domain. Blog:getCalendar
unanalyzed | call on java.util.Calendar:setTime
unanalyzed | call on java.util.Calendar:getTime
unanalyzed | call on java.lang.String:length
unanalyzed | call on net.sourceforge.pebble.domain. BlogEntry:addEvent
unanalyzed | call on net.sourceforge.pebble.domain. BlogEntry:getTitle
unanalyzed | call on net.sourceforge.pebble.domain.Response
unanalyzed | call on net.sourceforge.pebble.domain.TrackBack
unanalyzed | call on java.util.Set:contains
unanalyzed | call on java.util.Set:add
unanalyzed | call on net.sourceforge.pebble.util. StringUtils:filterHTML
unanalyzed | call on java.lang.String:startsWith
unanalyzed | call on net.sourceforge.pebble.domain.Comment
unanalyzed | call on java.lang.String:trim
unanalyzed | call on addComment
unanalyzed | call on java.util.List:contains
unanalyzed | call on java.util.Set:iterator
unanalyzed | call on java.lang.String:indexOf
unanalyzed | call on java.lang.String:replaceAll
unanalyzed | call on java.lang.String:toLowerCase
unanalyzed | call on java.lang.String:split
unanalyzed | call on getAllTags
unanalyzed | call on getTagsAsList
unanalyzed | call on addTrackBack
unanalyzed | call on java.util.Set:size
unanalyzed | call on java.util.Collections:reverse
unanalyzed | call on getRootCategory
unanalyzed | call on net.sourceforge.pebble.domain. Response:setState

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

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

| info | method not available | -- call on BlogEntryDAO getBlogEntryDAO()

| info | method not available | -- call on BlogEntry loadBlogEntry(Blog, String)

method | List getBlogEntries(Blog, int, int, int)
pre | blog != null
post | return_value == &new ArrayList(getBlogEntries#1 *)
post | new ArrayList(getBlogEntries#1*) num objects == 1
unanalyzed | call on getBlogEntryDAO
unanalyzed | call on getBlogEntry
unanalyzed | call on org.apache.commons.logging.Log:debug
unanalyzed | call on java.lang.String:valueOf
unanalyzed | call on java.util.List:iterator
unanalyzed | call on setPersistent
unanalyzed | call on setEventsEnabled
unanalyzed | call on java.util.ArrayList
unanalyzed | call on java.util.List:add
unanalyzed | call on loadBlogEntry
unanalyzed | call on clone
pre | blog.years != null
pre | day >= 1
pre | month in 1..12
unanalyzed | call on getConfiguredFactory
unanalyzed | call on getBlog
unanalyzed | call on getId
unanalyzed | call on getCompositeKeyForBlogEntry
unanalyzed | call on net.sourceforge.pebble.domain. BlogServiceException
unanalyzed | call on getBlogForMonth
unanalyzed | call on net.sf.ehcache.Cache:get
unanalyzed | call on net.sf.ehcache.Element:getValue
unanalyzed | call on net.sf.ehcache.Element
unanalyzed | call on net.sf.ehcache.Cache:put
unanalyzed | call on net.sourceforge.pebble.domain. Blog:getCalendar
unanalyzed | call on java.util.Calendar:set
unanalyzed | call on java.util.Calendar:getTime
unanalyzed | call on setDate
unanalyzed | call on net.sourceforge.pebble.domain.Month
unanalyzed | call on net.sourceforge.pebble.domain.TimePeriod
unanalyzed | call on java.util.Collections:sort
unanalyzed | call on java.lang.IllegalArgumentException
unanalyzed | call on getMonth
unanalyzed | call on java.util.Calendar:setTime
unanalyzed | call on java.util.Calendar:getActualMaximum
unanalyzed | call on getYear
unanalyzed | call on net.sourceforge.pebble.domain. Month:getBlog

Prev Msg Next Msg

+ |
| medium
| null dereference | check might fail: requires d != null

Prev Msg Next Msg

method | List getBlogEntries(Blog, int, int)
pre | blog != null
post | return_value == &new ArrayList(getBlogEntries#1 *)
post | new ArrayList(getBlogEntries#1*) num objects == 1
unanalyzed | call on getBlogEntryDAO
unanalyzed | call on getBlogEntry
unanalyzed | call on org.apache.commons.logging.Log:debug
unanalyzed | call on java.lang.String:valueOf
unanalyzed | call on java.util.List:iterator
unanalyzed | call on setPersistent
unanalyzed | call on setEventsEnabled
unanalyzed | call on java.util.ArrayList
unanalyzed | call on java.util.List:add
unanalyzed | call on loadBlogEntry
unanalyzed | call on clone
unanalyzed | call on java.lang.IllegalArgumentException
unanalyzed | call on java.util.List:addAll
pre | blog.years != null
pre | month in 1..12
presumption | m.dailyBlogs.length@104 <= 232-1
presumption | m.dailyBlogs@104 != null
unanalyzed | call on getConfiguredFactory
unanalyzed | call on getBlog
unanalyzed | call on getId
unanalyzed | call on getCompositeKeyForBlogEntry
unanalyzed | call on net.sourceforge.pebble.domain. BlogServiceException
unanalyzed | call on net.sf.ehcache.Cache:get
unanalyzed | call on net.sf.ehcache.Element:getValue
unanalyzed | call on net.sf.ehcache.Element
unanalyzed | call on net.sf.ehcache.Cache:put
unanalyzed | call on net.sourceforge.pebble.domain. Blog:getCalendar
unanalyzed | call on java.util.Calendar:set
unanalyzed | call on java.util.Calendar:getTime
unanalyzed | call on setDate
unanalyzed | call on net.sourceforge.pebble.domain.Month
unanalyzed | call on net.sourceforge.pebble.domain.TimePeriod
unanalyzed | call on java.util.Collections:sort
unanalyzed | call on getMonth
unanalyzed | call on java.util.Calendar:setTime
unanalyzed | call on java.util.Calendar:getActualMaximum
unanalyzed | call on getYear
unanalyzed | call on net.sourceforge.pebble.domain. Month:getBlog

Prev Msg Next Msg

+ |
| medium
| null dereference | check might fail: requires m != null

Prev Msg Next Msg

method | Collection getBlogEntries(Blog)
pre | blog != null
pre | net/sourceforge/pebble/dao/DAOFactory. configuredFactory != null
pre | net/sourceforge/pebble/dao/DAOFactory. configuredFactory.blogEntryDAO != null
pre | (soft) net/sourceforge/pebble/dao/file/FileBlogEntr yDAO.log != null
presumption | java.util.Iterator:next(...)@119 != null
post | new ArrayList(loadBlogEntries#1) num objects == 1
unanalyzed | call on java.io.File:exists
unanalyzed | call on java.io.File:getAbsolutePath
unanalyzed | call on org.apache.commons.logging.Log:debug
unanalyzed | call on java.lang.Exception:getMessage
unanalyzed | call on java.lang.String:valueOf
unanalyzed | call on org.apache.commons.logging.Log:error
unanalyzed | call on java.lang.Exception:printStackTrace
unanalyzed | call on net.sourceforge.pebble.domain.Blog:getRoot
unanalyzed | call on java.io.File
unanalyzed | call on java.util.EventObject
unanalyzed | call on net.sourceforge.pebble.domain.Blog:error
unanalyzed | call on java.lang.Exception
unanalyzed | call on org.xml.sax.helpers.DefaultHandler
unanalyzed | call on java.text.SimpleDateFormat
unanalyzed | call on net.sourceforge.pebble.domain. Blog:getTimeZone
unanalyzed | call on java.text.SimpleDateFormat:setTimeZone
unanalyzed | call on net.sourceforge.pebble.domain. Blog:getLocale
unanalyzed | call on javax.xml.parsers.SAXParserFactory:newInsta nce
unanalyzed | call on javax.xml.parsers.SAXParserFactory:setValid ating
unanalyzed | call on javax.xml.parsers.SAXParserFactory:setNames paceAware
unanalyzed | call on javax.xml.parsers.SAXParserFactory:newSAXPa rser
unanalyzed | call on javax.xml.parsers.SAXParser:parse
unanalyzed | call on java.util.ArrayList
unanalyzed | call on java.io.File:listFiles
unanalyzed | call on java.util.List:add
unanalyzed | call on java.beans.PropertyChangeSupport:fireProper tyChange
unanalyzed | call on java.util.Date:getTime
unanalyzed | call on net.sourceforge.pebble.PebbleException
unanalyzed | call on java.lang.String:equals
unanalyzed | call on java.util.HashSet
unanalyzed | call on setState
unanalyzed | call on java.beans.PropertyChangeSupport
unanalyzed | call on java.beans.PropertyChangeSupport:addPropert yChangeListener
unanalyzed | call on java.util.LinkedList
unanalyzed | call on java.util.Date
unanalyzed | call on setDate
test_vector | java.util.Iterator:hasNext(...)@119: {1}, {0}
post | (soft) return_value == &new ArrayList(loadBlogE ntries#1)
unanalyzed | call on getBlog
unanalyzed | call on net.sourceforge.pebble.api.event. PebbleEvent

| info | method not available | -- call on BlogEntryDAO getBlogEntryDAO()

| info | method not available | -- call on Collection loadBlogEntries(Blog)

method | List getBlogEntries(Blog, List)
pre | blogEntryIds != null
post | return_value == &new ArrayList(getBlogEntries#1 )
post | new ArrayList(getBlogEntries#1) num objects == 1
test_vector | java.util.Iterator:hasNext(...)@133: {1}, {0}

| info | call too complex - analysis skipped | -- call on BlogEntry getBlogEntry(Blog, String)

method | void putBlogEntry(BlogEntry)
pre | blogEntry != null
pre | blogEntry.blog != null
pre | net/sourceforge/pebble/dao/DAOFactory. configuredFactory != null
pre | init'ed(blogEntry.id)
pre | init'ed(blogEntry.persistent)
pre | (soft) init'ed(blogEntry.attachment)
pre | (soft) init'ed(blogEntry.attachment.size)
pre | (soft) init'ed(blogEntry.attachment.type)
pre | (soft) init'ed(blogEntry.attachment.url)
pre | (soft) init'ed(blogEntry.categories)
pre | (soft) init'ed(blogEntry.commentsEnabled)
pre | (soft) init'ed(blogEntry.excerpt)
pre | (soft) blogEntry.propertyChangeSupport != null
pre | (soft) init'ed(blogEntry.timeZoneId)
pre | (soft) init'ed(blogEntry.trackBacksEnabled)
pre | (soft) net/sourceforge/pebble/dao/DAOFactory. configuredFactory.blogEntryDAO != null
pre | (soft) blogEntry.date != null
pre | (soft) blogEntry.events != null
pre | (soft) blogEntry.propertyChangeEvents != null
presumption | blogEntry.comments@158 != null
presumption | java.util.Date:getTime(...)@157 <= 18_446_744_073_7 09_551_614
presumption | net/sourceforge/pebble/dao/file/FileBlogEntryDAO. log@152 != null
post | init'ed(blogEntry.date)
post | blogEntry.events != null
post | blogEntry.eventsEnabled == 1
post | init'ed(blogEntry.id)
post | possibly_updated(blogEntry.permalink)
post | blogEntry.persistent == 1
post | blogEntry.propertyChangeEvents == &new ArrayList(clearPropertyChangeEvents#1)
post | new ArrayList(clearEvents#1*) num objects >= 1
post | new ArrayList(clearPropertyChangeEvents#1) num objects == 1
post | new Date(putBlogEntry#1) num objects <= 1
unanalyzed | call on getBlog
unanalyzed | call on java.io.File:exists
unanalyzed | call on java.io.File:getAbsolutePath
unanalyzed | call on org.apache.commons.logging.Log:debug
unanalyzed | call on java.lang.Exception:getMessage
unanalyzed | call on java.lang.String:valueOf
unanalyzed | call on org.apache.commons.logging.Log:error
unanalyzed | call on java.lang.Exception:printStackTrace
unanalyzed | call on net.sourceforge.pebble.domain.Blog:getRoot
unanalyzed | call on java.io.File
unanalyzed | call on org.w3c.dom.Document:createTextNode
unanalyzed | call on org.w3c.dom.Document:createCDATASection
unanalyzed | call on java.text.SimpleDateFormat
unanalyzed | call on java.text.DateFormat:setTimeZone
unanalyzed | call on java.lang.Long:parseLong
unanalyzed | call on java.util.Date
unanalyzed | call on java.text.DateFormat:format
unanalyzed | call on net.sourceforge.pebble.domain. BlogEntry:getId
unanalyzed | call on java.io.File:mkdirs
unanalyzed | call on storeBlogEntry
unanalyzed | call on java.io.File:getParentFile
unanalyzed | call on java.io.File:getName
unanalyzed | call on javax.xml.parsers.DocumentBuilderFactory:ne wInstance
unanalyzed | call on javax.xml.parsers.DocumentBuilderFactory:se tValidating
unanalyzed | call on javax.xml.parsers.DocumentBuilderFactory:se tNamespaceAware
unanalyzed | call on javax.xml.parsers.DocumentBuilderFactory:se tIgnoringElementContentWhitespace
unanalyzed | call on javax.xml.parsers.DocumentBuilderFactory:se tIgnoringComments
unanalyzed | call on javax.xml.parsers.DocumentBuilderFactory:ne wDocumentBuilder
unanalyzed | call on javax.xml.parsers.DocumentBuilder:newDocume nt
unanalyzed | call on org.w3c.dom.Document:createElement
unanalyzed | call on org.w3c.dom.Document:appendChild
unanalyzed | call on org.w3c.dom.Element:appendChild
unanalyzed | call on java.util.Set:iterator
unanalyzed | call on getId
unanalyzed | call on java.text.SimpleDateFormat:setTimeZone
unanalyzed | call on java.text.SimpleDateFormat:format
unanalyzed | call on getComments
unanalyzed | call on java.util.List:iterator
unanalyzed | call on storeComment
unanalyzed | call on storeTrackBack
unanalyzed | call on java.io.StringWriter
unanalyzed | call on javax.xml.transform.dom.DOMSource
unanalyzed | call on javax.xml.transform.stream.StreamResult
unanalyzed | call on javax.xml.transform.TransformerFactory:newI nstance
unanalyzed | call on javax.xml.transform.TransformerFactory:newT ransformer
unanalyzed | call on javax.xml.transform.Transformer:setOutputPr operty
unanalyzed | call on javax.xml.transform.Transformer:transform
unanalyzed | call on java.io.File:length
unanalyzed | call on java.io.File:renameTo
unanalyzed | call on java.io.FileOutputStream
unanalyzed | call on java.io.OutputStreamWriter
unanalyzed | call on java.io.BufferedWriter
unanalyzed | call on java.io.StringWriter:getBuffer
unanalyzed | call on java.io.BufferedWriter:write
unanalyzed | call on java.io.BufferedWriter:flush
unanalyzed | call on java.io.BufferedWriter:close
unanalyzed | call on org.w3c.dom.Node:appendChild
unanalyzed | call on getTitle
unanalyzed | call on getBlogName
unanalyzed | call on getIpAddress
unanalyzed | call on getState
unanalyzed | call on getAuthor
unanalyzed | call on java.util.EventObject
unanalyzed | call on net.sourceforge.pebble.api.event. PebbleEvent
unanalyzed | call on hasEvents
unanalyzed | call on nextEvent
unanalyzed | call on fireBlogEntryEvent
unanalyzed | call on getEventListenerList
unanalyzed | call on getType
unanalyzed | call on isVetoed
unanalyzed | call on blogEntryAdded
unanalyzed | call on blogEntryRemoved
unanalyzed | call on blogEntryChanged
unanalyzed | call on blogEntryPublished
unanalyzed | call on blogEntryUnpublished
unanalyzed | call on fireCommentEvent
unanalyzed | call on commentAdded
unanalyzed | call on java.util.SortedSet:remove
unanalyzed | call on getComment
unanalyzed | call on getBlogEntry
unanalyzed | call on getResponseIndex
unanalyzed | call on net.sourceforge.pebble.domain. Blog:getIndexesDirectory
unanalyzed | call on java.io.FileWriter
unanalyzed | call on java.io.BufferedWriter:newLine
unanalyzed | call on getGuid
unanalyzed | call on java.util.List:contains
unanalyzed | call on java.util.List:remove
unanalyzed | call on commentRemoved
unanalyzed | call on net.sourceforge.pebble.util. SecurityUtils:getUsername
unanalyzed | call on org.apache.commons.logging.Log:info
unanalyzed | call on commentApproved
unanalyzed | call on commentRejected
unanalyzed | call on fireTrackBackEvent
unanalyzed | call on trackBackAdded
unanalyzed | call on getTrackBack
unanalyzed | call on trackBackRemoved
unanalyzed | call on isApproved
unanalyzed | call on java.util.SortedSet:add
unanalyzed | call on isPending
unanalyzed | call on isRejected
unanalyzed | call on getPluginProperties
unanalyzed | call on java.lang.String:trim
unanalyzed | call on java.lang.String:length
unanalyzed | call on addIpAddress
unanalyzed | call on removeIpAddress
unanalyzed | call on java.lang.String:split
unanalyzed | call on java.lang.String:equals
unanalyzed | call on isListed
unanalyzed | call on java.util.List:add
unanalyzed | call on java.util.Collections:sort
unanalyzed | call on trackBackApproved
unanalyzed | call on trackBackRejected
unanalyzed | call on net.sourceforge.pebble.domain.Blog:error
unanalyzed | call on java.lang.Exception
unanalyzed | call on java.beans.PropertyChangeSupport:fireProper tyChange
unanalyzed | call on java.util.Date:getTime
unanalyzed | call on java.util.ArrayList
unanalyzed | call on net.sourceforge.pebble.PebbleException
unanalyzed | call on java.util.HashSet
unanalyzed | call on net.sourceforge.pebble.domain. Blog:getTimeZoneId
unanalyzed | call on java.util.List:addAll
unanalyzed | call on java.util.ArrayList:isEmpty
unanalyzed | call on java.util.ArrayList:clone
unanalyzed | call on java.util.List:isEmpty
unanalyzed | call on net.sourceforge.pebble.api.event.comment. CommentEvent:getSource
unanalyzed | call on net.sourceforge.pebble.api.event.trackback. TrackBackEvent:getSource
pre | blogEntry.comments != null
pre | init'ed(blogEntry.trackBacks)
pre | (soft) init'ed(blogEntry.author)
pre | (soft) init'ed(blogEntry.body)
pre | (soft) init'ed(blogEntry.originalPermalink)
pre | (soft) blogEntry.state != null
pre | (soft) init'ed(blogEntry.state.name)
pre | (soft) init'ed(blogEntry.subtitle)
pre | (soft) init'ed(blogEntry.tags)
pre | (soft) init'ed(blogEntry.title)
pre | (soft) net.sourceforge.pebble.ContentCache__static_ init.new ContentCache(ContentCache__static_init#1). cache != null
presumption | getBlog(...).eventDispatcher@152 != null
presumption | getEventDispatcher(...).eventListenerList. blogEntryListeners@152 != null
presumption | getEventDispatcher(...).eventListenerList. commentListeners@152 != null
presumption | getEventDispatcher(...).eventListenerList. trackBackListeners@152 != null
presumption | getEventDispatcher(...).eventListenerList@152 != null
unanalyzed | call on getBlogEntryListeners
unanalyzed | call on getCommentListeners
unanalyzed | call on getTrackBackListeners
unanalyzed | call on getCompositeKeyForBlogEntry
unanalyzed | call on net.sf.ehcache.Cache:remove
unanalyzed | call on unindex
unanalyzed | call on blogEntryResponseApproved
unanalyzed | call on index
unanalyzed | call on net.sourceforge.pebble.PluginProperties:get Property
unanalyzed | call on net.sourceforge.pebble.PluginProperties:set Property
unanalyzed | call on net.sourceforge.pebble.PluginProperties:sto re
test_vector | blogEntry.persistent: {1}, {0}
test_vector | getBlogEntry(...)@152: Addr_Set{null}, Inverse{null}
test_vector | java.util.Iterator:hasNext(...)@164: {1}, {0}

| info | method not available | -- call on BlogEntryDAO getBlogEntryDAO()

| info | call too complex - analysis skipped | -- call on BlogEntry getBlogEntry(Blog, String)

| info | call too complex - analysis skipped | -- call on void putBlogEntry(BlogEntry)

| info | method not available | -- call on void storeBlogEntry(BlogEntry)

| info | method not available | -- call on void storeBlogEntry(BlogEntry)

| info | method not available | -- call on void storeBlogEntry(BlogEntry)

method | void removeBlogEntry(BlogEntry)
pre | blogEntry != null
pre | blogEntry.blog != null
pre | blogEntry.comments != null
pre | blogEntry.events != null
pre | init'ed(blogEntry.id)
pre | init'ed(blogEntry.trackBacks)
pre | net/sourceforge/pebble/dao/DAOFactory. configuredFactory != null
pre | net/sourceforge/pebble/dao/DAOFactory. configuredFactory.blogEntryDAO != null
pre | net/sourceforge/pebble/dao/file/FileBlogEntryDAO. log != null
post | blogEntry.persistent == 0
unanalyzed | call on getBlog
unanalyzed | call on org.apache.commons.logging.Log:debug
unanalyzed | call on java.lang.String:valueOf
unanalyzed | call on net.sourceforge.pebble.domain.Blog:getRoot
unanalyzed | call on java.io.File
unanalyzed | call on java.text.SimpleDateFormat
unanalyzed | call on java.text.DateFormat:setTimeZone
unanalyzed | call on java.lang.Long:parseLong
unanalyzed | call on java.util.Date
unanalyzed | call on java.text.DateFormat:format
unanalyzed | call on net.sourceforge.pebble.domain. BlogEntry:getId
unanalyzed | call on getTitle
unanalyzed | call on getBlogName
unanalyzed | call on getIpAddress
unanalyzed | call on getAuthor
unanalyzed | call on java.util.EventObject
unanalyzed | call on net.sourceforge.pebble.api.event. PebbleEvent
unanalyzed | call on hasEvents
unanalyzed | call on nextEvent
unanalyzed | call on fireBlogEntryEvent
unanalyzed | call on getEventListenerList
unanalyzed | call on java.util.List:iterator
unanalyzed | call on getType
unanalyzed | call on isVetoed
unanalyzed | call on blogEntryAdded
unanalyzed | call on blogEntryRemoved
unanalyzed | call on blogEntryChanged
unanalyzed | call on blogEntryPublished
unanalyzed | call on blogEntryUnpublished
unanalyzed | call on fireCommentEvent
unanalyzed | call on commentAdded
unanalyzed | call on java.util.SortedSet:remove
unanalyzed | call on getComment
unanalyzed | call on getBlogEntry
unanalyzed | call on getResponseIndex
unanalyzed | call on net.sourceforge.pebble.domain. Blog:getIndexesDirectory
unanalyzed | call on org.apache.commons.logging.Log:error
unanalyzed | call on java.io.FileWriter
unanalyzed | call on java.io.BufferedWriter
unanalyzed | call on java.io.BufferedWriter:write
unanalyzed | call on java.io.BufferedWriter:newLine
unanalyzed | call on java.io.BufferedWriter:flush
unanalyzed | call on java.io.BufferedWriter:close
unanalyzed | call on getGuid
unanalyzed | call on java.util.List:contains
unanalyzed | call on java.util.List:remove
unanalyzed | call on commentRemoved
unanalyzed | call on net.sourceforge.pebble.util. SecurityUtils:getUsername
unanalyzed | call on org.apache.commons.logging.Log:info
unanalyzed | call on commentApproved
unanalyzed | call on commentRejected
unanalyzed | call on fireTrackBackEvent
unanalyzed | call on trackBackAdded
unanalyzed | call on getTrackBack
unanalyzed | call on trackBackRemoved
unanalyzed | call on isApproved
unanalyzed | call on java.util.SortedSet:add
unanalyzed | call on isPending
unanalyzed | call on isRejected
unanalyzed | call on getPluginProperties
unanalyzed | call on java.lang.String:trim
unanalyzed | call on java.lang.String:length
unanalyzed | call on addIpAddress
unanalyzed | call on removeIpAddress
unanalyzed | call on java.lang.String:split
unanalyzed | call on java.lang.String:equals
unanalyzed | call on isListed
unanalyzed | call on java.util.List:add
unanalyzed | call on java.util.Collections:sort
unanalyzed | call on trackBackApproved
unanalyzed | call on trackBackRejected
unanalyzed | call on net.sourceforge.pebble.domain.Blog:error
unanalyzed | call on java.lang.Exception
unanalyzed | call on java.lang.Exception:getMessage
unanalyzed | call on java.io.File:delete
unanalyzed | call on java.util.ArrayList
unanalyzed | call on net.sourceforge.pebble.PebbleException
unanalyzed | call on getComments
unanalyzed | call on java.util.List:addAll
unanalyzed | call on java.util.Date:getTime
unanalyzed | call on java.util.List:isEmpty
unanalyzed | call on net.sourceforge.pebble.api.event.comment. CommentEvent:getSource
unanalyzed | call on net.sourceforge.pebble.api.event.trackback. TrackBackEvent:getSource
unanalyzed | call on getId
pre | blogEntry.blog.eventDispatcher != null
pre | init'ed(blogEntry.blog.id)
pre | net.sourceforge.pebble.ContentCache__static_init. new ContentCache(ContentCache__static_init#1). cache != null
pre | (soft) blogEntry.blog.eventDispatcher. eventListenerList != null
pre | (soft) blogEntry.blog.eventDispatcher. eventListenerList.blogEntryListeners != null
pre | (soft) blogEntry.blog.eventDispatcher. eventListenerList.commentListeners != null
pre | (soft) blogEntry.blog.eventDispatcher. eventListenerList.trackBackListeners != null
unanalyzed | call on getBlogEntryListeners
unanalyzed | call on getCommentListeners
unanalyzed | call on getTrackBackListeners
unanalyzed | call on getCompositeKeyForBlogEntry
unanalyzed | call on net.sf.ehcache.Cache:remove
unanalyzed | call on unindex
unanalyzed | call on blogEntryResponseApproved
unanalyzed | call on index
unanalyzed | call on getState
unanalyzed | call on net.sourceforge.pebble.PluginProperties:get Property
unanalyzed | call on net.sourceforge.pebble.PluginProperties:set Property
unanalyzed | call on net.sourceforge.pebble.PluginProperties:sto re
test_vector | java.util.Iterator:hasNext(...)@215: {1}, {0}
test_vector | java.util.Iterator:hasNext(...)@218: {1}, {0}

Prev Msg Next Msg

| warning
| unused assignment | unused assignment into blog

Prev Msg Next Msg

| info | method not available | -- call on BlogEntryDAO getBlogEntryDAO()

| info | method not available | -- call on void removeBlogEntry(BlogEntry)

method | Response getResponse(Blog, String)
pre | responseId != null
presumption | blogEntry.comments@236 != null
presumption | java.lang.String:indexOf(...)@235 <= 232-2
post | init'ed(return_value)
unanalyzed | call on getComments
unanalyzed | call on java.util.ArrayList
unanalyzed | call on java.util.List:add
unanalyzed | call on java.util.List:iterator
unanalyzed | call on java.util.List:addAll
unanalyzed | call on java.util.Date:getTime
unanalyzed | call on getTrackBack
unanalyzed | call on java.lang.String:lastIndexOf
unanalyzed | call on java.lang.String:substring
unanalyzed | call on java.lang.Long:parseLong
unanalyzed | call on java.lang.String:startsWith
test_vector | getBlogEntry(...)@236: Addr_Set{null}, Inverse{null}

| info | call too complex - analysis skipped | -- call on BlogEntry getBlogEntry(Blog, String)