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..2³²-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)