Messages

Last Msg First Msg

method	org.apache.roller.weblogger.planet.ui. PlanetGroups__static_init
post	init'ed(log)

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

method	void org.apache.roller.weblogger.planet.ui. PlanetGroups()
post	this.actionName == &"planetGroups"
post	this.bean == &new PlanetGroupsBean(PlanetGroups #1)
post	this.desiredMenu == &"admin"
post	this.group == null
post	this.planet == null
post	this.bean.handle == null
post	this.bean.id == null
post	this.bean.title == null
post	this.pageTitle == &"planetGroups.pagetitle"
post	new PlanetGroupsBean(PlanetGroups#1) num objects == 1
unanalyzed	call on org.apache.roller.weblogger.ui.struts2. util.UIAction

method	String requiredUserRole()
post	return_value == &"admin"

method	bool isWeblogRequired()
post	return_value == 0

method	void myPrepare()
pre	init'ed(this.planet)
pre	(soft) log != null
pre	(soft) org/apache/roller/weblogger/planet/ui/Planet UIAction.log != null
pre	(soft) this.bean != null
pre	(soft) init'ed(this.bean.id)
presumption	org.apache.roller.planet.business.Planet:getPlanetM anager(...)@68 != null
presumption	org.apache.roller.planet.business.PlanetFactory:get Planet(...)@68 != null
post	possibly_updated(this.group)
post	init'ed(this.planet)
unanalyzed	call on org.apache.roller.planet.business. PlanetFactory:getPlanet
unanalyzed	call on org.apache.roller.planet.business. Planet:getPlanetManager
unanalyzed	call on org.apache.roller.planet.business. PlanetManager:getPlanet
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on org.apache.commons.logging.Log:error
test_vector	this.bean.id: Addr_Set{null}, Inverse{null}

info method not available -- call on Planet org.apache.roller.planet. business.PlanetFactory:getPlanet()

info method not available -- call on PlanetManager org.apache.roller.planet. business.Planet:getPlanetManager()

info method not available -- call on PlanetGroup org.apache.roller.planet. business.PlanetManager:getGroupById(String)

info method not available -- call on void org.apache.commons.logging. Log:error(Object, Throwable)

method	String execute()
pre	init'ed(this.group)
pre	(soft) this.bean != null
post	return_value == &"list"
post	possibly_updated(this.bean.handle)
post	possibly_updated(this.bean.id)
post	possibly_updated(this.bean.title)
unanalyzed	call on org.apache.roller.planet.pojos. PlanetGroup:getId
unanalyzed	call on org.apache.roller.planet.pojos. PlanetGroup:getTitle
unanalyzed	call on org.apache.roller.planet.pojos. PlanetGroup:getHandle
test_vector	this.group: Addr_Set{null}, Inverse{null}

method	String save()
pre	this.bean != null
pre	init'ed(this.bean.handle)
pre	init'ed(this.bean.title)
pre	(soft) log != null
pre	(soft) init'ed(this.planet)
pre	(soft) org/apache/roller/weblogger/planet/ui/Planet UIAction.log != null
pre	(soft) init'ed(this.bean.id)
pre	(soft) init'ed(this.group)
presumption	org.apache.roller.planet.business.Planet:getPlanetM anager(...)@112 != null
presumption	org.apache.roller.planet.business.PlanetFactory:get Planet(...)@112 != null
presumption	org.apache.roller.planet.business.PlanetFactory:get Planet(...)@114 != null
post	return_value == &"list"
post	init'ed(this.planet)
unanalyzed	call on org.apache.roller.weblogger.planet.ui. PlanetGroups:addError
unanalyzed	call on java.lang.String:equals
unanalyzed	call on org.apache.commons.lang.StringUtils:isEmpty
unanalyzed	call on org.apache.roller.planet.pojos. PlanetGroup:setTitle
unanalyzed	call on org.apache.roller.planet.pojos. PlanetGroup:setHandle
unanalyzed	call on org.apache.roller.planet.business. PlanetFactory:getPlanet
unanalyzed	call on org.apache.roller.planet.business. Planet:getPlanetManager
unanalyzed	call on org.apache.roller.planet.business. PlanetManager:getPlanet
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on org.apache.commons.logging.Log:error
test_vector	this.group: Inverse{null}, Addr_Set{null}
test_vector	org.apache.roller.weblogger.planet.ui. PlanetGroups:hasActionErrors(...)@97: {1}, {0}

info method not available -- call on bool org.apache.roller.weblogger.planet. ui.PlanetGroups:hasActionErrors()

info method not available -- call on void org.apache.commons.logging. Log:debug(Object)

info method not available -- call on void org.apache.roller.planet.pojos. PlanetGroup()

info method not available -- call on void org.apache.roller.planet.pojos. PlanetGroup:setPlanet(Planet)

info method not available -- call on void org.apache.commons.logging. Log:debug(Object)

info method not available -- call on void org.apache.roller.planet.business. PlanetManager:saveGroup(PlanetGroup)

info method not available -- call on Planet org.apache.roller.planet. business.PlanetFactory:getPlanet()

info method not available -- call on void org.apache.roller.planet.business. Planet:flush()

info method not available -- call on void org.apache.roller.weblogger.planet. ui.PlanetGroups:addMessage(String)

info method not available -- call on void org.apache.commons.logging. Log:error(Object, Throwable)

info method not available -- call on void org.apache.roller.weblogger.planet. ui.PlanetGroups:addError(String)

method	String delete()
pre	init'ed(this.group)
pre	(soft) log != null
pre	(soft) this.bean != null
pre	(soft) init'ed(this.bean.id)
presumption	org.apache.roller.planet.business.Planet:getPlanetM anager(...)@135 != null
presumption	org.apache.roller.planet.business.PlanetFactory:get Planet(...)@135 != null
presumption	org.apache.roller.planet.business.PlanetFactory:get Planet(...)@137 != null
post	return_value == &"list"
test_vector	this.group: Addr_Set{null}, Inverse{null}

info method not available -- call on void org.apache.roller.planet.business. PlanetManager:deleteGroup(PlanetGroup)

info method not available -- call on Planet org.apache.roller.planet. business.PlanetFactory:getPlanet()

info method not available -- call on void org.apache.roller.planet.business. Planet:flush()

info method not available -- call on void org.apache.roller.weblogger.planet. ui.PlanetGroups:addMessage(String)

info method not available -- call on void org.apache.commons.logging. Log:error(Object)

info method not available -- call on void org.apache.roller.weblogger.planet. ui.PlanetGroups:addError(String)

method	void myValidate()
pre	this.bean != null
pre	init'ed(this.bean.handle)
pre	init'ed(this.bean.title)
test_vector	this.bean.handle: Addr_Set{null}, Inverse{null}
test_vector	java.lang.String:equals(...)@164: {0}, {1}
test_vector	org.apache.commons.lang.StringUtils:isEmpty(... )@156: {0}, {1}
test_vector	org.apache.commons.lang.StringUtils:isEmpty(... )@160: {0}, {1}

info method not available -- call on bool org.apache.commons.lang. StringUtils:isEmpty(String)

info method not available -- call on void org.apache.roller.weblogger.planet. ui.PlanetGroups:addError(String)

info method not available -- call on bool org.apache.commons.lang. StringUtils:isEmpty(String)

info method not available -- call on void org.apache.roller.weblogger.planet. ui.PlanetGroups:addError(String)

method	List getGroups()
pre	init'ed(this.planet)
pre	(soft) org/apache/roller/weblogger/planet/ui/Planet UIAction.log != null
presumption	java.util.Iterator:next(...)@178 != null
presumption	org.apache.roller.planet.pojos.Planet:getGroups(... )@176 != null
presumption	org.apache.roller.planet.pojos.PlanetGroup:getHandl e(...)@182 != null
post	return_value == &new ArrayList(getGroups#1)
post	this.planet != null
post	new ArrayList(getGroups#1) num objects == 1
unanalyzed	call on org.apache.roller.planet.business. PlanetFactory:getPlanet
unanalyzed	call on org.apache.roller.planet.business. Planet:getPlanetManager
unanalyzed	call on org.apache.roller.planet.business. PlanetManager:getPlanet
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on org.apache.commons.logging.Log:error
test_vector	java.lang.String:equals(...)@182: {1}, {0}
test_vector	java.util.Iterator:hasNext(...)@177: {0}, {1}

Prev Msg Next Msg

+

click for all messages in this file medium

null dereference check might fail: requires getPlanet(...) != null

info method not available -- call on Set org.apache.roller.planet.pojos. Planet:getGroups()

Prev Msg Next Msg

info method not available -- call on String org.apache.roller.planet.pojos. PlanetGroup:getHandle()

method	PlanetGroupsBean getBean()
pre	init'ed(this.bean)
post	return_value == this.bean
post	init'ed(return_value)

method	void setBean(PlanetGroupsBean)
post	this.bean == bean
post	init'ed(this.bean)

method	PlanetGroup getGroup()
pre	init'ed(this.group)
post	return_value == this.group
post	init'ed(return_value)

method	void setGroup(PlanetGroup)
post	this.group == group
post	init'ed(this.group)

	info	method not available	-- call on Planet org.apache.roller.planet. business.PlanetFactory:getPlanet()
	info	method not available	-- call on PlanetManager org.apache.roller.planet. business.Planet:getPlanetManager()