Messages

method | net.sourceforge.pebble.domain.Content$1__static_ init

method | net.sourceforge.pebble.domain.Content__static_ init

method | void net.sourceforge.pebble.domain. Content$1(Content)

method | ArrayList access$0(Content)
pre | Param_0 != null
pre | init'ed(Param_0.propertyChangeEvents)
post | return_value == Param_0.propertyChangeEvents
post | init'ed(return_value)

method | void net.sourceforge.pebble.domain.Content()
post | this.events == &new ArrayList(Content#1)
post | init'ed(this.eventsEnabled)
post | this.propertyChangeEvents == &new ArrayList(Content#3)
post | this.propertyChangeSupport == &new PropertyChangeSupport(Content#2)
post | new ArrayList(Content#1) num objects == 1
post | new ArrayList(Content#3) num objects == 1
post | new PropertyChangeSupport(Content#2) num objects == 1

method | void propertyChange(PropertyChangeEvent)
pre | init'ed(this.eventsEnabled)
pre | (soft) event != null
pre | (soft) this.propertyChangeEvents != null
test_vector | this.eventsEnabled: {0}, {1}
test_vector | java.beans.PropertyChangeEvent:getNewValue(... )@76: Addr_Set{null}, Inverse{null}
test_vector | java.beans.PropertyChangeEvent:getOldValue(... )@75: Addr_Set{null}, Inverse{null}
test_vector | java.lang.Object:equals(...)@78: {0}, {1}

method | String getTruncatedContent()
pre | (soft) init'ed(this.body)
pre | (soft) init'ed(this.excerpt)
post | init'ed(return_value)
unanalyzed | call on java.lang.String:length

| info | method not available | -- call on String getContent()
| info | method not available | -- call on String net.sourceforge.pebble.util. StringUtils:truncate(String)

method | State getState()
pre | init'ed(this.state)
post | return_value == this.state
post | init'ed(return_value)

method | void setState(State)
post | this.state == state
post | init'ed(this.state)

method | void setEventsEnabled(bool)
post | this.eventsEnabled == b
post | init'ed(this.eventsEnabled)

method | bool areEventsEnabled()
pre | init'ed(this.eventsEnabled)
post | return_value == this.eventsEnabled
post | init'ed(return_value)

method | void clearPropertyChangeEvents()
post | this.propertyChangeEvents == &new ArrayList(clearPropertyChangeEvents#1)
post | new ArrayList(clearPropertyChangeEvents#1) num objects == 1

method | bool isDirty()
pre | this.propertyChangeEvents != null
post | init'ed(return_value)

method | List getPropertyChangeEvents()
pre | this.propertyChangeEvents != null
post | return_value != null

method | void addEvent(PebbleEvent)
pre | this.events != null

method | void insertEvent(PebbleEvent)
pre | this.events != null

method | bool hasEvents()
pre | this.events != null
post | init'ed(return_value)

method | PebbleEvent nextEvent()
pre | this.events != null
post | init'ed(return_value)
unanalyzed | call on java.util.List:isEmpty

method | void clearEvents()
post | this.events == &new ArrayList(clearEvents#1)
post | new ArrayList(clearEvents#1) num objects == 1

method | List getEvents()
pre | init'ed(this.events)
post | return_value == &new ArrayList(getEvents#1)
post | new ArrayList(getEvents#1) num objects == 1