AuthoritiesPopulator.java

current inspection = 2009-09-04 18:33:31 (id #2) base = 2009-09-04 18:33:31 (id #1)

Filter Options
History:
+ added
- dropped
U unchanged
Annotation Kind:
pre
presumption
post
unanalyzed
test


  • + GrantedAuthority[] getGrantedAuthorities(LdapUserDetails)

    • -/+ Kind Annotation Text Date
    +preinit'ed(this.defaultRole)2009-09-04 18:33:31
    +preuserDetails != null2009-09-04 18:33:31
    +presumptioninit'ed(java.lang.Boolean.TRUE)2009-09-04 18:33:31
    +presumptionjava.util.Iterator:next(...)@70 != null2009-09-04 18:33:31
    +presumptionjava.util.Set:size(...)@65 in 1..232-22009-09-04 18:33:31
    +presumptionorg.apache.roller.weblogger.business. UserManager:getUserByUserName(...)@56 != null2009-09-04 18:33:31
    +presumptionorg.apache.roller.weblogger.business. Weblogger:getUserManager(...)@55 != null2009-09-04 18:33:31
    +presumptionorg.apache.roller.weblogger.business. WebloggerFactory:getWeblogger(...)@54 != null2009-09-04 18:33:31
    +presumptionorg.apache.roller.weblogger.pojos.User:getRoles(... )@65 != null2009-09-04 18:33:31
    +presumptionorg.apache.roller.weblogger.pojos.User:getRoles(... )@69 != null2009-09-04 18:33:31
    +post(soft) new GrantedAuthorityImpl[](getGrantedAuthori ties#4).length in 1..232-12009-09-04 18:33:31
    +postinit'ed(new GrantedAuthorityImpl(getGrantedAuthorit ies#5) num objects)2009-09-04 18:33:31
    +postnew GrantedAuthorityImpl[](getGrantedAuthorities#4) num objects == 12009-09-04 18:33:31
    +postnew GrantedAuthorityImpl[](getGrantedAuthorities#4) [...] != null2009-09-04 18:33:31
    +postreturn_value == &new GrantedAuthorityImpl[](get GrantedAuthorities#4)2009-09-04 18:33:31
    +test_vectorjava.util.Iterator:hasNext(...)@69: {0}, {1}2009-09-04 18:33:31
    +test_vectorthis.defaultRole: Addr_Set{null}, Inverse{null}2009-09-04 18:33:31

  • + void org.apache.roller.weblogger.ui.core.security.AuthoritiesPopulator()

    • -/+ Kind Annotation Text Date
    +postthis.defaultRole == null2009-09-04 18:33:31

  • + org.apache.roller.weblogger.ui.core.security.AuthoritiesPopulator__static_init

    • -/+ Kind Annotation Text Date

  • + void setDefaultRole(String)

    • -/+ Kind Annotation Text Date
    +postnew GrantedAuthorityImpl(setDefaultRole#1) num objects == 12009-09-04 18:33:31
    +postthis.defaultRole == &new GrantedAuthorityImpl(s etDefaultRole#1)2009-09-04 18:33:31