Messages

Last Msg First Msg

method	org.apache.roller.weblogger.ui.rendering.velocity. deprecated.OldPageRequest__static_init
post	init'ed(mLogger)

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

method	void org.apache.roller.weblogger.ui.rendering. velocity.deprecated.OldPageRequest(HttpServletReque st)
pre	mLogger != null
pre	request != null
presumption	java.lang.String:equals(...)@77 == 1
presumption	java.lang.String:length(...)@100 >= 2
presumption	javax.servlet.http.HttpServletRequest:getPathInfo(. ..)@70 != null
presumption	javax.servlet.http.HttpServletRequest:getServletPat h(...)@69 != null
post	this.context == &"weblog"
post	this.pageType in Addr_Set{null,&"permalink", &"archive"}
post	init'ed(this.weblogAnchor)
post	init'ed(this.weblogCategory)
post	this.weblogDate == null
post	this.weblogHandle == null
post	this.weblogPage == null
unanalyzed	call on java.lang.String:length
unanalyzed	call on org.apache.commons.lang.StringUtils:isNumer ic
test_vector	javax.servlet.http.HttpServletRequest:getParameter( ...)@164: Addr_Set{null}, Inverse{null}
test_vector	javax.servlet.http.HttpServletRequest:getParameter( ...)@169: Addr_Set{null}, Inverse{null}
test_vector	javax.servlet.http.HttpServletRequest:getParameter( ...)@174: 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 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 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 warning

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

Prev Msg Next Msg

method	bool isValidDateString(String)
post	init'ed(return_value)

info method not available -- call on bool org.apache.commons.lang. StringUtils:isNumeric(String)

method	String getContext()
pre	init'ed(this.context)
post	return_value == this.context
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 getWeblogAnchor()
pre	init'ed(this.weblogAnchor)
post	return_value == this.weblogAnchor
post	init'ed(return_value)

method	String getWeblogPage()
pre	init'ed(this.weblogPage)
post	return_value == this.weblogPage
post	init'ed(return_value)

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

method	String getWeblogDate()
pre	init'ed(this.weblogDate)
post	return_value == this.weblogDate
post	init'ed(return_value)

method	String getPageType()
pre	init'ed(this.pageType)
post	return_value == this.pageType
post	init'ed(return_value)