Messages

Last Msg First Msg

method	org.apache.roller.weblogger.ui.rendering.velocity. deprecated.OldFeedRequest__static_init
post	feedServlets == &new HashSet(OldFeedRequest__ static_init#1)
post	init'ed(mLogger)
post	new HashSet(OldFeedRequest__static_init#1) num objects == 1

info method not available -- call on Log org.apache.commons.logging. LogFactory:getLog(Class)

method	void org.apache.roller.weblogger.ui.rendering. velocity.deprecated.OldFeedRequest(HttpServletReque st)
pre	feedServlets != null
pre	mLogger != null
pre	request != null
presumption	java.lang.Boolean:valueOf(...)@132 != null
presumption	java.util.Set:contains(...)@77 == 1
presumption	javax.servlet.http.HttpServletRequest:getParameter( ...)@120 != null
presumption	javax.servlet.http.HttpServletRequest:getServletPat h(...)@69 != null
post	java.lang.String:substring(...)._tainted == 0
post	this.context in Addr_Set{&"weblog", &"main"}
post	init'ed(this.excerpts)
post	this.flavor != null
post	init'ed(this.weblogCategory)
post	this.weblogHandle == null
test_vector	java.lang.String:equals(...)@138: {0}, {1}
test_vector	java.lang.String:length(...)@89: {0,1}, {2..2³²-1}
test_vector	java.lang.String:length(...)@94: {0}, {1..2³²-1}
test_vector	javax.servlet.http.HttpServletRequest:getParameter( ...)@119: Addr_Set{null}, Inverse{null}
test_vector	javax.servlet.http.HttpServletRequest:getParameter( ...)@123: Addr_Set{null}, Inverse{null}
test_vector	javax.servlet.http.HttpServletRequest:getParameter( ...)@127: Addr_Set{null}, Inverse{null}
test_vector	javax.servlet.http.HttpServletRequest:getParameter( ...)@131: Addr_Set{null}, Inverse{null}
test_vector	javax.servlet.http.HttpServletRequest:getPathInfo(. ..)@70: Addr_Set{null}, Inverse{null}

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 medium

null dereference check might fail: requires not_init'ed(pathElements [0])

+

low

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

Prev Msg Next Msg

Prev Msg Next Msg

+

click for all messages in this file low

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

Prev Msg Next Msg

method	String getContext()
pre	init'ed(this.context)
post	return_value == this.context
post	init'ed(return_value)

method	String getFlavor()
pre	init'ed(this.flavor)
post	return_value == this.flavor
post	init'ed(return_value)

method	String getWeblogHandle()
pre	init'ed(this.weblogHandle)
post	return_value == this.weblogHandle
post	init'ed(return_value)

method	String getWeblogCategory()
pre	init'ed(this.weblogCategory)
post	return_value == this.weblogCategory
post	init'ed(return_value)

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