Messages

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

method | void net.sourceforge.pebble.domain. StaticPage(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.state == &net.sourceforge.pebble.domain. State__static_init.new State(State__static_init#5)
post | this.tagsAsList == &new LinkedList(PageBasedCon tent#1)
post | this.template == &"template"
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
unanalyzed | call on java.util.LinkedList
unanalyzed | call on java.util.Date
unanalyzed | call on setDate
unanalyzed | call on setState
unanalyzed | call on java.lang.String:equals
unanalyzed | call on net.sourceforge.pebble.api.event. PebbleEvent
unanalyzed | call on java.util.List:add
unanalyzed | call on java.util.EventObject

method | String getName()
pre | init'ed(this.name)
post | return_value == this.name
post | init'ed(return_value)

method | void setName(String)
post | init'ed(this.name)

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

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

method | String getLocalPermalink()
pre | this.blog != null
pre | init'ed(this.name)
post | return_value != null
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

method | void validate(ValidationContext)
pre | this.blog != null
pre | init'ed(this.name)
pre | (soft) context != null
pre | (soft) init'ed(this.id)
unanalyzed | call on java.util.Map:get
test_vector | this.name: Addr_Set{null}, Inverse{null}
test_vector | java.lang.String:equals(...)@106: {1}, {0}
test_vector | java.lang.String:length(...)@99: {1.. 232-1}, {0}
test_vector | java.lang.String:matches(...)@101: {1}, {0}
test_vector | java.util.Map:get(...)@208: Addr_Set{null}, Inverse{null}
pre | this.blog.staticPageIndex != null
pre | this.blog.staticPageIndex.index != null

| info | method not available | -- call on void net.sourceforge.pebble.web. validation.ValidationContext:addError(String)

| info | method not available | -- call on String net.sourceforge.pebble.util. StringUtils:transformHTML(String)
| info | method not available | -- call on void net.sourceforge.pebble.web. validation.ValidationContext:addError(String)

| info | method not available | -- call on void net.sourceforge.pebble.web. validation.ValidationContext:addError(String)

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

method | void setTemplate(String)
pre | init'ed(this.template)
pre | this.propertyChangeSupport != null
post | this.template == newTemplate
post | init'ed(this.template)

method | String getTemplate()
pre | init'ed(this.template)
post | return_value == this.template
post | init'ed(return_value)

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 getBlog
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 | Object clone()
pre | init'ed(this.author)
pre | init'ed(this.blog)
pre | init'ed(this.body)
pre | this.date != null
pre | init'ed(this.lockedBy)
pre | init'ed(this.name)
pre | init'ed(this.originalPermalink)
pre | init'ed(this.persistent)
pre | init'ed(this.state)
pre | init'ed(this.subtitle)
pre | init'ed(this.tags)
pre | init'ed(this.template)
pre | init'ed(this.title)
post | return_value == &new StaticPage(clone#1)
post | new ArrayList(Content#1) num objects == 1
post | new ArrayList(Content#3) num objects == 1
post | new ArrayList(parse#1) 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
post | new StaticPage(clone#1) num objects == 1
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 | init'ed(return_value.categories)
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 | return_value.id != null
post | return_value.lockedBy == this.lockedBy
post | init'ed(return_value.lockedBy)
post | init'ed(return_value.name)
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 | init'ed(return_value.state)
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.template == this.template
post | init'ed(return_value.template)
post | return_value.title == this.title
post | init'ed(return_value.title)
unanalyzed | call on java.beans.PropertyChangeSupport:fireProper tyChange
unanalyzed | call on net.sourceforge.pebble.util. StringUtils:transformHTML
unanalyzed | call on getTagsAsList
unanalyzed | call on java.util.ArrayList
unanalyzed | call on java.util.Collections:sort
unanalyzed | call on net.sourceforge.pebble.domain. PageBasedContent
unanalyzed | call on setPublished
unanalyzed | call on java.util.Date:getTime
unanalyzed | call on java.lang.String:length
unanalyzed | call on java.lang.String:indexOf
unanalyzed | call on java.lang.String:replaceAll
unanalyzed | call on getAllTags
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
unanalyzed | call on setState
unanalyzed | call on java.lang.String:trim
unanalyzed | call on java.lang.String:toLowerCase
unanalyzed | call on java.lang.String:split
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.lang.String:equals
unanalyzed | call on java.util.EventObject
unanalyzed | call on java.util.List:addAll
unanalyzed | call on net.sourceforge.pebble.api.event. PebbleEvent