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 InterceptorStatusToken org. acegisecurity.intercept.AbstractSecurityInterceptor :beforeInvocation(Object)

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

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()