SchemeEnforcementFilter.java

current inspection = 2009-09-04 18:33:31 (id #2) base = 2009-09-04 18:33:31 (id #1)

Filter Options
History:
+ added
- dropped
U unchanged
Annotation Kind:
pre
presumption
post
unanalyzed
test


  • + void destroy()

    • -/+ Kind Annotation Text Date

  • + void doFilter(ServletRequest, ServletResponse, FilterChain)

    • -/+ Kind Annotation Text Date
    +pre(soft) chain != null2009-09-04 18:33:31
    +pre(soft) init'ed(this.httpPort)2009-09-04 18:33:31
    +pre(soft) init'ed(this.httpsPort)2009-09-04 18:33:31
    +pre(soft) init'ed(this.secureLoginEnabled)2009-09-04 18:33:31
    +pre(soft) mLogger != null2009-09-04 18:33:31
    +pre(soft) request != null2009-09-04 18:33:31
    +pre(soft) response != null2009-09-04 18:33:31
    +pre(soft) this.allowedUrls != null2009-09-04 18:33:31
    +preinit'ed(this.schemeEnforcementEnabled)2009-09-04 18:33:31
    +test_vectorjava.util.Set:contains(...)@103: {1}, {0}2009-09-04 18:33:31
    +test_vectorjava.util.Set:contains(...)@87: {0}, {1}2009-09-04 18:33:31
    +test_vectorjavax.servlet.ServletRequest:isSecure(...)@103: {0}, {1}2009-09-04 18:33:31
    +test_vectorjavax.servlet.ServletRequest:isSecure(...)@87: {1}, {0}2009-09-04 18:33:31
    +test_vectorjavax.servlet.http.HttpServletRequest:getQueryStrin g(...)@112: Addr_Set{null}, Inverse{null}2009-09-04 18:33:31
    +test_vectorjavax.servlet.http.HttpServletRequest:getQueryStrin g(...)@96: Addr_Set{null}, Inverse{null}2009-09-04 18:33:31
    +test_vectorthis.httpPort: {80}, {-231..79, 81..232-1}2009-09-04 18:33:31
    +test_vectorthis.httpsPort: {443}, {-231..442, 444..232-1}2009-09-04 18:33:31
    +test_vectorthis.schemeEnforcementEnabled: {0}, {1}2009-09-04 18:33:31
    +test_vectorthis.secureLoginEnabled: {0}, {1}2009-09-04 18:33:31

  • + void init(FilterConfig)

    • -/+ Kind Annotation Text Date
    +pre(soft) mLogger != null2009-09-04 18:33:31
    +pre(soft) this.allowedUrls != null2009-09-04 18:33:31
    +presumptionorg.apache.roller.weblogger.config.WebloggerConfig: getProperty(...)@158 != null2009-09-04 18:33:31
    +postinit'ed(this.filterConfig)2009-09-04 18:33:31
    +postinit'ed(this.schemeEnforcementEnabled)2009-09-04 18:33:31
    +postinit'ed(this.secureLoginEnabled)2009-09-04 18:33:31
    +postpossibly_updated(this.httpPort)2009-09-04 18:33:31
    +postpossibly_updated(this.httpsPort)2009-09-04 18:33:31
    +postthis.filterConfig == filterConfig2009-09-04 18:33:31
    +test_vectorjava.util.Iterator:hasNext(...)@168: {0}, {1}2009-09-04 18:33:31
    +test_vectororg.apache.commons.logging.Log:isDebugEnabled(... )@166: {0}, {1}2009-09-04 18:33:31
    +test_vectororg.apache.roller.weblogger.config.WebloggerConfig: getBooleanProperty(...)@137: {0}, {1}2009-09-04 18:33:31
    +test_vectororg.apache.roller.weblogger.config.WebloggerConfig: getBooleanProperty(...)@139: {0}, {1}2009-09-04 18:33:31

  • + void org.apache.roller.weblogger.ui.core.filters.SchemeEnforcementFilter()

    • -/+ Kind Annotation Text Date
    +postnew HashSet(SchemeEnforcementFilter#1) num objects == 12009-09-04 18:33:31
    +postthis.allowedUrls == &new HashSet(SchemeEnforcem entFilter#1)2009-09-04 18:33:31
    +postthis.filterConfig == null2009-09-04 18:33:31
    +postthis.httpPort == 802009-09-04 18:33:31
    +postthis.httpsHeaderName == null2009-09-04 18:33:31
    +postthis.httpsHeaderValue == null2009-09-04 18:33:31
    +postthis.httpsPort == 4432009-09-04 18:33:31
    +postthis.schemeEnforcementEnabled == 02009-09-04 18:33:31
    +postthis.secureLoginEnabled == 02009-09-04 18:33:31

  • + org.apache.roller.weblogger.ui.core.filters.SchemeEnforcementFilter__static_init

    • -/+ Kind Annotation Text Date
    +postinit'ed(mLogger)2009-09-04 18:33:31