Messages

Last Msg First Msg

method	org.apache.roller.weblogger.ui.rendering.util. WeblogFeedRequest__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.WeblogFeedRequest()
post	this.authenticUser == null
post	this.format == null
post	this.locale == null
post	this.localeInstance == null
post	this.pathInfo == null
post	this.request == null
post	this.tags == null
post	this.term == null
post	this.type == null
post	this.user == null
post	this.weblog == null
post	this.weblogCategory == null
post	this.weblogCategoryName == null
post	this.weblogHandle == null
post	this.excerpts == 0
post	this.page == 0
unanalyzed	call on org.apache.roller.weblogger.ui.rendering. util.ParsedRequest

method	void org.apache.roller.weblogger.ui.rendering. util.WeblogFeedRequest(HttpServletRequest)
pre	(soft) log != null
pre	(soft) org/apache/roller/weblogger/ui/rendering/uti l/WeblogRequest.log != null
pre	(soft) request != null
presumption	java.lang.String:equals(...)@88 == 1
presumption	java.lang.String:length(...)@101 >= 2
presumption	javax.servlet.http.HttpServletRequest:getServletPat h(...)@79 != 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

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

Prev Msg Next Msg

+

click for all messages in this file low

use of default init check might fail: requires init'ed(pathElements. length)

+

warning

test always goes same way test predetermined because pathElements.length == 0

Prev Msg Next Msg

Prev Msg Next Msg

+

click for all messages in this file warning

dead code dead code here because pathElements.length == 0

Prev Msg Next Msg

Prev Msg Next Msg

+

click for all messages in this file high

conditional throw check fails here: requires pathElements.length == 2

Prev Msg Next Msg

info dead code continues dead code continues

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 dead code continues dead code continues

method	String getType()
pre	init'ed(this.type)
post	return_value == this.type
post	init'ed(return_value)

method	void setType(String)
post	this.type == type
post	init'ed(this.type)

method	String getFormat()
pre	init'ed(this.format)
post	return_value == this.format
post	init'ed(return_value)

method	void setFormat(String)
post	this.format == format
post	init'ed(this.format)

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	List getTags()
pre	init'ed(this.tags)
post	return_value == this.tags
post	init'ed(return_value)

method	void setTags(List)
post	this.tags == tags
post	init'ed(this.tags)

method	bool isExcerpts()
pre	init'ed(this.excerpts)
post	return_value == this.excerpts
post	init'ed(return_value)

method	void setExcerpts(bool)
post	this.excerpts == excerpts
post	init'ed(this.excerpts)

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(...)@218 != null
presumption	org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger(...)@218 != 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)

method	int getPage()
pre	init'ed(this.page)
post	return_value == this.page
post	init'ed(return_value)

method	void setPage(int)
post	this.page == page
post	init'ed(this.page)

method	String getTerm()
pre	init'ed(this.term)
post	return_value == this.term
post	init'ed(return_value)

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

	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()