Messages

method	org.apache.roller.weblogger.ui.rendering.util. ParsedRequest__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.ui.rendering. util.ParsedRequest()
post	this.authenticUser == null
post	this.request == null
post	this.user == null

method	void org.apache.roller.weblogger.ui.rendering. util.ParsedRequest(HttpServletRequest)
pre	request != null
post	init'ed(this.authenticUser)
post	this.request == request
post	this.request != null
post	this.user == null
test_vector	javax.servlet.http.HttpServletRequest:getUserPrinci pal(...)@69: Addr_Set{null}, Inverse{null}

method	String getAuthenticUser()
pre	init'ed(this.authenticUser)
post	return_value == this.authenticUser
post	init'ed(return_value)

method	void setAuthenticUser(String)
post	this.authenticUser == authenticUser
post	init'ed(this.authenticUser)

method	User getUser()
pre	init'ed(this.user)
pre	(soft) log != null
pre	(soft) init'ed(this.authenticUser)
presumption	org.apache.roller.weblogger.business. Weblogger:getUserManager(...)@91 != null
presumption	org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger(...)@91 != null
post	init'ed(return_value)
post	this.user == return_value
test_vector	this.user: Inverse{null}, Addr_Set{null}
test_vector	this.authenticUser: Addr_Set{null}, Inverse{null}

info method not available -- call on Weblogger org.apache.roller.weblogger. business.WebloggerFactory:getWeblogger()

info method not available -- call on UserManager org.apache.roller.weblogger. business.Weblogger:getUserManager()

info method not available -- call on User org.apache.roller.weblogger. business.UserManager:getUserByUserName(String)

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

method	void setUser(User)
post	this.user == u
post	init'ed(this.user)

method	bool isLoggedIn()
pre	init'ed(this.authenticUser)
post	init'ed(return_value)

	info	method not available	-- call on Weblogger org.apache.roller.weblogger. business.WebloggerFactory:getWeblogger()
	info	method not available	-- call on UserManager org.apache.roller.weblogger. business.Weblogger:getUserManager()