Messages

method | void net.sourceforge.pebble.security. DefaultUserDetailsService()

method | net.sourceforge.pebble.security.DefaultUserDetails Service__static_init
post | init'ed(log)

| info | method not available | -- call on Log org.apache.commons.logging. LogFactory:getLog(Class)

method | UserDetails loadUserByUsername(String)
pre | this.securityRealm != null
pre | this.securityRealm.configuration != null
presumption | java.io.File:exists(...)@103 == 1
presumption | java.util.Iterator:hasNext(...)@126 == 0
post | return_value == &new PebbleUserDetails(getUser# 4)
post | new HashMap(PebbleUserDetails#1) num objects == 1
post | new HashMap(getUser#3) num objects == 1
post | new PebbleUserDetails(getUser#4) num objects == 1
post | init'ed(new PebbleUserDetails(getUser#4). detailsUpdateable)
post | init'ed(new PebbleUserDetails(getUser#4). emailAddress)
unanalyzed | call on net.sourceforge.pebble.Configuration:getDat aDirectory
post | init'ed(new PebbleUserDetails(getUser#4). grantedAuthories)
post | init'ed(new PebbleUserDetails(getUser#4).name)
post | init'ed(new PebbleUserDetails(getUser#4).password)
post | new PebbleUserDetails(getUser#4).preferences == &new HashMap(getUser#3)
post | init'ed(new PebbleUserDetails(getUser#4).profile)
post | new PebbleUserDetails(getUser#4).username == username
post | init'ed(new PebbleUserDetails(getUser#4).username)
post | init'ed(new PebbleUserDetails(getUser#4).website)
unanalyzed | call on getFileForUser
unanalyzed | call on java.io.File:exists
unanalyzed | call on java.io.FileInputStream
unanalyzed | call on java.util.Properties
unanalyzed | call on java.util.Properties:load
unanalyzed | call on java.io.FileInputStream:close
unanalyzed | call on java.util.Properties:getProperty
unanalyzed | call on java.lang.String:split
unanalyzed | call on java.lang.String:equalsIgnoreCase
unanalyzed | call on java.util.HashMap
unanalyzed | call on java.util.Properties:keySet
unanalyzed | call on java.util.Set:iterator
unanalyzed | call on java.lang.String:startsWith
unanalyzed | call on java.lang.String:length
unanalyzed | call on java.lang.String:substring
unanalyzed | call on java.util.Map:put
unanalyzed | call on java.util.HashSet
unanalyzed | call on java.lang.String:trim
unanalyzed | call on org.acegisecurity.GrantedAuthorityImpl
unanalyzed | call on java.util.Set:add
unanalyzed | call on java.util.Set:toArray
unanalyzed | call on java.lang.String:valueOf
unanalyzed | call on java.io.File
unanalyzed | call on net.sourceforge.pebble.PebbleException

| info | method not available | -- call on PebbleUserDetails getUser(String)

method | SecurityRealm getSecurityRealm()
pre | init'ed(this.securityRealm)
post | return_value == this.securityRealm
post | init'ed(return_value)

method | void setSecurityRealm(SecurityRealm)
post | this.securityRealm == securityRealm
post | init'ed(this.securityRealm)