blogentry.java

blogentry.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

void addCategory(Category)

-/+	Kind	Annotation Text	Date
U	pre	(soft) this.categories != null	2010-07-16 16:14:15
U	pre	(soft) this.propertyChangeSupport != null	2010-07-16 16:14:15
U	test_vector	category: Addr_Set{null}, Inverse{null}	2010-07-16 16:14:15
U	test_vector	java.util.Set:contains(...)@184: {1}, {0}	2010-07-16 16:14:15

void addComment(Comment)

-/+	Kind	Annotation Text	Date
U	pre	(soft) comment...date != null	2010-07-16 16:14:15
U	pre	(soft) comment.blogEntry != null	2010-07-16 16:14:15
U	pre	(soft) comment.date != null	2010-07-16 16:14:15
U	pre	(soft) init'ed(comment.parent)	2010-07-16 16:14:15
U	pre	(soft) init'ed(this.eventsEnabled)	2010-07-16 16:14:15
U	pre	(soft) this.comments != null	2010-07-16 16:14:15
U	pre	(soft) this.events != null	2010-07-16 16:14:15
U	presumption	getParent(...).date@558 != null	2010-07-16 16:14:15
U	presumption	java.util.Calendar:getTime(...)@187 != null	2010-07-16 16:14:15
U	presumption	java.util.Date:getTime(...)@562 <= 18_446_744_073_7 09_551_614	2010-07-16 16:14:15
U	presumption	parent.comments@568 != null	2010-07-16 16:14:15
U	post	(soft) comment.blogEntry != null	2010-07-16 16:14:15
U	post	init'ed(comment.parent)	2010-07-16 16:14:15
U	post	possibly_updated(comment.date)	2010-07-16 16:14:15
U	post	possibly_updated(comment.eventsEnabled)	2010-07-16 16:14:15
U	unanalyzed	call on addComment	2010-07-16 16:14:15
U	unanalyzed	call on getComment	2010-07-16 16:14:15
U	unanalyzed	call on getComments	2010-07-16 16:14:15
-	unanalyzed	call on getDate	2010-07-16 16:59:22
-	unanalyzed	call on getId	2010-07-16 16:59:22
-	unanalyzed	call on getParent	2010-07-16 16:59:22
U	unanalyzed	call on java.util.ArrayList	2010-07-16 16:14:15
U	unanalyzed	call on java.util.Calendar:getTime	2010-07-16 16:14:15
U	unanalyzed	call on java.util.Calendar:setTime	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.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
-	unanalyzed	call on net.sourceforge.pebble.api.event. PebbleEvent	2010-07-16 16:59:22
U	unanalyzed	call on net.sourceforge.pebble.domain. Blog:getCalendar	2010-07-16 16:14:15
U	unanalyzed	call on net.sourceforge.pebble.domain. BlogEntry:getBlog	2010-07-16 16:14:15
-	unanalyzed	call on setBlogEntry	2010-07-16 16:59:22
-	unanalyzed	call on setDate	2010-07-16 16:59:22
U	test_vector	comment.parent: Addr_Set{null}, Inverse{null}	2010-07-16 16:14:15
U	test_vector	comment: Inverse{null}, Addr_Set{null}	2010-07-16 16:14:15
U	test_vector	this.eventsEnabled: {0}, {1}	2010-07-16 16:14:15

void addTrackBack(TrackBack)

-/+	Kind	Annotation Text	Date
U	pre	(soft) init'ed(this.eventsEnabled)	2010-07-16 16:14:15
U	pre	(soft) this.events != null	2010-07-16 16:14:15
U	pre	(soft) this.trackBacks != null	2010-07-16 16:14:15
U	post	possibly_updated(trackBack.eventsEnabled)	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.List:add	2010-07-16 16:14:15
U	unanalyzed	call on net.sourceforge.pebble.api.event. PebbleEvent	2010-07-16 16:14:15
U	test_vector	java.util.List:contains(...)@624: {0}, {1}	2010-07-16 16:14:15
U	test_vector	this.eventsEnabled: {0}, {1}	2010-07-16 16:14:15
U	test_vector	trackBack: Addr_Set{null}, Inverse{null}	2010-07-16 16:14:15

void clearEvents()

-/+	Kind	Annotation Text	Date
U	pre	init'ed(this.trackBacks)	2010-07-16 16:14:15
U	pre	this.comments != null	2010-07-16 16:14:15
U	presumption	java.util.Iterator:next(...)@869 != null	2010-07-16 16:14:15
U	post	new ArrayList(clearEvents#1*) num objects >= 1	2010-07-16 16:14:15
U	post	this.events != null	2010-07-16 16:14:15
U	unanalyzed	call on getComments	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:sort	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:iterator	2010-07-16 16:14:15
U	test_vector	java.util.Iterator:hasNext(...)@869: {1}, {0}	2010-07-16 16:14:15

Object clone()

-/+	Kind	Annotation Text	Date
U	pre	(soft) init'ed(this.attachment.size)	2010-07-16 16:14:15
U	pre	(soft) init'ed(this.attachment.type)	2010-07-16 16:14:15
U	pre	(soft) init'ed(this.attachment.url)	2010-07-16 16:14:15
U	pre	(soft) init'ed(this.state.name)	2010-07-16 16:14:15
U	pre	(soft) net.sourceforge.pebble.domain.State__static_ init.new State(State__static_init#4).name != null	2010-07-16 16:14:15
U	pre	(soft) net.sourceforge.pebble.domain.State__static_ init.new State(State__static_init#5).name != null	2010-07-16 16:14:15
U	pre	init'ed(this.attachment)	2010-07-16 16:14:15
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.commentsEnabled)	2010-07-16 16:14:15
U	pre	init'ed(this.excerpt)	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.subtitle)	2010-07-16 16:14:15
U	pre	init'ed(this.tags)	2010-07-16 16:14:15
U	pre	init'ed(this.timeZoneId)	2010-07-16 16:14:15
U	pre	init'ed(this.title)	2010-07-16 16:14:15
U	pre	init'ed(this.trackBacks)	2010-07-16 16:14:15
U	pre	init'ed(this.trackBacksEnabled)	2010-07-16 16:14:15
U	pre	this.categories != null	2010-07-16 16:14:15
U	pre	this.comments != null	2010-07-16 16:14:15
U	pre	this.date != null	2010-07-16 16:14:15
U	pre	this.state != null	2010-07-16 16:14:15
U	presumption	comment.blogEntry@835 != null	2010-07-16 16:14:15
U	presumption	java.util.Calendar:getTime(...)@187 != null	2010-07-16 16:14:15
U	presumption	java.util.Iterator:next(...)@835 != null	2010-07-16 16:14:15
U	presumption	java.util.Iterator:next(...)@843 != null	2010-07-16 16:14:15
U	presumption	trackBack.blogEntry@843 != null	2010-07-16 16:14:15
U	post	(soft) init'ed(new Attachment(clone#1*).size)	2010-07-16 16:14:15
U	post	init'ed(new Attachment(clone#1*).type)	2010-07-16 16:14:15
U	post	init'ed(new Attachment(clone#1*).url)	2010-07-16 16:14:15
U	post	init'ed(return_value.attachment)	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.commentsEnabled)	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.excerpt)	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.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.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.timeZoneId)	2010-07-16 16:14:15
U	post	init'ed(return_value.title)	2010-07-16 16:14:15
U	post	init'ed(return_value.trackBacksEnabled)	2010-07-16 16:14:15
U	post	new ArrayList(BlogEntry#2) num objects == 1	2010-07-16 16:14:15
U	post	new ArrayList(BlogEntry#3) num objects == 1	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 Attachment(clone#1*) num objects <= 1	2010-07-16 16:14:15
U	post	new BlogEntry(clone#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 HashSet(BlogEntry#1) 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	return_value == &new BlogEntry(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.categories == &new HashSet(BlogEntry#1)	2010-07-16 16:14:15
U	post	return_value.comments == &new ArrayList(BlogEnt ry#2)	2010-07-16 16:14:15
U	post	return_value.commentsEnabled == this. commentsEnabled	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.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 != null	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.timeZoneId == this.timeZoneId	2010-07-16 16:14:15
U	post	return_value.title == this.title	2010-07-16 16:14:15
U	post	return_value.trackBacks == &new ArrayList(BlogEntry#3)	2010-07-16 16:14:15
U	post	return_value.trackBacksEnabled == this. trackBacksEnabled	2010-07-16 16:14:15
U	unanalyzed	call on addComment	2010-07-16 16:14:15
+	unanalyzed	call on areEventsEnabled	2010-07-22 15:04:21
-	unanalyzed	call on format	2010-07-16 16:59:22
U	unanalyzed	call on getAllTags	2010-07-16 16:14:15
+	unanalyzed	call on getBlogEntry	2010-07-22 15:04:21
U	unanalyzed	call on getComment	2010-07-16 16:14:15
U	unanalyzed	call on getComments	2010-07-16 16:14:15
-	unanalyzed	call on getDate	2010-07-16 16:59:22
-	unanalyzed	call on getId	2010-07-16 16:59:22
-	unanalyzed	call on getParent	2010-07-16 16:59:22
U	unanalyzed	call on getRootCategory	2010-07-16 16:14:15
+	unanalyzed	call on getState	2010-07-22 15:04:21
U	unanalyzed	call on getTagsAsList	2010-07-16 16:14:15
U	unanalyzed	call on isApproved	2010-07-16 16:14:15
U	unanalyzed	call on isRejected	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:startsWith	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.Calendar:getTime	2010-07-16 16:14:15
U	unanalyzed	call on java.util.Calendar:setTime	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:add	2010-07-16 16:14:15
U	unanalyzed	call on java.util.Set:contains	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
U	unanalyzed	call on net.sourceforge.pebble.api.event. PebbleEvent	2010-07-16 16:14:15
U	unanalyzed	call on net.sourceforge.pebble.domain. Blog:getCalendar	2010-07-16 16:14:15
U	unanalyzed	call on net.sourceforge.pebble.domain. BlogEntry:addEvent	2010-07-16 16:14:15
U	unanalyzed	call on net.sourceforge.pebble.domain. BlogEntry:getBlog	2010-07-16 16:14:15
U	unanalyzed	call on net.sourceforge.pebble.domain. BlogEntry:getTitle	2010-07-16 16:14:15
U	unanalyzed	call on net.sourceforge.pebble.domain.Comment	2010-07-16 16:14:15
+	unanalyzed	call on net.sourceforge.pebble.domain.Content	2010-07-22 15:04:21
U	unanalyzed	call on net.sourceforge.pebble.domain.Response	2010-07-16 16:14:15
U	unanalyzed	call on net.sourceforge.pebble.domain. Response:setState	2010-07-16 16:14:15
U	unanalyzed	call on net.sourceforge.pebble.domain.TrackBack	2010-07-16 16:14:15
U	unanalyzed	call on net.sourceforge.pebble.util. StringUtils:filterHTML	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
-	unanalyzed	call on setBlogEntry	2010-07-16 16:59:22
U	unanalyzed	call on setDate	2010-07-16 16:14:15
U	unanalyzed	call on setState	2010-07-16 16:14:15
-	unanalyzed	call on setTitle	2010-07-16 16:59:22
U	test_vector	java.util.Iterator:hasNext(...)@826: {1}, {0}	2010-07-16 16:14:15
U	test_vector	java.util.Iterator:hasNext(...)@834: {1}, {0}	2010-07-16 16:14:15
U	test_vector	java.util.Iterator:hasNext(...)@842: {1}, {0}	2010-07-16 16:14:15
U	test_vector	this.attachment: Addr_Set{null}, Inverse{null}	2010-07-16 16:14:15

Comment createComment(String, String, String, String, String, String)

-/+	Kind	Annotation Text	Date
U	pre	this.blog != null	2010-07-16 16:14:15
U	presumption	net.sourceforge.pebble.domain.Blog:getCalendar(... )@544 != null	2010-07-16 16:14:15
U	post	init'ed(return_value.authenticated)	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.date)	2010-07-16 16:14:15
U	post	init'ed(return_value.email)	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.ipAddress)	2010-07-16 16:14:15
U	post	init'ed(return_value.spamScore)	2010-07-16 16:14:15
U	post	init'ed(return_value.website)	2010-07-16 16:14:15
U	post	new ArrayList(Comment#1) num objects == 1	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 Comment(createComment#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(return_value.state)	2010-07-16 16:14:15
U	post	possibly_updated(return_value.title)	2010-07-16 16:14:15
U	post	return_value == &new Comment(createComment#1*)	2010-07-16 16:14:15
U	post	return_value.author != null	2010-07-16 16:14:15
U	post	return_value.author == One-of{&"Anonymous", author}	2010-07-16 16:14:15
U	post	return_value.blogEntry != null	2010-07-16 16:14:15
U	post	return_value.blogEntry == this	2010-07-16 16:14:15
U	post	return_value.body == One-of{null, body}	2010-07-16 16:14:15
U	post	return_value.comments == &new ArrayList(Comment #1)	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.ipAddress == One-of{null, ipAddress}	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
+	unanalyzed	call on areEventsEnabled	2010-07-22 15:04:21
+	unanalyzed	call on getBlogEntry	2010-07-22 15:04:21
+	unanalyzed	call on getState	2010-07-22 15:04:21
U	unanalyzed	call on isApproved	2010-07-16 16:14:15
U	unanalyzed	call on isRejected	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.lang.String:equals	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:startsWith	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.Calendar:getTime	2010-07-16 16:14:15
U	unanalyzed	call on java.util.Calendar:setTime	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.EventObject	2010-07-16 16:14:15
U	unanalyzed	call on net.sourceforge.pebble.api.event. PebbleEvent	2010-07-16 16:14:15
U	unanalyzed	call on net.sourceforge.pebble.domain. Blog:getCalendar	2010-07-16 16:14:15
U	unanalyzed	call on net.sourceforge.pebble.domain. BlogEntry:addEvent	2010-07-16 16:14:15
U	unanalyzed	call on net.sourceforge.pebble.domain. BlogEntry:getBlog	2010-07-16 16:14:15
U	unanalyzed	call on net.sourceforge.pebble.domain. BlogEntry:getTitle	2010-07-16 16:14:15
-	unanalyzed	call on net.sourceforge.pebble.domain.Comment	2010-07-16 16:59:22
+	unanalyzed	call on net.sourceforge.pebble.domain.Content	2010-07-22 15:04:21
+	unanalyzed	call on net.sourceforge.pebble.domain.Response	2010-07-22 15:04:21
U	unanalyzed	call on net.sourceforge.pebble.domain. Response:setState	2010-07-16 16:14:15
U	unanalyzed	call on net.sourceforge.pebble.util. StringUtils:filterHTML	2010-07-16 16:14:15
U	unanalyzed	call on net.sourceforge.pebble.util. StringUtils:transformHTML	2010-07-16 16:14:15
U	unanalyzed	call on setState	2010-07-16 16:14:15
-	unanalyzed	call on setTitle	2010-07-16 16:59:22

Comment createComment(String, String, String, String, String, String, Date, State)

-/+	Kind	Annotation Text	Date
U	post	init'ed(return_value.authenticated)	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.date)	2010-07-16 16:14:15
U	post	init'ed(return_value.email)	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.ipAddress)	2010-07-16 16:14:15
U	post	init'ed(return_value.spamScore)	2010-07-16 16:14:15
U	post	init'ed(return_value.website)	2010-07-16 16:14:15
U	post	new ArrayList(Comment#1) num objects == 1	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 Comment(createComment#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(return_value.state)	2010-07-16 16:14:15
U	post	possibly_updated(return_value.title)	2010-07-16 16:14:15
U	post	return_value == &new Comment(createComment#1)	2010-07-16 16:14:15
U	post	return_value.author != null	2010-07-16 16:14:15
U	post	return_value.author == One-of{&"Anonymous", author}	2010-07-16 16:14:15
U	post	return_value.blogEntry != null	2010-07-16 16:14:15
U	post	return_value.blogEntry == this	2010-07-16 16:14:15
U	post	return_value.body == One-of{null, body}	2010-07-16 16:14:15
U	post	return_value.comments == &new ArrayList(Comment #1)	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.ipAddress == One-of{null, ipAddress}	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
+	unanalyzed	call on areEventsEnabled	2010-07-22 15:04:21
+	unanalyzed	call on getBlogEntry	2010-07-22 15:04:21
+	unanalyzed	call on getState	2010-07-22 15:04:21
U	unanalyzed	call on isApproved	2010-07-16 16:14:15
U	unanalyzed	call on isRejected	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.lang.String:equals	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:startsWith	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.Calendar:getTime	2010-07-16 16:14:15
U	unanalyzed	call on java.util.Calendar:setTime	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.EventObject	2010-07-16 16:14:15
U	unanalyzed	call on net.sourceforge.pebble.api.event. PebbleEvent	2010-07-16 16:14:15
U	unanalyzed	call on net.sourceforge.pebble.domain. Blog:getCalendar	2010-07-16 16:14:15
U	unanalyzed	call on net.sourceforge.pebble.domain. BlogEntry:addEvent	2010-07-16 16:14:15
U	unanalyzed	call on net.sourceforge.pebble.domain. BlogEntry:getBlog	2010-07-16 16:14:15
U	unanalyzed	call on net.sourceforge.pebble.domain. BlogEntry:getTitle	2010-07-16 16:14:15
+	unanalyzed	call on net.sourceforge.pebble.domain.Content	2010-07-22 15:04:21
+	unanalyzed	call on net.sourceforge.pebble.domain.Response	2010-07-22 15:04:21
U	unanalyzed	call on net.sourceforge.pebble.domain. Response:setState	2010-07-16 16:14:15
U	unanalyzed	call on net.sourceforge.pebble.util. StringUtils:filterHTML	2010-07-16 16:14:15
U	unanalyzed	call on net.sourceforge.pebble.util. StringUtils:transformHTML	2010-07-16 16:14:15
U	unanalyzed	call on setState	2010-07-16 16:14:15
-	unanalyzed	call on setTitle	2010-07-16 16:59:22

TrackBack createTrackBack(String, String, String, String, String)

-/+	Kind	Annotation Text	Date
U	pre	this.blog != null	2010-07-16 16:14:15
U	presumption	net.sourceforge.pebble.domain.Blog:getCalendar(... )@614 != null	2010-07-16 16:14:15
U	post	init'ed(return_value.date)	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.ipAddress)	2010-07-16 16:14:15
U	post	init'ed(return_value.spamScore)	2010-07-16 16:14:15
U	post	init'ed(return_value.url)	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 PropertyChangeSupport(Content#2) num objects == 1	2010-07-16 16:14:15
U	post	new TrackBack(createTrackBack#1*) num objects == 1	2010-07-16 16:14:15
U	post	possibly_updated(return_value.state)	2010-07-16 16:14:15
U	post	possibly_updated(return_value.title)	2010-07-16 16:14:15
U	post	return_value == &new TrackBack(createTrackBack# 1*)	2010-07-16 16:14:15
U	post	return_value.blogEntry != null	2010-07-16 16:14:15
U	post	return_value.blogEntry == this	2010-07-16 16:14:15
U	post	return_value.blogName != null	2010-07-16 16:14:15
U	post	return_value.blogName == One-of{blogName, &""}	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.excerpt != null	2010-07-16 16:14:15
U	post	return_value.excerpt == One-of{excerpt, &""}	2010-07-16 16:14:15
U	post	return_value.ipAddress == One-of{null, ipAddress}	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.url == url	2010-07-16 16:14:15
+	unanalyzed	call on areEventsEnabled	2010-07-22 15:04:21
+	unanalyzed	call on getBlogEntry	2010-07-22 15:04:21
+	unanalyzed	call on getState	2010-07-22 15:04:21
U	unanalyzed	call on isApproved	2010-07-16 16:14:15
U	unanalyzed	call on isRejected	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.lang.String:equals	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.util.ArrayList	2010-07-16 16:14:15
U	unanalyzed	call on java.util.Calendar:getTime	2010-07-16 16:14:15
U	unanalyzed	call on java.util.Calendar:setTime	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.EventObject	2010-07-16 16:14:15
U	unanalyzed	call on net.sourceforge.pebble.api.event. PebbleEvent	2010-07-16 16:14:15
U	unanalyzed	call on net.sourceforge.pebble.domain. Blog:getCalendar	2010-07-16 16:14:15
U	unanalyzed	call on net.sourceforge.pebble.domain. BlogEntry:addEvent	2010-07-16 16:14:15
U	unanalyzed	call on net.sourceforge.pebble.domain. BlogEntry:getBlog	2010-07-16 16:14:15
U	unanalyzed	call on net.sourceforge.pebble.domain. BlogEntry:getTitle	2010-07-16 16:14:15
+	unanalyzed	call on net.sourceforge.pebble.domain.Content	2010-07-22 15:04:21
-	unanalyzed	call on net.sourceforge.pebble.domain.Response	2010-07-16 16:59:22
U	unanalyzed	call on net.sourceforge.pebble.domain. Response:setState	2010-07-16 16:14:15
-	unanalyzed	call on net.sourceforge.pebble.domain.TrackBack	2010-07-16 16:59:22
U	unanalyzed	call on net.sourceforge.pebble.util. StringUtils:transformHTML	2010-07-16 16:14:15
U	unanalyzed	call on setState	2010-07-16 16:14:15
-	unanalyzed	call on setTitle	2010-07-16 16:59:22

TrackBack createTrackBack(String, String, String, String, String, Date, State)

-/+	Kind	Annotation Text	Date
U	post	init'ed(return_value.date)	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.ipAddress)	2010-07-16 16:14:15
U	post	init'ed(return_value.spamScore)	2010-07-16 16:14:15
U	post	init'ed(return_value.url)	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 PropertyChangeSupport(Content#2) num objects == 1	2010-07-16 16:14:15
U	post	new TrackBack(createTrackBack#1) num objects == 1	2010-07-16 16:14:15
U	post	possibly_updated(return_value.state)	2010-07-16 16:14:15
U	post	possibly_updated(return_value.title)	2010-07-16 16:14:15
U	post	return_value == &new TrackBack(createTrackBack# 1)	2010-07-16 16:14:15
U	post	return_value.blogEntry != null	2010-07-16 16:14:15
U	post	return_value.blogEntry == this	2010-07-16 16:14:15
U	post	return_value.blogName != null	2010-07-16 16:14:15
U	post	return_value.blogName == One-of{blogName, &""}	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.excerpt != null	2010-07-16 16:14:15
U	post	return_value.excerpt == One-of{excerpt, &""}	2010-07-16 16:14:15
U	post	return_value.ipAddress == One-of{null, ipAddress}	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.url == url	2010-07-16 16:14:15
+	unanalyzed	call on areEventsEnabled	2010-07-22 15:04:21
+	unanalyzed	call on getBlogEntry	2010-07-22 15:04:21
+	unanalyzed	call on getState	2010-07-22 15:04:21
U	unanalyzed	call on isApproved	2010-07-16 16:14:15
U	unanalyzed	call on isRejected	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.lang.String:equals	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.util.ArrayList	2010-07-16 16:14:15
U	unanalyzed	call on java.util.Calendar:getTime	2010-07-16 16:14:15
U	unanalyzed	call on java.util.Calendar:setTime	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.EventObject	2010-07-16 16:14:15
U	unanalyzed	call on net.sourceforge.pebble.api.event. PebbleEvent	2010-07-16 16:14:15
U	unanalyzed	call on net.sourceforge.pebble.domain. Blog:getCalendar	2010-07-16 16:14:15
U	unanalyzed	call on net.sourceforge.pebble.domain. BlogEntry:addEvent	2010-07-16 16:14:15
U	unanalyzed	call on net.sourceforge.pebble.domain. BlogEntry:getBlog	2010-07-16 16:14:15
U	unanalyzed	call on net.sourceforge.pebble.domain. BlogEntry:getTitle	2010-07-16 16:14:15
+	unanalyzed	call on net.sourceforge.pebble.domain.Content	2010-07-22 15:04:21
-	unanalyzed	call on net.sourceforge.pebble.domain.Response	2010-07-16 16:59:22
U	unanalyzed	call on net.sourceforge.pebble.domain. Response:setState	2010-07-16 16:14:15
U	unanalyzed	call on net.sourceforge.pebble.util. StringUtils:transformHTML	2010-07-16 16:14:15
U	unanalyzed	call on setState	2010-07-16 16:14:15
-	unanalyzed	call on setTitle	2010-07-16 16:59:22

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 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
+	pre	(soft) init'ed(this.blog.rootCategory...parent)	2010-07-22 15:04:21
+	pre	(soft) init'ed(this.blog.rootCategory... tagsAsList)	2010-07-22 15:04:21
+	pre	(soft) init'ed(this.blog.rootCategory.parent)	2010-07-22 15:04:21
+	pre	(soft) init'ed(this.blog.rootCategory.tagsAsList)	2010-07-22 15:04:21
U	pre	(soft) this.blog != null	2010-07-16 16:14:15
+	pre	(soft) this.blog.rootCategory != null	2010-07-22 15:04:21
U	pre	init'ed(this.categories)	2010-07-16 16:14:15
U	pre	this.tagsAsList != null	2010-07-16 16:14:15
U	presumption	java.util.Iterator:next(...)@144 != null	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
U	unanalyzed	call on java.util.ArrayList	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.List:addAll	2010-07-16 16:14:15
U	test_vector	java.util.Iterator:hasNext(...)@148: {1}, {0}	2010-07-16 16:14:15
U	test_vector	java.util.Iterator:hasNext(...)@158: {1}, {0}	2010-07-16 16:14:15
U	test_vector	java.util.Iterator:hasNext(...)@167: {1}, {0}	2010-07-16 16:14:15
U	test_vector	java.util.List:contains(...)@150: {1}, {0}	2010-07-16 16:14:15
U	test_vector	java.util.List:contains(...)@160: {1}, {0}	2010-07-16 16:14:15
U	test_vector	java.util.List:contains(...)@169: {1}, {0}	2010-07-16 16:14:15
U	test_vector	java.util.Set:size(...)@141: {-2³¹..0}, {1..2³²-1}	2010-07-16 16:14:15

Attachment getAttachment()

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

Set getCategories()

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

Comment getComment(long)

-/+	Kind	Annotation Text	Date
U	pre	this.comments != null	2010-07-16 16:14:15
U	presumption	comment.date@673 != null	2010-07-16 16:14:15
U	presumption	java.util.Iterator:next(...)@673 != null	2010-07-16 16:14:15
U	post	init'ed(return_value)	2010-07-16 16:14:15
U	unanalyzed	call on getComments	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:getTime	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:iterator	2010-07-16 16:14:15
U	test_vector	java.util.Iterator:hasNext(...)@672: {1}, {0}	2010-07-16 16:14:15

List getComments()

-/+	Kind	Annotation Text	Date
U	pre	this.comments != null	2010-07-16 16:14:15
U	presumption	java.util.Iterator:next(...)@460 != null	2010-07-16 16:14:15
U	post	new ArrayList(getComments#1) num objects == 1	2010-07-16 16:14:15
U	post	return_value == &new ArrayList(getComments#1)	2010-07-16 16:14:15
U	unanalyzed	call on getComments	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.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:iterator	2010-07-16 16:14:15
U	test_vector	java.util.Iterator:hasNext(...)@459: {1}, {0}	2010-07-16 16:14:15

List getComments(Comment)

-/+	Kind	Annotation Text	Date
U	pre	comment != null	2010-07-16 16:14:15
U	pre	init'ed(comment.comments)	2010-07-16 16:14:15
U	presumption	java.util.Iterator:next(...)@471 != null	2010-07-16 16:14:15
U	post	new ArrayList(getComments#1) num objects == 1	2010-07-16 16:14:15
U	post	return_value == &new ArrayList(getComments#1)	2010-07-16 16:14:15
U	unanalyzed	call on getComments	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.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:iterator	2010-07-16 16:14:15
U	test_vector	java.util.Iterator:hasNext(...)@470: {1}, {0}	2010-07-16 16:14:15

String getCommentsLink()

-/+	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	(soft) this.blog != null	2010-07-16 16:14:15
+	pre	(soft) this.blog.permalinkProvider != null	2010-07-22 15:04:21
U	pre	init'ed(this.permalink)	2010-07-16 16:14:15
U	post	init'ed(this.permalink)	2010-07-16 16:14:15
U	post	return_value != null	2010-07-16 16:14:15
-	unanalyzed	call on clone	2010-07-16 16:59:22
-	unanalyzed	call on getBlog	2010-07-16 16:59:22
-	unanalyzed	call on getBlogEntries	2010-07-16 16:59:22
-	unanalyzed	call on getBlogEntry	2010-07-16 16:59:22
-	unanalyzed	call on getBlogEntryDAO	2010-07-16 16:59:22
-	unanalyzed	call on getBlogForDay	2010-07-16 16:59:22
-	unanalyzed	call on getDate	2010-07-16 16:59:22
-	unanalyzed	call on getId	2010-07-16 16:59:22
U	unanalyzed	call on getPermalink	2010-07-16 16:14:15
U	unanalyzed	call on getPermalinkProvider	2010-07-16 16:14:15
-	unanalyzed	call on getTimeZone	2010-07-16 16:59:22
-	unanalyzed	call on getTitle	2010-07-16 16:59:22
U	unanalyzed	call on getUrl	2010-07-16 16:14:15
-	unanalyzed	call on java.io.File	2010-07-16 16:59:22
-	unanalyzed	call on java.io.File:exists	2010-07-16 16:59:22
-	unanalyzed	call on java.io.File:getAbsolutePath	2010-07-16 16:59:22
-	unanalyzed	call on java.lang.Exception	2010-07-16 16:59:22
-	unanalyzed	call on java.lang.Exception:getMessage	2010-07-16 16:59:22
-	unanalyzed	call on java.lang.Exception:printStackTrace	2010-07-16 16:59:22
-	unanalyzed	call on java.lang.Long:parseLong	2010-07-16 16:59:22
-	unanalyzed	call on java.lang.String:equals	2010-07-16 16:59:22
+	unanalyzed	call on java.lang.String:indexOf	2010-07-22 15:04:21
U	unanalyzed	call on java.lang.String:length	2010-07-16 16:14:15
-	unanalyzed	call on java.lang.String:replaceAll	2010-07-16 16:59:22
U	unanalyzed	call on java.lang.String:substring	2010-07-16 16:14:15
-	unanalyzed	call on java.lang.String:toLowerCase	2010-07-16 16:59:22
U	unanalyzed	call on java.lang.String:valueOf	2010-07-16 16:14:15
-	unanalyzed	call on java.text.DateFormat:format	2010-07-16 16:59:22
-	unanalyzed	call on java.text.DateFormat:setTimeZone	2010-07-16 16:59:22
-	unanalyzed	call on java.text.SimpleDateFormat	2010-07-16 16:59:22
-	unanalyzed	call on java.text.SimpleDateFormat:setTimeZone	2010-07-16 16:59:22
-	unanalyzed	call on java.util.Date	2010-07-16 16:59:22
-	unanalyzed	call on java.util.HashMap:get	2010-07-16 16:59:22
-	unanalyzed	call on java.util.HashMap:keySet	2010-07-16 16:59:22
-	unanalyzed	call on java.util.List:get	2010-07-16 16:59:22
-	unanalyzed	call on java.util.List:indexOf	2010-07-16 16:59:22
-	unanalyzed	call on java.util.List:size	2010-07-16 16:59:22
-	unanalyzed	call on java.util.Set:iterator	2010-07-16 16:59:22
-	unanalyzed	call on javax.xml.parsers.SAXParser:parse	2010-07-16 16:59:22
-	unanalyzed	call on javax.xml.parsers.SAXParserFactory:newInsta nce	2010-07-16 16:59:22
-	unanalyzed	call on javax.xml.parsers.SAXParserFactory:newSAXPa rser	2010-07-16 16:59:22
-	unanalyzed	call on javax.xml.parsers.SAXParserFactory:setNames paceAware	2010-07-16 16:59:22
-	unanalyzed	call on javax.xml.parsers.SAXParserFactory:setValid ating	2010-07-16 16:59:22
-	unanalyzed	call on loadBlogEntry	2010-07-16 16:59:22
+	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
-	unanalyzed	call on net.sourceforge.pebble.dao.PersistenceExcep tion	2010-07-16 16:59:22
-	unanalyzed	call on net.sourceforge.pebble.domain.Blog:error	2010-07-16 16:59:22
-	unanalyzed	call on net.sourceforge.pebble.domain. Blog:getLocale	2010-07-16 16:59:22
-	unanalyzed	call on net.sourceforge.pebble.domain.Blog:getRoot	2010-07-16 16:59:22
-	unanalyzed	call on net.sourceforge.pebble.domain. Blog:getTimeZone	2010-07-16 16:59:22
-	unanalyzed	call on net.sourceforge.pebble.domain.BlogEntry	2010-07-16 16:59:22
-	unanalyzed	call on net.sourceforge.pebble.domain. BlogEntry:getBlog	2010-07-16 16:59:22
-	unanalyzed	call on net.sourceforge.pebble.domain.BlogService	2010-07-16 16:59:22
-	unanalyzed	call on org.apache.commons.logging.Log:debug	2010-07-16 16:59:22
-	unanalyzed	call on org.apache.commons.logging.Log:error	2010-07-16 16:59:22
-	unanalyzed	call on org.xml.sax.helpers.DefaultHandler	2010-07-16 16:59:22
-	unanalyzed	call on setEventsEnabled	2010-07-16 16:59:22
-	unanalyzed	call on setPersistent	2010-07-16 16:59:22

String getContent()

-/+	Kind	Annotation Text	Date
U	pre	(soft) init'ed(this.body)	2010-07-16 16:14:15
U	pre	init'ed(this.excerpt)	2010-07-16 16:14:15
U	post	(soft) init'ed(return_value)	2010-07-16 16:14:15
U	post	return_value == One-of{this.excerpt, this.body}	2010-07-16 16:14:15
U	test_vector	java.lang.String:length(...)@261: {0}, {1..2³²-1}	2010-07-16 16:14:15
U	test_vector	this.excerpt: Addr_Set{null}, Inverse{null}	2010-07-16 16:14:15

String getExcerpt()

-/+	Kind	Annotation Text	Date
U	pre	init'ed(this.excerpt)	2010-07-16 16:14:15
U	post	init'ed(return_value)	2010-07-16 16:14:15
U	post	return_value == this.excerpt	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

Date getLastModified()

-/+	Kind	Annotation Text	Date
U	pre	init'ed(this.date)	2010-07-16 16:14:15
U	pre	this.comments != null	2010-07-16 16:14:15
U	pre	this.trackBacks != null	2010-07-16 16:14:15
U	presumption	comment.date@300 != null	2010-07-16 16:14:15
U	presumption	java.util.Iterator:next(...)@300 != null	2010-07-16 16:14:15
U	presumption	java.util.Iterator:next(...)@308 != null	2010-07-16 16:14:15
U	presumption	trackBack.date@308 != null	2010-07-16 16:14:15
U	post	init'ed(return_value)	2010-07-16 16:14:15
U	test_vector	java.util.Date:after(...)@301: {0}, {1}	2010-07-16 16:14:15
U	test_vector	java.util.Date:after(...)@309: {0}, {1}	2010-07-16 16:14:15
U	test_vector	java.util.Iterator:hasNext(...)@299: {1}, {0}	2010-07-16 16:14:15
U	test_vector	java.util.Iterator:hasNext(...)@307: {1}, {0}	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	(soft) this.blog != null	2010-07-16 16:14:15
+	pre	(soft) this.blog.permalinkProvider != null	2010-07-22 15:04:21
U	pre	init'ed(this.permalink)	2010-07-16 16:14:15
-	presumption	this.blog@338 != null	2010-07-16 16:59:22
U	post	init'ed(return_value)	2010-07-16 16:14:15
U	post	this.permalink == return_value	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
U	test_vector	getPermalink(...)@338: Addr_Set{null}, Inverse{null}	2010-07-16 16:14:15
U	test_vector	java.lang.String:length(...)@339: {0}, {1..2³²-1}	2010-07-16 16:14:15
U	test_vector	this.permalink: Inverse{null}, Addr_Set{null}	2010-07-16 16:14:15

BlogEntry getNextBlogEntry()

-/+	Kind	Annotation Text	Date
+	pre	init'ed(this.date)	2010-07-22 15:04:21
+	pre	init'ed(this.id)	2010-07-22 15:04:21
U	pre	this.blog != null	2010-07-16 16:14:15
+	pre	this.blog.properties != null	2010-07-22 15:04:21
+	pre	this.blog.years != null	2010-07-22 15:04:21
+	post	init'ed(return_value)	2010-07-22 15:04:21
-	post	return_value == null	2010-07-16 16:59:22
-	post	return_value == undefined	2010-07-16 16:59:22
+	unanalyzed	call on clone	2010-07-22 15:04:21
+	unanalyzed	call on getBlog	2010-07-22 15:04:21
+	unanalyzed	call on getBlogEntry	2010-07-22 15:04:21
+	unanalyzed	call on getBlogEntryDAO	2010-07-22 15:04:21
+	unanalyzed	call on getBlogForDay	2010-07-22 15:04:21
+	unanalyzed	call on getBlogForFirstDay	2010-07-22 15:04:21
+	unanalyzed	call on getBlogForMonth	2010-07-22 15:04:21
+	unanalyzed	call on getBlogForNextDay	2010-07-22 15:04:21
+	unanalyzed	call on getBlogForNextYear	2010-07-22 15:04:21
+	unanalyzed	call on getCompositeKeyForBlogEntry	2010-07-22 15:04:21
+	unanalyzed	call on getConfiguredFactory	2010-07-22 15:04:21
+	unanalyzed	call on getId	2010-07-22 15:04:21
+	unanalyzed	call on getLocale	2010-07-22 15:04:21
+	unanalyzed	call on getMonth	2010-07-22 15:04:21
+	unanalyzed	call on getTimeZone	2010-07-22 15:04:21
+	unanalyzed	call on getYear	2010-07-22 15:04:21
+	unanalyzed	call on java.lang.IllegalArgumentException	2010-07-22 15:04:21
+	unanalyzed	call on java.lang.String:valueOf	2010-07-22 15:04:21
+	unanalyzed	call on java.util.ArrayList	2010-07-22 15:04:21
+	unanalyzed	call on java.util.Calendar:get	2010-07-22 15:04:21
+	unanalyzed	call on java.util.Calendar:getActualMaximum	2010-07-22 15:04:21
+	unanalyzed	call on java.util.Calendar:getInstance	2010-07-22 15:04:21
+	unanalyzed	call on java.util.Calendar:getTime	2010-07-22 15:04:21
+	unanalyzed	call on java.util.Calendar:set	2010-07-22 15:04:21
+	unanalyzed	call on java.util.Calendar:setTime	2010-07-22 15:04:21
+	unanalyzed	call on java.util.Collections:sort	2010-07-22 15:04:21
+	unanalyzed	call on java.util.List:add	2010-07-22 15:04:21
+	unanalyzed	call on java.util.List:get	2010-07-22 15:04:21
+	unanalyzed	call on java.util.List:isEmpty	2010-07-22 15:04:21
+	unanalyzed	call on java.util.List:iterator	2010-07-22 15:04:21
+	unanalyzed	call on java.util.List:lastIndexOf	2010-07-22 15:04:21
+	unanalyzed	call on java.util.List:size	2010-07-22 15:04:21
+	unanalyzed	call on java.util.Locale	2010-07-22 15:04:21
+	unanalyzed	call on java.util.Properties:getProperty	2010-07-22 15:04:21
+	unanalyzed	call on java.util.TimeZone:getTimeZone	2010-07-22 15:04:21
+	unanalyzed	call on loadBlogEntry	2010-07-22 15:04:21
+	unanalyzed	call on net.sf.ehcache.Cache:get	2010-07-22 15:04:21
+	unanalyzed	call on net.sf.ehcache.Cache:put	2010-07-22 15:04:21
+	unanalyzed	call on net.sf.ehcache.Element	2010-07-22 15:04:21
+	unanalyzed	call on net.sf.ehcache.Element:getValue	2010-07-22 15:04:21
+	unanalyzed	call on net.sourceforge.pebble.domain. Blog:getCalendar	2010-07-22 15:04:21
+	unanalyzed	call on net.sourceforge.pebble.domain. BlogServiceException	2010-07-22 15:04:21
+	unanalyzed	call on net.sourceforge.pebble.domain.Month	2010-07-22 15:04:21
+	unanalyzed	call on net.sourceforge.pebble.domain. Month:getBlog	2010-07-22 15:04:21
+	unanalyzed	call on net.sourceforge.pebble.domain.TimePeriod	2010-07-22 15:04:21
+	unanalyzed	call on org.apache.commons.logging.Log:debug	2010-07-22 15:04:21
+	unanalyzed	call on setDate	2010-07-22 15:04:21
+	unanalyzed	call on setEventsEnabled	2010-07-22 15:04:21
+	unanalyzed	call on setPersistent	2010-07-22 15:04:21

int getNumberOfComments()

-/+	Kind	Annotation Text	Date
U	pre	this.comments != null	2010-07-16 16:14:15
U	post	init'ed(return_value)	2010-07-16 16:14:15
U	unanalyzed	call on getComments	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.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:iterator	2010-07-16 16:14:15

int getNumberOfResponses()

-/+	Kind	Annotation Text	Date
U	pre	init'ed(this.trackBacks)	2010-07-16 16:14:15
U	pre	this.comments != null	2010-07-16 16:14:15
U	post	init'ed(return_value)	2010-07-16 16:14:15
U	unanalyzed	call on getComments	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:sort	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:iterator	2010-07-16 16:14:15

int getNumberOfTrackBacks()

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

BlogEntry getPreviousBlogEntry()

-/+	Kind	Annotation Text	Date
+	pre	(soft) init'ed(this.blog.blogEntryIndex. indexEntries)	2010-07-22 15:04:21
+	pre	(soft) this.blog.properties != null	2010-07-22 15:04:21
+	pre	(soft) this.blog.years != null	2010-07-22 15:04:21
+	pre	init'ed(this.blog.blogEntryIndex)	2010-07-22 15:04:21
+	pre	init'ed(this.date)	2010-07-22 15:04:21
+	pre	init'ed(this.id)	2010-07-22 15:04:21
U	pre	this.blog != null	2010-07-16 16:14:15
+	post	init'ed(return_value)	2010-07-22 15:04:21
-	post	return_value == null	2010-07-16 16:59:22
-	post	return_value == undefined	2010-07-16 16:59:22
+	unanalyzed	call on clone	2010-07-22 15:04:21
+	unanalyzed	call on getBlog	2010-07-22 15:04:21
+	unanalyzed	call on getBlogEntry	2010-07-22 15:04:21
+	unanalyzed	call on getBlogEntryDAO	2010-07-22 15:04:21
+	unanalyzed	call on getBlogForDay	2010-07-22 15:04:21
+	unanalyzed	call on getBlogForMonth	2010-07-22 15:04:21
+	unanalyzed	call on getBlogForPreviousDay	2010-07-22 15:04:21
+	unanalyzed	call on getBlogForPreviousYear	2010-07-22 15:04:21
+	unanalyzed	call on getCompositeKeyForBlogEntry	2010-07-22 15:04:21
+	unanalyzed	call on getConfiguredFactory	2010-07-22 15:04:21
+	unanalyzed	call on getId	2010-07-22 15:04:21
+	unanalyzed	call on getLocale	2010-07-22 15:04:21
+	unanalyzed	call on getMonth	2010-07-22 15:04:21
+	unanalyzed	call on getTimeZone	2010-07-22 15:04:21
+	unanalyzed	call on getYear	2010-07-22 15:04:21
+	unanalyzed	call on java.lang.IllegalArgumentException	2010-07-22 15:04:21
+	unanalyzed	call on java.lang.Long:parseLong	2010-07-22 15:04:21
+	unanalyzed	call on java.lang.String:valueOf	2010-07-22 15:04:21
+	unanalyzed	call on java.util.ArrayList	2010-07-22 15:04:21
+	unanalyzed	call on java.util.Calendar:get	2010-07-22 15:04:21
+	unanalyzed	call on java.util.Calendar:getActualMaximum	2010-07-22 15:04:21
+	unanalyzed	call on java.util.Calendar:getInstance	2010-07-22 15:04:21
+	unanalyzed	call on java.util.Calendar:getTime	2010-07-22 15:04:21
+	unanalyzed	call on java.util.Calendar:set	2010-07-22 15:04:21
+	unanalyzed	call on java.util.Calendar:setTime	2010-07-22 15:04:21
+	unanalyzed	call on java.util.Collections:sort	2010-07-22 15:04:21
+	unanalyzed	call on java.util.Date	2010-07-22 15:04:21
+	unanalyzed	call on java.util.List:add	2010-07-22 15:04:21
+	unanalyzed	call on java.util.List:get	2010-07-22 15:04:21
+	unanalyzed	call on java.util.List:indexOf	2010-07-22 15:04:21
+	unanalyzed	call on java.util.List:isEmpty	2010-07-22 15:04:21
+	unanalyzed	call on java.util.List:iterator	2010-07-22 15:04:21
+	unanalyzed	call on java.util.List:size	2010-07-22 15:04:21
+	unanalyzed	call on java.util.Locale	2010-07-22 15:04:21
+	unanalyzed	call on java.util.Properties:getProperty	2010-07-22 15:04:21
+	unanalyzed	call on java.util.TimeZone:getTimeZone	2010-07-22 15:04:21
+	unanalyzed	call on loadBlogEntry	2010-07-22 15:04:21
+	unanalyzed	call on net.sf.ehcache.Cache:get	2010-07-22 15:04:21
+	unanalyzed	call on net.sf.ehcache.Cache:put	2010-07-22 15:04:21
+	unanalyzed	call on net.sf.ehcache.Element	2010-07-22 15:04:21
+	unanalyzed	call on net.sf.ehcache.Element:getValue	2010-07-22 15:04:21
+	unanalyzed	call on net.sourceforge.pebble.domain. Blog:getCalendar	2010-07-22 15:04:21
+	unanalyzed	call on net.sourceforge.pebble.domain. BlogServiceException	2010-07-22 15:04:21
+	unanalyzed	call on net.sourceforge.pebble.domain.Month	2010-07-22 15:04:21
+	unanalyzed	call on net.sourceforge.pebble.domain. Month:getBlog	2010-07-22 15:04:21
+	unanalyzed	call on net.sourceforge.pebble.domain.TimePeriod	2010-07-22 15:04:21
+	unanalyzed	call on org.apache.commons.logging.Log:debug	2010-07-22 15:04:21
+	unanalyzed	call on setDate	2010-07-22 15:04:21
+	unanalyzed	call on setEventsEnabled	2010-07-22 15:04:21
+	unanalyzed	call on setPersistent	2010-07-22 15:04:21

Response getResponse(String)

-/+	Kind	Annotation Text	Date
U	pre	(soft) init'ed(this.trackBacks)	2010-07-16 16:14:15
U	pre	(soft) this.comments != null	2010-07-16 16:14:15
U	pre	guid != null	2010-07-16 16:14:15
U	presumption	java.lang.String:lastIndexOf(...)@706 <= 2³²-2	2010-07-16 16:14:15
U	post	init'ed(return_value)	2010-07-16 16:14:15
U	unanalyzed	call on getComments	2010-07-16 16:14:15
-	unanalyzed	call on getId	2010-07-16 16:59:22
U	unanalyzed	call on java.util.ArrayList	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.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:iterator	2010-07-16 16:14:15
U	test_vector	java.lang.String:startsWith(...)@707: {0}, {1}	2010-07-16 16:14:15

List getResponses()

-/+	Kind	Annotation Text	Date
U	pre	init'ed(this.trackBacks)	2010-07-16 16:14:15
U	pre	this.comments != null	2010-07-16 16:14:15
U	post	new ArrayList(getResponses#1) num objects == 1	2010-07-16 16:14:15
U	post	return_value == &new ArrayList(getResponses#1)	2010-07-16 16:14:15
U	unanalyzed	call on getComments	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.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:iterator	2010-07-16 16:14:15

TimeZone getTimeZone()

-/+	Kind	Annotation Text	Date
U	pre	(soft) this.blog != null	2010-07-16 16:14:15
U	pre	init'ed(this.timeZoneId)	2010-07-16 16:14:15
U	post	init'ed(return_value)	2010-07-16 16:14:15
U	unanalyzed	call on net.sourceforge.pebble.domain. Blog:getTimeZoneId	2010-07-16 16:14:15

String getTimeZoneId()

-/+	Kind	Annotation Text	Date
U	pre	(soft) this.blog != null	2010-07-16 16:14:15
U	pre	init'ed(this.timeZoneId)	2010-07-16 16:14:15
U	post	init'ed(return_value)	2010-07-16 16:14:15
U	test_vector	this.timeZoneId: Addr_Set{null}, Inverse{null}	2010-07-16 16:14:15

TrackBack getTrackBack(long)

-/+	Kind	Annotation Text	Date
U	pre	init'ed(this.trackBacks)	2010-07-16 16:14:15
U	presumption	java.util.Iterator:next(...)@690 != null	2010-07-16 16:14:15
U	presumption	trackBack.date@690 != null	2010-07-16 16:14:15
U	post	init'ed(return_value)	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:getTime	2010-07-16 16:14:15
U	test_vector	java.util.Iterator:hasNext(...)@689: {1}, {0}	2010-07-16 16:14:15

String getTrackBackLink()

-/+	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.id)	2010-07-16 16:14:15
U	pre	this.blog != null	2010-07-16 16:14:15
U	presumption	net.sourceforge.pebble.trackback.TrackBackTokenMana ger:getInstance(...)@433 != 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

List getTrackBacks()

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

String getTrackBacksLink()

-/+	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	(soft) this.blog != null	2010-07-16 16:14:15
+	pre	(soft) this.blog.permalinkProvider != null	2010-07-22 15:04:21
U	pre	init'ed(this.permalink)	2010-07-16 16:14:15
U	post	init'ed(this.permalink)	2010-07-16 16:14:15
U	post	return_value != null	2010-07-16 16:14:15
-	unanalyzed	call on clone	2010-07-16 16:59:22
-	unanalyzed	call on getBlog	2010-07-16 16:59:22
-	unanalyzed	call on getBlogEntries	2010-07-16 16:59:22
-	unanalyzed	call on getBlogEntry	2010-07-16 16:59:22
-	unanalyzed	call on getBlogEntryDAO	2010-07-16 16:59:22
-	unanalyzed	call on getBlogForDay	2010-07-16 16:59:22
-	unanalyzed	call on getDate	2010-07-16 16:59:22
-	unanalyzed	call on getId	2010-07-16 16:59:22
U	unanalyzed	call on getPermalink	2010-07-16 16:14:15
U	unanalyzed	call on getPermalinkProvider	2010-07-16 16:14:15
-	unanalyzed	call on getTimeZone	2010-07-16 16:59:22
-	unanalyzed	call on getTitle	2010-07-16 16:59:22
U	unanalyzed	call on getUrl	2010-07-16 16:14:15
-	unanalyzed	call on java.io.File	2010-07-16 16:59:22
-	unanalyzed	call on java.io.File:exists	2010-07-16 16:59:22
-	unanalyzed	call on java.io.File:getAbsolutePath	2010-07-16 16:59:22
-	unanalyzed	call on java.lang.Exception	2010-07-16 16:59:22
-	unanalyzed	call on java.lang.Exception:getMessage	2010-07-16 16:59:22
-	unanalyzed	call on java.lang.Exception:printStackTrace	2010-07-16 16:59:22
-	unanalyzed	call on java.lang.Long:parseLong	2010-07-16 16:59:22
-	unanalyzed	call on java.lang.String:equals	2010-07-16 16:59:22
+	unanalyzed	call on java.lang.String:indexOf	2010-07-22 15:04:21
U	unanalyzed	call on java.lang.String:length	2010-07-16 16:14:15
-	unanalyzed	call on java.lang.String:replaceAll	2010-07-16 16:59:22
U	unanalyzed	call on java.lang.String:substring	2010-07-16 16:14:15
-	unanalyzed	call on java.lang.String:toLowerCase	2010-07-16 16:59:22
U	unanalyzed	call on java.lang.String:valueOf	2010-07-16 16:14:15
-	unanalyzed	call on java.text.DateFormat:format	2010-07-16 16:59:22
-	unanalyzed	call on java.text.DateFormat:setTimeZone	2010-07-16 16:59:22
-	unanalyzed	call on java.text.SimpleDateFormat	2010-07-16 16:59:22
-	unanalyzed	call on java.text.SimpleDateFormat:setTimeZone	2010-07-16 16:59:22
-	unanalyzed	call on java.util.Date	2010-07-16 16:59:22
-	unanalyzed	call on java.util.HashMap:get	2010-07-16 16:59:22
-	unanalyzed	call on java.util.HashMap:keySet	2010-07-16 16:59:22
-	unanalyzed	call on java.util.List:get	2010-07-16 16:59:22
-	unanalyzed	call on java.util.List:indexOf	2010-07-16 16:59:22
-	unanalyzed	call on java.util.List:size	2010-07-16 16:59:22
-	unanalyzed	call on java.util.Set:iterator	2010-07-16 16:59:22
-	unanalyzed	call on javax.xml.parsers.SAXParser:parse	2010-07-16 16:59:22
-	unanalyzed	call on javax.xml.parsers.SAXParserFactory:newInsta nce	2010-07-16 16:59:22
-	unanalyzed	call on javax.xml.parsers.SAXParserFactory:newSAXPa rser	2010-07-16 16:59:22
-	unanalyzed	call on javax.xml.parsers.SAXParserFactory:setNames paceAware	2010-07-16 16:59:22
-	unanalyzed	call on javax.xml.parsers.SAXParserFactory:setValid ating	2010-07-16 16:59:22
-	unanalyzed	call on loadBlogEntry	2010-07-16 16:59:22
+	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
-	unanalyzed	call on net.sourceforge.pebble.dao.PersistenceExcep tion	2010-07-16 16:59:22
-	unanalyzed	call on net.sourceforge.pebble.domain.Blog:error	2010-07-16 16:59:22
-	unanalyzed	call on net.sourceforge.pebble.domain. Blog:getLocale	2010-07-16 16:59:22
-	unanalyzed	call on net.sourceforge.pebble.domain.Blog:getRoot	2010-07-16 16:59:22
-	unanalyzed	call on net.sourceforge.pebble.domain. Blog:getTimeZone	2010-07-16 16:59:22
-	unanalyzed	call on net.sourceforge.pebble.domain.BlogEntry	2010-07-16 16:59:22
-	unanalyzed	call on net.sourceforge.pebble.domain. BlogEntry:getBlog	2010-07-16 16:59:22
-	unanalyzed	call on net.sourceforge.pebble.domain.BlogService	2010-07-16 16:59:22
-	unanalyzed	call on org.apache.commons.logging.Log:debug	2010-07-16 16:59:22
-	unanalyzed	call on org.apache.commons.logging.Log:error	2010-07-16 16:59:22
-	unanalyzed	call on org.xml.sax.helpers.DefaultHandler	2010-07-16 16:59:22
-	unanalyzed	call on setEventsEnabled	2010-07-16 16:59:22
-	unanalyzed	call on setPersistent	2010-07-16 16:59:22

bool hasTag(String)

-/+	Kind	Annotation Text	Date
+	pre	(soft) init'ed(this.blog.rootCategory...parent)	2010-07-22 15:04:21
+	pre	(soft) init'ed(this.blog.rootCategory... tagsAsList)	2010-07-22 15:04:21
+	pre	(soft) init'ed(this.blog.rootCategory.parent)	2010-07-22 15:04:21
+	pre	(soft) init'ed(this.blog.rootCategory.tagsAsList)	2010-07-22 15:04:21
U	pre	(soft) init'ed(this.categories)	2010-07-16 16:14:15
U	pre	(soft) this.blog != null	2010-07-16 16:14:15
+	pre	(soft) this.blog.rootCategory != null	2010-07-22 15:04:21
U	pre	(soft) this.tagsAsList != null	2010-07-16 16:14:15
U	post	init'ed(return_value)	2010-07-16 16:14:15
-	unanalyzed	call on getAllTags	2010-07-16 16:59:22
U	unanalyzed	call on getRootCategory	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: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.HashSet	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
U	test_vector	s: Addr_Set{null}, Inverse{null}	2010-07-16 16:14:15

int hashCode()

-/+	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	init'ed(return_value)	2010-07-16 16:14:15
U	unanalyzed	call on getId	2010-07-16 16:14:15

bool inCategory(Category)

-/+	Kind	Annotation Text	Date
U	pre	(soft) category.id != null	2010-07-16 16:14:15
U	pre	(soft) this.categories != null	2010-07-16 16:14:15
U	presumption	java.util.Iterator:next(...)@228 != null	2010-07-16 16:14:15
U	post	init'ed(return_value)	2010-07-16 16:14:15
U	unanalyzed	call on java.lang.String:equals	2010-07-16 16:14:15
U	test_vector	category: Addr_Set{null}, Inverse{null}	2010-07-16 16:14:15
U	test_vector	java.util.Iterator:hasNext(...)@227: {1}, {0}	2010-07-16 16:14:15

bool isCommentsEnabled()

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

bool isTrackBacksEnabled()

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

void net.sourceforge.pebble.domain.BlogEntry(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(BlogEntry#2) num objects == 1	2010-07-16 16:14:15
U	post	new ArrayList(BlogEntry#3) num objects == 1	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 HashSet(BlogEntry#1) 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.categories == &new HashSet(BlogEntry#1)	2010-07-16 16:14:15
U	post	this.comments == &new ArrayList(BlogEntry#2)	2010-07-16 16:14:15
U	post	this.commentsEnabled == 1	2010-07-16 16:14:15
U	post	this.events == &new ArrayList(Content#1)	2010-07-16 16:14:15
U	post	this.excerpt == &""	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#4)	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.title == &""	2010-07-16 16:14:15
U	post	this.trackBacks == &new ArrayList(BlogEntry#3)	2010-07-16 16:14:15
U	post	this.trackBacksEnabled == 1	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.BlogEntry__static_init

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

void removeAllCategories()

-/+	Kind	Annotation Text	Date
U	pre	this.categories != null	2010-07-16 16:14:15
U	pre	this.propertyChangeSupport != null	2010-07-16 16:14:15

void removeComment(long)

-/+	Kind	Annotation Text	Date
U	pre	(soft) init'ed(this.eventsEnabled)	2010-07-16 16:14:15
U	pre	(soft) log != null	2010-07-16 16:14:15
U	pre	(soft) this.comments != null	2010-07-16 16:14:15
U	pre	(soft) this.events != null	2010-07-16 16:14:15
U	presumption	child.blogEntry@646 != null	2010-07-16 16:14:15
U	presumption	child.comments@646 != null	2010-07-16 16:14:15
U	presumption	comment.blogEntry@646 != null	2010-07-16 16:14:15
U	presumption	comment.blogEntry@647 != null	2010-07-16 16:14:15
U	presumption	comment.comments@646 != null	2010-07-16 16:14:15
U	presumption	comment.comments@647 != null	2010-07-16 16:14:15
U	presumption	getParent(...).blogEntry@646 != null	2010-07-16 16:14:15
U	presumption	getParent(...).blogEntry@647 != null	2010-07-16 16:14:15
U	presumption	getParent(...).comments@646 != null	2010-07-16 16:14:15
U	presumption	getParent(...).comments@647 != null	2010-07-16 16:14:15
+	unanalyzed	call on areEventsEnabled	2010-07-22 15:04:21
+	unanalyzed	call on getBlogEntry	2010-07-22 15:04:21
U	unanalyzed	call on getComments	2010-07-16 16:14:15
-	unanalyzed	call on getId	2010-07-16 16:59:22
U	unanalyzed	call on java.util.ArrayList	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.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.List:remove	2010-07-16 16:14:15
-	unanalyzed	call on net.sourceforge.pebble.api.event. PebbleEvent	2010-07-16 16:59:22
U	unanalyzed	call on net.sourceforge.pebble.domain. BlogEntry:addEvent	2010-07-16 16:14:15
U	unanalyzed	call on removeComment	2010-07-16 16:14:15
U	test_vector	java.util.Iterator:hasNext(...)@646: {1}, {0}	2010-07-16 16:14:15

void removeResponse(Response)

-/+	Kind	Annotation Text	Date
U	pre	(soft) init'ed(this.eventsEnabled)	2010-07-16 16:14:15
U	pre	(soft) log != null	2010-07-16 16:14:15
U	pre	(soft) response.date != null	2010-07-16 16:14:15
U	pre	(soft) this.comments != null	2010-07-16 16:14:15
U	pre	(soft) this.events != null	2010-07-16 16:14:15
U	pre	(soft) this.trackBacks != null	2010-07-16 16:14:15
+	unanalyzed	call on areEventsEnabled	2010-07-22 15:04:21
+	unanalyzed	call on getBlogEntry	2010-07-22 15:04:21
U	unanalyzed	call on getComment	2010-07-16 16:14:15
U	unanalyzed	call on getComments	2010-07-16 16:14:15
-	unanalyzed	call on getId	2010-07-16 16:59:22
-	unanalyzed	call on getParent	2010-07-16 16:59:22
U	unanalyzed	call on getTrackBack	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: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.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.List:remove	2010-07-16 16:14:15
U	unanalyzed	call on net.sourceforge.pebble.api.event. PebbleEvent	2010-07-16 16:14:15
U	unanalyzed	call on net.sourceforge.pebble.domain. BlogEntry:addEvent	2010-07-16 16:14:15
U	unanalyzed	call on org.apache.commons.logging.Log:warn	2010-07-16 16:14:15
U	unanalyzed	call on removeComment	2010-07-16 16:14:15

void removeTrackBack(long)

-/+	Kind	Annotation Text	Date
U	pre	(soft) init'ed(this.eventsEnabled)	2010-07-16 16:14:15
U	pre	(soft) log != null	2010-07-16 16:14:15
U	pre	(soft) this.events != null	2010-07-16 16:14:15
U	pre	(soft) this.trackBacks != null	2010-07-16 16:14:15
-	unanalyzed	call on getId	2010-07-16 16:59:22
U	unanalyzed	call on java.util.ArrayList	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.List:add	2010-07-16 16:14:15
U	unanalyzed	call on java.util.List:iterator	2010-07-16 16:14:15
U	unanalyzed	call on net.sourceforge.pebble.api.event. PebbleEvent	2010-07-16 16:14:15
U	test_vector	this.eventsEnabled: {0}, {1}	2010-07-16 16:14:15

void setAttachment(Attachment)

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

void setCategories(Collection)

-/+	Kind	Annotation Text	Date
U	pre	(soft) this.categories != null	2010-07-16 16:14:15
U	pre	(soft) this.propertyChangeSupport != null	2010-07-16 16:14:15
U	test_vector	java.util.Iterator:hasNext(...)@210: {1}, {0}	2010-07-16 16:14:15
U	test_vector	newCategories: Addr_Set{null}, Inverse{null}	2010-07-16 16:14:15

void setCommentsEnabled(bool)

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

void setDate(Date)

-/+	Kind	Annotation Text	Date
U	pre	init'ed(this.date)	2010-07-16 16:14:15
U	pre	newDate != null	2010-07-16 16:14:15
U	pre	this.propertyChangeSupport != null	2010-07-16 16:14:15
U	post	this.date != null	2010-07-16 16:14:15
U	post	this.date == newDate	2010-07-16 16:14:15
U	post	this.id != null	2010-07-16 16:14:15
U	post	this.permalink == null	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.util.Date:getTime	2010-07-16 16:14:15

void setEventsEnabled(bool)

-/+	Kind	Annotation Text	Date
U	pre	init'ed(this.trackBacks)	2010-07-16 16:14:15
U	pre	this.comments != null	2010-07-16 16:14:15
U	presumption	java.util.Iterator:next(...)@861 != null	2010-07-16 16:14:15
U	post	init'ed(this.eventsEnabled)	2010-07-16 16:14:15
U	unanalyzed	call on getComments	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:sort	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:iterator	2010-07-16 16:14:15
U	test_vector	java.util.Iterator:hasNext(...)@861: {1}, {0}	2010-07-16 16:14:15

void setExcerpt(String)

-/+	Kind	Annotation Text	Date
U	pre	init'ed(this.excerpt)	2010-07-16 16:14:15
U	pre	this.propertyChangeSupport != null	2010-07-16 16:14:15
U	post	init'ed(this.excerpt)	2010-07-16 16:14:15
U	test_vector	newExcerpt: Addr_Set{null}, Inverse{null}	2010-07-16 16:14:15

void setState(State)

-/+	Kind	Annotation Text	Date
U	pre	(soft) init'ed(state.name)	2010-07-16 16:14:15
U	pre	(soft) net.sourceforge.pebble.domain.State__static_ init.new State(State__static_init#4).name != null	2010-07-16 16:14:15
U	pre	(soft) net.sourceforge.pebble.domain.State__static_ init.new State(State__static_init#5).name != null	2010-07-16 16:14:15
U	pre	(soft) state != null	2010-07-16 16:14:15
U	pre	(soft) this.events != null	2010-07-16 16:14:15
U	pre	init'ed(this.eventsEnabled)	2010-07-16 16:14:15
U	pre	init'ed(this.state)	2010-07-16 16:14:15
U	post	(soft) this.state != null	2010-07-16 16:14:15
U	post	this.state == state	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.EventObject	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	test_vector	this.eventsEnabled: {0}, {1}	2010-07-16 16:14:15

void setTimeZoneId(String)

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

void setTitle(String)

-/+	Kind	Annotation Text	Date
U	pre	init'ed(this.title)	2010-07-16 16:14:15
U	pre	this.propertyChangeSupport != null	2010-07-16 16:14:15
U	post	init'ed(this.title)	2010-07-16 16:14:15
U	post	this.permalink == null	2010-07-16 16:14:15
U	post	this.title == newTitle	2010-07-16 16:14:15
U	unanalyzed	call on java.beans.PropertyChangeSupport:fireProper tyChange	2010-07-16 16:14:15

void setTrackBacksEnabled(bool)

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

String toString()

-/+	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
U	unanalyzed	call on getId	2010-07-16 16:14:15

void validate(ValidationContext)

-/+	Kind	Annotation Text	Date