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}