## 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 <= 232-1 | 2010-07-16 16:14:15
U | presumption | days.length@105 <= 232-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 <= 232-1 | 2010-07-16 16:14:15
U | presumption | years.length@101 <= 232-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..264-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