Messages

method

void net.sourceforge.pebble.event.blogentry. MarkUnpublishedListener()

method	net.sourceforge.pebble.event.blogentry. MarkUnpublishedListener__static_init
post	init'ed(log)

info method not available -- call on Log org.apache.commons.logging. LogFactory:getLog(Class)

method	void blogEntryAdded(BlogEntryEvent)
pre	(soft) event != null
test_vector	net.sourceforge.pebble.util.SecurityUtils:isBlogOwn er(...)@60: {1}, {0}
presumption	net.sourceforge.pebble.api.event.blogentry. BlogEntryEvent:getSource(...)@91 != null
unanalyzed	call on net.sourceforge.pebble.api.event.blogentry. BlogEntryEvent:getSource
unanalyzed	call on setState
unanalyzed	call on java.lang.String:equals
unanalyzed	call on java.util.List:add
unanalyzed	call on net.sourceforge.pebble.api.event. PebbleEvent
unanalyzed	call on java.util.EventObject

info method not available -- call on bool net.sourceforge.pebble.util. SecurityUtils:isBlogOwner()

method	void blogEntryChanged(BlogEntryEvent)
pre	(soft) event != null
presumption	java.beans.PropertyChangeEvent:getPropertyName(... )@84 != null
presumption	java.util.Iterator:next(...)@83 != null
test_vector	java.lang.String:equals(...)@85: {1}, {0}
test_vector	java.lang.String:equals(...)@86: {1}, {0}
test_vector	java.lang.String:equals(...)@87: {1}, {0}
test_vector	java.lang.String:equals(...)@88: {1}, {0}
test_vector	java.lang.String:equals(...)@89: {0}, {1}
test_vector	java.util.Iterator:hasNext(...)@82: {1}, {0}
test_vector	net.sourceforge.pebble.util.SecurityUtils:isBlogPub lisher(...)@71: {1}, {0}
pre	(soft) event.propertyChangeEvents != null
presumption	net.sourceforge.pebble.api.event.blogentry. BlogEntryEvent:getSource(...)@91 != null
unanalyzed	call on net.sourceforge.pebble.api.event.blogentry. BlogEntryEvent:getSource
unanalyzed	call on setState
unanalyzed	call on java.lang.String:equals
unanalyzed	call on java.util.List:add
unanalyzed	call on java.util.EventObject
unanalyzed	call on net.sourceforge.pebble.api.event. PebbleEvent

info method not available -- call on bool net.sourceforge.pebble.util. SecurityUtils:isBlogPublisher()