Messages

method	net.sourceforge.pebble.domain.PageBasedContent__ 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. PageBasedContent(Blog)
post	this.author == &""
post	this.body == &""
post	this.subtitle == &""
post	this.tags == &""
post	this.tagsAsCommaSeparated == &""
post	this.title == &""
post	this.blog == blog
post	init'ed(this.blog)
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 == One-of{null, undefined}
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.tagsAsList == &new LinkedList(PageBasedCon tent#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 LinkedList(PageBasedContent#1) num objects == 1
post	new PropertyChangeSupport(Content#2) num objects == 1
unanalyzed	call on java.beans.PropertyChangeSupport:fireProper tyChange
unanalyzed	call on java.util.Date:getTime
unanalyzed	call on java.util.ArrayList
unanalyzed	call on java.beans.PropertyChangeSupport
unanalyzed	call on java.beans.PropertyChangeSupport:addPropert yChangeListener

method	String getId()
pre	init'ed(this.id)
post	return_value == this.id
post	init'ed(return_value)

method	String getTitle()
pre	init'ed(this.title)
post	return_value == this.title
post	init'ed(return_value)

method	void setTitle(String)
pre	init'ed(this.title)
pre	this.propertyChangeSupport != null
post	this.title == newTitle
post	init'ed(this.title)

method	String getSubtitle()
pre	init'ed(this.subtitle)
post	return_value == this.subtitle
post	init'ed(return_value)

method	void setSubtitle(String)
pre	init'ed(this.subtitle)
pre	this.propertyChangeSupport != null
post	this.subtitle == newSubtitle
post	init'ed(this.subtitle)

method	String getBody()
pre	init'ed(this.body)
post	return_value == this.body
post	init'ed(return_value)

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

method	void setBody(String)
pre	init'ed(this.body)
pre	this.propertyChangeSupport != null
post	this.body == newBody
post	init'ed(this.body)

method	Date getDate()
pre	init'ed(this.date)
post	return_value == this.date
post	init'ed(return_value)

method	Date getLastModified()
pre	init'ed(this.date)
post	return_value == this.date
post	init'ed(return_value)

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

method	String getAuthor()
pre	init'ed(this.author)
post	return_value == this.author
post	init'ed(return_value)

method	PebbleUserDetails getUser()
pre	(soft) init'ed(this.author)
presumption	net.sourceforge.pebble.PebbleContext:getConfigurati on(...).securityRealm@216 != null
presumption	net.sourceforge.pebble.PebbleContext:getConfigurati on(...)@216 != null
presumption	net.sourceforge.pebble.PebbleContext:getInstance(.. .)@216 != null
pre	init'ed(this.user)
presumption	org.apache.commons.logging.LogFactory:getLog(... )@21 != null
post	init'ed(return_value)
post	this.user == return_value
test_vector	this.user: Inverse{null}, Addr_Set{null}

info method not available -- call on PebbleContext net.sourceforge.pebble. PebbleContext:getInstance()

info method not available -- call on Configuration net.sourceforge.pebble. PebbleContext:getConfiguration()

info method not available -- call on PebbleUserDetails net.sourceforge. pebble.security.SecurityRealm:getUser(String)

info method not available -- call on void org.apache.commons.logging. Log:error(Object, Throwable)

method	void setAuthor(String)
post	init'ed(this.author)

info method not available -- call on String net.sourceforge.pebble.util. StringUtils:transformHTML(String)

method	String getTags()
pre	init'ed(this.tags)
post	return_value == this.tags
post	init'ed(return_value)

method	List getTagsAsList()
pre	init'ed(this.tagsAsList)
post	return_value == this.tagsAsList
post	init'ed(return_value)

method	String getTagsAsCommaSeparated()
pre	init'ed(this.tagsAsCommaSeparated)
post	return_value == this.tagsAsCommaSeparated
post	init'ed(return_value)

method	void setTags(String)
pre	init'ed(this.tags)
pre	init'ed(this.blog)
pre	this.propertyChangeSupport != null
post	init'ed(this.tags)
post	this.tagsAsCommaSeparated != null
post	this.tagsAsList == &new ArrayList(parse#1)
post	new ArrayList(parse#1) num objects == 1
unanalyzed	call on getTagsAsList
unanalyzed	call on java.util.ArrayList
unanalyzed	call on java.util.Collections:sort
unanalyzed	call on java.lang.String:trim
unanalyzed	call on java.lang.String:toLowerCase
unanalyzed	call on java.lang.String:replaceAll
unanalyzed	call on java.lang.String:length
unanalyzed	call on java.lang.String:split
unanalyzed	call on net.sourceforge.pebble.util. StringUtils:transformHTML
unanalyzed	call on java.util.List:contains
unanalyzed	call on java.util.List:add
unanalyzed	call on java.util.HashSet
unanalyzed	call on java.util.List:iterator
unanalyzed	call on java.util.Set:iterator
unanalyzed	call on java.util.Set:size
unanalyzed	call on java.util.Collections:reverse
unanalyzed	call on getRootCategory
unanalyzed	call on java.util.List:addAll
test_vector	newTags: Addr_Set{null}, Inverse{null}
test_vector	java.lang.String:indexOf(...)@276: {-2³¹. .-1}, {0..2³²-1}

info method not available -- call on List getAllTags()

method	bool isAggregated()
pre	init'ed(this.originalPermalink)
post	init'ed(return_value)
test_vector	this.originalPermalink: Addr_Set{null}, Inverse{null}

method	String getOriginalPermalink()
pre	init'ed(this.originalPermalink)
post	return_value == this.originalPermalink
post	init'ed(return_value)

method	void setOriginalPermalink(String)
pre	init'ed(this.originalPermalink)
pre	this.propertyChangeSupport != null
post	init'ed(this.originalPermalink)
test_vector	java.lang.String:length(...)@315: {1.. 2³²-1}, {0}
test_vector	net.sourceforge.pebble.util.StringUtils:transformHT ML(...)@314: Addr_Set{null}, Inverse{null}

info method not available -- call on String net.sourceforge.pebble.util. StringUtils:transformHTML(String)

method	String getPermalink()
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:indexOf
unanalyzed	call on net.sourceforge.pebble.PebbleContext:getIns tance
unanalyzed	call on net.sourceforge.pebble.PebbleContext:getCon figuration
pre	init'ed(this.originalPermalink)
pre	(soft) this.blog != null
post	init'ed(return_value)
post	possibly_updated(this.permalink)
unanalyzed	call on getBlog
unanalyzed	call on getUrl
unanalyzed	call on java.lang.String:valueOf
unanalyzed	call on java.lang.String:substring
unanalyzed	call on getPermalinkProvider
unanalyzed	call on java.lang.String:length
unanalyzed	call on getPermalink
test_vector	this.originalPermalink: Addr_Set{null}, Inverse{null}

info method not available -- call on String getLocalPermalink()

method	Blog getBlog()
pre	init'ed(this.blog)
post	return_value == this.blog
post	init'ed(return_value)

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

method	bool isPersistent()
pre	init'ed(this.persistent)
post	return_value == this.persistent
post	init'ed(return_value)

method	void setPersistent(bool)
post	this.persistent == persistent
post	init'ed(this.persistent)

method	bool isPublished()
pre	this.state != null
pre	(soft) net.sourceforge.pebble.domain.State__static_ init.new State(State__static_init#5).name != null
pre	(soft) init'ed(this.state.name)
post	init'ed(return_value)
unanalyzed	call on java.lang.String:equals

method	bool isUnpublished()
pre	this.state != null
pre	(soft) net.sourceforge.pebble.domain.State__static_ init.new State(State__static_init#4).name != null
pre	(soft) init'ed(this.state.name)
post	init'ed(return_value)
unanalyzed	call on java.lang.String:equals

method	void setPublished(bool)
unanalyzed	call on net.sourceforge.pebble.api.event. PebbleEvent
post	this.state == One-of{&net.sourceforge.pebble. domain.State__static_init.new State(State__static_ init#5), old this.state, &net.sourceforge. pebble.domain.State__static_init.new State(State__static_init#4)}
unanalyzed	call on java.lang.String:equals
unanalyzed	call on java.util.List:add
unanalyzed	call on java.util.EventObject
test_vector	published: {0}, {1}

method	String getLockedBy()
pre	init'ed(this.lockedBy)
post	return_value == this.lockedBy
post	init'ed(return_value)

method	void setLockedBy(String)
post	this.lockedBy == lockedBy
post	init'ed(this.lockedBy)

	info	method not available	-- call on PebbleContext net.sourceforge.pebble. PebbleContext:getInstance()
	info	method not available	-- call on Configuration net.sourceforge.pebble. PebbleContext:getConfiguration()