## content.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

- ArrayList access$0(Content)

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

- void addEvent(PebbleEvent)

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

- bool areEventsEnabled()

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

- void clearEvents()

-/+ | Kind | Annotation Text | Date
--- | --- | --- | ---
U | post | new ArrayList(clearEvents#1) num objects == 1 | 2010-07-16 16:14:15
U | post | this.events == &new ArrayList(clearEvents#1) | 2010-07-16 16:14:15

- void clearPropertyChangeEvents()

-/+ | Kind | Annotation Text | Date
--- | --- | --- | ---
U | post | new ArrayList(clearPropertyChangeEvents#1) num objects == 1 | 2010-07-16 16:14:15
U | post | this.propertyChangeEvents == &new ArrayList(clearPropertyChangeEvents#1) | 2010-07-16 16:14:15

- List getEvents()

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

- List getPropertyChangeEvents()

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

- State getState()

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

- String getTruncatedContent()

-/+ | 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 java.lang.String:length | 2010-07-16 16:14:15

- bool hasEvents()

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

- void insertEvent(PebbleEvent)

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

- bool isDirty()

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

- void net.sourceforge.pebble.domain.Content$1(Content)

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

- net.sourceforge.pebble.domain.Content$1__static_init

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

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

-/+ | Kind | Annotation Text | Date
--- | --- | --- | ---
U | post | init'ed(this.eventsEnabled) | 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.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

- net.sourceforge.pebble.domain.Content__static_init

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

- PebbleEvent nextEvent()

-/+ | Kind | Annotation Text | Date
--- | --- | --- | ---
U | pre | this.events != 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.List:isEmpty | 2010-07-16 16:14:15

- void propertyChange(PropertyChangeEvent)

-/+ | Kind | Annotation Text | Date
--- | --- | --- | ---
U | pre | (soft) event != null | 2010-07-16 16:14:15
U | pre | (soft) this.propertyChangeEvents != null | 2010-07-16 16:14:15
U | pre | init'ed(this.eventsEnabled) | 2010-07-16 16:14:15
U | test_vector | java.beans.PropertyChangeEvent:getNewValue(... )@76: Addr_Set{null}, Inverse{null} | 2010-07-16 16:14:15
U | test_vector | java.beans.PropertyChangeEvent:getOldValue(... )@75: Addr_Set{null}, Inverse{null} | 2010-07-16 16:14:15
U | test_vector | java.lang.Object:equals(...)@78: {0}, {1} | 2010-07-16 16:14:15
U | test_vector | this.eventsEnabled: {0}, {1} | 2010-07-16 16:14:15

- void setEventsEnabled(bool)

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

- void setState(State)

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