Messages

method | net.sourceforge.pebble.security.PrivateBlogSecurit yInterceptor__static_init

method | void net.sourceforge.pebble.security. PrivateBlogSecurityInterceptor()
post | this.observeOncePerRequest == 1

| info | method not available | -- call on void org.acegisecurity.intercept. AbstractSecurityInterceptor()

method | void destroy()

method | void doFilter(ServletRequest, ServletResponse, FilterChain)
pre | (soft) init'ed(this.observeOncePerRequest)
unanalyzed | call on org.acegisecurity.intercept.web. FilterInvocation:getRequest
unanalyzed | call on javax.servlet.ServletRequest:getAttribute
unanalyzed | call on org.acegisecurity.intercept.web. FilterInvocation:getChain
unanalyzed | call on org.acegisecurity.intercept.web. FilterInvocation:getResponse
unanalyzed | call on javax.servlet.FilterChain:doFilter
unanalyzed | call on javax.servlet.ServletRequest:setAttribute
unanalyzed | call on org.acegisecurity.intercept. AbstractSecurityInterceptor:beforeInvocation
unanalyzed | call on org.acegisecurity.intercept. AbstractSecurityInterceptor:afterInvocation

| info | method not available | -- call on void org.acegisecurity.intercept.web. FilterInvocation(ServletRequest, ServletResponse, FilterChain)

method | Class getSecureObjectClass()

method | void init(FilterConfig)

method | void invoke(FilterInvocation)
pre | fi != null
pre | (soft) init'ed(this.observeOncePerRequest)
presumption | init'ed(java.lang.Boolean.TRUE)
presumption | org.acegisecurity.intercept.web.FilterInvocation:ge tChain(...)@100 != null
presumption | org.acegisecurity.intercept.web.FilterInvocation:ge tChain(...)@110 != null
presumption | org.acegisecurity.intercept.web.FilterInvocation:ge tRequest(...)@104 != null
presumption | org.acegisecurity.intercept.web.FilterInvocation:ge tRequest(...)@96 != null
test_vector | this.observeOncePerRequest: {0}, {1}
test_vector | javax.servlet.ServletRequest:getAttribute(...)@96: Addr_Set{null}, Inverse{null}
test_vector | org.acegisecurity.intercept.web.FilterInvocation:ge tRequest(...)@103: Addr_Set{null}, Inverse{null}
test_vector | org.acegisecurity.intercept.web.FilterInvocation:ge tRequest(...)@96: Addr_Set{null}, Inverse{null}

| info | method not available | -- call on ServletRequest org.acegisecurity. intercept.web.FilterInvocation:getRequest()

| info | method not available | -- call on FilterChain org.acegisecurity.intercept. web.FilterInvocation:getChain()
| info | method not available | -- call on ServletRequest org.acegisecurity. intercept.web.FilterInvocation:getRequest()
| info | method not available | -- call on ServletResponse org.acegisecurity. intercept.web.FilterInvocation:getResponse()

| info | method not available | -- call on ServletRequest org.acegisecurity. intercept.web.FilterInvocation:getRequest()

| info | method not available | -- call on ServletRequest org.acegisecurity. intercept.web.FilterInvocation:getRequest()

| info | method not available | -- call on InterceptorStatusToken org. acegisecurity.intercept.AbstractSecurityInterceptor :beforeInvocation(Object)

| info | method not available | -- call on FilterChain org.acegisecurity.intercept. web.FilterInvocation:getChain()
| info | method not available | -- call on ServletRequest org.acegisecurity. intercept.web.FilterInvocation:getRequest()
| info | method not available | -- call on ServletResponse org.acegisecurity. intercept.web.FilterInvocation:getResponse()

| info | method not available | -- call on Object org.acegisecurity.intercept. AbstractSecurityInterceptor:afterInvocation(Interce ptorStatusToken, Object)

method | bool isObserveOncePerRequest()
pre | init'ed(this.observeOncePerRequest)
post | return_value == this.observeOncePerRequest
post | init'ed(return_value)

method | void setObserveOncePerRequest(bool)
post | this.observeOncePerRequest == observeOncePerRequest
post | init'ed(this.observeOncePerRequest)

method | FilterInvocationDefinitionSource getObjectDefiniti onSource()
post | return_value == &new PrivateBlogFilterInvocatio nDefinitionSource(getObjectDefinitionSource#1)
post | new PrivateBlogFilterInvocationDefinitionSource(get ObjectDefinitionSource#1) num objects == 1

method | ObjectDefinitionSource obtainObjectDefinitionSourc e()
post | return_value == &new PrivateBlogFilterInvocatio nDefinitionSource(obtainObjectDefinitionSource#1)
post | new PrivateBlogFilterInvocationDefinitionSource(obt ainObjectDefinitionSource#1) num objects == 1