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: {-231..0}, {1..232-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 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}