fileblogentrydao.java

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

Node createCDATASection(Document, String)

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

Node createTextNode(Document, String)

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

String getPath(Blog, String, TimeZone)

-/+	Kind	Annotation Text	Date
U	pre	blog != null	2010-07-16 16:14:15
U	presumption	init'ed(java.io.File.separator)	2010-07-16 16:14:15
U	post	return_value != null	2010-07-16 16:14:15

Collection loadBlogEntries(Blog)

-/+	Kind	Annotation Text	Date
U	pre	(soft) log != null	2010-07-16 16:14:15
U	pre	blog != null	2010-07-16 16:14:15
U	presumption	Local_13[Local_11]@103 != null	2010-07-16 16:14:15
U	presumption	Local_18[Local_16]@105 != null	2010-07-16 16:14:15
U	presumption	Local_23[Local_21]@107 != null	2010-07-16 16:14:15
U	presumption	Local_8[Local_6]@101 != null	2010-07-16 16:14:15
U	presumption	blogEntryFiles.length@107 <= 2³²-1	2010-07-16 16:14:15
U	presumption	days.length@105 <= 2³²-1	2010-07-16 16:14:15
U	presumption	java.io.File:listFiles(...)@101 != null	2010-07-16 16:14:15
U	presumption	java.io.File:listFiles(...)@103 != null	2010-07-16 16:14:15
U	presumption	java.io.File:listFiles(...)@105 != null	2010-07-16 16:14:15
U	presumption	java.io.File:listFiles(...)@107 != null	2010-07-16 16:14:15
U	presumption	months.length@103 <= 2³²-1	2010-07-16 16:14:15
U	presumption	years.length@101 <= 2³²-1	2010-07-16 16:14:15
U	post	new ArrayList(loadBlogEntries#1) num objects == 1	2010-07-16 16:14:15
U	post	return_value == &new ArrayList(loadBlogEntries# 1)	2010-07-16 16:14:15
+	unanalyzed	call on getBlog	2010-07-22 12:56:56
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.io.File:exists	2010-07-16 16:14:15
U	unanalyzed	call on java.io.File:getAbsolutePath	2010-07-16 16:14:15
U	unanalyzed	call on java.lang.Exception	2010-07-16 16:14:15
U	unanalyzed	call on java.lang.Exception:getMessage	2010-07-16 16:14:15
U	unanalyzed	call on java.lang.Exception:printStackTrace	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:valueOf	2010-07-16 16:14:15
U	unanalyzed	call on java.text.SimpleDateFormat	2010-07-16 16:14:15
U	unanalyzed	call on java.text.SimpleDateFormat:setTimeZone	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.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 javax.xml.parsers.SAXParser:parse	2010-07-16 16:14:15
U	unanalyzed	call on javax.xml.parsers.SAXParserFactory:newInsta nce	2010-07-16 16:14:15
U	unanalyzed	call on javax.xml.parsers.SAXParserFactory:newSAXPa rser	2010-07-16 16:14:15
U	unanalyzed	call on javax.xml.parsers.SAXParserFactory:setNames paceAware	2010-07-16 16:14:15
U	unanalyzed	call on javax.xml.parsers.SAXParserFactory:setValid ating	2010-07-16 16:14:15
-	unanalyzed	call on net.sourceforge.pebble.PebbleException	2010-07-16 16:59:22
+	unanalyzed	call on net.sourceforge.pebble.api.event. PebbleEvent	2010-07-22 15:04:21
-	unanalyzed	call on net.sourceforge.pebble.dao.PersistenceExcep tion	2010-07-16 16:59:22
U	unanalyzed	call on net.sourceforge.pebble.domain. Blog:getLocale	2010-07-16 16:14:15
U	unanalyzed	call on net.sourceforge.pebble.domain. Blog:getTimeZone	2010-07-16 16:14:15
-	unanalyzed	call on net.sourceforge.pebble.domain.BlogEntry	2010-07-22 15:04:21
-	unanalyzed	call on net.sourceforge.pebble.domain. BlogEntry:getBlog	2010-07-16 16:59:22
U	unanalyzed	call on org.apache.commons.logging.Log:debug	2010-07-16 16:14:15
U	unanalyzed	call on org.apache.commons.logging.Log:error	2010-07-16 16:14:15
U	unanalyzed	call on org.xml.sax.helpers.DefaultHandler	2010-07-16 16:14:15
U	unanalyzed	call on setDate	2010-07-16 16:14:15
U	unanalyzed	call on setState	2010-07-16 16:14:15

BlogEntry loadBlogEntry(Blog, File)

-/+	Kind	Annotation Text	Date
+	pre	(soft) blog != null	2010-07-22 15:04:21
U	pre	(soft) log != null	2010-07-16 16:14:15
U	pre	source != null	2010-07-16 16:14:15
U	presumption	javax.xml.parsers.SAXParserFactory:newInstance(... )@71 != null	2010-07-16 16:14:15
U	presumption	javax.xml.parsers.SAXParserFactory:newSAXParser(... )@74 != null	2010-07-16 16:14:15
+	post	(soft) new BlogEntry(loadBlogEntry#2).blog != null	2010-07-22 15:04:21
-	post	init'ed(new BlogEntry(loadBlogEntry#2).blog)	2010-07-22 15:04:21
U	post	init'ed(new BlogEntry(loadBlogEntry#2).date)	2010-07-16 16:14:15
U	post	init'ed(new BlogEntry(loadBlogEntry#2). eventsEnabled)	2010-07-16 16:14:15
U	post	init'ed(new BlogEntry(loadBlogEntry#2).lockedBy)	2010-07-16 16:14:15
U	post	init'ed(new BlogEntry(loadBlogEntry#2).permalink)	2010-07-16 16:14:15
U	post	init'ed(new BlogEntry(loadBlogEntry#2).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 BlogEntry(loadBlogEntry#2) num objects <= 1	2010-07-16 16:14:15
U	post	new BlogEntry(loadBlogEntry#2).author == &""	2010-07-16 16:14:15
U	post	new BlogEntry(loadBlogEntry#2).blog == blog	2010-07-16 16:14:15
U	post	new BlogEntry(loadBlogEntry#2).body == &""	2010-07-16 16:14:15
U	post	new BlogEntry(loadBlogEntry#2).categories == &new HashSet(BlogEntry#1)	2010-07-16 16:14:15
U	post	new BlogEntry(loadBlogEntry#2).comments == &new ArrayList(BlogEntry#2)	2010-07-16 16:14:15
U	post	new BlogEntry(loadBlogEntry#2).commentsEnabled == 1	2010-07-16 16:14:15
U	post	new BlogEntry(loadBlogEntry#2).events == &new ArrayList(Content#1)	2010-07-16 16:14:15
U	post	new BlogEntry(loadBlogEntry#2).excerpt == &""	2010-07-16 16:14:15
U	post	new BlogEntry(loadBlogEntry#2).propertyChangeEvents == &new ArrayList(Content#3)	2010-07-16 16:14:15
U	post	new BlogEntry(loadBlogEntry#2).propertyChangeSuppor t == &new PropertyChangeSupport(Content#2)	2010-07-16 16:14:15
U	post	new BlogEntry(loadBlogEntry#2).state == &net.sourceforge.pebble.domain.State__static_ init.new State(State__static_init#4)	2010-07-16 16:14:15
U	post	new BlogEntry(loadBlogEntry#2).subtitle == &""	2010-07-16 16:14:15
U	post	new BlogEntry(loadBlogEntry#2).tags == &""	2010-07-16 16:14:15
U	post	new BlogEntry(loadBlogEntry#2).tagsAsCommaSeparated == &""	2010-07-16 16:14:15
U	post	new BlogEntry(loadBlogEntry#2).tagsAsList == &new LinkedList(PageBasedContent#1)	2010-07-16 16:14:15
U	post	new BlogEntry(loadBlogEntry#2).title == &""	2010-07-16 16:14:15
U	post	new BlogEntry(loadBlogEntry#2).trackBacks == &new ArrayList(BlogEntry#3)	2010-07-16 16:14:15
U	post	new BlogEntry(loadBlogEntry#2).trackBacksEnabled == 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(new BlogEntry(loadBlogEntry#2). id)	2010-07-16 16:14:15
U	post	return_value in Addr_Set{null,&new BlogEntry(loadBlogEntry#2)}	2010-07-16 16:14:15
+	unanalyzed	call on getBlog	2010-07-22 12:56:56
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.Exception	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.text.SimpleDateFormat	2010-07-16 16:14:15
U	unanalyzed	call on java.text.SimpleDateFormat:setTimeZone	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.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
-	unanalyzed	call on net.sourceforge.pebble.PebbleException	2010-07-16 16:59:22
+	unanalyzed	call on net.sourceforge.pebble.api.event. PebbleEvent	2010-07-22 15:04:21
U	unanalyzed	call on net.sourceforge.pebble.domain. Blog:getLocale	2010-07-16 16:14:15
U	unanalyzed	call on net.sourceforge.pebble.domain. Blog:getTimeZone	2010-07-16 16:14:15
-	unanalyzed	call on net.sourceforge.pebble.domain. BlogEntry:getBlog	2010-07-16 16:59:22
U	unanalyzed	call on org.xml.sax.helpers.DefaultHandler	2010-07-16 16:14:15
U	unanalyzed	call on setDate	2010-07-16 16:14:15
U	unanalyzed	call on setState	2010-07-16 16:14:15
U	test_vector	java.io.File:exists(...)@65: {0}, {1}	2010-07-16 16:14:15

BlogEntry loadBlogEntry(Blog, String)

-/+	Kind	Annotation Text	Date
U	pre	(soft) log != null	2010-07-16 16:14:15
U	pre	blog != null	2010-07-16 16:14:15
U	post	init'ed(new BlogEntry(loadBlogEntry#2*).date)	2010-07-16 16:14:15
U	post	init'ed(new BlogEntry(loadBlogEntry#2*). eventsEnabled)	2010-07-16 16:14:15
U	post	init'ed(new BlogEntry(loadBlogEntry#2*).lockedBy)	2010-07-16 16:14:15
U	post	init'ed(new BlogEntry(loadBlogEntry#2*).permalink)	2010-07-16 16:14:15
U	post	init'ed(new BlogEntry(loadBlogEntry#2*). 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 == new ArrayList(BlogEntry#2) num objects	2010-07-16 16:14:15
U	post	new ArrayList(Content#1) num objects == new ArrayList(BlogEntry#2) num objects	2010-07-16 16:14:15
U	post	new ArrayList(Content#3) num objects == new ArrayList(BlogEntry#2) num objects	2010-07-16 16:14:15
U	post	new BlogEntry(loadBlogEntry#2*) num objects == new ArrayList(BlogEntry#2) num objects	2010-07-16 16:14:15
U	post	new BlogEntry(loadBlogEntry#2*).author == &""	2010-07-16 16:14:15
U	post	new BlogEntry(loadBlogEntry#2*).blog != null	2010-07-16 16:14:15
U	post	new BlogEntry(loadBlogEntry#2*).blog == blog	2010-07-16 16:14:15
U	post	new BlogEntry(loadBlogEntry#2*).body == &""	2010-07-16 16:14:15
U	post	new BlogEntry(loadBlogEntry#2*).categories == &new HashSet(BlogEntry#1)	2010-07-16 16:14:15
U	post	new BlogEntry(loadBlogEntry#2*).comments == &new ArrayList(BlogEntry#2)	2010-07-16 16:14:15
U	post	new BlogEntry(loadBlogEntry#2*).commentsEnabled == 1	2010-07-16 16:14:15
U	post	new BlogEntry(loadBlogEntry#2*).events == &new ArrayList(Content#1)	2010-07-16 16:14:15
U	post	new BlogEntry(loadBlogEntry#2*).excerpt == &""	2010-07-16 16:14:15
U	post	new BlogEntry(loadBlogEntry#2*).propertyChangeEvent s == &new ArrayList(Content#3)	2010-07-16 16:14:15
U	post	new BlogEntry(loadBlogEntry#2*).propertyChangeSuppo rt == &new PropertyChangeSupport(Content#2)	2010-07-16 16:14:15
U	post	new BlogEntry(loadBlogEntry#2*).state == &net.sourceforge.pebble.domain.State__static_ init.new State(State__static_init#4)	2010-07-16 16:14:15
U	post	new BlogEntry(loadBlogEntry#2*).subtitle == &""	2010-07-16 16:14:15
U	post	new BlogEntry(loadBlogEntry#2*).tags == &""	2010-07-16 16:14:15
U	post	new BlogEntry(loadBlogEntry#2*).tagsAsCommaSeparate d == &""	2010-07-16 16:14:15
U	post	new BlogEntry(loadBlogEntry#2*).tagsAsList == &new LinkedList(PageBasedContent#1)	2010-07-16 16:14:15
U	post	new BlogEntry(loadBlogEntry#2*).title == &""	2010-07-16 16:14:15
U	post	new BlogEntry(loadBlogEntry#2*).trackBacks == &new ArrayList(BlogEntry#3)	2010-07-16 16:14:15
U	post	new BlogEntry(loadBlogEntry#2*).trackBacksEnabled == 1	2010-07-16 16:14:15
U	post	new Date(PageBasedContent#2) num objects == new ArrayList(BlogEntry#2) num objects	2010-07-16 16:14:15
U	post	new HashSet(BlogEntry#1) num objects == new ArrayList(BlogEntry#2) num objects	2010-07-16 16:14:15
U	post	new LinkedList(PageBasedContent#1) num objects == new ArrayList(BlogEntry#2) num objects	2010-07-16 16:14:15
U	post	new PropertyChangeSupport(Content#2) num objects == new ArrayList(BlogEntry#2) num objects	2010-07-16 16:14:15
U	post	possibly_updated(new BlogEntry(loadBlogEntry#2*). id)	2010-07-16 16:14:15
U	post	return_value == One-of{&new BlogEntry(loadBlogE ntry#2*), null}	2010-07-16 16:14:15
U	post	return_value in Addr_Set{null,&new BlogEntry(loadBlogEntry#2*)}	2010-07-16 16:14:15
+	unanalyzed	call on getBlog	2010-07-22 12:56:56
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.io.File:exists	2010-07-16 16:14:15
U	unanalyzed	call on java.io.File:getAbsolutePath	2010-07-16 16:14:15
U	unanalyzed	call on java.lang.Exception	2010-07-16 16:14:15
U	unanalyzed	call on java.lang.Exception:getMessage	2010-07-16 16:14:15
U	unanalyzed	call on java.lang.Exception:printStackTrace	2010-07-16 16:14:15
U	unanalyzed	call on java.lang.Long:parseLong	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:valueOf	2010-07-16 16:14:15
U	unanalyzed	call on java.text.DateFormat:format	2010-07-16 16:14:15
U	unanalyzed	call on java.text.DateFormat:setTimeZone	2010-07-16 16:14:15
U	unanalyzed	call on java.text.SimpleDateFormat	2010-07-16 16:14:15
U	unanalyzed	call on java.text.SimpleDateFormat:setTimeZone	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.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 javax.xml.parsers.SAXParser:parse	2010-07-16 16:14:15
U	unanalyzed	call on javax.xml.parsers.SAXParserFactory:newInsta nce	2010-07-16 16:14:15
U	unanalyzed	call on javax.xml.parsers.SAXParserFactory:newSAXPa rser	2010-07-16 16:14:15
U	unanalyzed	call on javax.xml.parsers.SAXParserFactory:setNames paceAware	2010-07-16 16:14:15
U	unanalyzed	call on javax.xml.parsers.SAXParserFactory:setValid ating	2010-07-16 16:14:15
-	unanalyzed	call on net.sourceforge.pebble.PebbleException	2010-07-16 16:59:22
+	unanalyzed	call on net.sourceforge.pebble.api.event. PebbleEvent	2010-07-22 15:04:21
-	unanalyzed	call on net.sourceforge.pebble.dao.PersistenceExcep tion	2010-07-16 16:59:22
U	unanalyzed	call on net.sourceforge.pebble.domain. Blog:getLocale	2010-07-16 16:14:15
U	unanalyzed	call on net.sourceforge.pebble.domain.Blog:getRoot	2010-07-16 16:14:15
U	unanalyzed	call on net.sourceforge.pebble.domain. Blog:getTimeZone	2010-07-16 16:14:15
-	unanalyzed	call on net.sourceforge.pebble.domain.BlogEntry	2010-07-22 15:04:21
-	unanalyzed	call on net.sourceforge.pebble.domain. BlogEntry:getBlog	2010-07-16 16:59:22
U	unanalyzed	call on org.apache.commons.logging.Log:debug	2010-07-16 16:14:15
U	unanalyzed	call on org.apache.commons.logging.Log:error	2010-07-16 16:14:15
U	unanalyzed	call on org.xml.sax.helpers.DefaultHandler	2010-07-16 16:14:15
U	unanalyzed	call on setDate	2010-07-16 16:14:15
U	unanalyzed	call on setState	2010-07-16 16:14:15

void net.sourceforge.pebble.dao.file.FileBlogEntryDAO()

-/+	Kind	Annotation Text	Date

net.sourceforge.pebble.dao.file.FileBlogEntryDAO__static_init

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

void removeBlogEntry(BlogEntry)

-/+	Kind	Annotation Text	Date
U	pre	blogEntry != null	2010-07-16 16:14:15
U	pre	blogEntry.blog != null	2010-07-16 16:14:15
+	pre	init'ed(blogEntry.blog.id)	2010-07-22 12:56:56
U	pre	init'ed(blogEntry.id)	2010-07-16 16:14:15
U	pre	log != null	2010-07-16 16:14:15
U	presumption	java.io.File:delete(...)@404 == 1	2010-07-16 16:14:15
-	presumption	net.sourceforge.pebble.domain.BlogEntry:getBlog(... )@400 != null	2010-07-16 16:59:22
U	unanalyzed	call on getId	2010-07-16 16:14:15
U	unanalyzed	call on java.lang.Exception	2010-07-16 16:14:15
U	unanalyzed	call on java.lang.Long:parseLong	2010-07-16 16:14:15
U	unanalyzed	call on java.text.DateFormat:format	2010-07-16 16:14:15
U	unanalyzed	call on java.text.DateFormat:setTimeZone	2010-07-16 16:14:15
U	unanalyzed	call on java.text.SimpleDateFormat	2010-07-16 16:14:15
U	unanalyzed	call on java.util.Date	2010-07-16 16:14:15
-	unanalyzed	call on net.sourceforge.pebble.PebbleException	2010-07-16 16:59:22
U	unanalyzed	call on net.sourceforge.pebble.domain.Blog:getRoot	2010-07-16 16:14:15

void storeBlogEntry(BlogEntry)

-/+	Kind	Annotation Text	Date
-	pre	(soft) blogEntry.blog != null	2010-07-16 16:59:22
U	pre	(soft) init'ed(blogEntry.attachment.size)	2010-07-16 16:14:15
U	pre	(soft) init'ed(blogEntry.attachment.type)	2010-07-16 16:14:15
U	pre	(soft) init'ed(blogEntry.attachment.url)	2010-07-16 16:14:15
U	pre	blogEntry != null	2010-07-16 16:14:15
+	pre	blogEntry.blog != null	2010-07-22 12:56:56
U	pre	blogEntry.comments != null	2010-07-16 16:14:15
+	pre	blogEntry.state != null	2010-07-22 12:56:56
U	pre	init'ed(blogEntry.attachment)	2010-07-16 16:14:15
+	pre	init'ed(blogEntry.author)	2010-07-22 12:56:56
+	pre	init'ed(blogEntry.body)	2010-07-22 12:56:56
U	pre	init'ed(blogEntry.categories)	2010-07-16 16:14:15
U	pre	init'ed(blogEntry.commentsEnabled)	2010-07-16 16:14:15
+	pre	init'ed(blogEntry.date)	2010-07-22 12:56:56
U	pre	init'ed(blogEntry.excerpt)	2010-07-16 16:14:15
+	pre	init'ed(blogEntry.id)	2010-07-22 12:56:56
+	pre	init'ed(blogEntry.originalPermalink)	2010-07-22 12:56:56
+	pre	init'ed(blogEntry.state.name)	2010-07-22 12:56:56
+	pre	init'ed(blogEntry.subtitle)	2010-07-22 12:56:56
+	pre	init'ed(blogEntry.tags)	2010-07-22 12:56:56
U	pre	init'ed(blogEntry.timeZoneId)	2010-07-16 16:14:15
+	pre	init'ed(blogEntry.title)	2010-07-22 12:56:56
U	pre	init'ed(blogEntry.trackBacks)	2010-07-16 16:14:15
U	pre	init'ed(blogEntry.trackBacksEnabled)	2010-07-16 16:14:15
U	pre	log != null	2010-07-16 16:14:15
-	presumption	net.sourceforge.pebble.domain.BlogEntry:getBlog(... )@125 != null	2010-07-16 16:59:22
-	unanalyzed	call on getAttachment	2010-07-16 16:59:22
-	unanalyzed	call on getAuthor	2010-07-16 16:59:22
-	unanalyzed	call on getBlogName	2010-07-16 16:59:22
-	unanalyzed	call on getBody	2010-07-16 16:59:22
-	unanalyzed	call on getCategories	2010-07-16 16:59:22
U	unanalyzed	call on getComments	2010-07-16 16:14:15
-	unanalyzed	call on getDate	2010-07-16 16:59:22
-	unanalyzed	call on getEmail	2010-07-16 16:59:22
-	unanalyzed	call on getExcerpt	2010-07-16 16:59:22
-	unanalyzed	call on getId	2010-07-16 16:59:22
-	unanalyzed	call on getIpAddress	2010-07-16 16:59:22
-	unanalyzed	call on getParent	2010-07-16 16:59:22
-	unanalyzed	call on getState	2010-07-16 16:59:22
-	unanalyzed	call on getTimeZoneId	2010-07-16 16:59:22
-	unanalyzed	call on getTitle	2010-07-16 16:59:22
-	unanalyzed	call on getTrackBacks	2010-07-16 16:59:22
-	unanalyzed	call on getUrl	2010-07-16 16:59:22
-	unanalyzed	call on getWebsite	2010-07-16 16:59:22
-	unanalyzed	call on isAuthenticated	2010-07-16 16:59:22
-	unanalyzed	call on isCommentsEnabled	2010-07-16 16:59:22
-	unanalyzed	call on isTrackBacksEnabled	2010-07-16 16:59:22
U	unanalyzed	call on java.io.BufferedWriter	2010-07-16 16:14:15
U	unanalyzed	call on java.io.BufferedWriter:close	2010-07-16 16:14:15
U	unanalyzed	call on java.io.BufferedWriter:flush	2010-07-16 16:14:15
U	unanalyzed	call on java.io.BufferedWriter:write	2010-07-16 16:14:15
U	unanalyzed	call on java.io.File	2010-07-16 16:14:15
U	unanalyzed	call on java.io.File:exists	2010-07-16 16:14:15
U	unanalyzed	call on java.io.File:getAbsolutePath	2010-07-16 16:14:15
U	unanalyzed	call on java.io.File:getName	2010-07-16 16:14:15
U	unanalyzed	call on java.io.File:getParentFile	2010-07-16 16:14:15
U	unanalyzed	call on java.io.File:length	2010-07-16 16:14:15
U	unanalyzed	call on java.io.File:renameTo	2010-07-16 16:14:15
U	unanalyzed	call on java.io.FileOutputStream	2010-07-16 16:14:15
U	unanalyzed	call on java.io.OutputStreamWriter	2010-07-16 16:14:15
U	unanalyzed	call on java.io.StringWriter	2010-07-16 16:14:15
U	unanalyzed	call on java.io.StringWriter:getBuffer	2010-07-16 16:14:15
U	unanalyzed	call on java.lang.Exception	2010-07-16 16:14:15
U	unanalyzed	call on java.lang.Exception:getMessage	2010-07-16 16:14:15
U	unanalyzed	call on java.lang.Exception:printStackTrace	2010-07-16 16:14:15
U	unanalyzed	call on java.lang.Long:parseLong	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:valueOf	2010-07-16 16:14:15
U	unanalyzed	call on java.text.DateFormat:format	2010-07-16 16:14:15
U	unanalyzed	call on java.text.DateFormat:setTimeZone	2010-07-16 16:14:15
U	unanalyzed	call on java.text.SimpleDateFormat	2010-07-16 16:14:15
U	unanalyzed	call on java.text.SimpleDateFormat:format	2010-07-16 16:14:15
U	unanalyzed	call on java.text.SimpleDateFormat:setTimeZone	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.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: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 javax.xml.parsers.DocumentBuilder:newDocume nt	2010-07-16 16:14:15
U	unanalyzed	call on javax.xml.parsers.DocumentBuilderFactory:ne wDocumentBuilder	2010-07-16 16:14:15
U	unanalyzed	call on javax.xml.parsers.DocumentBuilderFactory:ne wInstance	2010-07-16 16:14:15
U	unanalyzed	call on javax.xml.parsers.DocumentBuilderFactory:se tIgnoringComments	2010-07-16 16:14:15
U	unanalyzed	call on javax.xml.parsers.DocumentBuilderFactory:se tIgnoringElementContentWhitespace	2010-07-16 16:14:15
U	unanalyzed	call on javax.xml.parsers.DocumentBuilderFactory:se tNamespaceAware	2010-07-16 16:14:15
U	unanalyzed	call on javax.xml.parsers.DocumentBuilderFactory:se tValidating	2010-07-16 16:14:15
U	unanalyzed	call on javax.xml.transform.Transformer:setOutputPr operty	2010-07-16 16:14:15
U	unanalyzed	call on javax.xml.transform.Transformer:transform	2010-07-16 16:14:15
U	unanalyzed	call on javax.xml.transform.TransformerFactory:newI nstance	2010-07-16 16:14:15
U	unanalyzed	call on javax.xml.transform.TransformerFactory:newT ransformer	2010-07-16 16:14:15
U	unanalyzed	call on javax.xml.transform.dom.DOMSource	2010-07-16 16:14:15
U	unanalyzed	call on javax.xml.transform.stream.StreamResult	2010-07-16 16:14:15
-	unanalyzed	call on net.sourceforge.pebble.PebbleException	2010-07-16 16:59:22
-	unanalyzed	call on net.sourceforge.pebble.dao.PersistenceExcep tion	2010-07-16 16:59:22
U	unanalyzed	call on net.sourceforge.pebble.domain.Blog:getRoot	2010-07-16 16:14:15
U	unanalyzed	call on net.sourceforge.pebble.domain. Blog:getTimeZoneId	2010-07-16 16:14:15
-	unanalyzed	call on net.sourceforge.pebble.domain. BlogEntry:getAuthor	2010-07-16 16:59:22
-	unanalyzed	call on net.sourceforge.pebble.domain. BlogEntry:getBody	2010-07-16 16:59:22
-	unanalyzed	call on net.sourceforge.pebble.domain. BlogEntry:getDate	2010-07-16 16:59:22
-	unanalyzed	call on net.sourceforge.pebble.domain. BlogEntry:getOriginalPermalink	2010-07-16 16:59:22
-	unanalyzed	call on net.sourceforge.pebble.domain. BlogEntry:getState	2010-07-16 16:59:22
-	unanalyzed	call on net.sourceforge.pebble.domain. BlogEntry:getSubtitle	2010-07-16 16:59:22
-	unanalyzed	call on net.sourceforge.pebble.domain. BlogEntry:getTags	2010-07-16 16:59:22
-	unanalyzed	call on net.sourceforge.pebble.domain. BlogEntry:getTitle	2010-07-16 16:59:22
-	unanalyzed	call on net.sourceforge.pebble.domain. BlogEntry:isAggregated	2010-07-16 16:59:22
U	unanalyzed	call on org.apache.commons.logging.Log:debug	2010-07-16 16:14:15
U	unanalyzed	call on org.apache.commons.logging.Log:error	2010-07-16 16:14:15
U	unanalyzed	call on org.w3c.dom.Document:appendChild	2010-07-16 16:14:15
U	unanalyzed	call on org.w3c.dom.Document:createCDATASection	2010-07-16 16:14:15
U	unanalyzed	call on org.w3c.dom.Document:createElement	2010-07-16 16:14:15
U	unanalyzed	call on org.w3c.dom.Document:createTextNode	2010-07-16 16:14:15
U	unanalyzed	call on org.w3c.dom.Element:appendChild	2010-07-16 16:14:15
U	unanalyzed	call on org.w3c.dom.Node:appendChild	2010-07-16 16:14:15
U	unanalyzed	call on storeComment	2010-07-16 16:14:15
U	unanalyzed	call on storeTrackBack	2010-07-16 16:14:15
U	test_vector	java.io.File:exists(...)@126: {1}, {0}	2010-07-16 16:14:15

void storeBlogEntry(BlogEntry, File)

-/+	Kind	Annotation Text	Date
U	pre	(soft) blogEntry.blog != null	2010-07-16 16:14:15
U	pre	(soft) init'ed(blogEntry.attachment.size)	2010-07-16 16:14:15
U	pre	(soft) init'ed(blogEntry.attachment.type)	2010-07-16 16:14:15
U	pre	(soft) init'ed(blogEntry.attachment.url)	2010-07-16 16:14:15
U	pre	blogEntry != null	2010-07-16 16:14:15
U	pre	blogEntry.comments != null	2010-07-16 16:14:15
+	pre	blogEntry.state != null	2010-07-22 12:56:56
U	pre	destination != null	2010-07-16 16:14:15
U	pre	init'ed(blogEntry.attachment)	2010-07-16 16:14:15
+	pre	init'ed(blogEntry.author)	2010-07-22 12:56:56
+	pre	init'ed(blogEntry.body)	2010-07-22 12:56:56
U	pre	init'ed(blogEntry.categories)	2010-07-16 16:14:15
U	pre	init'ed(blogEntry.commentsEnabled)	2010-07-16 16:14:15
+	pre	init'ed(blogEntry.date)	2010-07-22 12:56:56
U	pre	init'ed(blogEntry.excerpt)	2010-07-16 16:14:15
+	pre	init'ed(blogEntry.originalPermalink)	2010-07-22 12:56:56
+	pre	init'ed(blogEntry.state.name)	2010-07-22 12:56:56
+	pre	init'ed(blogEntry.subtitle)	2010-07-22 12:56:56
+	pre	init'ed(blogEntry.tags)	2010-07-22 12:56:56
U	pre	init'ed(blogEntry.timeZoneId)	2010-07-16 16:14:15
+	pre	init'ed(blogEntry.title)	2010-07-22 12:56:56
U	pre	init'ed(blogEntry.trackBacks)	2010-07-16 16:14:15
U	pre	init'ed(blogEntry.trackBacksEnabled)	2010-07-16 16:14:15
U	pre	log != null	2010-07-16 16:14:15
U	presumption	comment.state@245 != null	2010-07-16 16:14:15
U	presumption	init'ed(java.util.Locale.ENGLISH)	2010-07-16 16:14:15
U	presumption	java.io.StringWriter:getBuffer(...)@277 != null	2010-07-16 16:14:15
U	presumption	java.util.Iterator:next(...)@205 != null	2010-07-16 16:14:15
U	presumption	java.util.Iterator:next(...)@245 != null	2010-07-16 16:14:15
U	presumption	java.util.Iterator:next(...)@252 != null	2010-07-16 16:14:15
U	presumption	javax.xml.parsers.DocumentBuilder:newDocument(... )@152 != null	2010-07-16 16:14:15
U	presumption	javax.xml.parsers.DocumentBuilderFactory:newDocumen tBuilder(...)@151 != null	2010-07-16 16:14:15
U	presumption	javax.xml.parsers.DocumentBuilderFactory:newInstanc e(...)@145 != null	2010-07-16 16:14:15
U	presumption	javax.xml.transform.TransformerFactory:newInstance( ...)@261 != null	2010-07-16 16:14:15
U	presumption	javax.xml.transform.TransformerFactory:newTransform er(...)@261 != null	2010-07-16 16:14:15
-	presumption	net.sourceforge.pebble.domain.BlogEntry:getState(.. .)@226 != null	2010-07-16 16:59:22
U	presumption	org.w3c.dom.Document:createElement(...)@154 != null	2010-07-16 16:14:15
U	presumption	org.w3c.dom.Document:createElement(...)@157 != null	2010-07-16 16:14:15
U	presumption	org.w3c.dom.Document:createElement(...)@158 != null	2010-07-16 16:14:15
U	presumption	org.w3c.dom.Document:createElement(...)@159 != null	2010-07-16 16:14:15
U	presumption	org.w3c.dom.Document:createElement(...)@160 != null	2010-07-16 16:14:15
U	presumption	org.w3c.dom.Document:createElement(...)@162 != null	2010-07-16 16:14:15
U	presumption	org.w3c.dom.Document:createElement(...)@163 != null	2010-07-16 16:14:15
U	presumption	org.w3c.dom.Document:createElement(...)@164 != null	2010-07-16 16:14:15
U	presumption	org.w3c.dom.Document:createElement(...)@165 != null	2010-07-16 16:14:15
U	presumption	org.w3c.dom.Document:createElement(...)@166 != null	2010-07-16 16:14:15
U	presumption	org.w3c.dom.Document:createElement(...)@168 != null	2010-07-16 16:14:15
U	presumption	org.w3c.dom.Document:createElement(...)@169 != null	2010-07-16 16:14:15
U	presumption	org.w3c.dom.Document:createElement(...)@170 != null	2010-07-16 16:14:15
U	presumption	org.w3c.dom.Document:createElement(...)@183 != null	2010-07-16 16:14:15
U	presumption	org.w3c.dom.Document:createElement(...)@206 != null	2010-07-16 16:14:15
U	presumption	org.w3c.dom.Document:createElement(...)@231 != null	2010-07-16 16:14:15
U	presumption	org.w3c.dom.Document:createElement(...)@234 != null	2010-07-16 16:14:15
U	presumption	org.w3c.dom.Document:createElement(...)@237 != null	2010-07-16 16:14:15
U	presumption	trackBack.state@252 != null	2010-07-16 16:14:15
-	unanalyzed	call on getAuthor	2010-07-16 16:59:22
-	unanalyzed	call on getBlogName	2010-07-16 16:59:22
-	unanalyzed	call on getBody	2010-07-16 16:59:22
U	unanalyzed	call on getComments	2010-07-16 16:14:15
-	unanalyzed	call on getDate	2010-07-16 16:59:22
-	unanalyzed	call on getEmail	2010-07-16 16:59:22
-	unanalyzed	call on getExcerpt	2010-07-16 16:59:22
-	unanalyzed	call on getId	2010-07-16 16:59:22
-	unanalyzed	call on getIpAddress	2010-07-16 16:59:22
-	unanalyzed	call on getParent	2010-07-16 16:59:22
-	unanalyzed	call on getState	2010-07-16 16:59:22
-	unanalyzed	call on getTitle	2010-07-16 16:59:22
-	unanalyzed	call on getUrl	2010-07-16 16:59:22
-	unanalyzed	call on getWebsite	2010-07-16 16:59:22
-	unanalyzed	call on isAuthenticated	2010-07-16 16:59:22
U	unanalyzed	call on java.lang.Exception	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.text.SimpleDateFormat	2010-07-16 16:14:15
U	unanalyzed	call on java.text.SimpleDateFormat:format	2010-07-16 16:14:15
U	unanalyzed	call on java.text.SimpleDateFormat:setTimeZone	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.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:iterator	2010-07-16 16:14:15
-	unanalyzed	call on net.sourceforge.pebble.PebbleException	2010-07-16 16:59:22
U	unanalyzed	call on net.sourceforge.pebble.domain. Blog:getTimeZoneId	2010-07-16 16:14:15
U	unanalyzed	call on org.w3c.dom.Document:createCDATASection	2010-07-16 16:14:15
U	unanalyzed	call on org.w3c.dom.Document:createElement	2010-07-16 16:14:15
U	unanalyzed	call on org.w3c.dom.Document:createTextNode	2010-07-16 16:14:15
U	unanalyzed	call on org.w3c.dom.Element:appendChild	2010-07-16 16:14:15
U	unanalyzed	call on org.w3c.dom.Node:appendChild	2010-07-16 16:14:15
U	test_vector	blogEntry.attachment: Addr_Set{null}, Inverse{null}	2010-07-16 16:14:15
+	test_vector	blogEntry.author: Addr_Set{null}, Inverse{null}	2010-07-22 12:56:56
U	test_vector	blogEntry.excerpt: Addr_Set{null}, Inverse{null}	2010-07-16 16:14:15
+	test_vector	blogEntry.originalPermalink: Addr_Set{null}, Inverse{null}	2010-07-22 12:56:56
+	test_vector	blogEntry.tags: Addr_Set{null}, Inverse{null}	2010-07-22 12:56:56
U	test_vector	java.io.File:exists(...)@270: {0}, {1}	2010-07-16 16:14:15
U	test_vector	java.io.File:length(...)@270: {-9_223_372_036_854_7 75_808..0}, {1..2⁶⁴-1}	2010-07-16 16:14:15
U	test_vector	java.util.Iterator:hasNext(...)@204: {1}, {0}	2010-07-16 16:14:15
U	test_vector	java.util.Iterator:hasNext(...)@244: {1}, {0}	2010-07-16 16:14:15
U	test_vector	java.util.Iterator:hasNext(...)@251: {1}, {0}	2010-07-16 16:14:15
-	test_vector	net.sourceforge.pebble.domain.BlogEntry:getAuthor(. ..)@216: Addr_Set{null}, Inverse{null}	2010-07-16 16:59:22
-	test_vector	net.sourceforge.pebble.domain.BlogEntry:getTags(... )@211: Addr_Set{null}, Inverse{null}	2010-07-16 16:59:22
-	test_vector	net.sourceforge.pebble.domain.BlogEntry:isAggregate d(...)@182: {0}, {1}	2010-07-16 16:59:22

void storeComment(Comment, Document, Node)

-/+	Kind	Annotation Text	Date
U	pre	(soft) comment...date != null	2010-07-16 16:14:15
U	pre	comment != null	2010-07-16 16:14:15
U	pre	comment.state != null	2010-07-16 16:14:15
U	pre	doc != null	2010-07-16 16:14:15
U	pre	init'ed(comment.authenticated)	2010-07-16 16:14:15
U	pre	init'ed(comment.author)	2010-07-16 16:14:15
U	pre	init'ed(comment.body)	2010-07-16 16:14:15
U	pre	init'ed(comment.date)	2010-07-16 16:14:15
U	pre	init'ed(comment.email)	2010-07-16 16:14:15
U	pre	init'ed(comment.ipAddress)	2010-07-16 16:14:15
U	pre	init'ed(comment.parent)	2010-07-16 16:14:15
U	pre	init'ed(comment.state.name)	2010-07-16 16:14:15
U	pre	init'ed(comment.title)	2010-07-16 16:14:15
U	pre	init'ed(comment.website)	2010-07-16 16:14:15
U	pre	root != null	2010-07-16 16:14:15
U	presumption	init'ed(java.util.Locale.ENGLISH)	2010-07-16 16:14:15
U	presumption	org.w3c.dom.Document:createElement(...)@296 != null	2010-07-16 16:14:15
U	presumption	org.w3c.dom.Document:createElement(...)@299 != null	2010-07-16 16:14:15
U	presumption	org.w3c.dom.Document:createElement(...)@300 != null	2010-07-16 16:14:15
U	presumption	org.w3c.dom.Document:createElement(...)@301 != null	2010-07-16 16:14:15
U	presumption	org.w3c.dom.Document:createElement(...)@302 != null	2010-07-16 16:14:15
U	presumption	org.w3c.dom.Document:createElement(...)@303 != null	2010-07-16 16:14:15
U	presumption	org.w3c.dom.Document:createElement(...)@304 != null	2010-07-16 16:14:15
U	presumption	org.w3c.dom.Document:createElement(...)@305 != null	2010-07-16 16:14:15
U	presumption	org.w3c.dom.Document:createElement(...)@306 != null	2010-07-16 16:14:15
U	presumption	org.w3c.dom.Document:createElement(...)@307 != null	2010-07-16 16:14:15
U	presumption	org.w3c.dom.Document:createElement(...)@308 != null	2010-07-16 16:14:15
U	unanalyzed	call on java.util.Date:getTime	2010-07-16 16:14:15
U	unanalyzed	call on org.w3c.dom.Document:createCDATASection	2010-07-16 16:14:15
U	unanalyzed	call on org.w3c.dom.Document:createTextNode	2010-07-16 16:14:15
U	test_vector	comment.parent: Addr_Set{null}, Inverse{null}	2010-07-16 16:14:15

void storeTrackBack(TrackBack, Document, Node)

-/+	Kind	Annotation Text	Date
U	pre	(soft) init'ed(trackBack.url)	2010-07-16 16:14:15
U	pre	doc != null	2010-07-16 16:14:15
U	pre	init'ed(trackBack.blogName)	2010-07-16 16:14:15
U	pre	init'ed(trackBack.date)	2010-07-16 16:14:15
U	pre	init'ed(trackBack.excerpt)	2010-07-16 16:14:15
U	pre	init'ed(trackBack.ipAddress)	2010-07-16 16:14:15
U	pre	init'ed(trackBack.state.name)	2010-07-16 16:14:15
U	pre	init'ed(trackBack.title)	2010-07-16 16:14:15
U	pre	root != null	2010-07-16 16:14:15
U	pre	trackBack != null	2010-07-16 16:14:15
U	pre	trackBack.state != null	2010-07-16 16:14:15
U	presumption	init'ed(java.util.Locale.ENGLISH)	2010-07-16 16:14:15
U	presumption	org.w3c.dom.Document:createElement(...)@363 != null	2010-07-16 16:14:15
U	presumption	org.w3c.dom.Document:createElement(...)@366 != null	2010-07-16 16:14:15
U	presumption	org.w3c.dom.Document:createElement(...)@367 != null	2010-07-16 16:14:15
U	presumption	org.w3c.dom.Document:createElement(...)@368 != null	2010-07-16 16:14:15
U	presumption	org.w3c.dom.Document:createElement(...)@369 != null	2010-07-16 16:14:15
U	presumption	org.w3c.dom.Document:createElement(...)@370 != null	2010-07-16 16:14:15
U	presumption	org.w3c.dom.Document:createElement(...)@371 != null	2010-07-16 16:14:15
U	presumption	org.w3c.dom.Document:createElement(...)@372 != null	2010-07-16 16:14:15
U	unanalyzed	call on java.lang.String:length	2010-07-16 16:14:15
U	unanalyzed	call on org.w3c.dom.Document:createCDATASection	2010-07-16 16:14:15
U	unanalyzed	call on org.w3c.dom.Document:createTextNode	2010-07-16 16:14:15