Messages

Last Msg First Msg

method	org.apache.roller.weblogger.ui.rendering.util. WeblogSearchRequest__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.WeblogSearchRequest()
post	this.authenticUser == null
post	this.locale == null
post	this.localeInstance == null
post	this.pathInfo == null
post	this.query == null
post	this.request == null
post	this.user == null
post	this.weblog == null
post	this.weblogCategory == null
post	this.weblogCategoryName == null
post	this.weblogHandle == null
post	this.pageNum == 0
unanalyzed	call on org.apache.roller.weblogger.ui.rendering. util.ParsedRequest

method	void org.apache.roller.weblogger.ui.rendering. util.WeblogSearchRequest(HttpServletRequest)
pre	org/apache/roller/weblogger/ui/rendering/util/Weblo gRequest.log != null
pre	request != null
presumption	java.lang.String:equals(...)@65 == 1
presumption	javax.servlet.http.HttpServletRequest:getParameter( ...)@84 != null
presumption	javax.servlet.http.HttpServletRequest:getParameter( ...)@98 != null
presumption	javax.servlet.http.HttpServletRequest:getServletPat h(...)@59 != null
presumption	org.apache.roller.weblogger.util.URLUtilities:decod e(...)@100 != null
post	java.lang.String:substring(...)._tainted == 0
post	init'ed(java.lang.StringBuilder:toString(...)._ tainted)
post	init'ed(this.authenticUser)
post	init'ed(this.locale)
post	this.localeInstance == null
post	this.user == null
post	this.weblog == null
post	this.weblogCategory == null
post	init'ed(this.pageNum)
post	this.pathInfo == null
post	init'ed(this.query)
post	this.request == request
post	this.request != null
post	init'ed(this.weblogCategoryName)
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:length(...)@84: {0}, {1..2³²-1}
test_vector	java.lang.String:length(...)@98: {0}, {1..2³²-1}
test_vector	java.lang.String:startsWith(...)@104: {1}, {0}
test_vector	javax.servlet.http.HttpServletRequest:getParameter( ...)@84: Addr_Set{null}, Inverse{null}
test_vector	javax.servlet.http.HttpServletRequest:getParameter( ...)@89: Addr_Set{null}, Inverse{null}
test_vector	javax.servlet.http.HttpServletRequest:getParameter( ...)@98: Addr_Set{null}, Inverse{null}

Prev Msg Next Msg

+

click for all messages in this file low

conditional throw check might fail: requires pathInfo == null

Prev Msg Next Msg

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

method	String getQuery()
pre	init'ed(this.query)
post	return_value == this.query
post	init'ed(return_value)

method	void setQuery(String)
post	this.query == query
post	init'ed(this.query)

method	int getPageNum()
pre	init'ed(this.pageNum)
post	return_value == this.pageNum
post	init'ed(return_value)

method	void setPageNum(int)
post	this.pageNum == pageNum
post	init'ed(this.pageNum)

method	String getWeblogCategoryName()
pre	init'ed(this.weblogCategoryName)
post	return_value == this.weblogCategoryName
post	init'ed(return_value)

method	void setWeblogCategoryName(String)
post	this.weblogCategoryName == weblogCategory
post	init'ed(this.weblogCategoryName)

method	WeblogCategory getWeblogCategory()
pre	init'ed(this.weblogCategory)
pre	(soft) log != null
pre	(soft) init'ed(this.weblog)
pre	(soft) org/apache/roller/weblogger/ui/rendering/uti l/WeblogRequest.log != null
pre	(soft) init'ed(this.weblogCategoryName)
pre	(soft) init'ed(this.weblogHandle)
presumption	org.apache.roller.weblogger.business. Weblogger:getWeblogManager(...)@138 != null
presumption	org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger(...)@138 != null
post	init'ed(return_value)
post	this.weblogCategory == return_value
post	init'ed(this.weblog)
unanalyzed	call on org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger
unanalyzed	call on org.apache.roller.weblogger.business. Weblogger:getUserManager
unanalyzed	call on org.apache.roller.weblogger.business. UserManager:getWebsiteByHandle
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on org.apache.commons.logging.Log:error
test_vector	this.weblogCategory: Inverse{null}, Addr_Set{null}
test_vector	this.weblogCategoryName: 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 WeblogManager org.apache.roller. weblogger.business.Weblogger:getWeblogManager()

info method not available -- call on WeblogCategory org.apache.roller. weblogger.business.WeblogManager:getWeblogCategoryB yPath(Weblog, String)

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

method	void setWeblogCategory(WeblogCategory)
post	this.weblogCategory == weblogCategory
post	init'ed(this.weblogCategory)

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