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

	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)