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 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

+

click for all messages in this file 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 <= 2³²-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

+

click for all messages in this file 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)

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

click for all messages in this file 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 <= 2³²-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)