Messages

method	net.sourceforge.pebble.security.PrivateBlogFilterI nvocationDefinitionSource__static_init
post	init'ed(log)

method

void net.sourceforge.pebble.security. PrivateBlogFilterInvocationDefinitionSource()

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

method	ConfigAttributeDefinition getAttributes(Object)
pre	object != null
presumption	java.lang.Class:isAssignableFrom(...)@124 == 1
presumption	javax.servlet.http.HttpServletRequest:getAttribute( ...)@77 != null
presumption	org.acegisecurity.intercept.web.FilterInvocation:ge tHttpRequest(...)@76 != null
presumption	org.acegisecurity.intercept.web.FilterInvocation:ge tHttpRequest(...)@93 != null
post	return_value in Addr_Set{null,&new PrivateBlogConfigAttributeDefinition(getAttributes #1)}
post	new PrivateBlogConfigAttributeDefinition(getAttribu tes#1) num objects <= 1
post	new PrivateBlogConfigAttributeDefinition(getAttribu tes#1).blog != null
unanalyzed	call on java.lang.Class:isAssignableFrom
unanalyzed	call on org.acegisecurity.ConfigAttributeDefinition
test_vector	java.lang.String:endsWith(...)@79: {1}, {0}
test_vector	java.lang.String:endsWith(...)@80: {1}, {0}
test_vector	java.lang.String:equals(...)@85: {1}, {0}
test_vector	java.lang.String:equals(...)@86: {1}, {0}
test_vector	java.lang.String:equals(...)@87: {1}, {0}
test_vector	java.lang.String:startsWith(...)@81: {1}, {0}
test_vector	java.lang.String:startsWith(...)@82: {1}, {0}
test_vector	java.lang.String:startsWith(...)@83: {1}, {0}
test_vector	java.lang.String:startsWith(...)@84: {1}, {0}
test_vector	java.lang.String:startsWith(...)@88: {0}, {1}
test_vector	java.util.List:size(...)@97: {-2³¹..0}, {1..2³²-1}
test_vector	net.sourceforge.pebble.domain.Blog:getBlogReaders(. ..)@96: Addr_Set{null}, Inverse{null}

info method not available -- call on HttpServletRequest org.acegisecurity. intercept.web.FilterInvocation:getHttpRequest()

info method not available -- call on List net.sourceforge.pebble.domain. Blog:getBlogReaders()

method	Iterator getConfigAttributeDefinitions()
post	return_value == null

method	bool supports(Class)
post	init'ed(return_value)
test_vector	java.lang.Class:isAssignableFrom(...)@124: {0}, {1}