Messages

Last Msg First Msg

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

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

method | void net.sourceforge.pebble.domain. BlogEntry(Blog)
post | this.author == &""
post | this.body == &""
post | this.excerpt == &""
post | this.subtitle == &""
post | this.tags == &""
post | this.tagsAsCommaSeparated == &""
post | this.title == &""
post | this.blog == blog
post | init'ed(this.blog)
post | this.categories == &new HashSet(BlogEntry#1)
post | this.comments == &new ArrayList(BlogEntry#2)
post | this.commentsEnabled == 1
post | this.trackBacksEnabled == 1
post | new ArrayList(BlogEntry#2) num objects == 1
post | new ArrayList(BlogEntry#3) num objects == 1
post | new ArrayList(Content#1) num objects == 1
post | new ArrayList(Content#3) num objects == 1
post | new Date(PageBasedContent#2) num objects == 1
post | new HashSet(BlogEntry#1) num objects == 1
post | new LinkedList(PageBasedContent#1) num objects == 1
post | new PropertyChangeSupport(Content#2) num objects == 1
post | init'ed(this.date)
post | this.events == &new ArrayList(Content#1)
post | init'ed(this.eventsEnabled)
post | possibly_updated(this.id)
post | init'ed(this.lockedBy)
post | this.permalink == null
post | init'ed(this.persistent)
post | this.propertyChangeEvents == &new ArrayList(Content#3)
post | this.propertyChangeSupport == &new PropertyChangeSupport(Content#2)
post | this.state == &net.sourceforge.pebble.domain. State__static_init.new State(State__static_init#4)
post | this.tagsAsList == &new LinkedList(PageBasedCon tent#1)
post | this.trackBacks == &new ArrayList(BlogEntry#3)
unanalyzed | call on java.beans.PropertyChangeSupport:fireProper tyChange
unanalyzed | call on net.sourceforge.pebble.api.event. PebbleEvent
unanalyzed | call on java.util.Date:getTime
unanalyzed | call on java.util.List:add
unanalyzed | call on java.lang.String:equals
unanalyzed | call on setState
unanalyzed | call on java.util.EventObject
unanalyzed | call on java.util.ArrayList
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

method | void setTitle(String)
pre | init'ed(this.title)
pre | this.propertyChangeSupport != null
post | this.permalink == null
post | this.title == newTitle
post | init'ed(this.title)
unanalyzed | call on java.beans.PropertyChangeSupport:fireProper tyChange

method | Set getCategories()
pre | init'ed(this.categories)
post | return_value == &new HashSet(getCategories#1)
post | new HashSet(getCategories#1) num objects == 1

method | List getAllTags()
pre | init'ed(this.categories)
pre | this.tagsAsList != null
pre | (soft) this.blog != null
presumption | java.util.Iterator:next(...)@144 != null
post | return_value == &new ArrayList(getAllTags#1)
post | new ArrayList(getAllTags#1) num objects == 1
unanalyzed | call on java.util.HashSet
pre | (soft) this.blog.rootCategory != null
unanalyzed | call on java.util.ArrayList
unanalyzed | call on java.util.List:addAll
test_vector | java.util.Iterator:hasNext(...)@148: {1}, {0}
pre | (soft) init'ed(this.blog.rootCategory...parent)
pre | (soft) init'ed(this.blog.rootCategory... tagsAsList)
test_vector | java.util.Iterator:hasNext(...)@158: {1}, {0}
test_vector | java.util.Iterator:hasNext(...)@167: {1}, {0}
test_vector | java.util.List:contains(...)@150: {1}, {0}
pre | (soft) init'ed(this.blog.rootCategory.parent)
test_vector | java.util.List:contains(...)@160: {1}, {0}
pre | (soft) init'ed(this.blog.rootCategory.tagsAsList)
test_vector | java.util.List:contains(...)@169: {1}, {0}
test_vector | java.util.Set:size(...)@141: {-231..0}, {1..232-1}

method | void addCategory(Category)
pre | (soft) this.categories != null
pre | (soft) this.propertyChangeSupport != null
test_vector | category: Addr_Set{null}, Inverse{null}
test_vector | java.util.Set:contains(...)@184: {1}, {0}

method | void removeAllCategories()
pre | this.categories != null
pre | this.propertyChangeSupport != null

method | void setCategories(Collection)
pre | (soft) this.categories != null
pre | (soft) this.propertyChangeSupport != null
test_vector | newCategories: Addr_Set{null}, Inverse{null}
test_vector | java.util.Iterator:hasNext(...)@210: {1}, {0}

method | bool inCategory(Category)
pre | (soft) category.id != null
pre | (soft) this.categories != null
presumption | java.util.Iterator:next(...)@228 != null
post | init'ed(return_value)
unanalyzed | call on java.lang.String:equals
test_vector | category: Addr_Set{null}, Inverse{null}
test_vector | java.util.Iterator:hasNext(...)@227: {1}, {0}

method | bool hasTag(String)
pre | (soft) this.blog != null
pre | (soft) init'ed(this.categories)
pre | (soft) this.tagsAsList != null
post | init'ed(return_value)
unanalyzed | call on java.util.HashSet
unanalyzed | call on java.util.List:add
unanalyzed | call on java.util.List:iterator
unanalyzed | call on java.util.Set:iterator
unanalyzed | call on java.util.ArrayList
unanalyzed | call on java.util.List:contains
unanalyzed | call on java.util.Set:size
unanalyzed | call on java.util.Collections:reverse
unanalyzed | call on getRootCategory
unanalyzed | call on java.util.Collections:sort
pre | (soft) this.blog.rootCategory != null
unanalyzed | call on java.lang.String:trim
unanalyzed | call on java.lang.String:toLowerCase
pre | (soft) init'ed(this.blog.rootCategory...parent)
unanalyzed | call on java.lang.String:replaceAll
pre | (soft) init'ed(this.blog.rootCategory... tagsAsList)
unanalyzed | call on java.util.List:addAll
test_vector | s: Addr_Set{null}, Inverse{null}
pre | (soft) init'ed(this.blog.rootCategory.parent)
pre | (soft) init'ed(this.blog.rootCategory.tagsAsList)

method | String getContent()
pre | init'ed(this.excerpt)
pre | (soft) init'ed(this.body)
post | return_value == One-of{this.excerpt, this.body}
post | (soft) init'ed(return_value)
test_vector | this.excerpt: Addr_Set{null}, Inverse{null}
test_vector | java.lang.String:length(...)@261: {0}, {1..232-1}

method | String getExcerpt()
pre | init'ed(this.excerpt)
post | return_value == this.excerpt
post | init'ed(return_value)

method | void setExcerpt(String)
pre | init'ed(this.excerpt)
pre | this.propertyChangeSupport != null
post | init'ed(this.excerpt)
test_vector | newExcerpt: Addr_Set{null}, Inverse{null}

method | Date getLastModified()
pre | this.comments != null
pre | init'ed(this.date)
pre | this.trackBacks != null
presumption | comment.date@300 != null
presumption | java.util.Iterator:next(...)@300 != null
presumption | java.util.Iterator:next(...)@308 != null
presumption | trackBack.date@308 != null
post | init'ed(return_value)
test_vector | java.util.Date:after(...)@301: {0}, {1}
test_vector | java.util.Date:after(...)@309: {0}, {1}
test_vector | java.util.Iterator:hasNext(...)@299: {1}, {0}
test_vector | java.util.Iterator:hasNext(...)@307: {1}, {0}

method | void setDate(Date)
pre | newDate != null
pre | init'ed(this.date)
pre | this.propertyChangeSupport != null
post | this.date == newDate
post | this.date != null
post | this.id != null
post | this.permalink == null
unanalyzed | call on java.beans.PropertyChangeSupport:fireProper tyChange
unanalyzed | call on java.util.Date:getTime

method | String getLocalPermalink()
pre | init'ed(this.permalink)
pre | (soft) this.blog != null
post | init'ed(return_value)
post | this.permalink == return_value
test_vector | this.permalink: Inverse{null}, Addr_Set{null}
test_vector | getPermalink(...)@338: Addr_Set{null}, Inverse{null}
test_vector | java.lang.String:length(...)@339: {0}, {1..232-1}
pre | (soft) net/sourceforge/pebble/domain/BlogManager. instance != null
pre | (soft) init'ed(net/sourceforge/pebble/domain/BlogMa nager.instance.multiBlog)
pre | (soft) init'ed(this.blog.id)
pre | (soft) this.blog.permalinkProvider != null
unanalyzed | call on java.lang.String:valueOf
unanalyzed | call on java.lang.String:indexOf
unanalyzed | call on net.sourceforge.pebble.PebbleContext:getIns tance
unanalyzed | call on net.sourceforge.pebble.PebbleContext:getCon figuration
unanalyzed | call on java.lang.String:length
unanalyzed | call on java.lang.String:substring

| info | method not available | -- call on String getPermalink(BlogEntry)

method | Attachment getAttachment()
pre | init'ed(this.attachment)
post | return_value == this.attachment
post | init'ed(return_value)

method | void setAttachment(Attachment)
pre | init'ed(this.attachment)
pre | this.propertyChangeSupport != null
post | this.attachment == newAttachment
post | init'ed(this.attachment)

method | bool isCommentsEnabled()
pre | init'ed(this.commentsEnabled)
post | return_value == this.commentsEnabled
post | init'ed(return_value)

method | void setCommentsEnabled(bool)
pre | init'ed(this.commentsEnabled)
pre | this.propertyChangeSupport != null
post | this.commentsEnabled == newCommentsEnabled
post | init'ed(this.commentsEnabled)

method | String getCommentsLink()
pre | init'ed(this.permalink)
pre | (soft) this.blog != null
post | return_value != null
post | init'ed(this.permalink)
unanalyzed | call on java.lang.String:valueOf
unanalyzed | call on java.lang.String:substring
unanalyzed | call on getUrl
unanalyzed | call on getPermalinkProvider
unanalyzed | call on java.lang.String:length
pre | (soft) net/sourceforge/pebble/domain/BlogManager. instance != null
pre | (soft) init'ed(net/sourceforge/pebble/domain/BlogMa nager.instance.multiBlog)
pre | (soft) init'ed(this.blog.id)
pre | (soft) this.blog.permalinkProvider != null
unanalyzed | call on java.lang.String:indexOf
unanalyzed | call on net.sourceforge.pebble.PebbleContext:getIns tance
unanalyzed | call on net.sourceforge.pebble.PebbleContext:getCon figuration
unanalyzed | call on getPermalink

method | bool isTrackBacksEnabled()
pre | init'ed(this.trackBacksEnabled)
post | return_value == this.trackBacksEnabled
post | init'ed(return_value)

method | void setTrackBacksEnabled(bool)
pre | init'ed(this.trackBacksEnabled)
pre | this.propertyChangeSupport != null
post | this.trackBacksEnabled == newTrackBacksEnabled
post | init'ed(this.trackBacksEnabled)

method | String getTrackBacksLink()
pre | (soft) net/sourceforge/pebble/domain/BlogManager. instance != null
pre | init'ed(this.permalink)
pre | (soft) init'ed(net/sourceforge/pebble/domain/BlogMa nager.instance.multiBlog)
pre | (soft) this.blog != null
pre | (soft) init'ed(this.blog.id)
post | return_value != null
post | init'ed(this.permalink)
pre | (soft) this.blog.permalinkProvider != null
unanalyzed | call on java.lang.String:valueOf
unanalyzed | call on java.lang.String:substring
unanalyzed | call on getUrl
unanalyzed | call on getPermalinkProvider
unanalyzed | call on java.lang.String:indexOf
unanalyzed | call on net.sourceforge.pebble.PebbleContext:getIns tance
unanalyzed | call on net.sourceforge.pebble.PebbleContext:getCon figuration
unanalyzed | call on java.lang.String:length
unanalyzed | call on getPermalink

method | String getTrackBackLink()
pre | (soft) net/sourceforge/pebble/domain/BlogManager. instance != null
pre | (soft) init'ed(net/sourceforge/pebble/domain/BlogMa nager.instance.multiBlog)
pre | (soft) init'ed(this.blog.id)
unanalyzed | call on java.lang.String:valueOf
unanalyzed | call on java.lang.String:indexOf
unanalyzed | call on net.sourceforge.pebble.PebbleContext:getIns tance
unanalyzed | call on net.sourceforge.pebble.PebbleContext:getCon figuration
unanalyzed | call on java.lang.String:length
unanalyzed | call on java.lang.String:substring
pre | this.blog != null
pre | init'ed(this.id)
presumption | net.sourceforge.pebble.trackback.TrackBackTokenMana ger:getInstance(...)@433 != null
post | return_value != null

| info | method not available | -- call on TrackBackTokenManager net.sourceforge. pebble.trackback.TrackBackTokenManager:getInstance( )
| info | method not available | -- call on String net.sourceforge.pebble.trackback. TrackBackTokenManager:generateToken()

method | List getResponses()
pre | this.comments != null
pre | init'ed(this.trackBacks)
post | return_value == &new ArrayList(getResponses#1)
post | new ArrayList(getResponses#1) num objects == 1
unanalyzed | call on java.util.ArrayList
unanalyzed | call on java.util.List:add
unanalyzed | call on getComments
unanalyzed | call on java.util.List:iterator
unanalyzed | call on java.util.List:addAll

method | List getComments()
pre | this.comments != null
presumption | java.util.Iterator:next(...)@460 != null
post | return_value == &new ArrayList(getComments#1)
post | new ArrayList(getComments#1) num objects == 1
unanalyzed | call on java.util.List:add
unanalyzed | call on getComments
unanalyzed | call on java.util.List:iterator
unanalyzed | call on java.util.ArrayList
unanalyzed | call on java.util.List:addAll
test_vector | java.util.Iterator:hasNext(...)@459: {1}, {0}

method | List getComments(Comment)
pre | comment != null
pre | init'ed(comment.comments)
presumption | java.util.Iterator:next(...)@471 != null
post | return_value == &new ArrayList(getComments#1)
post | new ArrayList(getComments#1) num objects == 1
unanalyzed | call on java.util.List:add
unanalyzed | call on getComments
unanalyzed | call on java.util.List:iterator
unanalyzed | call on java.util.ArrayList
unanalyzed | call on java.util.List:addAll
test_vector | java.util.Iterator:hasNext(...)@470: {1}, {0}

method | int getNumberOfComments()
pre | this.comments != null
post | init'ed(return_value)
unanalyzed | call on java.util.List:add
unanalyzed | call on getComments
unanalyzed | call on java.util.List:iterator
unanalyzed | call on java.util.ArrayList
unanalyzed | call on java.util.List:addAll

method | List getTrackBacks()
pre | init'ed(this.trackBacks)
post | return_value == &new ArrayList(getTrackBacks#1)
post | new ArrayList(getTrackBacks#1) num objects == 1

method | int getNumberOfTrackBacks()
pre | this.trackBacks != null
post | init'ed(return_value)

method | int getNumberOfResponses()
pre | this.comments != null
pre | init'ed(this.trackBacks)
post | init'ed(return_value)
unanalyzed | call on java.util.ArrayList
unanalyzed | call on java.util.List:add
unanalyzed | call on getComments
unanalyzed | call on java.util.List:iterator
unanalyzed | call on java.util.List:addAll
unanalyzed | call on java.util.Collections:sort

method | Comment createComment(String, String, String, String, String, String, Date, State)
post | return_value == &new Comment(createComment#1)
post | new ArrayList(Comment#1) num objects == 1
post | new ArrayList(Content#1) num objects == 1
unanalyzed | call on getState
post | new ArrayList(Content#3) num objects == 1
unanalyzed | call on areEventsEnabled
post | new Comment(createComment#1) num objects == 1
post | new PropertyChangeSupport(Content#2) num objects == 1
unanalyzed | call on net.sourceforge.pebble.domain.Content
post | init'ed(return_value.authenticated)
post | return_value.author == One-of{&"Anonymous", author}
post | return_value.author != null
post | return_value.blogEntry == this
post | return_value.blogEntry != null
post | return_value.body == One-of{null, body}
post | init'ed(return_value.body)
post | return_value.comments == &new ArrayList(Comment #1)
post | init'ed(return_value.date)
post | init'ed(return_value.email)
unanalyzed | call on getBlogEntry
post | return_value.events == &new ArrayList(Content#1 )
post | init'ed(return_value.eventsEnabled)
post | return_value.ipAddress == One-of{null, ipAddress}
post | init'ed(return_value.ipAddress)
post | return_value.propertyChangeEvents == &new ArrayList(Content#3)
post | return_value.propertyChangeSupport == &new PropertyChangeSupport(Content#2)
post | init'ed(return_value.spamScore)
unanalyzed | call on net.sourceforge.pebble.domain.Response
post | possibly_updated(return_value.state)
post | possibly_updated(return_value.title)
post | init'ed(return_value.website)
unanalyzed | call on net.sourceforge.pebble.api.event. PebbleEvent
unanalyzed | call on java.lang.String:equals
unanalyzed | call on java.util.EventObject
unanalyzed | call on java.util.ArrayList
unanalyzed | call on java.beans.PropertyChangeSupport
unanalyzed | call on java.beans.PropertyChangeSupport:addPropert yChangeListener
unanalyzed | call on java.lang.String:length
unanalyzed | call on net.sourceforge.pebble.util. StringUtils:filterHTML
unanalyzed | call on java.lang.String:startsWith
unanalyzed | call on net.sourceforge.pebble.util. StringUtils:transformHTML
unanalyzed | call on isApproved
unanalyzed | call on isRejected
unanalyzed | call on java.util.Date
unanalyzed | call on net.sourceforge.pebble.domain. BlogEntry:getBlog
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 setState
unanalyzed | call on net.sourceforge.pebble.domain. Response:setState
unanalyzed | call on net.sourceforge.pebble.domain. BlogEntry:addEvent
unanalyzed | call on net.sourceforge.pebble.domain. BlogEntry:getTitle

method | Comment createComment(String, String, String, String, String, String)
pre | this.blog != null
presumption | net.sourceforge.pebble.domain.Blog:getCalendar(... )@544 != null
post | return_value == &new Comment(createComment#1*)
post | new ArrayList(Comment#1) num objects == 1
post | new ArrayList(Content#1) num objects == 1
post | new ArrayList(Content#3) num objects == 1
post | new Comment(createComment#1*) num objects == 1
post | new PropertyChangeSupport(Content#2) num objects == 1
unanalyzed | call on getState
unanalyzed | call on areEventsEnabled
post | init'ed(return_value.authenticated)
post | return_value.author == One-of{&"Anonymous", author}
post | return_value.author != null
post | return_value.blogEntry == this
unanalyzed | call on net.sourceforge.pebble.domain.Content
post | return_value.blogEntry != null
post | return_value.body == One-of{null, body}
post | init'ed(return_value.body)
post | return_value.comments == &new ArrayList(Comment #1)
post | init'ed(return_value.date)
post | init'ed(return_value.email)
post | return_value.events == &new ArrayList(Content#1 )
post | init'ed(return_value.eventsEnabled)
post | return_value.ipAddress == One-of{null, ipAddress}
post | init'ed(return_value.ipAddress)
unanalyzed | call on getBlogEntry
post | return_value.propertyChangeEvents == &new ArrayList(Content#3)
post | return_value.propertyChangeSupport == &new PropertyChangeSupport(Content#2)
post | init'ed(return_value.spamScore)
post | possibly_updated(return_value.state)
post | possibly_updated(return_value.title)
post | init'ed(return_value.website)
unanalyzed | call on net.sourceforge.pebble.domain.Response
unanalyzed | call on net.sourceforge.pebble.api.event. PebbleEvent
unanalyzed | call on java.lang.String:equals
unanalyzed | call on java.util.EventObject
unanalyzed | call on java.util.ArrayList
unanalyzed | call on java.beans.PropertyChangeSupport
unanalyzed | call on java.beans.PropertyChangeSupport:addPropert yChangeListener
unanalyzed | call on java.lang.String:length
unanalyzed | call on net.sourceforge.pebble.util. StringUtils:filterHTML
unanalyzed | call on java.lang.String:startsWith
unanalyzed | call on net.sourceforge.pebble.util. StringUtils:transformHTML
unanalyzed | call on isApproved
unanalyzed | call on isRejected
unanalyzed | call on java.util.Date
unanalyzed | call on net.sourceforge.pebble.domain. BlogEntry:getBlog
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 setState
unanalyzed | call on net.sourceforge.pebble.domain. Response:setState
unanalyzed | call on net.sourceforge.pebble.domain. BlogEntry:addEvent
unanalyzed | call on net.sourceforge.pebble.domain. BlogEntry:getTitle

| info | method not available | -- call on Calendar net.sourceforge.pebble.domain. Blog:getCalendar()

method | void addComment(Comment)
pre | (soft) comment...date != null
pre | (soft) comment.blogEntry != null
pre | (soft) comment.date != null
pre | (soft) init'ed(comment.parent)
pre | (soft) this.comments != null
pre | (soft) this.events != null
pre | (soft) init'ed(this.eventsEnabled)
presumption | getParent(...).date@558 != null
presumption | java.util.Calendar:getTime(...)@187 != null
presumption | java.util.Date:getTime(...)@562 <= 18_446_744_073_7 09_551_614
presumption | parent.comments@568 != null
post | (soft) comment.blogEntry != null
post | possibly_updated(comment.date)
post | possibly_updated(comment.eventsEnabled)
post | init'ed(comment.parent)
unanalyzed | call on getComment
unanalyzed | call on java.util.Date:getTime
unanalyzed | call on java.util.Date
unanalyzed | call on addComment
unanalyzed | call on java.util.List:add
unanalyzed | call on getComments
unanalyzed | call on java.util.List:iterator
unanalyzed | call on java.util.ArrayList
unanalyzed | call on java.util.List:addAll
unanalyzed | call on java.util.EventObject
unanalyzed | call on net.sourceforge.pebble.domain. BlogEntry:getBlog
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.util.List:contains
test_vector | comment: Inverse{null}, Addr_Set{null}
test_vector | comment.parent: Addr_Set{null}, Inverse{null}
test_vector | this.eventsEnabled: {0}, {1}

Prev Msg Next Msg

| medium
| null dereference | check might fail: requires getDate(...) != null

Prev Msg Next Msg

Prev Msg Next Msg

| medium
| precondition failure | net/sourceforge/pebble/domain/Response.getId: this.date != null

Prev Msg Next Msg

method | TrackBack createTrackBack(String, String, String, String, String, Date, State)
post | return_value == &new TrackBack(createTrackBack# 1)
unanalyzed | call on getState
post | new ArrayList(Content#1) num objects == 1
unanalyzed | call on areEventsEnabled
post | new ArrayList(Content#3) num objects == 1
post | new PropertyChangeSupport(Content#2) num objects == 1
post | new TrackBack(createTrackBack#1) num objects == 1
unanalyzed | call on net.sourceforge.pebble.domain.Content
post | return_value.blogEntry == this
post | return_value.blogEntry != null
post | return_value.blogName == One-of{blogName, &""}
post | return_value.blogName != null
post | init'ed(return_value.date)
post | return_value.events == &new ArrayList(Content#1 )
post | init'ed(return_value.eventsEnabled)
post | return_value.excerpt == One-of{excerpt, &""}
post | return_value.excerpt != null
unanalyzed | call on getBlogEntry
post | return_value.ipAddress == One-of{null, ipAddress}
post | init'ed(return_value.ipAddress)
post | return_value.propertyChangeEvents == &new ArrayList(Content#3)
post | return_value.propertyChangeSupport == &new PropertyChangeSupport(Content#2)
post | init'ed(return_value.spamScore)
post | possibly_updated(return_value.state)
post | possibly_updated(return_value.title)
post | return_value.url == url
post | init'ed(return_value.url)
unanalyzed | call on net.sourceforge.pebble.api.event. PebbleEvent
unanalyzed | call on java.lang.String:equals
unanalyzed | call on java.util.EventObject
unanalyzed | call on java.util.ArrayList
unanalyzed | call on java.beans.PropertyChangeSupport
unanalyzed | call on java.beans.PropertyChangeSupport:addPropert yChangeListener
unanalyzed | call on java.lang.String:length
unanalyzed | call on isApproved
unanalyzed | call on isRejected
unanalyzed | call on net.sourceforge.pebble.util. StringUtils:transformHTML
unanalyzed | call on java.util.Date
unanalyzed | call on net.sourceforge.pebble.domain. BlogEntry:getBlog
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 setState
unanalyzed | call on net.sourceforge.pebble.domain. Response:setState
unanalyzed | call on net.sourceforge.pebble.domain. BlogEntry:addEvent
unanalyzed | call on net.sourceforge.pebble.domain. BlogEntry:getTitle

method | TrackBack createTrackBack(String, String, String, String, String)
pre | this.blog != null
presumption | net.sourceforge.pebble.domain.Blog:getCalendar(... )@614 != null
post | return_value == &new TrackBack(createTrackBack# 1*)
post | new ArrayList(Content#1) num objects == 1
unanalyzed | call on getState
post | new ArrayList(Content#3) num objects == 1
unanalyzed | call on areEventsEnabled
post | new PropertyChangeSupport(Content#2) num objects == 1
post | new TrackBack(createTrackBack#1*) num objects == 1
post | return_value.blogEntry == this
post | return_value.blogEntry != null
unanalyzed | call on net.sourceforge.pebble.domain.Content
post | return_value.blogName == One-of{blogName, &""}
post | return_value.blogName != null
post | init'ed(return_value.date)
post | return_value.events == &new ArrayList(Content#1 )
post | init'ed(return_value.eventsEnabled)
post | return_value.excerpt == One-of{excerpt, &""}
post | return_value.excerpt != null
post | return_value.ipAddress == One-of{null, ipAddress}
post | init'ed(return_value.ipAddress)
unanalyzed | call on getBlogEntry
post | return_value.propertyChangeEvents == &new ArrayList(Content#3)
post | return_value.propertyChangeSupport == &new PropertyChangeSupport(Content#2)
post | init'ed(return_value.spamScore)
post | possibly_updated(return_value.state)
post | possibly_updated(return_value.title)
post | return_value.url == url
post | init'ed(return_value.url)
unanalyzed | call on net.sourceforge.pebble.api.event. PebbleEvent
unanalyzed | call on java.lang.String:equals
unanalyzed | call on java.util.EventObject
unanalyzed | call on java.util.ArrayList
unanalyzed | call on java.beans.PropertyChangeSupport
unanalyzed | call on java.beans.PropertyChangeSupport:addPropert yChangeListener
unanalyzed | call on java.lang.String:length
unanalyzed | call on isApproved
unanalyzed | call on isRejected
unanalyzed | call on net.sourceforge.pebble.util. StringUtils:transformHTML
unanalyzed | call on java.util.Date
unanalyzed | call on net.sourceforge.pebble.domain. BlogEntry:getBlog
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 setState
unanalyzed | call on net.sourceforge.pebble.domain. Response:setState
unanalyzed | call on net.sourceforge.pebble.domain. BlogEntry:addEvent
unanalyzed | call on net.sourceforge.pebble.domain. BlogEntry:getTitle

| info | method not available | -- call on Calendar net.sourceforge.pebble.domain. Blog:getCalendar()

method | void addTrackBack(TrackBack)
pre | (soft) this.events != null
pre | (soft) init'ed(this.eventsEnabled)
pre | (soft) this.trackBacks != null
post | possibly_updated(trackBack.eventsEnabled)
unanalyzed | call on net.sourceforge.pebble.api.event. PebbleEvent
unanalyzed | call on java.util.List:add
unanalyzed | call on java.util.EventObject
test_vector | this.eventsEnabled: {0}, {1}
test_vector | trackBack: Addr_Set{null}, Inverse{null}
test_vector | java.util.List:contains(...)@624: {0}, {1}

method | void removeComment(long)
unanalyzed | call on areEventsEnabled
unanalyzed | call on getBlogEntry
pre | (soft) log != null
pre | (soft) this.comments != null
pre | (soft) this.events != null
pre | (soft) init'ed(this.eventsEnabled)
presumption | child.blogEntry@646 != null
presumption | child.comments@646 != null
presumption | comment.blogEntry@646 != null
presumption | comment.blogEntry@647 != null
presumption | comment.comments@646 != null
presumption | comment.comments@647 != null
presumption | getParent(...).blogEntry@646 != null
presumption | getParent(...).blogEntry@647 != null
presumption | getParent(...).comments@646 != null
presumption | getParent(...).comments@647 != null
unanalyzed | call on java.util.List:add
unanalyzed | call on getComments
unanalyzed | call on java.util.List:iterator
unanalyzed | call on removeComment
unanalyzed | call on java.util.ArrayList
unanalyzed | call on java.util.List:addAll
unanalyzed | call on java.util.EventObject
unanalyzed | call on java.util.Date:getTime
unanalyzed | call on java.util.List:contains
unanalyzed | call on java.util.List:remove
unanalyzed | call on net.sourceforge.pebble.domain. BlogEntry:addEvent
test_vector | java.util.Iterator:hasNext(...)@646: {1}, {0}

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

method | Comment getComment(long)
pre | this.comments != null
presumption | comment.date@673 != null
presumption | java.util.Iterator:next(...)@673 != null
post | init'ed(return_value)
unanalyzed | call on java.util.List:add
unanalyzed | call on getComments
unanalyzed | call on java.util.List:iterator
unanalyzed | call on java.util.ArrayList
unanalyzed | call on java.util.List:addAll
unanalyzed | call on java.util.Date:getTime
test_vector | java.util.Iterator:hasNext(...)@672: {1}, {0}

method | TrackBack getTrackBack(long)
pre | init'ed(this.trackBacks)
presumption | java.util.Iterator:next(...)@690 != null
presumption | trackBack.date@690 != null
post | init'ed(return_value)
unanalyzed | call on java.util.ArrayList
unanalyzed | call on java.util.Date:getTime
test_vector | java.util.Iterator:hasNext(...)@689: {1}, {0}

method | Response getResponse(String)
pre | guid != null
pre | (soft) this.comments != null
pre | (soft) init'ed(this.trackBacks)
presumption | java.lang.String:lastIndexOf(...)@706 <= 232-2
post | init'ed(return_value)
unanalyzed | call on java.util.ArrayList
unanalyzed | call on java.util.List:add
unanalyzed | call on getComments
unanalyzed | call on java.util.List:iterator
unanalyzed | call on java.util.List:addAll
unanalyzed | call on java.util.Date:getTime
test_vector | java.lang.String:startsWith(...)@707: {0}, {1}

method | void removeTrackBack(long)
pre | (soft) log != null
pre | (soft) this.events != null
pre | (soft) init'ed(this.eventsEnabled)
pre | (soft) this.trackBacks != null
unanalyzed | call on java.util.ArrayList
unanalyzed | call on net.sourceforge.pebble.api.event. PebbleEvent
unanalyzed | call on java.util.List:add
unanalyzed | call on java.util.List:iterator
unanalyzed | call on java.util.EventObject
unanalyzed | call on java.util.Date:getTime
test_vector | this.eventsEnabled: {0}, {1}

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

method | void removeResponse(Response)
unanalyzed | call on areEventsEnabled
unanalyzed | call on getBlogEntry
pre | (soft) log != null
pre | (soft) response.date != null
pre | (soft) this.comments != null
pre | (soft) this.events != null
pre | (soft) init'ed(this.eventsEnabled)
pre | (soft) this.trackBacks != null
unanalyzed | call on java.util.ArrayList
unanalyzed | call on getComment
unanalyzed | call on java.util.List:add
unanalyzed | call on net.sourceforge.pebble.api.event. PebbleEvent
unanalyzed | call on getTrackBack
unanalyzed | call on java.util.List:remove
unanalyzed | call on org.apache.commons.logging.Log:warn
unanalyzed | call on getComments
unanalyzed | call on java.util.List:iterator
unanalyzed | call on removeComment
unanalyzed | call on java.util.List:addAll
unanalyzed | call on java.util.EventObject
unanalyzed | call on java.util.Date:getTime
unanalyzed | call on java.util.List:contains
unanalyzed | call on net.sourceforge.pebble.domain. BlogEntry:addEvent

method | BlogEntry getPreviousBlogEntry()
pre | this.blog != null
pre | init'ed(this.blog.blogEntryIndex)
pre | init'ed(this.date)
pre | init'ed(this.id)
pre | (soft) init'ed(this.blog.blogEntryIndex. indexEntries)
pre | (soft) this.blog.properties != null
pre | (soft) this.blog.years != null
post | init'ed(return_value)
unanalyzed | call on setEventsEnabled
unanalyzed | call on getId
unanalyzed | call on java.util.List:iterator
unanalyzed | call on getConfiguredFactory
unanalyzed | call on getBlogEntryDAO
unanalyzed | call on getBlog
unanalyzed | call on getCompositeKeyForBlogEntry
unanalyzed | call on java.lang.String:valueOf
unanalyzed | call on setPersistent
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 org.apache.commons.logging.Log:debug
unanalyzed | call on loadBlogEntry
unanalyzed | call on net.sf.ehcache.Element
unanalyzed | call on net.sf.ehcache.Cache:put
unanalyzed | call on clone
unanalyzed | call on getBlogEntry
unanalyzed | call on java.util.List:add
unanalyzed | call on java.util.Properties:getProperty
unanalyzed | call on getTimeZone
unanalyzed | call on getLocale
unanalyzed | call on java.util.Calendar:getInstance
unanalyzed | call on java.util.Locale
unanalyzed | call on java.util.TimeZone:getTimeZone
unanalyzed | call on java.util.Calendar:get
unanalyzed | call on getBlogForMonth
unanalyzed | call on getBlogForDay
unanalyzed | call on java.util.Calendar:setTime
unanalyzed | call on java.lang.IllegalArgumentException
unanalyzed | call on java.util.List:get
unanalyzed | call on java.util.List:size
unanalyzed | call on java.util.List:isEmpty
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.util.Date
unanalyzed | call on java.util.ArrayList
unanalyzed | call on java.lang.Long:parseLong
unanalyzed | call on java.util.List:indexOf
unanalyzed | call on getBlogForPreviousDay
unanalyzed | call on getMonth
unanalyzed | call on java.util.Calendar:getActualMaximum
unanalyzed | call on getYear
unanalyzed | call on net.sourceforge.pebble.domain. Month:getBlog
unanalyzed | call on getBlogForPreviousYear

method | BlogEntry getNextBlogEntry()
pre | this.blog != null
pre | this.blog.properties != null
pre | this.blog.years != null
pre | init'ed(this.date)
pre | init'ed(this.id)
post | init'ed(return_value)
unanalyzed | call on setEventsEnabled
unanalyzed | call on getId
unanalyzed | call on java.util.List:iterator
unanalyzed | call on getConfiguredFactory
unanalyzed | call on getBlogEntryDAO
unanalyzed | call on getBlog
unanalyzed | call on getCompositeKeyForBlogEntry
unanalyzed | call on java.lang.String:valueOf
unanalyzed | call on setPersistent
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 org.apache.commons.logging.Log:debug
unanalyzed | call on loadBlogEntry
unanalyzed | call on net.sf.ehcache.Element
unanalyzed | call on net.sf.ehcache.Cache:put
unanalyzed | call on clone
unanalyzed | call on getBlogEntry
unanalyzed | call on java.util.List:add
unanalyzed | call on java.util.Properties:getProperty
unanalyzed | call on getTimeZone
unanalyzed | call on getLocale
unanalyzed | call on java.util.Calendar:getInstance
unanalyzed | call on java.util.Locale
unanalyzed | call on java.util.TimeZone:getTimeZone
unanalyzed | call on java.util.Calendar:get
unanalyzed | call on getBlogForMonth
unanalyzed | call on java.util.Calendar:setTime
unanalyzed | call on getBlogForDay
unanalyzed | call on java.util.Calendar:getTime
unanalyzed | call on java.lang.IllegalArgumentException
unanalyzed | call on java.util.List:get
unanalyzed | call on java.util.List:size
unanalyzed | call on java.util.List:isEmpty
unanalyzed | call on net.sourceforge.pebble.domain. Blog:getCalendar
unanalyzed | call on java.util.Calendar:set
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.util.List:lastIndexOf
unanalyzed | call on getBlogForNextDay
unanalyzed | call on getBlogForFirstDay
unanalyzed | call on getMonth
unanalyzed | call on java.util.Calendar:getActualMaximum
unanalyzed | call on getYear
unanalyzed | call on net.sourceforge.pebble.domain. Month:getBlog
unanalyzed | call on java.util.ArrayList
unanalyzed | call on getBlogForNextYear

method | void validate(ValidationContext)

method | bool equals(Object)
pre | (soft) o.blog != null
pre | (soft) init'ed(o.id)
pre | (soft) this.blog != null
pre | (soft) init'ed(this.id)
post | init'ed(return_value)
unanalyzed | call on getId
test_vector | this == o: {0}, {1}
pre | (soft) init'ed(o.blog.id)
pre | (soft) init'ed(this.blog.id)

method | String getGuid()
pre | this.blog != null
pre | init'ed(this.id)
post | return_value != null
pre | init'ed(this.blog.id)

method | int hashCode()
pre | this.blog != null
pre | init'ed(this.id)
post | init'ed(return_value)
unanalyzed | call on getId
pre | init'ed(this.blog.id)

method | Object clone()
pre | init'ed(this.attachment)
pre | init'ed(this.author)
pre | init'ed(this.blog)
pre | init'ed(this.body)
pre | this.categories != null
pre | this.comments != null
pre | init'ed(this.commentsEnabled)
pre | this.date != null
pre | init'ed(this.excerpt)
pre | init'ed(this.originalPermalink)
pre | init'ed(this.persistent)
pre | this.state != null
pre | init'ed(this.subtitle)
pre | init'ed(this.tags)
pre | init'ed(this.timeZoneId)
pre | init'ed(this.title)
pre | init'ed(this.trackBacks)
pre | init'ed(this.trackBacksEnabled)
pre | (soft) net.sourceforge.pebble.domain.State__static_ init.new State(State__static_init#4).name != null
pre | (soft) net.sourceforge.pebble.domain.State__static_ init.new State(State__static_init#5).name != null
pre | (soft) init'ed(this.attachment.size)
pre | (soft) init'ed(this.attachment.type)
pre | (soft) init'ed(this.attachment.url)
pre | (soft) init'ed(this.state.name)
presumption | comment.blogEntry@835 != null
presumption | java.util.Calendar:getTime(...)@187 != null
presumption | java.util.Iterator:next(...)@835 != null
presumption | java.util.Iterator:next(...)@843 != null
presumption | trackBack.blogEntry@843 != null
post | return_value == &new BlogEntry(clone#1)
post | new ArrayList(BlogEntry#2) num objects == 1
post | new ArrayList(BlogEntry#3) num objects == 1
post | new ArrayList(parse#1) num objects == 1
post | new BlogEntry(clone#1) num objects == 1
post | new Date(PageBasedContent#2) num objects == 1
post | new HashSet(BlogEntry#1) num objects == 1
post | new LinkedList(PageBasedContent#1) num objects == 1
post | new ArrayList(Content#1) num objects >= 1
post | new ArrayList(Content#3) num objects >= 1
post | new Attachment(clone#1*) num objects <= 1
post | (soft) init'ed(new Attachment(clone#1*).size)
post | init'ed(new Attachment(clone#1*).type)
post | init'ed(new Attachment(clone#1*).url)
post | init'ed(return_value.attachment)
post | init'ed(return_value.author)
post | return_value.blog == this.blog
post | init'ed(return_value.blog)
post | return_value.body == this.body
post | init'ed(return_value.body)
post | return_value.categories == &new HashSet(BlogEntry#1)
post | return_value.comments == &new ArrayList(BlogEnt ry#2)
post | return_value.commentsEnabled == this. commentsEnabled
post | init'ed(return_value.commentsEnabled)
post | return_value.date == this.date
post | return_value.date != null
post | return_value.events == &new ArrayList(Content#1 )
post | init'ed(return_value.eventsEnabled)
post | init'ed(return_value.excerpt)
post | return_value.id != null
post | init'ed(return_value.lockedBy)
post | init'ed(return_value.originalPermalink)
post | init'ed(return_value.permalink)
post | return_value.persistent == this.persistent
post | init'ed(return_value.persistent)
post | return_value.propertyChangeEvents == &new ArrayList(Content#3)
post | return_value.propertyChangeSupport == &new PropertyChangeSupport(Content#2)
post | return_value.state == this.state
post | return_value.state != null
post | return_value.subtitle == this.subtitle
post | init'ed(return_value.subtitle)
post | init'ed(return_value.tags)
post | return_value.tagsAsCommaSeparated != null
post | return_value.tagsAsList == &new ArrayList(parse#1)
post | return_value.timeZoneId == this.timeZoneId
post | init'ed(return_value.timeZoneId)
post | return_value.title == this.title
post | init'ed(return_value.title)
post | return_value.trackBacks == &new ArrayList(BlogEntry#3)
post | return_value.trackBacksEnabled == this. trackBacksEnabled
post | init'ed(return_value.trackBacksEnabled)
post | new PropertyChangeSupport(Content#2) num objects >= 1
unanalyzed | call on net.sourceforge.pebble.domain.TrackBack
unanalyzed | call on java.util.HashSet
unanalyzed | call on java.beans.PropertyChangeSupport:fireProper tyChange
unanalyzed | call on java.util.Date:getTime
unanalyzed | call on java.util.Set:contains
unanalyzed | call on java.util.Set:add
unanalyzed | call on net.sourceforge.pebble.domain.Comment
unanalyzed | call on java.lang.String:trim
unanalyzed | call on java.util.ArrayList
unanalyzed | call on getComment
unanalyzed | call on java.util.Date
unanalyzed | call on setDate
unanalyzed | call on addComment
unanalyzed | call on java.util.List:add
unanalyzed | call on net.sourceforge.pebble.api.event. PebbleEvent
unanalyzed | call on getComments
unanalyzed | call on java.util.List:iterator
unanalyzed | call on java.lang.String:equals
unanalyzed | call on setState
unanalyzed | call on net.sourceforge.pebble.util. StringUtils:transformHTML
unanalyzed | call on java.lang.String:length
unanalyzed | call on java.util.Set:iterator
unanalyzed | call on java.lang.String:indexOf
unanalyzed | call on java.lang.String:replaceAll
unanalyzed | call on getAllTags
unanalyzed | call on getTagsAsList
unanalyzed | call on java.util.Collections:sort
unanalyzed | call on java.util.List:addAll
unanalyzed | call on java.util.List:contains
unanalyzed | call on java.util.EventObject
unanalyzed | call on java.util.Set:size
unanalyzed | call on java.util.Collections:reverse
unanalyzed | call on getRootCategory
unanalyzed | call on java.beans.PropertyChangeSupport
unanalyzed | call on java.beans.PropertyChangeSupport:addPropert yChangeListener
unanalyzed | call on java.util.LinkedList
unanalyzed | call on net.sourceforge.pebble.domain.Response
unanalyzed | call on net.sourceforge.pebble.util. StringUtils:filterHTML
unanalyzed | call on java.lang.String:startsWith
unanalyzed | call on isApproved
unanalyzed | call on isRejected
unanalyzed | call on net.sourceforge.pebble.domain. BlogEntry:getBlog
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 net.sourceforge.pebble.domain. Response:setState
unanalyzed | call on net.sourceforge.pebble.domain. BlogEntry:addEvent
unanalyzed | call on java.lang.String:toLowerCase
unanalyzed | call on java.lang.String:split
unanalyzed | call on net.sourceforge.pebble.domain. BlogEntry:getTitle
test_vector | this.attachment: Addr_Set{null}, Inverse{null}
test_vector | java.util.Iterator:hasNext(...)@826: {1}, {0}
test_vector | java.util.Iterator:hasNext(...)@834: {1}, {0}
test_vector | java.util.Iterator:hasNext(...)@842: {1}, {0}
unanalyzed | call on getState
unanalyzed | call on areEventsEnabled
unanalyzed | call on net.sourceforge.pebble.domain.Content
unanalyzed | call on getBlogEntry

method | void setEventsEnabled(bool)
pre | this.comments != null
pre | init'ed(this.trackBacks)
presumption | java.util.Iterator:next(...)@861 != null
post | init'ed(this.eventsEnabled)
unanalyzed | call on java.util.ArrayList
unanalyzed | call on java.util.List:add
unanalyzed | call on getComments
unanalyzed | call on java.util.List:iterator
unanalyzed | call on java.util.List:addAll
unanalyzed | call on java.util.Collections:sort
test_vector | java.util.Iterator:hasNext(...)@861: {1}, {0}

method | void clearEvents()
pre | this.comments != null
pre | init'ed(this.trackBacks)
presumption | java.util.Iterator:next(...)@869 != null
post | this.events != null
post | new ArrayList(clearEvents#1*) num objects >= 1
unanalyzed | call on java.util.ArrayList
unanalyzed | call on java.util.List:add
unanalyzed | call on getComments
unanalyzed | call on java.util.List:iterator
unanalyzed | call on java.util.List:addAll
unanalyzed | call on java.util.Collections:sort
test_vector | java.util.Iterator:hasNext(...)@869: {1}, {0}

method | void setState(State)
pre | init'ed(this.state)
pre | init'ed(this.eventsEnabled)
pre | (soft) net.sourceforge.pebble.domain.State__static_ init.new State(State__static_init#4).name != null
pre | (soft) net.sourceforge.pebble.domain.State__static_ init.new State(State__static_init#5).name != null
pre | (soft) state != null
pre | (soft) init'ed(state.name)
pre | (soft) this.events != null
post | this.state == state
post | (soft) this.state != null
unanalyzed | call on java.util.List:add
unanalyzed | call on java.lang.String:equals
unanalyzed | call on java.util.EventObject
test_vector | this.eventsEnabled: {0}, {1}
unanalyzed | call on net.sourceforge.pebble.api.event. PebbleEvent

method | String toString()
pre | this.blog != null
pre | init'ed(this.id)
post | return_value != null
unanalyzed | call on getId
pre | init'ed(this.blog.id)

method | TimeZone getTimeZone()
pre | init'ed(this.timeZoneId)
pre | (soft) this.blog != null
post | init'ed(return_value)
unanalyzed | call on net.sourceforge.pebble.domain. Blog:getTimeZoneId

method | String getTimeZoneId()
pre | init'ed(this.timeZoneId)
pre | (soft) this.blog != null
post | init'ed(return_value)
test_vector | this.timeZoneId: Addr_Set{null}, Inverse{null}

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

method | void setTimeZoneId(String)
post | this.timeZoneId == timeZoneId
post | init'ed(this.timeZoneId)