Messages

method	org.apache.roller.weblogger.ui.rendering.util. WeblogPreviewResourceRequest__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.WeblogPreviewResourceRequest()
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.theme == null
post	this.themeName == null
post	this.user == null
post	this.weblog == null
post	this.weblogHandle == null
unanalyzed	call on org.apache.roller.weblogger.ui.rendering. util.WeblogRequest
unanalyzed	call on org.apache.roller.weblogger.ui.rendering. util.ParsedRequest

method	void org.apache.roller.weblogger.ui.rendering. util.WeblogPreviewResourceRequest(HttpServletReques t)
pre	log != null
pre	org/apache/roller/weblogger/ui/rendering/util/Weblo gRequest.log != null
pre	org/apache/roller/weblogger/ui/rendering/util/Weblo gResourceRequest.log != null
pre	request != null
post	java.lang.String:substring(...)._tainted == 0
post	init'ed(this.authenticUser)
post	init'ed(this.locale)
post	this.localeInstance == null
post	this.theme == 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	init'ed(this.themeName)
post	this.weblogHandle == One-of{null, undefined}
post	this.weblogHandle == null
unanalyzed	call on org.apache.roller.weblogger.ui.rendering. util.WeblogRequest
unanalyzed	call on javax.servlet.http.HttpServletRequest:getSe rvletPath
unanalyzed	call on getPathInfo
unanalyzed	call on org.apache.commons.logging.Log:debug
unanalyzed	call on java.lang.String:trim
unanalyzed	call on java.lang.String:length
unanalyzed	call on java.lang.String:startsWith
unanalyzed	call on java.lang.String:substring
unanalyzed	call on java.lang.String:replaceAll
unanalyzed	call on org.apache.roller.weblogger.util. URLUtilities:decode
unanalyzed	call on org.apache.commons.logging.Log:isDebugEnabl ed
unanalyzed	call on javax.servlet.http.HttpServletRequest:getRe questURL
unanalyzed	call on org.apache.roller.weblogger. WebloggerException
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 java.lang.String:endsWith
unanalyzed	call on javax.servlet.http.HttpServletRequest:getUs erPrincipal
unanalyzed	call on java.security.Principal:getName
test_vector	javax.servlet.http.HttpServletRequest:getParameter( ...)@56: Addr_Set{null}, Inverse{null}
test_vector	org.apache.commons.logging.Log:isDebugEnabled(... )@60: {0}, {1}

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 getThemeName()
pre	init'ed(this.themeName)
post	return_value == this.themeName
post	init'ed(return_value)

method	void setThemeName(String)
post	this.themeName == theme
post	init'ed(this.themeName)

method	String getAuthenticUser()
post	return_value == null

method	bool isLoggedIn()
post	return_value == 0

method	Theme getTheme()
pre	init'ed(this.theme)
pre	(soft) log != null
pre	(soft) init'ed(this.themeName)
presumption	org.apache.roller.weblogger.business. Weblogger:getThemeManager(...)@87 != null
presumption	org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger(...)@87 != null
post	init'ed(return_value)
post	this.theme == return_value
test_vector	this.theme: Inverse{null}, Addr_Set{null}
test_vector	this.themeName: 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 ThemeManager org.apache.roller. weblogger.business.Weblogger:getThemeManager()

info method not available -- call on SharedTheme org.apache.roller.weblogger. business.themes.ThemeManager:getTheme(String)

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

method	void setTheme(Theme)
post	this.theme == theme
post	init'ed(this.theme)

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