Messages

method	void org.apache.roller.weblogger.ui.rendering. model.MenuModel()
post	this.pageRequest == null

method	org.apache.roller.weblogger.ui.rendering.model. MenuModel__static_init
post	init'ed(logger)

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

method	String getModelName()
post	return_value == &"menuModel"

method	void init(Map)
pre	initData != null
presumption	java.util.Map:get(...)@53 != null
presumption	org.apache.roller.weblogger.ui.rendering.util. WeblogPageRequest:instanceof(...)@60 == 1
post	(soft) this.pageRequest != null

method	Menu getAdminMenu()
pre	this.pageRequest != null
pre	(soft) org/apache/roller/weblogger/ui/core/util/men u/MenuHelper.log != null
pre	(soft) org/apache/roller/weblogger/ui/core/util/men u/MenuHelper.menus != null
presumption	org.apache.roller.weblogger.ui.rendering.util. WeblogPageRequest:getUser(...)@74 != null
presumption	org.apache.roller.weblogger.ui.rendering.util. WeblogPageRequest:getUser(...)@75 != null
presumption	org.apache.roller.weblogger.ui.rendering.util. WeblogPageRequest:getWeblog(...)@75 != null
post	return_value in Addr_Set{null,&new Menu(buildMenu#2)}
post	new ArrayList(Menu#1) num objects <= 1
post	new Menu(buildMenu#2) num objects <= 1
post	new Menu(buildMenu#2).tabs == &new ArrayList(Menu#1)
unanalyzed	call on java.util.List:iterator
unanalyzed	call on org.apache.roller.weblogger.config. WebloggerRuntimeConfig:getProperty
unanalyzed	call on org.apache.roller.weblogger.config. WebloggerRuntimeConfig:getBooleanProperty
unanalyzed	call on org.apache.roller.weblogger.config. WebloggerConfig:getBooleanProperty
unanalyzed	call on java.lang.String:equals
unanalyzed	call on org.apache.roller.weblogger.pojos. Weblog:hasUserPermissions
unanalyzed	call on org.apache.commons.logging.Log:debug
unanalyzed	call on java.util.ArrayList
unanalyzed	call on org.apache.roller.weblogger.pojos. User:hasRole
unanalyzed	call on java.util.List:add
unanalyzed	call on java.util.Hashtable:get
test_vector	org.apache.roller.weblogger.pojos.User:hasRole(... )@74: {0}, {1}
test_vector	org.apache.roller.weblogger.ui.rendering.util. WeblogPageRequest:isLoggedIn(...)@74: {0}, {1}

info method not available -- call on bool org.apache.roller.weblogger.ui. rendering.util.WeblogPageRequest:isLoggedIn()

info method not available -- call on User org.apache.roller.weblogger.ui. rendering.util.WeblogPageRequest:getUser()

info method not available -- call on bool org.apache.roller.weblogger.pojos. User:hasRole(String)

info method not available -- call on User org.apache.roller.weblogger.ui. rendering.util.WeblogPageRequest:getUser()

info method not available -- call on Weblog org.apache.roller.weblogger.ui. rendering.util.WeblogPageRequest:getWeblog()

method	Menu getAuthorMenu()
pre	this.pageRequest != null
pre	(soft) org/apache/roller/weblogger/ui/core/util/men u/MenuHelper.log != null
pre	(soft) org/apache/roller/weblogger/ui/core/util/men u/MenuHelper.menus != null
presumption	org.apache.roller.weblogger.ui.rendering.util. WeblogPageRequest:getUser(...)@87 != null
presumption	org.apache.roller.weblogger.ui.rendering.util. WeblogPageRequest:getWeblog(...)@87 != null
post	return_value in Addr_Set{null,&new Menu(buildMenu#2)}
post	new ArrayList(Menu#1) num objects <= 1
post	new Menu(buildMenu#2) num objects <= 1
post	new Menu(buildMenu#2).tabs == &new ArrayList(Menu#1)
unanalyzed	call on java.util.List:iterator
unanalyzed	call on org.apache.roller.weblogger.config. WebloggerRuntimeConfig:getProperty
unanalyzed	call on org.apache.roller.weblogger.config. WebloggerRuntimeConfig:getBooleanProperty
unanalyzed	call on org.apache.roller.weblogger.config. WebloggerConfig:getBooleanProperty
unanalyzed	call on java.lang.String:equals
unanalyzed	call on org.apache.roller.weblogger.pojos. Weblog:hasUserPermissions
unanalyzed	call on org.apache.commons.logging.Log:debug
unanalyzed	call on java.util.ArrayList
unanalyzed	call on org.apache.roller.weblogger.pojos. User:hasRole
unanalyzed	call on java.util.List:add
unanalyzed	call on java.util.Hashtable:get
test_vector	org.apache.roller.weblogger.ui.rendering.util. WeblogPageRequest:isLoggedIn(...)@86: {0}, {1}

info method not available -- call on bool org.apache.roller.weblogger.ui. rendering.util.WeblogPageRequest:isLoggedIn()

info	method not available	-- call on bool org.apache.roller.weblogger.ui. rendering.util.WeblogPageRequest:isLoggedIn()
info	method not available	-- call on User org.apache.roller.weblogger.ui. rendering.util.WeblogPageRequest:getUser()
info	method not available	-- call on bool org.apache.roller.weblogger.pojos. User:hasRole(String)