Messages

Last Msg First Msg

method	void org.apache.roller.weblogger.ui.rendering. filters.RequestMappingFilter()
post	this.requestMappers == &new ArrayList(RequestMa ppingFilter#1)
post	new ArrayList(RequestMappingFilter#1) num objects == 1

method	org.apache.roller.weblogger.ui.rendering.filters. RequestMappingFilter__static_init
post	init'ed(log)

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

method	void init(FilterConfig)
pre	log != null
pre	this.requestMappers != null
test_vector	java.lang.String:length(...)@61: {0}, {1..2³²-1}
test_vector	java.lang.String:length(...)@80: {0}, {1..2³²-1}
test_vector	java.util.List:size(...)@98: {1..2³²-1}, {-2³¹..0}
test_vector	org.apache.roller.weblogger.config.WebloggerConfig: getProperty(...)@57: Addr_Set{null}, Inverse{null}
test_vector	org.apache.roller.weblogger.config.WebloggerConfig: getProperty(...)@58: Addr_Set{null}, Inverse{null}

info method not available -- call on String org.apache.roller.weblogger. config.WebloggerConfig:getProperty(String)

Prev Msg Next Msg

+

click for all messages in this file low

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

+

warning

test always goes same way test predetermined because i == uMappers.length

info dead code continues dead code continues

Prev Msg Next Msg

Prev Msg Next Msg

+

click for all messages in this file warning

dead code dead code here because i == uMappers.length

info dead code continues dead code continues

Prev Msg Next Msg

info dead code continues dead code continues

Prev Msg Next Msg

+

click for all messages in this file low

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

+

warning

test always goes same way test predetermined because i == rMappers.length

info dead code continues dead code continues

Prev Msg Next Msg

Prev Msg Next Msg

+

click for all messages in this file warning

dead code dead code here because i == rMappers.length

info dead code continues dead code continues

Prev Msg Next Msg

info dead code continues dead code continues

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

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

method	void doFilter(ServletRequest, ServletResponse, FilterChain)
pre	log != null
pre	this.requestMappers != null
pre	(soft) chain != null
pre	(soft) org/apache/roller/weblogger/ui/rendering/Web logRequestMapper.log != null
pre	(soft) req != null
pre	(soft) res != null
presumption	java.lang.Object:getClass(...)@126 != null
presumption	java.lang.Object:getClass(...)@131 != null
presumption	java.util.Iterator:next(...)@124 != null
presumption	mapper.restricted@126 != null
unanalyzed	call on java.lang.String:trim
unanalyzed	call on java.lang.String:length
unanalyzed	call on java.lang.String:split
unanalyzed	call on org.apache.commons.logging.Log:debug
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 javax.servlet.http.HttpServletRequest:getMe thod
unanalyzed	call on java.lang.String:equals
unanalyzed	call on javax.servlet.http.HttpServletRequest:getPa rameter
unanalyzed	call on javax.servlet.http.HttpServletRequest:getRe questURI
unanalyzed	call on javax.servlet.http.HttpServletRequest:getCo ntextPath
unanalyzed	call on java.lang.String:substring
unanalyzed	call on java.lang.String:endsWith
unanalyzed	call on java.lang.String:indexOf
unanalyzed	call on java.util.Set:contains
unanalyzed	call on javax.servlet.http.HttpServletRequest:getSe rvletPath
unanalyzed	call on javax.servlet.http.HttpServletRequest:getQu eryString
unanalyzed	call on javax.servlet.http.HttpServletResponse:send Redirect
unanalyzed	call on javax.servlet.http.HttpServletResponse:send Error
unanalyzed	call on javax.servlet.http.HttpServletRequest:getRe questDispatcher
unanalyzed	call on javax.servlet.RequestDispatcher:forward
test_vector	java.util.Iterator:hasNext(...)@123: {0}, {1}

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

method

void destroy()