defaultuserdetailsservice.java


current inspection = 2010-07-22 15:04:21 (id #4) base = 2010-07-16 16:14:15 (id #1)

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


  • SecurityRealm getSecurityRealm()

  • -/+ Kind Annotation Text Date
    U preinit'ed(this.securityRealm)2010-07-16 16:14:15
    U postinit'ed(return_value)2010-07-16 16:14:15
    U postreturn_value == this.securityRealm2010-07-16 16:14:15

  • UserDetails loadUserByUsername(String)

  • -/+ Kind Annotation Text Date
    -pre(soft) init'ed(net/sourceforge/pebble/Constants. BLOG_READER_ROLE)2010-07-16 16:59:22
    -preinit'ed(this.securityRealm.configuration. dataDirectory)2010-07-16 16:59:22
    U prethis.securityRealm != null2010-07-16 16:14:15
    U prethis.securityRealm.configuration != null2010-07-16 16:14:15
    U presumptionjava.io.File:exists(...)@103 == 12010-07-16 16:14:15
    U presumptionjava.util.Iterator:hasNext(...)@126 == 02010-07-16 16:14:15
    U postinit'ed(new PebbleUserDetails(getUser#4). detailsUpdateable)2010-07-16 16:14:15
    U postinit'ed(new PebbleUserDetails(getUser#4). emailAddress)2010-07-16 16:14:15
    U postinit'ed(new PebbleUserDetails(getUser#4). grantedAuthories)2010-07-16 16:14:15
    U postinit'ed(new PebbleUserDetails(getUser#4).name)2010-07-16 16:14:15
    U postinit'ed(new PebbleUserDetails(getUser#4).password)2010-07-16 16:14:15
    U postinit'ed(new PebbleUserDetails(getUser#4).profile)2010-07-16 16:14:15
    U postinit'ed(new PebbleUserDetails(getUser#4).username)2010-07-16 16:14:15
    U postinit'ed(new PebbleUserDetails(getUser#4).website)2010-07-16 16:14:15
    U postnew HashMap(PebbleUserDetails#1) num objects == 12010-07-16 16:14:15
    U postnew HashMap(getUser#3) num objects == 12010-07-16 16:14:15
    U postnew PebbleUserDetails(getUser#4) num objects == 12010-07-16 16:14:15
    U postnew PebbleUserDetails(getUser#4).preferences == &new HashMap(getUser#3)2010-07-16 16:14:15
    U postnew PebbleUserDetails(getUser#4).username == username2010-07-16 16:14:15
    U postreturn_value == &new PebbleUserDetails(getUser# 4)2010-07-16 16:14:15
    -unanalyzedcall on getDataDirectory2010-07-16 16:59:22
    -unanalyzedcall on getFileForRealm2010-07-16 16:59:22
    U unanalyzedcall on getFileForUser2010-07-16 16:14:15
    U unanalyzedcall on java.io.File2010-07-16 16:14:15
    U unanalyzedcall on java.io.File:exists2010-07-16 16:14:15
    U unanalyzedcall on java.io.FileInputStream2010-07-16 16:14:15
    U unanalyzedcall on java.io.FileInputStream:close2010-07-16 16:14:15
    -unanalyzedcall on java.lang.Exception2010-07-16 16:59:22
    U unanalyzedcall on java.lang.String:equalsIgnoreCase2010-07-16 16:14:15
    U unanalyzedcall on java.lang.String:length2010-07-16 16:14:15
    U unanalyzedcall on java.lang.String:split2010-07-16 16:14:15
    U unanalyzedcall on java.lang.String:startsWith2010-07-16 16:14:15
    U unanalyzedcall on java.lang.String:substring2010-07-16 16:14:15
    U unanalyzedcall on java.lang.String:trim2010-07-16 16:14:15
    U unanalyzedcall on java.lang.String:valueOf2010-07-16 16:14:15
    U unanalyzedcall on java.util.HashMap2010-07-16 16:14:15
    U unanalyzedcall on java.util.HashSet2010-07-16 16:14:15
    U unanalyzedcall on java.util.Map:put2010-07-16 16:14:15
    U unanalyzedcall on java.util.Properties2010-07-16 16:14:15
    U unanalyzedcall on java.util.Properties:getProperty2010-07-16 16:14:15
    U unanalyzedcall on java.util.Properties:keySet2010-07-16 16:14:15
    U unanalyzedcall on java.util.Properties:load2010-07-16 16:14:15
    U unanalyzedcall on java.util.Set:add2010-07-16 16:14:15
    U unanalyzedcall on java.util.Set:iterator2010-07-16 16:14:15
    U unanalyzedcall on java.util.Set:toArray2010-07-16 16:14:15
    +unanalyzedcall on net.sourceforge.pebble.Configuration:getDat aDirectory2010-07-22 12:56:56
    U unanalyzedcall on net.sourceforge.pebble.PebbleException2010-07-16 16:14:15
    -unanalyzedcall on net.sourceforge.pebble.security. SecurityRealmException2010-07-16 16:59:22
    U unanalyzedcall on org.acegisecurity.GrantedAuthorityImpl2010-07-16 16:14:15

  • void net.sourceforge.pebble.security.DefaultUserDetailsService()

  • -/+ Kind Annotation Text Date

  • net.sourceforge.pebble.security.DefaultUserDetailsService__static_init

  • -/+ Kind Annotation Text Date
    U postinit'ed(log)2010-07-16 16:14:15

  • void setSecurityRealm(SecurityRealm)

  • -/+ Kind Annotation Text Date
    U postinit'ed(this.securityRealm)2010-07-16 16:14:15
    U postthis.securityRealm == securityRealm2010-07-16 16:14:15