Messages

method | net.sourceforge.pebble.domain.TrackBack__static_ init

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

method | String getTitle()
pre | init'ed(this.title)
pre | (soft) init'ed(this.url)
post | return_value == One-of{this.title, this.url}
post | (soft) init'ed(return_value)
test_vector | this.title: Addr_Set{null}, Inverse{null}
test_vector | java.lang.String:length(...)@81: {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)
post | this.excerpt == One-of{excerpt, &""}
post | this.excerpt != null
test_vector | excerpt: Addr_Set{null}, Inverse{null}

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

method | String getUrl()
pre | init'ed(this.url)
post | return_value == this.url
post | init'ed(return_value)

method | String getSourceLink()
pre | init'ed(this.url)
post | return_value == this.url
post | init'ed(return_value)

method | void setUrl(String)
post | this.url == url
post | init'ed(this.url)

method | String getBlogName()
pre | init'ed(this.blogName)
post | return_value == this.blogName
post | init'ed(return_value)

method | String getSourceName()
pre | init'ed(this.blogName)
post | return_value == this.blogName
post | init'ed(return_value)

method | void setBlogName(String)
post | this.blogName == One-of{blogName, &""}
post | this.blogName != null
test_vector | blogName: Addr_Set{null}, Inverse{null}

method | String getPermalink()
pre | init'ed(this.blogEntry)
pre | (soft) init'ed(this.blogEntry.permalink)
pre | (soft) this.blogEntry.blog != null
pre | (soft) this.date != null
post | return_value != null
pre | (soft) net/sourceforge/pebble/domain/BlogManager. instance != null
post | init'ed(this.blogEntry.permalink)
pre | (soft) init'ed(net/sourceforge/pebble/domain/BlogMa nager.instance.multiBlog)
unanalyzed | call on java.lang.String:valueOf
unanalyzed | call on java.lang.String:substring
pre | (soft) init'ed(this.blogEntry.blog.id)
unanalyzed | call on getUrl
unanalyzed | call on getPermalinkProvider
pre | (soft) this.blogEntry.blog.permalinkProvider != null
unanalyzed | call on java.lang.String:length
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
unanalyzed | call on java.util.Date:getTime
test_vector | this.blogEntry: Addr_Set{null}, Inverse{null}

method | Object clone()
pre | (soft) this.blogEntry != null
post | (soft) return_value.blogEntry != null
unanalyzed | call on getState
unanalyzed | call on areEventsEnabled
unanalyzed | call on net.sourceforge.pebble.domain.Content
pre | init'ed(this.blogName)
pre | init'ed(this.date)
pre | init'ed(this.excerpt)
pre | init'ed(this.ipAddress)
pre | init'ed(this.state)
pre | init'ed(this.title)
pre | init'ed(this.url)
post | return_value == &new TrackBack(clone#1)
post | new ArrayList(Content#1) num objects == 1
unanalyzed | call on getBlogEntry
post | new ArrayList(Content#3) num objects == 1
post | new PropertyChangeSupport(Content#2) num objects == 1
post | new TrackBack(clone#1) num objects == 1
post | return_value.blogEntry == this.blogEntry
post | return_value.blogName == One-of{this.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{this.excerpt, &""}
post | return_value.excerpt != null
post | return_value.ipAddress == One-of{null, this.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 == this.url
post | init'ed(return_value.url)
unanalyzed | call on net.sourceforge.pebble.domain. Response:setState
unanalyzed | call on isApproved
unanalyzed | call on net.sourceforge.pebble.api.event. PebbleEvent
unanalyzed | call on net.sourceforge.pebble.domain. BlogEntry:addEvent
unanalyzed | call on isRejected
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 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 java.lang.String:length
unanalyzed | call on setState
unanalyzed | call on net.sourceforge.pebble.domain. BlogEntry:getTitle

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

| info | method not available | -- call on void net.sourceforge.pebble.domain. Response:setState(State)

| info | method not available | -- call on void net.sourceforge.pebble.domain. BlogEntry:addEvent(PebbleEvent)

| info | method not available | -- call on void net.sourceforge.pebble.domain. BlogEntry:addEvent(PebbleEvent)