## blogentry.java

current inspection = 2010-07-22 15:04:21 (id #4) | base = 2010-07-16 16:14:15 (id #1)

Filter Options
History:
+ | added
- | dropped
U | unchanged
| Annotation Kind:
pre
presumption
post
unanalyzed
test

- void addCategory(Category)

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

- void addComment(Comment)

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

- void addTrackBack(TrackBack)

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

- void clearEvents()

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

- Object clone()

-/+ | Kind | Annotation Text | Date
--- | --- | --- | ---
U | pre | (soft) init'ed(this.attachment.size) | 2010-07-16 16:14:15
U | pre | (soft) init'ed(this.attachment.type) | 2010-07-16 16:14:15
U | pre | (soft) init'ed(this.attachment.url) | 2010-07-16 16:14:15
U | pre | (soft) init'ed(this.state.name) | 2010-07-16 16:14:15
U | pre | (soft) net.sourceforge.pebble.domain.State__static_ init.new State(State__static_init#4).name != null | 2010-07-16 16:14:15
U | pre | (soft) net.sourceforge.pebble.domain.State__static_ init.new State(State__static_init#5).name != null | 2010-07-16 16:14:15
U | pre | init'ed(this.attachment) | 2010-07-16 16:14:15
U | pre | init'ed(this.author) | 2010-07-16 16:14:15
U | pre | init'ed(this.blog) | 2010-07-16 16:14:15
U | pre | init'ed(this.body) | 2010-07-16 16:14:15
U | pre | init'ed(this.commentsEnabled) | 2010-07-16 16:14:15
U | pre | init'ed(this.excerpt) | 2010-07-16 16:14:15
U | pre | init'ed(this.originalPermalink) | 2010-07-16 16:14:15
U | pre | init'ed(this.persistent) | 2010-07-16 16:14:15
U | pre | init'ed(this.subtitle) | 2010-07-16 16:14:15
U | pre | init'ed(this.tags) | 2010-07-16 16:14:15
U | pre | init'ed(this.timeZoneId) | 2010-07-16 16:14:15
U | pre | init'ed(this.title) | 2010-07-16 16:14:15
U | pre | init'ed(this.trackBacks) | 2010-07-16 16:14:15
U | pre | init'ed(this.trackBacksEnabled) | 2010-07-16 16:14:15
U | pre | this.categories != null | 2010-07-16 16:14:15
U | pre | this.comments != null | 2010-07-16 16:14:15
U | pre | this.date != null | 2010-07-16 16:14:15
U | pre | this.state != null | 2010-07-16 16:14:15
U | presumption | comment.blogEntry@835 != null | 2010-07-16 16:14:15
U | presumption | java.util.Calendar:getTime(...)@187 != null | 2010-07-16 16:14:15
U | presumption | java.util.Iterator:next(...)@835 != null | 2010-07-16 16:14:15
U | presumption | java.util.Iterator:next(...)@843 != null | 2010-07-16 16:14:15
U | presumption | trackBack.blogEntry@843 != null | 2010-07-16 16:14:15
U | post | (soft) init'ed(new Attachment(clone#1*).size) | 2010-07-16 16:14:15
U | post | init'ed(new Attachment(clone#1*).type) | 2010-07-16 16:14:15
U | post | init'ed(new Attachment(clone#1*).url) | 2010-07-16 16:14:15
U | post | init'ed(return_value.attachment) | 2010-07-16 16:14:15
U | post | init'ed(return_value.author) | 2010-07-16 16:14:15
U | post | init'ed(return_value.blog) | 2010-07-16 16:14:15
U | post | init'ed(return_value.body) | 2010-07-16 16:14:15
U | post | init'ed(return_value.commentsEnabled) | 2010-07-16 16:14:15
U | post | init'ed(return_value.eventsEnabled) | 2010-07-16 16:14:15
U | post | init'ed(return_value.excerpt) | 2010-07-16 16:14:15
U | post | init'ed(return_value.lockedBy) | 2010-07-16 16:14:15
U | post | init'ed(return_value.originalPermalink) | 2010-07-16 16:14:15
U | post | init'ed(return_value.permalink) | 2010-07-16 16:14:15
U | post | init'ed(return_value.persistent) | 2010-07-16 16:14:15
U | post | init'ed(return_value.subtitle) | 2010-07-16 16:14:15
U | post | init'ed(return_value.tags) | 2010-07-16 16:14:15
U | post | init'ed(return_value.timeZoneId) | 2010-07-16 16:14:15
U | post | init'ed(return_value.title) | 2010-07-16 16:14:15
U | post | init'ed(return_value.trackBacksEnabled) | 2010-07-16 16:14:15
U | post | new ArrayList(BlogEntry#2) num objects == 1 | 2010-07-16 16:14:15
U | post | new ArrayList(BlogEntry#3) num objects == 1 | 2010-07-16 16:14:15
U | post | new ArrayList(Content#1) num objects >= 1 | 2010-07-16 16:14:15
U | post | new ArrayList(Content#3) num objects >= 1 | 2010-07-16 16:14:15
U | post | new ArrayList(parse#1) num objects == 1 | 2010-07-16 16:14:15
U | post | new Attachment(clone#1*) num objects <= 1 | 2010-07-16 16:14:15
U | post | new BlogEntry(clone#1) num objects == 1 | 2010-07-16 16:14:15
U | post | new Date(PageBasedContent#2) num objects == 1 | 2010-07-16 16:14:15
U | post | new HashSet(BlogEntry#1) num objects == 1 | 2010-07-16 16:14:15
U | post | new LinkedList(PageBasedContent#1) num objects == 1 | 2010-07-16 16:14:15
U | post | new PropertyChangeSupport(Content#2) num objects >= 1 | 2010-07-16 16:14:15
U | post | return_value == &new BlogEntry(clone#1) | 2010-07-16 16:14:15
U | post | return_value.blog == this.blog | 2010-07-16 16:14:15
U | post | return_value.body == this.body | 2010-07-16 16:14:15
U | post | return_value.categories == &new HashSet(BlogEntry#1) | 2010-07-16 16:14:15
U | post | return_value.comments == &new ArrayList(BlogEnt ry#2) | 2010-07-16 16:14:15
U | post | return_value.commentsEnabled == this. commentsEnabled | 2010-07-16 16:14:15
U | post | return_value.date != null | 2010-07-16 16:14:15
U | post | return_value.date == this.date | 2010-07-16 16:14:15
U | post | return_value.events == &new ArrayList(Content#1 ) | 2010-07-16 16:14:15
U | post | return_value.id != null | 2010-07-16 16:14:15
U | post | return_value.persistent == this.persistent | 2010-07-16 16:14:15
U | post | return_value.propertyChangeEvents == &new ArrayList(Content#3) | 2010-07-16 16:14:15
U | post | return_value.propertyChangeSupport == &new PropertyChangeSupport(Content#2) | 2010-07-16 16:14:15
U | post | return_value.state != null | 2010-07-16 16:14:15
U | post | return_value.state == this.state | 2010-07-16 16:14:15
U | post | return_value.subtitle == this.subtitle | 2010-07-16 16:14:15
U | post | return_value.tagsAsCommaSeparated != null | 2010-07-16 16:14:15
U | post | return_value.tagsAsList == &new ArrayList(parse#1) | 2010-07-16 16:14:15
U | post | return_value.timeZoneId == this.timeZoneId | 2010-07-16 16:14:15
U | post | return_value.title == this.title | 2010-07-16 16:14:15
U | post | return_value.trackBacks == &new ArrayList(BlogEntry#3) | 2010-07-16 16:14:15
U | post | return_value.trackBacksEnabled == this. trackBacksEnabled | 2010-07-16 16:14:15
U | unanalyzed | call on addComment | 2010-07-16 16:14:15
+ | unanalyzed | call on areEventsEnabled | 2010-07-22 15:04:21
- | unanalyzed | call on format | 2010-07-16 16:59:22
U | unanalyzed | call on getAllTags | 2010-07-16 16:14:15
+ | unanalyzed | call on getBlogEntry | 2010-07-22 15:04:21
U | unanalyzed | call on getComment | 2010-07-16 16:14:15
U | unanalyzed | call on getComments | 2010-07-16 16:14:15
- | unanalyzed | call on getDate | 2010-07-16 16:59:22
- | unanalyzed | call on getId | 2010-07-16 16:59:22
- | unanalyzed | call on getParent | 2010-07-16 16:59:22
U | unanalyzed | call on getRootCategory | 2010-07-16 16:14:15
+ | unanalyzed | call on getState | 2010-07-22 15:04:21
U | unanalyzed | call on getTagsAsList | 2010-07-16 16:14:15
U | unanalyzed | call on isApproved | 2010-07-16 16:14:15
U | unanalyzed | call on isRejected | 2010-07-16 16:14:15
U | unanalyzed | call on java.beans.PropertyChangeSupport | 2010-07-16 16:14:15
U | unanalyzed | call on java.beans.PropertyChangeSupport:addPropert yChangeListener | 2010-07-16 16:14:15
U | unanalyzed | call on java.beans.PropertyChangeSupport:fireProper tyChange | 2010-07-16 16:14:15
U | unanalyzed | call on java.lang.String:equals | 2010-07-16 16:14:15
U | unanalyzed | call on java.lang.String:indexOf | 2010-07-16 16:14:15
U | unanalyzed | call on java.lang.String:length | 2010-07-16 16:14:15
U | unanalyzed | call on java.lang.String:replaceAll | 2010-07-16 16:14:15
U | unanalyzed | call on java.lang.String:split | 2010-07-16 16:14:15
U | unanalyzed | call on java.lang.String:startsWith | 2010-07-16 16:14:15
U | unanalyzed | call on java.lang.String:toLowerCase | 2010-07-16 16:14:15
U | unanalyzed | call on java.lang.String:trim | 2010-07-16 16:14:15
U | unanalyzed | call on java.util.ArrayList | 2010-07-16 16:14:15
U | unanalyzed | call on java.util.Calendar:getTime | 2010-07-16 16:14:15
U | unanalyzed | call on java.util.Calendar:setTime | 2010-07-16 16:14:15
U | unanalyzed | call on java.util.Collections:reverse | 2010-07-16 16:14:15
U | unanalyzed | call on java.util.Collections:sort | 2010-07-16 16:14:15
U | unanalyzed | call on java.util.Date | 2010-07-16 16:14:15
U | unanalyzed | call on java.util.Date:getTime | 2010-07-16 16:14:15
U | unanalyzed | call on java.util.EventObject | 2010-07-16 16:14:15
U | unanalyzed | call on java.util.HashSet | 2010-07-16 16:14:15
U | unanalyzed | call on java.util.LinkedList | 2010-07-16 16:14:15
U | unanalyzed | call on java.util.List:add | 2010-07-16 16:14:15
U | unanalyzed | call on java.util.List:addAll | 2010-07-16 16:14:15
U | unanalyzed | call on java.util.List:contains | 2010-07-16 16:14:15
U | unanalyzed | call on java.util.List:iterator | 2010-07-16 16:14:15
U | unanalyzed | call on java.util.Set:add | 2010-07-16 16:14:15
U | unanalyzed | call on java.util.Set:contains | 2010-07-16 16:14:15
U | unanalyzed | call on java.util.Set:iterator | 2010-07-16 16:14:15
U | unanalyzed | call on java.util.Set:size | 2010-07-16 16:14:15
U | unanalyzed | call on net.sourceforge.pebble.api.event. PebbleEvent | 2010-07-16 16:14:15
U | unanalyzed | call on net.sourceforge.pebble.domain. Blog:getCalendar | 2010-07-16 16:14:15
U | unanalyzed | call on net.sourceforge.pebble.domain. BlogEntry:addEvent | 2010-07-16 16:14:15
U | unanalyzed | call on net.sourceforge.pebble.domain. BlogEntry:getBlog | 2010-07-16 16:14:15
U | unanalyzed | call on net.sourceforge.pebble.domain. BlogEntry:getTitle | 2010-07-16 16:14:15
U | unanalyzed | call on net.sourceforge.pebble.domain.Comment | 2010-07-16 16:14:15
+ | unanalyzed | call on net.sourceforge.pebble.domain.Content | 2010-07-22 15:04:21
U | unanalyzed | call on net.sourceforge.pebble.domain.Response | 2010-07-16 16:14:15
U | unanalyzed | call on net.sourceforge.pebble.domain. Response:setState | 2010-07-16 16:14:15
U | unanalyzed | call on net.sourceforge.pebble.domain.TrackBack | 2010-07-16 16:14:15
U | unanalyzed | call on net.sourceforge.pebble.util. StringUtils:filterHTML | 2010-07-16 16:14:15
U | unanalyzed | call on net.sourceforge.pebble.util. StringUtils:transformHTML | 2010-07-16 16:14:15
- | unanalyzed | call on parse | 2010-07-16 16:59:22
- | unanalyzed | call on setBlogEntry | 2010-07-16 16:59:22
U | unanalyzed | call on setDate | 2010-07-16 16:14:15
U | unanalyzed | call on setState | 2010-07-16 16:14:15
- | unanalyzed | call on setTitle | 2010-07-16 16:59:22
U | test_vector | java.util.Iterator:hasNext(...)@826: {1}, {0} | 2010-07-16 16:14:15
U | test_vector | java.util.Iterator:hasNext(...)@834: {1}, {0} | 2010-07-16 16:14:15
U | test_vector | java.util.Iterator:hasNext(...)@842: {1}, {0} | 2010-07-16 16:14:15
U | test_vector | this.attachment: Addr_Set{null}, Inverse{null} | 2010-07-16 16:14:15

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

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

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

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

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

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

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

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

- bool equals(Object)

-/+ | Kind | Annotation Text | Date
--- | --- | --- | ---
+ | pre | (soft) init'ed(o.blog.id) | 2010-07-22 15:04:21
U | pre | (soft) init'ed(o.id) | 2010-07-16 16:14:15
+ | pre | (soft) init'ed(this.blog.id) | 2010-07-22 15:04:21
U | pre | (soft) init'ed(this.id) | 2010-07-16 16:14:15
U | pre | (soft) o.blog != null | 2010-07-16 16:14:15
U | pre | (soft) this.blog != null | 2010-07-16 16:14:15
U | post | init'ed(return_value) | 2010-07-16 16:14:15
U | unanalyzed | call on getId | 2010-07-16 16:14:15
U | test_vector | this == o: {0}, {1} | 2010-07-16 16:14:15

- List getAllTags()

-/+ | Kind | Annotation Text | Date
--- | --- | --- | ---
+ | pre | (soft) init'ed(this.blog.rootCategory...parent) | 2010-07-22 15:04:21
+ | pre | (soft) init'ed(this.blog.rootCategory... tagsAsList) | 2010-07-22 15:04:21
+ | pre | (soft) init'ed(this.blog.rootCategory.parent) | 2010-07-22 15:04:21
+ | pre | (soft) init'ed(this.blog.rootCategory.tagsAsList) | 2010-07-22 15:04:21
U | pre | (soft) this.blog != null | 2010-07-16 16:14:15
+ | pre | (soft) this.blog.rootCategory != null | 2010-07-22 15:04:21
U | pre | init'ed(this.categories) | 2010-07-16 16:14:15
U | pre | this.tagsAsList != null | 2010-07-16 16:14:15
U | presumption | java.util.Iterator:next(...)@144 != null | 2010-07-16 16:14:15
U | post | new ArrayList(getAllTags#1) num objects == 1 | 2010-07-16 16:14:15
U | post | return_value == &new ArrayList(getAllTags#1) | 2010-07-16 16:14:15
U | unanalyzed | call on java.util.ArrayList | 2010-07-16 16:14:15
U | unanalyzed | call on java.util.HashSet | 2010-07-16 16:14:15
U | unanalyzed | call on java.util.List:addAll | 2010-07-16 16:14:15
U | test_vector | java.util.Iterator:hasNext(...)@148: {1}, {0} | 2010-07-16 16:14:15
U | test_vector | java.util.Iterator:hasNext(...)@158: {1}, {0} | 2010-07-16 16:14:15
U | test_vector | java.util.Iterator:hasNext(...)@167: {1}, {0} | 2010-07-16 16:14:15
U | test_vector | java.util.List:contains(...)@150: {1}, {0} | 2010-07-16 16:14:15
U | test_vector | java.util.List:contains(...)@160: {1}, {0} | 2010-07-16 16:14:15
U | test_vector | java.util.List:contains(...)@169: {1}, {0} | 2010-07-16 16:14:15
U | test_vector | java.util.Set:size(...)@141: {-231..0}, {1..232-1} | 2010-07-16 16:14:15

- Attachment getAttachment()

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

- Set getCategories()

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

- Comment getComment(long)

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

- List getComments()

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

- List getComments(Comment)

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

- String getCommentsLink()

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

- String getContent()

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

- String getExcerpt()

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

- String getGuid()

-/+ | Kind | Annotation Text | Date
--- | --- | --- | ---
+ | pre | init'ed(this.blog.id) | 2010-07-22 15:04:21
U | pre | init'ed(this.id) | 2010-07-16 16:14:15
U | pre | this.blog != null | 2010-07-16 16:14:15
U | post | return_value != null | 2010-07-16 16:14:15

- Date getLastModified()

-/+ | Kind | Annotation Text | Date
--- | --- | --- | ---
U | pre | init'ed(this.date) | 2010-07-16 16:14:15
U | pre | this.comments != null | 2010-07-16 16:14:15
U | pre | this.trackBacks != null | 2010-07-16 16:14:15
U | presumption | comment.date@300 != null | 2010-07-16 16:14:15
U | presumption | java.util.Iterator:next(...)@300 != null | 2010-07-16 16:14:15
U | presumption | java.util.Iterator:next(...)@308 != null | 2010-07-16 16:14:15
U | presumption | trackBack.date@308 != null | 2010-07-16 16:14:15
U | post | init'ed(return_value) | 2010-07-16 16:14:15
U | test_vector | java.util.Date:after(...)@301: {0}, {1} | 2010-07-16 16:14:15
U | test_vector | java.util.Date:after(...)@309: {0}, {1} | 2010-07-16 16:14:15
U | test_vector | java.util.Iterator:hasNext(...)@299: {1}, {0} | 2010-07-16 16:14:15
U | test_vector | java.util.Iterator:hasNext(...)@307: {1}, {0} | 2010-07-16 16:14:15

- String getLocalPermalink()

-/+ | Kind | Annotation Text | Date
--- | --- | --- | ---
+ | pre | (soft) init'ed(net/sourceforge/pebble/domain/BlogMa nager.instance.multiBlog) | 2010-07-22 15:04:21
+ | pre | (soft) init'ed(this.blog.id) | 2010-07-22 15:04:21
+ | pre | (soft) net/sourceforge/pebble/domain/BlogManager. instance != null | 2010-07-22 15:04:21
U | pre | (soft) this.blog != null | 2010-07-16 16:14:15
+ | pre | (soft) this.blog.permalinkProvider != null | 2010-07-22 15:04:21
U | pre | init'ed(this.permalink) | 2010-07-16 16:14:15
- | presumption | this.blog@338 != null | 2010-07-16 16:59:22
U | post | init'ed(return_value) | 2010-07-16 16:14:15
U | post | this.permalink == return_value | 2010-07-16 16:14:15
+ | unanalyzed | call on java.lang.String:indexOf | 2010-07-22 15:04:21
+ | unanalyzed | call on java.lang.String:length | 2010-07-22 15:04:21
+ | unanalyzed | call on java.lang.String:substring | 2010-07-22 15:04:21
+ | unanalyzed | call on java.lang.String:valueOf | 2010-07-22 15:04:21
+ | unanalyzed | call on net.sourceforge.pebble.PebbleContext:getCon figuration | 2010-07-22 15:04:21
+ | unanalyzed | call on net.sourceforge.pebble.PebbleContext:getIns tance | 2010-07-22 15:04:21
U | test_vector | getPermalink(...)@338: Addr_Set{null}, Inverse{null} | 2010-07-16 16:14:15
U | test_vector | java.lang.String:length(...)@339: {0}, {1..232-1} | 2010-07-16 16:14:15
U | test_vector | this.permalink: Inverse{null}, Addr_Set{null} | 2010-07-16 16:14:15

- BlogEntry getNextBlogEntry()

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

- int getNumberOfComments()

-/+ | Kind | Annotation Text | Date
--- | --- | --- | ---
U | pre | this.comments != null | 2010-07-16 16:14:15
U | post | init'ed(return_value) | 2010-07-16 16:14:15
U | unanalyzed | call on getComments | 2010-07-16 16:14:15
U | unanalyzed | call on java.util.ArrayList | 2010-07-16 16:14:15
U | unanalyzed | call on java.util.List:add | 2010-07-16 16:14:15
U | unanalyzed | call on java.util.List:addAll | 2010-07-16 16:14:15
U | unanalyzed | call on java.util.List:iterator | 2010-07-16 16:14:15

- int getNumberOfResponses()

-/+ | Kind | Annotation Text | Date
--- | --- | --- | ---
U | pre | init'ed(this.trackBacks) | 2010-07-16 16:14:15
U | pre | this.comments != null | 2010-07-16 16:14:15
U | post | init'ed(return_value) | 2010-07-16 16:14:15
U | unanalyzed | call on getComments | 2010-07-16 16:14:15
U | unanalyzed | call on java.util.ArrayList | 2010-07-16 16:14:15
U | unanalyzed | call on java.util.Collections:sort | 2010-07-16 16:14:15
U | unanalyzed | call on java.util.List:add | 2010-07-16 16:14:15
U | unanalyzed | call on java.util.List:addAll | 2010-07-16 16:14:15
U | unanalyzed | call on java.util.List:iterator | 2010-07-16 16:14:15

- int getNumberOfTrackBacks()

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

- BlogEntry getPreviousBlogEntry()

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

- Response getResponse(String)

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

- List getResponses()

-/+ | Kind | Annotation Text | Date
--- | --- | --- | ---
U | pre | init'ed(this.trackBacks) | 2010-07-16 16:14:15
U | pre | this.comments != null | 2010-07-16 16:14:15
U | post | new ArrayList(getResponses#1) num objects == 1 | 2010-07-16 16:14:15
U | post | return_value == &new ArrayList(getResponses#1) | 2010-07-16 16:14:15
U | unanalyzed | call on getComments | 2010-07-16 16:14:15
U | unanalyzed | call on java.util.ArrayList | 2010-07-16 16:14:15
U | unanalyzed | call on java.util.List:add | 2010-07-16 16:14:15
U | unanalyzed | call on java.util.List:addAll | 2010-07-16 16:14:15
U | unanalyzed | call on java.util.List:iterator | 2010-07-16 16:14:15

- TimeZone getTimeZone()

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

- String getTimeZoneId()

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

- TrackBack getTrackBack(long)

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

- String getTrackBackLink()

-/+ | Kind | Annotation Text | Date
--- | --- | --- | ---
+ | pre | (soft) init'ed(net/sourceforge/pebble/domain/BlogMa nager.instance.multiBlog) | 2010-07-22 15:04:21
+ | pre | (soft) init'ed(this.blog.id) | 2010-07-22 15:04:21
+ | pre | (soft) net/sourceforge/pebble/domain/BlogManager. instance != null | 2010-07-22 15:04:21
U | pre | init'ed(this.id) | 2010-07-16 16:14:15
U | pre | this.blog != null | 2010-07-16 16:14:15
U | presumption | net.sourceforge.pebble.trackback.TrackBackTokenMana ger:getInstance(...)@433 != null | 2010-07-16 16:14:15
U | post | return_value != null | 2010-07-16 16:14:15
+ | unanalyzed | call on java.lang.String:indexOf | 2010-07-22 15:04:21
+ | unanalyzed | call on java.lang.String:length | 2010-07-22 15:04:21
+ | unanalyzed | call on java.lang.String:substring | 2010-07-22 15:04:21
+ | unanalyzed | call on java.lang.String:valueOf | 2010-07-22 15:04:21
+ | unanalyzed | call on net.sourceforge.pebble.PebbleContext:getCon figuration | 2010-07-22 15:04:21
+ | unanalyzed | call on net.sourceforge.pebble.PebbleContext:getIns tance | 2010-07-22 15:04:21

- List getTrackBacks()

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

- String getTrackBacksLink()

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

- bool hasTag(String)

-/+ | Kind | Annotation Text | Date
--- | --- | --- | ---
+ | pre | (soft) init'ed(this.blog.rootCategory...parent) | 2010-07-22 15:04:21
+ | pre | (soft) init'ed(this.blog.rootCategory... tagsAsList) | 2010-07-22 15:04:21
+ | pre | (soft) init'ed(this.blog.rootCategory.parent) | 2010-07-22 15:04:21
+ | pre | (soft) init'ed(this.blog.rootCategory.tagsAsList) | 2010-07-22 15:04:21
U | pre | (soft) init'ed(this.categories) | 2010-07-16 16:14:15
U | pre | (soft) this.blog != null | 2010-07-16 16:14:15
+ | pre | (soft) this.blog.rootCategory != null | 2010-07-22 15:04:21
U | pre | (soft) this.tagsAsList != null | 2010-07-16 16:14:15
U | post | init'ed(return_value) | 2010-07-16 16:14:15
- | unanalyzed | call on getAllTags | 2010-07-16 16:59:22
U | unanalyzed | call on getRootCategory | 2010-07-16 16:14:15
U | unanalyzed | call on java.lang.String:replaceAll | 2010-07-16 16:14:15
U | unanalyzed | call on java.lang.String:toLowerCase | 2010-07-16 16:14:15
U | unanalyzed | call on java.lang.String:trim | 2010-07-16 16:14:15
U | unanalyzed | call on java.util.ArrayList | 2010-07-16 16:14:15
U | unanalyzed | call on java.util.Collections:reverse | 2010-07-16 16:14:15
U | unanalyzed | call on java.util.Collections:sort | 2010-07-16 16:14:15
U | unanalyzed | call on java.util.HashSet | 2010-07-16 16:14:15
U | unanalyzed | call on java.util.List:add | 2010-07-16 16:14:15
U | unanalyzed | call on java.util.List:addAll | 2010-07-16 16:14:15
U | unanalyzed | call on java.util.List:contains | 2010-07-16 16:14:15
U | unanalyzed | call on java.util.List:iterator | 2010-07-16 16:14:15
U | unanalyzed | call on java.util.Set:iterator | 2010-07-16 16:14:15
U | unanalyzed | call on java.util.Set:size | 2010-07-16 16:14:15
U | test_vector | s: Addr_Set{null}, Inverse{null} | 2010-07-16 16:14:15

- int hashCode()

-/+ | Kind | Annotation Text | Date
--- | --- | --- | ---
+ | pre | init'ed(this.blog.id) | 2010-07-22 15:04:21
U | pre | init'ed(this.id) | 2010-07-16 16:14:15
U | pre | this.blog != null | 2010-07-16 16:14:15
U | post | init'ed(return_value) | 2010-07-16 16:14:15
U | unanalyzed | call on getId | 2010-07-16 16:14:15

- bool inCategory(Category)

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

- bool isCommentsEnabled()

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

- bool isTrackBacksEnabled()

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

- void net.sourceforge.pebble.domain.BlogEntry(Blog)

-/+ | Kind | Annotation Text | Date
--- | --- | --- | ---
U | post | init'ed(this.blog) | 2010-07-16 16:14:15
U | post | init'ed(this.date) | 2010-07-16 16:14:15
U | post | init'ed(this.eventsEnabled) | 2010-07-16 16:14:15
U | post | init'ed(this.lockedBy) | 2010-07-16 16:14:15
U | post | init'ed(this.persistent) | 2010-07-16 16:14:15
U | post | new ArrayList(BlogEntry#2) num objects == 1 | 2010-07-16 16:14:15
U | post | new ArrayList(BlogEntry#3) num objects == 1 | 2010-07-16 16:14:15
U | post | new ArrayList(Content#1) num objects == 1 | 2010-07-16 16:14:15
U | post | new ArrayList(Content#3) num objects == 1 | 2010-07-16 16:14:15
U | post | new Date(PageBasedContent#2) num objects == 1 | 2010-07-16 16:14:15
U | post | new HashSet(BlogEntry#1) num objects == 1 | 2010-07-16 16:14:15
U | post | new LinkedList(PageBasedContent#1) num objects == 1 | 2010-07-16 16:14:15
U | post | new PropertyChangeSupport(Content#2) num objects == 1 | 2010-07-16 16:14:15
U | post | possibly_updated(this.id) | 2010-07-16 16:14:15
U | post | this.author == &"" | 2010-07-16 16:14:15
U | post | this.blog == blog | 2010-07-16 16:14:15
U | post | this.body == &"" | 2010-07-16 16:14:15
U | post | this.categories == &new HashSet(BlogEntry#1) | 2010-07-16 16:14:15
U | post | this.comments == &new ArrayList(BlogEntry#2) | 2010-07-16 16:14:15
U | post | this.commentsEnabled == 1 | 2010-07-16 16:14:15
U | post | this.events == &new ArrayList(Content#1) | 2010-07-16 16:14:15
U | post | this.excerpt == &"" | 2010-07-16 16:14:15
U | post | this.permalink == null | 2010-07-16 16:14:15
U | post | this.propertyChangeEvents == &new ArrayList(Content#3) | 2010-07-16 16:14:15
U | post | this.propertyChangeSupport == &new PropertyChangeSupport(Content#2) | 2010-07-16 16:14:15
U | post | this.state == &net.sourceforge.pebble.domain. State__static_init.new State(State__static_init#4) | 2010-07-16 16:14:15
U | post | this.subtitle == &"" | 2010-07-16 16:14:15
U | post | this.tags == &"" | 2010-07-16 16:14:15
U | post | this.tagsAsCommaSeparated == &"" | 2010-07-16 16:14:15
U | post | this.tagsAsList == &new LinkedList(PageBasedCon tent#1) | 2010-07-16 16:14:15
U | post | this.title == &"" | 2010-07-16 16:14:15
U | post | this.trackBacks == &new ArrayList(BlogEntry#3) | 2010-07-16 16:14:15
U | post | this.trackBacksEnabled == 1 | 2010-07-16 16:14:15
U | unanalyzed | call on java.beans.PropertyChangeSupport | 2010-07-16 16:14:15
U | unanalyzed | call on java.beans.PropertyChangeSupport:addPropert yChangeListener | 2010-07-16 16:14:15
U | unanalyzed | call on java.beans.PropertyChangeSupport:fireProper tyChange | 2010-07-16 16:14:15
U | unanalyzed | call on java.lang.String:equals | 2010-07-16 16:14:15
U | unanalyzed | call on java.util.ArrayList | 2010-07-16 16:14:15
U | unanalyzed | call on java.util.Date | 2010-07-16 16:14:15
U | unanalyzed | call on java.util.Date:getTime | 2010-07-16 16:14:15
U | unanalyzed | call on java.util.EventObject | 2010-07-16 16:14:15
U | unanalyzed | call on java.util.LinkedList | 2010-07-16 16:14:15
U | unanalyzed | call on java.util.List:add | 2010-07-16 16:14:15
+ | unanalyzed | call on net.sourceforge.pebble.api.event. PebbleEvent | 2010-07-22 15:04:21
U | unanalyzed | call on setDate | 2010-07-16 16:14:15
U | unanalyzed | call on setState | 2010-07-16 16:14:15

- net.sourceforge.pebble.domain.BlogEntry__static_init

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

- void removeAllCategories()

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

- void removeComment(long)

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

- void removeResponse(Response)

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

- void removeTrackBack(long)

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

- void setAttachment(Attachment)

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

- void setCategories(Collection)

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

- void setCommentsEnabled(bool)

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

- void setDate(Date)

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

- void setEventsEnabled(bool)

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

- void setExcerpt(String)

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

- void setState(State)

-/+ | Kind | Annotation Text | Date
--- | --- | --- | ---
U | pre | (soft) init'ed(state.name) | 2010-07-16 16:14:15
U | pre | (soft) net.sourceforge.pebble.domain.State__static_ init.new State(State__static_init#4).name != null | 2010-07-16 16:14:15
U | pre | (soft) net.sourceforge.pebble.domain.State__static_ init.new State(State__static_init#5).name != null | 2010-07-16 16:14:15
U | pre | (soft) state != null | 2010-07-16 16:14:15
U | pre | (soft) this.events != null | 2010-07-16 16:14:15
U | pre | init'ed(this.eventsEnabled) | 2010-07-16 16:14:15
U | pre | init'ed(this.state) | 2010-07-16 16:14:15
U | post | (soft) this.state != null | 2010-07-16 16:14:15
U | post | this.state == state | 2010-07-16 16:14:15
U | unanalyzed | call on java.lang.String:equals | 2010-07-16 16:14:15
U | unanalyzed | call on java.util.EventObject | 2010-07-16 16:14:15
U | unanalyzed | call on java.util.List:add | 2010-07-16 16:14:15
+ | unanalyzed | call on net.sourceforge.pebble.api.event. PebbleEvent | 2010-07-22 15:04:21
U | test_vector | this.eventsEnabled: {0}, {1} | 2010-07-16 16:14:15

- void setTimeZoneId(String)

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

- void setTitle(String)

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

- void setTrackBacksEnabled(bool)

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

- String toString()

-/+ | Kind | Annotation Text | Date
--- | --- | --- | ---
+ | pre | init'ed(this.blog.id) | 2010-07-22 15:04:21
U | pre | init'ed(this.id) | 2010-07-16 16:14:15
U | pre | this.blog != null | 2010-07-16 16:14:15
U | post | return_value != null | 2010-07-16 16:14:15
U | unanalyzed | call on getId | 2010-07-16 16:14:15

- void validate(ValidationContext)

-/+ | Kind | Annotation Text | Date
--- | --- | --- | ---