## staticpage.java

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

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

- Object clone()

-/+ | Kind | Annotation Text | Date
--- | --- | --- | ---
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.lockedBy) | 2010-07-16 16:14:15
U | pre | init'ed(this.name) | 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.state) | 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.template) | 2010-07-16 16:14:15
U | pre | init'ed(this.title) | 2010-07-16 16:14:15
U | pre | this.date != null | 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.categories) | 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.lockedBy) | 2010-07-16 16:14:15
U | post | init'ed(return_value.name) | 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.state) | 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.template) | 2010-07-16 16:14:15
U | post | init'ed(return_value.title) | 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 Date(PageBasedContent#2) 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 | new StaticPage(clone#1) num objects == 1 | 2010-07-16 16:14:15
U | post | return_value == &new StaticPage(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.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.lockedBy == this.lockedBy | 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 == 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.template == this.template | 2010-07-16 16:14:15
U | post | return_value.title == this.title | 2010-07-16 16:14:15
- | unanalyzed | call on format | 2010-07-16 16:59:22
U | unanalyzed | call on getAllTags | 2010-07-16 16:14:15
U | unanalyzed | call on getRootCategory | 2010-07-16 16:14:15
U | unanalyzed | call on getTagsAsList | 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: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.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:iterator | 2010-07-16 16:14:15
U | unanalyzed | call on java.util.Set:size | 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 net.sourceforge.pebble.domain. PageBasedContent | 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
U | unanalyzed | call on setDate | 2010-07-16 16:14:15
U | unanalyzed | call on setPublished | 2010-07-16 16:14:15
U | unanalyzed | call on setState | 2010-07-16 16:14:15

- 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 getBlog | 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
--- | --- | --- | ---
U | pre | init'ed(this.tagsAsList) | 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

- 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

- 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 | init'ed(this.name) | 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
+ | 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

- String getName()

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

- String getTemplate()

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

- void net.sourceforge.pebble.domain.StaticPage(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(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 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.events == &new ArrayList(Content#1) | 2010-07-16 16:14:15
U | post | this.permalink == One-of{null, undefined} | 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#5) | 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.template == &"template" | 2010-07-16 16:14:15
U | post | this.title == &"" | 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.StaticPage__static_init

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

- void setName(String)

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

- void setTemplate(String)

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

- void validate(ValidationContext)

-/+ | Kind | Annotation Text | Date
--- | --- | --- | ---
U | pre | (soft) context != null | 2010-07-16 16:14:15
U | pre | (soft) init'ed(this.id) | 2010-07-16 16:14:15
U | pre | init'ed(this.name) | 2010-07-16 16:14:15
U | pre | this.blog != null | 2010-07-16 16:14:15
+ | pre | this.blog.staticPageIndex != null | 2010-07-22 15:04:21
+ | pre | this.blog.staticPageIndex.index != null | 2010-07-22 15:04:21
U | unanalyzed | call on java.util.Map:get | 2010-07-16 16:14:15
U | test_vector | java.lang.String:equals(...)@106: {1}, {0} | 2010-07-16 16:14:15
U | test_vector | java.lang.String:length(...)@99: {1.. 232-1}, {0} | 2010-07-16 16:14:15
U | test_vector | java.lang.String:matches(...)@101: {1}, {0} | 2010-07-16 16:14:15
U | test_vector | java.util.Map:get(...)@208: Addr_Set{null}, Inverse{null} | 2010-07-16 16:14:15
U | test_vector | this.name: Addr_Set{null}, Inverse{null} | 2010-07-16 16:14:15