## comment.java

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

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

- void addComment(Comment)

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

- Object clone()

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

- bool equals(Object)

-/+ | Kind | Annotation Text | Date
--- | --- | --- | ---
U | pre | (soft) o.blogEntry != null | 2010-07-16 16:14:15
U | pre | (soft) o.date != null | 2010-07-16 16:14:15
U | pre | (soft) this.blogEntry != null | 2010-07-16 16:14:15
U | pre | (soft) this.date != null | 2010-07-16 16:14:15
U | presumption | net.sourceforge.pebble.domain.BlogEntry:getId(... )@355 != null | 2010-07-16 16:14:15
U | post | init'ed(return_value) | 2010-07-16 16:14:15
U | unanalyzed | call on java.util.Date:getTime | 2010-07-16 16:14:15
U | test_vector | java.lang.String:equals(...)@355: {0}, {1} | 2010-07-16 16:14:15
U | test_vector | this == o: {0}, {1} | 2010-07-16 16:14:15

- String getAuthor()

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

- String getBody()

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

- List getComments()

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

- String getContent()

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

- String getEmail()

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

- int getNumberOfParents()

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

- Comment getParent()

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

- String getPermalink()

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

- String getSourceLink()

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

- String getSourceName()

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

- String getTruncatedBody()

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

- String getWebsite()

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

- int hashCode()

-/+ | Kind | Annotation Text | Date
--- | --- | --- | ---
U | pre | this.date != null | 2010-07-16 16:14:15
U | post | init'ed(return_value) | 2010-07-16 16:14:15
U | unanalyzed | call on java.util.Date:getTime | 2010-07-16 16:14:15

- bool isAuthenticated()

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

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

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

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

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

- net.sourceforge.pebble.domain.Comment__static_init

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

- void removeComment(Comment)

-/+ | Kind | Annotation Text | Date
--- | --- | --- | ---
U | pre | (soft) comment.blogEntry != null | 2010-07-16 16:14:15
U | pre | (soft) comment.comments != null | 2010-07-16 16:14:15
U | pre | (soft) init'ed(comment.eventsEnabled) | 2010-07-16 16:14:15
U | pre | (soft) init'ed(this.eventsEnabled) | 2010-07-16 16:14:15
U | pre | (soft) this.blogEntry != null | 2010-07-16 16:14:15
U | pre | (soft) this.comments != null | 2010-07-16 16:14:15
U | presumption | child.blogEntry@309 != null | 2010-07-16 16:14:15
U | presumption | child.comments@309 != null | 2010-07-16 16:14:15
U | post | comment.parent == One-of{old comment.parent, null} | 2010-07-16 16:14:15
+ | unanalyzed | call on areEventsEnabled | 2010-07-22 12:56:56
+ | unanalyzed | call on getBlogEntry | 2010-07-22 12:56:56
U | unanalyzed | call on java.util.ArrayList | 2010-07-16 16:14:15
U | unanalyzed | call on java.util.EventObject | 2010-07-16 16:14:15
U | unanalyzed | call on java.util.List:contains | 2010-07-16 16:14:15
U | unanalyzed | call on java.util.List:iterator | 2010-07-16 16:14:15
U | unanalyzed | call on java.util.List:remove | 2010-07-16 16:14:15
- | unanalyzed | call on net.sourceforge.pebble.api.event. PebbleEvent | 2010-07-16 16:59:22
U | unanalyzed | call on net.sourceforge.pebble.domain. BlogEntry:addEvent | 2010-07-16 16:14:15
U | unanalyzed | call on removeComment | 2010-07-16 16:14:15
U | test_vector | comment: Addr_Set{null}, Inverse{null} | 2010-07-16 16:14:15
U | test_vector | java.util.Iterator:hasNext(...)@309: {1}, {0} | 2010-07-16 16:14:15
U | test_vector | java.util.List:contains(...)@307: {0}, {1} | 2010-07-16 16:14:15

- void setAuthenticated(bool)

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

- void setAuthor(String)

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

- void setBody(String)

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

- void setEmail(String)

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

- void setParent(Comment)

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

- void setState(State)

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

- void setTitle(String)

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

- void setWebsite(String)

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