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)