Messages

Last Msg First Msg

method	org.apache.roller.weblogger.ui.rendering.util. WeblogTrackbackRequest__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.WeblogTrackbackRequest()
post	this.authenticUser == null
post	this.blogName == null
post	this.excerpt == null
post	this.locale == null
post	this.localeInstance == null
post	this.pathInfo == null
post	this.request == null
post	this.title == null
post	this.url == null
post	this.user == null
post	this.weblog == null
post	this.weblogAnchor == null
post	this.weblogEntry == 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.WeblogTrackbackRequest(HttpServletRequest)
pre	(soft) org/apache/roller/weblogger/ui/rendering/uti l/WeblogRequest.log != null
pre	(soft) request != null
presumption	java.lang.String:equals(...)@68 == 1
presumption	java.lang.String:length(...)@79 >= 1
presumption	javax.servlet.http.HttpServletRequest:getServletPat h(...)@62 != 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

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

info dead code continues dead code continues

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

method	void setBlogName(String)
post	this.blogName == blogName
post	init'ed(this.blogName)

method	String getUrl()
pre	init'ed(this.url)
post	return_value == this.url
post	init'ed(return_value)

method	void setUrl(String)
post	this.url == url
post	init'ed(this.url)

method	String getExcerpt()
pre	init'ed(this.excerpt)
post	return_value == this.excerpt
post	init'ed(return_value)

method	void setExcerpt(String)
post	this.excerpt == excerpt
post	init'ed(this.excerpt)

method	String getTitle()
pre	init'ed(this.title)
post	return_value == this.title
post	init'ed(return_value)

method	void setTitle(String)
post	this.title == title
post	init'ed(this.title)

method	String getWeblogAnchor()
pre	init'ed(this.weblogAnchor)
post	return_value == this.weblogAnchor
post	init'ed(return_value)

method	void setWeblogAnchor(String)
post	this.weblogAnchor == weblogAnchor
post	init'ed(this.weblogAnchor)

method	WeblogEntry getWeblogEntry()
pre	init'ed(this.weblogEntry)
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.weblogAnchor)
pre	(soft) init'ed(this.weblogHandle)
presumption	org.apache.roller.weblogger.business. Weblogger:getWeblogManager(...)@198 != null
presumption	org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger(...)@198 != null
post	init'ed(return_value)
post	this.weblogEntry == 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.weblogEntry: Inverse{null}, Addr_Set{null}
test_vector	this.weblogAnchor: 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 WeblogEntry org.apache.roller.weblogger. business.WeblogManager:getWeblogEntryByAnchor(Weblo g, String)

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

method	void setWeblogEntry(WeblogEntry)
post	this.weblogEntry == weblogEntry
post	init'ed(this.weblogEntry)

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