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

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