Messages

method | net.sourceforge.pebble.web.tagext.IsAuthorisedForB logTag__static_init

method | void net.sourceforge.pebble.web.tagext. IsAuthorisedForBlogTag()

method | int doStartTag()
pre | this.pageContext != null
presumption | javax.servlet.jsp.PageContext:getRequest(...)@59 != null
post | return_value in 0..1
unanalyzed | call on org.acegisecurity.Authentication:getName
unanalyzed | call on org.acegisecurity.context.SecurityContextHo lder:getContext
unanalyzed | call on org.acegisecurity.context.SecurityContext:g etAuthentication
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 net.sourceforge.pebble.domain. Blog:isUserInRole