| -/+ |
Kind |
Annotation Text |
Date |
|---|
| + | pre | this.pageContext != null | 2010-07-22 12:56:56 |
| + | presumption | javax.servlet.jsp.PageContext:getRequest(...)@28 != null | 2010-07-22 12:56:56 |
| + | post | return_value in 0..1 | 2010-07-22 12:56:56 |
| + | unanalyzed | call on java.lang.String:equals | 2010-07-22 12:56:56 |
| + | unanalyzed | call on net.sourceforge.pebble.domain. Blog:isUserInRole | 2010-07-22 12:56:56 |
| + | unanalyzed | call on org.acegisecurity.Authentication:getAuthori ties | 2010-07-22 12:56:56 |
| + | unanalyzed | call on org.acegisecurity.Authentication:getName | 2010-07-22 12:56:56 |
| + | unanalyzed | call on org.acegisecurity.GrantedAuthority:getAutho rity | 2010-07-22 12:56:56 |
| + | unanalyzed | call on org.acegisecurity.context.SecurityContext:g etAuthentication | 2010-07-22 12:56:56 |
| + | unanalyzed | call on org.acegisecurity.context.SecurityContextHo lder:getContext | 2010-07-22 12:56:56 |