Messages

method | net.sourceforge.pebble.security.PrivateBlogVoter__ static_init

method | void net.sourceforge.pebble.security. PrivateBlogVoter()

method | bool supports(ConfigAttribute)
post | return_value == 1

method | bool supports(Class)
post | return_value == 1

method | int vote(Authentication, Object, ConfigAttributeDe finition)
pre | config != null
pre | (soft) config.blog != null
post | return_value in {-1, 1}
unanalyzed | call on org.acegisecurity.Authentication:getAuthori ties
unanalyzed | call on org.acegisecurity.GrantedAuthority:getAutho rity
unanalyzed | call on java.lang.String:equals
unanalyzed | call on org.acegisecurity.Authentication:getName
unanalyzed | call on net.sourceforge.pebble.domain. Blog:isUserInRole
test_vector | net.sourceforge.pebble.domain.Blog:isUserInRole(... )@236: {0}, {1}