staticpage.java

staticpage.java

current inspection = 2010-07-22 15:04:21 (id #4)

base = 2010-07-16 16:14:15 (id #1)

Filter Options

History:

+	added
-	dropped
U	unchanged

Annotation Kind:

pre

presumption

post

unanalyzed

test

Object clone()

-/+	Kind	Annotation Text	Date
U	pre	init'ed(this.author)	2010-07-16 16:14:15
U	pre	init'ed(this.blog)	2010-07-16 16:14:15
U	pre	init'ed(this.body)	2010-07-16 16:14:15
U	pre	init'ed(this.lockedBy)	2010-07-16 16:14:15
U	pre	init'ed(this.name)	2010-07-16 16:14:15
U	pre	init'ed(this.originalPermalink)	2010-07-16 16:14:15
U	pre	init'ed(this.persistent)	2010-07-16 16:14:15
U	pre	init'ed(this.state)	2010-07-16 16:14:15
U	pre	init'ed(this.subtitle)	2010-07-16 16:14:15
U	pre	init'ed(this.tags)	2010-07-16 16:14:15
U	pre	init'ed(this.template)	2010-07-16 16:14:15
U	pre	init'ed(this.title)	2010-07-16 16:14:15
U	pre	this.date != null	2010-07-16 16:14:15
U	post	init'ed(return_value.author)	2010-07-16 16:14:15
U	post	init'ed(return_value.blog)	2010-07-16 16:14:15
U	post	init'ed(return_value.body)	2010-07-16 16:14:15
U	post	init'ed(return_value.categories)	2010-07-16 16:14:15
U	post	init'ed(return_value.eventsEnabled)	2010-07-16 16:14:15
U	post	init'ed(return_value.lockedBy)	2010-07-16 16:14:15
U	post	init'ed(return_value.name)	2010-07-16 16:14:15
U	post	init'ed(return_value.originalPermalink)	2010-07-16 16:14:15
U	post	init'ed(return_value.permalink)	2010-07-16 16:14:15
U	post	init'ed(return_value.persistent)	2010-07-16 16:14:15
U	post	init'ed(return_value.state)	2010-07-16 16:14:15
U	post	init'ed(return_value.subtitle)	2010-07-16 16:14:15
U	post	init'ed(return_value.tags)	2010-07-16 16:14:15
U	post	init'ed(return_value.template)	2010-07-16 16:14:15
U	post	init'ed(return_value.title)	2010-07-16 16:14:15
U	post	new ArrayList(Content#1) num objects == 1	2010-07-16 16:14:15
U	post	new ArrayList(Content#3) num objects == 1	2010-07-16 16:14:15
U	post	new ArrayList(parse#1) num objects == 1	2010-07-16 16:14:15
U	post	new Date(PageBasedContent#2) num objects == 1	2010-07-16 16:14:15
U	post	new LinkedList(PageBasedContent#1) num objects == 1	2010-07-16 16:14:15
U	post	new PropertyChangeSupport(Content#2) num objects == 1	2010-07-16 16:14:15
U	post	new StaticPage(clone#1) num objects == 1	2010-07-16 16:14:15
U	post	return_value == &new StaticPage(clone#1)	2010-07-16 16:14:15
U	post	return_value.blog == this.blog	2010-07-16 16:14:15
U	post	return_value.body == this.body	2010-07-16 16:14:15
U	post	return_value.date != null	2010-07-16 16:14:15
U	post	return_value.date == this.date	2010-07-16 16:14:15
U	post	return_value.events == &new ArrayList(Content#1 )	2010-07-16 16:14:15
U	post	return_value.id != null	2010-07-16 16:14:15
U	post	return_value.lockedBy == this.lockedBy	2010-07-16 16:14:15
U	post	return_value.persistent == this.persistent	2010-07-16 16:14:15
U	post	return_value.propertyChangeEvents == &new ArrayList(Content#3)	2010-07-16 16:14:15
U	post	return_value.propertyChangeSupport == &new PropertyChangeSupport(Content#2)	2010-07-16 16:14:15
U	post	return_value.state == this.state	2010-07-16 16:14:15
U	post	return_value.subtitle == this.subtitle	2010-07-16 16:14:15
U	post	return_value.tagsAsCommaSeparated != null	2010-07-16 16:14:15
U	post	return_value.tagsAsList == &new ArrayList(parse#1)	2010-07-16 16:14:15
U	post	return_value.template == this.template	2010-07-16 16:14:15
U	post	return_value.title == this.title	2010-07-16 16:14:15
-	unanalyzed	call on format	2010-07-16 16:59:22
U	unanalyzed	call on getAllTags	2010-07-16 16:14:15
U	unanalyzed	call on getRootCategory	2010-07-16 16:14:15
U	unanalyzed	call on getTagsAsList	2010-07-16 16:14:15
U	unanalyzed	call on java.beans.PropertyChangeSupport	2010-07-16 16:14:15
U	unanalyzed	call on java.beans.PropertyChangeSupport:addPropert yChangeListener	2010-07-16 16:14:15
U	unanalyzed	call on java.beans.PropertyChangeSupport:fireProper tyChange	2010-07-16 16:14:15
U	unanalyzed	call on java.lang.String:equals	2010-07-16 16:14:15
U	unanalyzed	call on java.lang.String:indexOf	2010-07-16 16:14:15
U	unanalyzed	call on java.lang.String:length	2010-07-16 16:14:15
U	unanalyzed	call on java.lang.String:replaceAll	2010-07-16 16:14:15
U	unanalyzed	call on java.lang.String:split	2010-07-16 16:14:15
U	unanalyzed	call on java.lang.String:toLowerCase	2010-07-16 16:14:15
U	unanalyzed	call on java.lang.String:trim	2010-07-16 16:14:15
U	unanalyzed	call on java.util.ArrayList	2010-07-16 16:14:15
U	unanalyzed	call on java.util.Collections:reverse	2010-07-16 16:14:15
U	unanalyzed	call on java.util.Collections:sort	2010-07-16 16:14:15
U	unanalyzed	call on java.util.Date	2010-07-16 16:14:15
U	unanalyzed	call on java.util.Date:getTime	2010-07-16 16:14:15
U	unanalyzed	call on java.util.EventObject	2010-07-16 16:14:15
U	unanalyzed	call on java.util.HashSet	2010-07-16 16:14:15
U	unanalyzed	call on java.util.LinkedList	2010-07-16 16:14:15
U	unanalyzed	call on java.util.List:add	2010-07-16 16:14:15
U	unanalyzed	call on java.util.List:addAll	2010-07-16 16:14:15
U	unanalyzed	call on java.util.List:contains	2010-07-16 16:14:15
U	unanalyzed	call on java.util.List:iterator	2010-07-16 16:14:15
U	unanalyzed	call on java.util.Set:iterator	2010-07-16 16:14:15
U	unanalyzed	call on java.util.Set:size	2010-07-16 16:14:15
+	unanalyzed	call on net.sourceforge.pebble.api.event. PebbleEvent	2010-07-22 15:04:21
U	unanalyzed	call on net.sourceforge.pebble.domain. PageBasedContent	2010-07-16 16:14:15
U	unanalyzed	call on net.sourceforge.pebble.util. StringUtils:transformHTML	2010-07-16 16:14:15
-	unanalyzed	call on parse	2010-07-16 16:59:22
U	unanalyzed	call on setDate	2010-07-16 16:14:15
U	unanalyzed	call on setPublished	2010-07-16 16:14:15
U	unanalyzed	call on setState	2010-07-16 16:14:15

bool equals(Object)

-/+	Kind	Annotation Text	Date
+	pre	(soft) init'ed(o.blog.id)	2010-07-22 15:04:21
U	pre	(soft) init'ed(o.id)	2010-07-16 16:14:15
+	pre	(soft) init'ed(this.blog.id)	2010-07-22 15:04:21
U	pre	(soft) init'ed(this.id)	2010-07-16 16:14:15
U	pre	(soft) o.blog != null	2010-07-16 16:14:15
U	pre	(soft) this.blog != null	2010-07-16 16:14:15
U	post	init'ed(return_value)	2010-07-16 16:14:15
U	unanalyzed	call on getBlog	2010-07-16 16:14:15
U	unanalyzed	call on getId	2010-07-16 16:14:15
U	test_vector	this == o: {0}, {1}	2010-07-16 16:14:15

List getAllTags()

-/+	Kind	Annotation Text	Date
U	pre	init'ed(this.tagsAsList)	2010-07-16 16:14:15
U	post	new ArrayList(getAllTags#1) num objects == 1	2010-07-16 16:14:15
U	post	return_value == &new ArrayList(getAllTags#1)	2010-07-16 16:14:15

String getGuid()

-/+	Kind	Annotation Text	Date
+	pre	init'ed(this.blog.id)	2010-07-22 15:04:21
U	pre	init'ed(this.id)	2010-07-16 16:14:15
U	pre	this.blog != null	2010-07-16 16:14:15
U	post	return_value != null	2010-07-16 16:14:15

String getLocalPermalink()

-/+	Kind	Annotation Text	Date
+	pre	(soft) init'ed(net/sourceforge/pebble/domain/BlogMa nager.instance.multiBlog)	2010-07-22 15:04:21
+	pre	(soft) init'ed(this.blog.id)	2010-07-22 15:04:21
+	pre	(soft) net/sourceforge/pebble/domain/BlogManager. instance != null	2010-07-22 15:04:21
U	pre	init'ed(this.name)	2010-07-16 16:14:15
U	pre	this.blog != null	2010-07-16 16:14:15
U	post	return_value != null	2010-07-16 16:14:15
+	unanalyzed	call on java.lang.String:indexOf	2010-07-22 15:04:21
+	unanalyzed	call on java.lang.String:length	2010-07-22 15:04:21
+	unanalyzed	call on java.lang.String:substring	2010-07-22 15:04:21
+	unanalyzed	call on java.lang.String:valueOf	2010-07-22 15:04:21
+	unanalyzed	call on net.sourceforge.pebble.PebbleContext:getCon figuration	2010-07-22 15:04:21
+	unanalyzed	call on net.sourceforge.pebble.PebbleContext:getIns tance	2010-07-22 15:04:21

String getName()

-/+	Kind	Annotation Text	Date
U	pre	init'ed(this.name)	2010-07-16 16:14:15
U	post	init'ed(return_value)	2010-07-16 16:14:15
U	post	return_value == this.name	2010-07-16 16:14:15

String getTemplate()

-/+	Kind	Annotation Text	Date
U	pre	init'ed(this.template)	2010-07-16 16:14:15
U	post	init'ed(return_value)	2010-07-16 16:14:15
U	post	return_value == this.template	2010-07-16 16:14:15

void net.sourceforge.pebble.domain.StaticPage(Blog)

-/+	Kind	Annotation Text	Date
U	post	init'ed(this.blog)	2010-07-16 16:14:15
U	post	init'ed(this.date)	2010-07-16 16:14:15
U	post	init'ed(this.eventsEnabled)	2010-07-16 16:14:15
U	post	init'ed(this.lockedBy)	2010-07-16 16:14:15
U	post	init'ed(this.persistent)	2010-07-16 16:14:15
U	post	new ArrayList(Content#1) num objects == 1	2010-07-16 16:14:15
U	post	new ArrayList(Content#3) num objects == 1	2010-07-16 16:14:15
U	post	new Date(PageBasedContent#2) num objects == 1	2010-07-16 16:14:15
U	post	new LinkedList(PageBasedContent#1) num objects == 1	2010-07-16 16:14:15
U	post	new PropertyChangeSupport(Content#2) num objects == 1	2010-07-16 16:14:15
U	post	possibly_updated(this.id)	2010-07-16 16:14:15
U	post	this.author == &""	2010-07-16 16:14:15
U	post	this.blog == blog	2010-07-16 16:14:15
U	post	this.body == &""	2010-07-16 16:14:15
U	post	this.events == &new ArrayList(Content#1)	2010-07-16 16:14:15
U	post	this.permalink == One-of{null, undefined}	2010-07-16 16:14:15
U	post	this.permalink == null	2010-07-16 16:14:15
U	post	this.propertyChangeEvents == &new ArrayList(Content#3)	2010-07-16 16:14:15
U	post	this.propertyChangeSupport == &new PropertyChangeSupport(Content#2)	2010-07-16 16:14:15
U	post	this.state == &net.sourceforge.pebble.domain. State__static_init.new State(State__static_init#5)	2010-07-16 16:14:15
U	post	this.subtitle == &""	2010-07-16 16:14:15
U	post	this.tags == &""	2010-07-16 16:14:15
U	post	this.tagsAsCommaSeparated == &""	2010-07-16 16:14:15
U	post	this.tagsAsList == &new LinkedList(PageBasedCon tent#1)	2010-07-16 16:14:15
U	post	this.template == &"template"	2010-07-16 16:14:15
U	post	this.title == &""	2010-07-16 16:14:15
U	unanalyzed	call on java.beans.PropertyChangeSupport	2010-07-16 16:14:15
U	unanalyzed	call on java.beans.PropertyChangeSupport:addPropert yChangeListener	2010-07-16 16:14:15
U	unanalyzed	call on java.beans.PropertyChangeSupport:fireProper tyChange	2010-07-16 16:14:15
U	unanalyzed	call on java.lang.String:equals	2010-07-16 16:14:15
U	unanalyzed	call on java.util.ArrayList	2010-07-16 16:14:15
U	unanalyzed	call on java.util.Date	2010-07-16 16:14:15
U	unanalyzed	call on java.util.Date:getTime	2010-07-16 16:14:15
U	unanalyzed	call on java.util.EventObject	2010-07-16 16:14:15
U	unanalyzed	call on java.util.LinkedList	2010-07-16 16:14:15
U	unanalyzed	call on java.util.List:add	2010-07-16 16:14:15
+	unanalyzed	call on net.sourceforge.pebble.api.event. PebbleEvent	2010-07-22 15:04:21
U	unanalyzed	call on setDate	2010-07-16 16:14:15
U	unanalyzed	call on setState	2010-07-16 16:14:15

net.sourceforge.pebble.domain.StaticPage__static_init

-/+	Kind	Annotation Text	Date

void setName(String)

-/+	Kind	Annotation Text	Date
U	post	init'ed(this.name)	2010-07-16 16:14:15

void setTemplate(String)

-/+	Kind	Annotation Text	Date
U	pre	init'ed(this.template)	2010-07-16 16:14:15
U	pre	this.propertyChangeSupport != null	2010-07-16 16:14:15
U	post	init'ed(this.template)	2010-07-16 16:14:15
U	post	this.template == newTemplate	2010-07-16 16:14:15

void validate(ValidationContext)

-/+	Kind	Annotation Text	Date
U	pre	(soft) context != null	2010-07-16 16:14:15
U	pre	(soft) init'ed(this.id)	2010-07-16 16:14:15
U	pre	init'ed(this.name)	2010-07-16 16:14:15
U	pre	this.blog != null	2010-07-16 16:14:15
+	pre	this.blog.staticPageIndex != null	2010-07-22 15:04:21
+	pre	this.blog.staticPageIndex.index != null	2010-07-22 15:04:21
U	unanalyzed	call on java.util.Map:get	2010-07-16 16:14:15
U	test_vector	java.lang.String:equals(...)@106: {1}, {0}	2010-07-16 16:14:15
U	test_vector	java.lang.String:length(...)@99: {1.. 2³²-1}, {0}	2010-07-16 16:14:15
U	test_vector	java.lang.String:matches(...)@101: {1}, {0}	2010-07-16 16:14:15
U	test_vector	java.util.Map:get(...)@208: Addr_Set{null}, Inverse{null}	2010-07-16 16:14:15
U	test_vector	this.name: Addr_Set{null}, Inverse{null}	2010-07-16 16:14:15