trackback.java

trackback.java

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

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

Filter Options

History:

+	added
-	dropped
U	unchanged

Annotation Kind:

pre

presumption

post

unanalyzed

test

Object clone()

-/+	Kind	Annotation Text	Date
+	pre	(soft) this.blogEntry != null	2010-07-22 12:56:56
U	pre	init'ed(this.blogName)	2010-07-16 16:14:15
U	pre	init'ed(this.date)	2010-07-16 16:14:15
U	pre	init'ed(this.excerpt)	2010-07-16 16:14:15
U	pre	init'ed(this.ipAddress)	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.url)	2010-07-16 16:14:15
-	pre	this.blogEntry != null	2010-07-16 16:59:22
+	post	(soft) return_value.blogEntry != null	2010-07-22 12:56:56
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(clone#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(clone#1)	2010-07-16 16:14:15
-	post	return_value.blogEntry != null	2010-07-16 16:59:22
U	post	return_value.blogEntry == this.blogEntry	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{this.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{this.excerpt, &""}	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.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 == this.url	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.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-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

String getBlogName()

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

String getContent()

-/+	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 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 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.url)	2010-07-16 16:14:15
U	post	init'ed(return_value)	2010-07-16 16:14:15
U	post	return_value == this.url	2010-07-16 16:14:15

String getSourceName()

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

String getTitle()

-/+	Kind	Annotation Text	Date
U	pre	(soft) init'ed(this.url)	2010-07-16 16:14:15
U	pre	init'ed(this.title)	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.title, this.url}	2010-07-16 16:14:15
U	test_vector	java.lang.String:length(...)@81: {0}, {1..2³²-1}	2010-07-16 16:14:15
U	test_vector	this.title: Addr_Set{null}, Inverse{null}	2010-07-16 16:14:15

String getUrl()

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

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

-/+	Kind	Annotation Text	Date
+	pre	(soft) blogEntry != null	2010-07-22 12:56:56
-	pre	blogEntry != null	2010-07-16 16:59:22
+	post	(soft) this.blogEntry != null	2010-07-22 12:56:56
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.ipAddress)	2010-07-16 16:14:15
U	post	init'ed(this.spamScore)	2010-07-16 16:14:15
U	post	init'ed(this.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	possibly_updated(this.state)	2010-07-16 16:14:15
U	post	possibly_updated(this.title)	2010-07-16 16:14:15
-	post	this.blogEntry != null	2010-07-16 16:59:22
U	post	this.blogEntry == blogEntry	2010-07-16 16:14:15
U	post	this.blogName != null	2010-07-16 16:14:15
U	post	this.blogName == One-of{blogName, &""}	2010-07-16 16:14:15
U	post	this.events == &new ArrayList(Content#1)	2010-07-16 16:14:15
U	post	this.excerpt != null	2010-07-16 16:14:15
U	post	this.excerpt == One-of{excerpt, &""}	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
U	post	this.url == url	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.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: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.TrackBack__static_init

-/+	Kind	Annotation Text	Date

void setBlogName(String)

-/+	Kind	Annotation Text	Date
U	post	this.blogName != null	2010-07-16 16:14:15
U	post	this.blogName == One-of{blogName, &""}	2010-07-16 16:14:15
U	test_vector	blogName: Addr_Set{null}, Inverse{null}	2010-07-16 16:14:15

void setExcerpt(String)

-/+	Kind	Annotation Text	Date
U	post	this.excerpt != null	2010-07-16 16:14:15
U	post	this.excerpt == One-of{excerpt, &""}	2010-07-16 16:14:15
U	test_vector	excerpt: Addr_Set{null}, Inverse{null}	2010-07-16 16:14:15

void setState(State)

-/+	Kind	Annotation Text	Date
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#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) this.blogEntry != null	2010-07-16 16:14:15
U	pre	(soft) this.state != null	2010-07-16 16:14:15
U	pre	init'ed(this.eventsEnabled)	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
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 setUrl(String)

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