Messages

Last Msg First Msg

method	org.apache.roller.weblogger.ui.rendering.util. WeblogResourceRequest__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.WeblogResourceRequest()
post	this.authenticUser == null
post	this.locale == null
post	this.localeInstance == null
post	this.pathInfo == null
post	this.request == null
post	this.resourcePath == null
post	this.user == null
post	this.weblog == null
post	this.weblogHandle == null
unanalyzed	call on org.apache.roller.weblogger.ui.rendering. util.ParsedRequest

method	void org.apache.roller.weblogger.ui.rendering. util.WeblogResourceRequest(HttpServletRequest)
pre	log != null
pre	org/apache/roller/weblogger/ui/rendering/util/Weblo gRequest.log != null
pre	request != null
presumption	java.lang.String:length(...)@67 >= 2
post	java.lang.String:substring(...)._tainted == 0
post	init'ed(this.authenticUser)
post	init'ed(this.locale)
post	this.localeInstance == null
post	this.user == null
post	this.weblog == null
post	this.pathInfo != null
post	this.request == request
post	this.request != null
post	init'ed(this.resourcePath)
post	this.weblogHandle == One-of{null, undefined}
post	this.weblogHandle == null
unanalyzed	call on org.apache.roller.weblogger. WebloggerException
unanalyzed	call on java.lang.String:length
unanalyzed	call on java.lang.String:split
unanalyzed	call on org.apache.roller.weblogger.ui.rendering. util.ParsedRequest
unanalyzed	call on javax.servlet.http.HttpServletRequest:getPa thInfo
unanalyzed	call on org.apache.commons.logging.Log:debug
unanalyzed	call on java.lang.String:trim
unanalyzed	call on java.lang.String:substring
unanalyzed	call on java.lang.String:endsWith
unanalyzed	call on org.apache.commons.logging.Log:isDebugEnabl ed
unanalyzed	call on javax.servlet.http.HttpServletRequest:getRe questURL
unanalyzed	call on javax.servlet.http.HttpServletRequest:getUs erPrincipal
unanalyzed	call on java.security.Principal:getName
test_vector	java.lang.String:startsWith(...)@70: {0}, {1}
test_vector	org.apache.commons.logging.Log:isDebugEnabled(... )@88: {0}, {1}

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

info method not available -- call on String org.apache.roller.weblogger.util. URLUtilities:decode(String)

Prev Msg Next Msg

+

click for all messages in this file medium

conditional throw check might fail: requires pathInfo != null

Prev Msg Next Msg

info method not available -- call on bool org.apache.commons.logging. Log:isDebugEnabled()

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

method	String getResourcePath()
pre	init'ed(this.resourcePath)
post	return_value == this.resourcePath
post	init'ed(return_value)

method	void setResourcePath(String)
post	this.resourcePath == resourcePath
post	init'ed(this.resourcePath)

method	bool isLocale(String)
post	return_value == 0