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: {-231. .-1}, {0..232-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.. 232-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)