Messages

Last Msg First Msg

method	void org.apache.roller.weblogger.ui.core.filters. SchemeEnforcementFilter()
post	this.allowedUrls == &new HashSet(SchemeEnforcem entFilter#1)
post	this.filterConfig == null
post	this.httpsHeaderName == null
post	this.httpsHeaderValue == null
post	this.httpPort == 80
post	this.httpsPort == 443
post	this.schemeEnforcementEnabled == 0
post	this.secureLoginEnabled == 0
post	new HashSet(SchemeEnforcementFilter#1) num objects == 1

method	org.apache.roller.weblogger.ui.core.filters. SchemeEnforcementFilter__static_init
post	init'ed(mLogger)

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

method	void doFilter(ServletRequest, ServletResponse, FilterChain)
pre	init'ed(this.schemeEnforcementEnabled)
pre	(soft) chain != null
pre	(soft) mLogger != null
pre	(soft) request != null
pre	(soft) response != null
pre	(soft) this.allowedUrls != null
pre	(soft) init'ed(this.httpPort)
pre	(soft) init'ed(this.httpsPort)
pre	(soft) init'ed(this.secureLoginEnabled)
test_vector	this.httpPort: {80}, {-2³¹..79, 81..2³²-1}
test_vector	this.httpsPort: {443}, {-2³¹..442, 444..2³²-1}
test_vector	this.schemeEnforcementEnabled: {0}, {1}
test_vector	this.secureLoginEnabled: {0}, {1}
test_vector	java.util.Set:contains(...)@103: {1}, {0}
test_vector	java.util.Set:contains(...)@87: {0}, {1}
test_vector	javax.servlet.ServletRequest:isSecure(...)@103: {0}, {1}
test_vector	javax.servlet.ServletRequest:isSecure(...)@87: {1}, {0}
test_vector	javax.servlet.http.HttpServletRequest:getQueryStrin g(...)@112: Addr_Set{null}, Inverse{null}
test_vector	javax.servlet.http.HttpServletRequest:getQueryStrin g(...)@96: Addr_Set{null}, Inverse{null}

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

method

void destroy()

method	void init(FilterConfig)
pre	(soft) mLogger != null
pre	(soft) this.allowedUrls != null
presumption	org.apache.roller.weblogger.config.WebloggerConfig: getProperty(...)@158 != null
post	this.filterConfig == filterConfig
post	init'ed(this.filterConfig)
post	possibly_updated(this.httpPort)
post	possibly_updated(this.httpsPort)
post	init'ed(this.schemeEnforcementEnabled)
post	init'ed(this.secureLoginEnabled)
test_vector	java.util.Iterator:hasNext(...)@168: {0}, {1}
test_vector	org.apache.commons.logging.Log:isDebugEnabled(... )@166: {0}, {1}
test_vector	org.apache.roller.weblogger.config.WebloggerConfig: getBooleanProperty(...)@137: {0}, {1}
test_vector	org.apache.roller.weblogger.config.WebloggerConfig: getBooleanProperty(...)@139: {0}, {1}

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

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

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

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(urlsArray. length)

+

warning

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

Prev Msg Next Msg

Prev Msg Next Msg

+

click for all messages in this file warning

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

Prev Msg Next Msg

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

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

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