## 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 | pre | init'ed(this.securityRealm) | 2010-07-16 16:14:15
U | post | init'ed(return_value) | 2010-07-16 16:14:15
U | post | return_value == this.securityRealm | 2010-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
- | pre | init'ed(this.securityRealm.configuration. dataDirectory) | 2010-07-16 16:59:22
U | pre | this.securityRealm != null | 2010-07-16 16:14:15
U | pre | this.securityRealm.configuration != null | 2010-07-16 16:14:15
U | presumption | java.io.File:exists(...)@103 == 1 | 2010-07-16 16:14:15
U | presumption | java.util.Iterator:hasNext(...)@126 == 0 | 2010-07-16 16:14:15
U | post | init'ed(new PebbleUserDetails(getUser#4). detailsUpdateable) | 2010-07-16 16:14:15
U | post | init'ed(new PebbleUserDetails(getUser#4). emailAddress) | 2010-07-16 16:14:15
U | post | init'ed(new PebbleUserDetails(getUser#4). grantedAuthories) | 2010-07-16 16:14:15
U | post | init'ed(new PebbleUserDetails(getUser#4).name) | 2010-07-16 16:14:15
U | post | init'ed(new PebbleUserDetails(getUser#4).password) | 2010-07-16 16:14:15
U | post | init'ed(new PebbleUserDetails(getUser#4).profile) | 2010-07-16 16:14:15
U | post | init'ed(new PebbleUserDetails(getUser#4).username) | 2010-07-16 16:14:15
U | post | init'ed(new PebbleUserDetails(getUser#4).website) | 2010-07-16 16:14:15
U | post | new HashMap(PebbleUserDetails#1) num objects == 1 | 2010-07-16 16:14:15
U | post | new HashMap(getUser#3) num objects == 1 | 2010-07-16 16:14:15
U | post | new PebbleUserDetails(getUser#4) num objects == 1 | 2010-07-16 16:14:15
U | post | new PebbleUserDetails(getUser#4).preferences == &new HashMap(getUser#3) | 2010-07-16 16:14:15
U | post | new PebbleUserDetails(getUser#4).username == username | 2010-07-16 16:14:15
U | post | return_value == &new PebbleUserDetails(getUser# 4) | 2010-07-16 16:14:15
- | unanalyzed | call on getDataDirectory | 2010-07-16 16:59:22
- | unanalyzed | call on getFileForRealm | 2010-07-16 16:59:22
U | unanalyzed | call on getFileForUser | 2010-07-16 16:14:15
U | unanalyzed | call on java.io.File | 2010-07-16 16:14:15
U | unanalyzed | call on java.io.File:exists | 2010-07-16 16:14:15
U | unanalyzed | call on java.io.FileInputStream | 2010-07-16 16:14:15
U | unanalyzed | call on java.io.FileInputStream:close | 2010-07-16 16:14:15
- | unanalyzed | call on java.lang.Exception | 2010-07-16 16:59:22
U | unanalyzed | call on java.lang.String:equalsIgnoreCase | 2010-07-16 16:14:15
U | unanalyzed | call on java.lang.String:length | 2010-07-16 16:14:15
U | unanalyzed | call on java.lang.String:split | 2010-07-16 16:14:15
U | unanalyzed | call on java.lang.String:startsWith | 2010-07-16 16:14:15
U | unanalyzed | call on java.lang.String:substring | 2010-07-16 16:14:15
U | unanalyzed | call on java.lang.String:trim | 2010-07-16 16:14:15
U | unanalyzed | call on java.lang.String:valueOf | 2010-07-16 16:14:15
U | unanalyzed | call on java.util.HashMap | 2010-07-16 16:14:15
U | unanalyzed | call on java.util.HashSet | 2010-07-16 16:14:15
U | unanalyzed | call on java.util.Map:put | 2010-07-16 16:14:15
U | unanalyzed | call on java.util.Properties | 2010-07-16 16:14:15
U | unanalyzed | call on java.util.Properties:getProperty | 2010-07-16 16:14:15
U | unanalyzed | call on java.util.Properties:keySet | 2010-07-16 16:14:15
U | unanalyzed | call on java.util.Properties:load | 2010-07-16 16:14:15
U | unanalyzed | call on java.util.Set:add | 2010-07-16 16:14:15
U | unanalyzed | call on java.util.Set:iterator | 2010-07-16 16:14:15
U | unanalyzed | call on java.util.Set:toArray | 2010-07-16 16:14:15
+ | unanalyzed | call on net.sourceforge.pebble.Configuration:getDat aDirectory | 2010-07-22 12:56:56
U | unanalyzed | call on net.sourceforge.pebble.PebbleException | 2010-07-16 16:14:15
- | unanalyzed | call on net.sourceforge.pebble.security. SecurityRealmException | 2010-07-16 16:59:22
U | unanalyzed | call on org.acegisecurity.GrantedAuthorityImpl | 2010-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 | post | init'ed(log) | 2010-07-16 16:14:15

- void setSecurityRealm(SecurityRealm)

-/+ | Kind | Annotation Text | Date
--- | --- | --- | ---
U | post | init'ed(this.securityRealm) | 2010-07-16 16:14:15
U | post | this.securityRealm == securityRealm | 2010-07-16 16:14:15