comment.java

comment.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 addComment(Comment)

-/+	Kind	Annotation Text	Date
U	pre	(soft) this.comments != null	2010-07-16 16:14:15
U	post	comment.parent == One-of{old comment.parent, this}	2010-07-16 16:14:15
U	test_vector	comment: Addr_Set{null}, Inverse{null}	2010-07-16 16:14:15
U	test_vector	java.util.List:contains(...)@295: {1}, {0}	2010-07-16 16:14:15

Object clone()

-/+	Kind	Annotation Text	Date
U	pre	init'ed(this.authenticated)	2010-07-16 16:14:15
U	pre	init'ed(this.author)	2010-07-16 16:14:15
U	pre	init'ed(this.body)	2010-07-16 16:14:15
U	pre	init'ed(this.date)	2010-07-16 16:14:15
U	pre	init'ed(this.email)	2010-07-16 16:14:15
U	pre	init'ed(this.ipAddress)	2010-07-16 16:14:15
U	pre	init'ed(this.parent)	2010-07-16 16:14:15
U	pre	init'ed(this.state)	2010-07-16 16:14:15
U	pre	init'ed(this.title)	2010-07-16 16:14:15
U	pre	init'ed(this.website)	2010-07-16 16:14:15
U	pre	this.blogEntry != 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.parent)	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(clone#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(clone#1)	2010-07-16 16:14:15
U	post	return_value.authenticated == this.authenticated	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", this.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.blogEntry	2010-07-16 16:14:15
U	post	return_value.body == One-of{null, this.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, this.ipAddress}	2010-07-16 16:14:15
U	post	return_value.parent == this.parent	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 12:56:56
+	unanalyzed	call on getBlogEntry	2010-07-22 12:56:56
+	unanalyzed	call on getState	2010-07-22 12:56:56
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 12:56:56
+	unanalyzed	call on net.sourceforge.pebble.domain.Response	2010-07-22 12:56:56
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

bool equals(Object)

-/+	Kind	Annotation Text	Date
U	pre	(soft) o.blogEntry != null	2010-07-16 16:14:15
U	pre	(soft) o.date != null	2010-07-16 16:14:15
U	pre	(soft) this.blogEntry != null	2010-07-16 16:14:15
U	pre	(soft) this.date != null	2010-07-16 16:14:15
U	presumption	net.sourceforge.pebble.domain.BlogEntry:getId(... )@355 != 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.Date:getTime	2010-07-16 16:14:15
U	test_vector	java.lang.String:equals(...)@355: {0}, {1}	2010-07-16 16:14:15
U	test_vector	this == o: {0}, {1}	2010-07-16 16:14:15

String getAuthor()

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

String getBody()

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

List getComments()

-/+	Kind	Annotation Text	Date
U	pre	init'ed(this.comments)	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

String getContent()

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

String getEmail()

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

int getNumberOfParents()

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

Comment getParent()

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

String getPermalink()

-/+	Kind	Annotation Text	Date
+	pre	(soft) init'ed(net/sourceforge/pebble/domain/BlogMa nager.instance.multiBlog)	2010-07-22 12:56:56
+	pre	(soft) init'ed(this.blogEntry.blog.id)	2010-07-22 12:56:56
U	pre	(soft) init'ed(this.blogEntry.permalink)	2010-07-16 16:14:15
+	pre	(soft) net/sourceforge/pebble/domain/BlogManager. instance != null	2010-07-22 12:56:56
U	pre	(soft) this.blogEntry.blog != null	2010-07-16 16:14:15
+	pre	(soft) this.blogEntry.blog.permalinkProvider != null	2010-07-22 12:56:56
U	pre	(soft) this.date != null	2010-07-16 16:14:15
U	pre	init'ed(this.blogEntry)	2010-07-16 16:14:15
U	post	init'ed(this.blogEntry.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 12:56:56
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
U	unanalyzed	call on java.util.Date:getTime	2010-07-16 16:14:15
-	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 12:56:56
+	unanalyzed	call on net.sourceforge.pebble.PebbleContext:getIns tance	2010-07-22 12:56:56
-	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
U	test_vector	this.blogEntry: Addr_Set{null}, Inverse{null}	2010-07-16 16:14:15

String getSourceLink()

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

String getSourceName()

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

String getTruncatedBody()

-/+	Kind	Annotation Text	Date
U	pre	(soft) init'ed(this.body)	2010-07-16 16:14:15
U	pre	(soft) init'ed(this.excerpt)	2010-07-16 16:14:15
U	post	init'ed(return_value)	2010-07-16 16:14:15
U	unanalyzed	call on getContent	2010-07-16 16:14:15
U	unanalyzed	call on java.lang.String:length	2010-07-16 16:14:15
U	unanalyzed	call on net.sourceforge.pebble.util. StringUtils:truncate	2010-07-16 16:14:15

String getWebsite()

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

int hashCode()

-/+	Kind	Annotation Text	Date
U	pre	this.date != 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.Date:getTime	2010-07-16 16:14:15

bool isAuthenticated()

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

void net.sourceforge.pebble.domain.Comment()

-/+	Kind	Annotation Text	Date
U	post	init'ed(this.eventsEnabled)	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 PropertyChangeSupport(Content#2) num objects == 1	2010-07-16 16:14:15
U	post	this.authenticated == 0	2010-07-16 16:14:15
U	post	this.comments == &new ArrayList(Comment#1)	2010-07-16 16:14:15
U	post	this.events == &new ArrayList(Content#1)	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.spamScore == 0	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.util.ArrayList	2010-07-16 16:14:15
+	unanalyzed	call on net.sourceforge.pebble.domain.Content	2010-07-22 12:56:56

void net.sourceforge.pebble.domain.Comment(String, String, String, String, String, String, Date, State, BlogEntry)

-/+	Kind	Annotation Text	Date
U	pre	blogEntry != null	2010-07-16 16:14:15
U	post	init'ed(this.authenticated)	2010-07-16 16:14:15
U	post	init'ed(this.body)	2010-07-16 16:14:15
U	post	init'ed(this.date)	2010-07-16 16:14:15
U	post	init'ed(this.email)	2010-07-16 16:14:15
U	post	init'ed(this.eventsEnabled)	2010-07-16 16:14:15
U	post	init'ed(this.ipAddress)	2010-07-16 16:14:15
U	post	init'ed(this.spamScore)	2010-07-16 16:14:15
U	post	init'ed(this.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 PropertyChangeSupport(Content#2) num objects == 1	2010-07-16 16:14:15
U	post	possibly_updated(this.state)	2010-07-16 16:14:15
U	post	possibly_updated(this.title)	2010-07-16 16:14:15
U	post	this.author != null	2010-07-16 16:14:15
U	post	this.author == One-of{&"Anonymous", author}	2010-07-16 16:14:15
U	post	this.blogEntry != null	2010-07-16 16:14:15
U	post	this.blogEntry == blogEntry	2010-07-16 16:14:15
U	post	this.body == One-of{null, body}	2010-07-16 16:14:15
U	post	this.comments == &new ArrayList(Comment#1)	2010-07-16 16:14:15
U	post	this.events == &new ArrayList(Content#1)	2010-07-16 16:14:15
U	post	this.ipAddress == One-of{null, ipAddress}	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
+	unanalyzed	call on areEventsEnabled	2010-07-22 12:56:56
+	unanalyzed	call on getBlogEntry	2010-07-22 12:56:56
+	unanalyzed	call on getState	2010-07-22 12:56:56
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 12:56:56
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

net.sourceforge.pebble.domain.Comment__static_init

-/+	Kind	Annotation Text	Date

void removeComment(Comment)

-/+	Kind	Annotation Text	Date
U	pre	(soft) comment.blogEntry != null	2010-07-16 16:14:15
U	pre	(soft) comment.comments != null	2010-07-16 16:14:15
U	pre	(soft) init'ed(comment.eventsEnabled)	2010-07-16 16:14:15
U	pre	(soft) init'ed(this.eventsEnabled)	2010-07-16 16:14:15
U	pre	(soft) this.blogEntry != null	2010-07-16 16:14:15
U	pre	(soft) this.comments != null	2010-07-16 16:14:15
U	presumption	child.blogEntry@309 != null	2010-07-16 16:14:15
U	presumption	child.comments@309 != null	2010-07-16 16:14:15
U	post	comment.parent == One-of{old comment.parent, null}	2010-07-16 16:14:15
+	unanalyzed	call on areEventsEnabled	2010-07-22 12:56:56
+	unanalyzed	call on getBlogEntry	2010-07-22 12:56:56
U	unanalyzed	call on java.util.ArrayList	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: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	comment: Addr_Set{null}, Inverse{null}	2010-07-16 16:14:15
U	test_vector	java.util.Iterator:hasNext(...)@309: {1}, {0}	2010-07-16 16:14:15
U	test_vector	java.util.List:contains(...)@307: {0}, {1}	2010-07-16 16:14:15

void setAuthenticated(bool)

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

void setAuthor(String)

-/+	Kind	Annotation Text	Date
U	post	this.author != null	2010-07-16 16:14:15
U	post	this.author == One-of{&"Anonymous", author}	2010-07-16 16:14:15
U	test_vector	author: Addr_Set{null}, Inverse{null}	2010-07-16 16:14:15
U	test_vector	java.lang.String:length(...)@175: {1.. 2³²-1}, {0}	2010-07-16 16:14:15

void setBody(String)

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

void setEmail(String)

-/+	Kind	Annotation Text	Date
U	post	init'ed(this.email)	2010-07-16 16:14:15
U	test_vector	email: Addr_Set{null}, Inverse{null}	2010-07-16 16:14:15
U	test_vector	java.lang.String:length(...)@197: {1.. 2³²-1}, {0}	2010-07-16 16:14:15

void setParent(Comment)

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

void setState(State)

-/+	Kind	Annotation Text	Date
U	pre	(soft) init'ed(s.name)	2010-07-16 16:14:15
U	pre	(soft) net.sourceforge.pebble.domain.State__static_ init.new State(State__static_init#1).name != null	2010-07-16 16:14:15
U	pre	(soft) net.sourceforge.pebble.domain.State__static_ init.new State(State__static_init#2).name != null	2010-07-16 16:14:15
U	pre	(soft) s != null	2010-07-16 16:14:15
U	pre	(soft) this.blogEntry != 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 == s	2010-07-16 16:14:15
+	unanalyzed	call on getState	2010-07-22 12:56:56
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
-	unanalyzed	call on net.sourceforge.pebble.api.event. PebbleEvent	2010-07-16 16:59:22
U	test_vector	this.eventsEnabled: {0}, {1}	2010-07-16 16:14:15

void setTitle(String)

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

void setWebsite(String)

-/+	Kind	Annotation Text	Date
U	post	init'ed(this.website)	2010-07-16 16:14:15
U	test_vector	java.lang.String:length(...)@229: {1.. 2³²-1}, {0}	2010-07-16 16:14:15
U	test_vector	java.lang.String:startsWith(...)@232: {1}, {0}	2010-07-16 16:14:15
U	test_vector	java.lang.String:startsWith(...)@233: {1}, {0}	2010-07-16 16:14:15
U	test_vector	java.lang.String:startsWith(...)@234: {1}, {0}	2010-07-16 16:14:15
U	test_vector	java.lang.String:startsWith(...)@235: {1}, {0}	2010-07-16 16:14:15
U	test_vector	net.sourceforge.pebble.util.StringUtils:filterHTML( ...)@228: Addr_Set{null}, Inverse{null}	2010-07-16 16:14:15