## defaultsecurityrealm.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

- bool accept(File, String)

-/+ | Kind | Annotation Text | Date
--- | --- | --- | ---
U | pre | name != null | 2010-07-16 16:14:15
U | post | init'ed(return_value) | 2010-07-16 16:14:15

- void changePassword(String, String)

-/+ | Kind | Annotation Text | Date
--- | --- | --- | ---
- | pre | (soft) init'ed(net/sourceforge/pebble/Constants. BLOG_READER_ROLE) | 2010-07-16 16:59:22
+ | pre | (soft) this.configuration != null | 2010-07-22 12:56:56
+ | pre | (soft) this.passwordEncoder != null | 2010-07-22 12:56:56
+ | pre | (soft) this.saltSource != null | 2010-07-22 12:56:56
- | pre | init'ed(this.configuration.dataDirectory) | 2010-07-16 16:59:22
- | pre | this.configuration != null | 2010-07-16 16:59:22
- | presumption | java.io.File:exists(...)@103 == 0 | 2010-07-16 16:59:22
+ | presumption | pud.grantedAuthories.length@206 <= 232-1 | 2010-07-22 12:56:56
+ | presumption | pud.grantedAuthories[...]@206 != null | 2010-07-22 12:56:56
- | 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.io.FileOutputStream | 2010-07-22 12:56:56
+ | unanalyzed | call on java.io.FileOutputStream:close | 2010-07-22 12:56:56
+ | unanalyzed | call on java.io.FileOutputStream:flush | 2010-07-22 12:56:56
- | 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
+ | unanalyzed | call on java.util.Map:get | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.Map:keySet | 2010-07-22 12:56:56
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
+ | unanalyzed | call on java.util.Properties:setProperty | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.Properties:store | 2010-07-22 12:56:56
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
+ | unanalyzed | call on org.acegisecurity.GrantedAuthority:getAutho rity | 2010-07-22 12:56:56
U | unanalyzed | call on org.acegisecurity.GrantedAuthorityImpl | 2010-07-16 16:14:15
+ | unanalyzed | call on org.acegisecurity.providers.dao. SaltSource:getSalt | 2010-07-22 12:56:56
+ | unanalyzed | call on org.acegisecurity.providers.encoding. PasswordEncoder:encodePassword | 2010-07-22 12:56:56

- void createUser(PebbleUserDetails)

-/+ | Kind | Annotation Text | Date
--- | --- | --- | ---
- | pre | (soft) init'ed(net/sourceforge/pebble/Constants. BLOG_READER_ROLE) | 2010-07-16 16:59:22
+ | pre | (soft) init'ed(pud.password) | 2010-07-22 12:56:56
+ | pre | (soft) pud.grantedAuthories[...] != null | 2010-07-22 12:56:56
+ | pre | (soft) this.passwordEncoder != null | 2010-07-22 12:56:56
+ | pre | (soft) this.saltSource != null | 2010-07-22 12:56:56
+ | pre | init'ed(pud.detailsUpdateable) | 2010-07-22 12:56:56
+ | pre | init'ed(pud.emailAddress) | 2010-07-22 12:56:56
+ | pre | init'ed(pud.name) | 2010-07-22 12:56:56
+ | pre | init'ed(pud.preferences) | 2010-07-22 12:56:56
+ | pre | init'ed(pud.profile) | 2010-07-22 12:56:56
U | pre | init'ed(pud.username) | 2010-07-16 16:14:15
+ | pre | init'ed(pud.website) | 2010-07-22 12:56:56
- | pre | init'ed(this.configuration.dataDirectory) | 2010-07-16 16:59:22
U | pre | pud != null | 2010-07-16 16:14:15
+ | pre | pud.grantedAuthories != null | 2010-07-22 12:56:56
+ | pre | pud.grantedAuthories.length <= 232-1 | 2010-07-22 12:56:56
U | pre | this.configuration != null | 2010-07-16 16:14:15
U | presumption | java.io.File:exists(...)@103 == 0 | 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.io.FileOutputStream | 2010-07-22 12:56:56
+ | unanalyzed | call on java.io.FileOutputStream:close | 2010-07-22 12:56:56
+ | unanalyzed | call on java.io.FileOutputStream:flush | 2010-07-22 12:56:56
- | 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
+ | unanalyzed | call on java.util.Map:get | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.Map:keySet | 2010-07-22 12:56:56
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
+ | unanalyzed | call on java.util.Properties:setProperty | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.Properties:store | 2010-07-22 12:56:56
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
+ | unanalyzed | call on org.acegisecurity.GrantedAuthority:getAutho rity | 2010-07-22 12:56:56
U | unanalyzed | call on org.acegisecurity.GrantedAuthorityImpl | 2010-07-16 16:14:15
+ | unanalyzed | call on org.acegisecurity.providers.dao. SaltSource:getSalt | 2010-07-22 12:56:56
+ | unanalyzed | call on org.acegisecurity.providers.encoding. PasswordEncoder:encodePassword | 2010-07-22 12:56:56

- Configuration getConfiguration()

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

- File getFileForRealm()

-/+ | Kind | Annotation Text | Date
--- | --- | --- | ---
- | pre | init'ed(this.configuration.dataDirectory) | 2010-07-16 16:59:22
U | pre | this.configuration != null | 2010-07-16 16:14:15
U | post | new File(getFileForRealm#1) num objects == 1 | 2010-07-16 16:14:15
U | post | return_value == &new File(getFileForRealm#1) | 2010-07-16 16:14:15

- File getFileForUser(String)

-/+ | Kind | Annotation Text | Date
--- | --- | --- | ---
- | pre | init'ed(this.configuration.dataDirectory) | 2010-07-16 16:59:22
U | pre | this.configuration != null | 2010-07-16 16:14:15
U | post | new File(getFileForUser#1) num objects == 1 | 2010-07-16 16:14:15
U | post | return_value == &new File(getFileForUser#1) | 2010-07-16 16:14:15
- | unanalyzed | call on getDataDirectory | 2010-07-16 16:59:22
U | unanalyzed | call on java.io.File | 2010-07-16 16:14:15
+ | unanalyzed | call on net.sourceforge.pebble.Configuration:getDat aDirectory | 2010-07-22 12:56:56

- PasswordEncoder getPasswordEncoder()

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

- SaltSource getSaltSource()

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

- PebbleUserDetails getUser(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.configuration.dataDirectory) | 2010-07-16 16:59:22
U | pre | this.configuration != null | 2010-07-16 16:14:15
U | presumption | java.util.Iterator:next(...)@126 != null | 2010-07-16 16:14:15
U | presumption | java.util.Properties:getProperty(...)@114 != null | 2010-07-16 16:14:15
U | presumption | java.util.Properties:keySet(...)@126 != null | 2010-07-16 16:14:15
U | presumption | roles.length@114 <= 232-1 | 2010-07-16 16:14:15
U | presumption | roles[...]@114 != null | 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 in Addr_Set{null,&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 java.io.File | 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: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.Set:add | 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
U | unanalyzed | call on org.acegisecurity.GrantedAuthorityImpl | 2010-07-16 16:14:15
U | test_vector | java.io.File:exists(...)@103: {1}, {0} | 2010-07-16 16:14:15
U | test_vector | java.lang.String:startsWith(...)@128: {0}, {1} | 2010-07-16 16:14:15
U | test_vector | java.util.Iterator:hasNext(...)@126: {1}, {0} | 2010-07-16 16:14:15
U | test_vector | java.util.Properties:getProperty(...)@119: Addr_Set{null}, Inverse{null} | 2010-07-16 16:14:15

- Collection getUsers()

-/+ | 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.configuration.dataDirectory) | 2010-07-16 16:59:22
U | pre | this.configuration != null | 2010-07-16 16:14:15
U | presumption | Local_7[Local_5]@68 != null | 2010-07-16 16:14:15
U | presumption | files.length@68 <= 232-1 | 2010-07-16 16:14:15
U | presumption | java.io.File:getName(...)@83 != null | 2010-07-16 16:14:15
U | presumption | java.io.File:listFiles(...)@68 != null | 2010-07-16 16:14:15
U | post | new LinkedList(getUsers#1) num objects == 1 | 2010-07-16 16:14:15
U | post | return_value == &new LinkedList(getUsers#1) | 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 init()

-/+ | Kind | Annotation Text | Date
--- | --- | --- | ---
- | pre | (soft) init'ed(net/sourceforge/pebble/Constants. BLOG_READER_ROLE) | 2010-07-16 16:59:22
- | pre | (soft) init'ed(this.configuration.dataDirectory) | 2010-07-16 16:59:22
- | pre | (soft) net/sourceforge/pebble/Constants.BLOG_ADMIN_ ROLE != null | 2010-07-16 16:59:22
- | pre | (soft) net/sourceforge/pebble/Constants.BLOG_ CONTRIBUTOR_ROLE != null | 2010-07-16 16:59:22
- | pre | (soft) net/sourceforge/pebble/Constants.BLOG_OWNER_ ROLE != null | 2010-07-16 16:59:22
- | pre | (soft) net/sourceforge/pebble/Constants.BLOG_ PUBLISHER_ROLE != null | 2010-07-16 16:59:22
U | pre | (soft) this.configuration != null | 2010-07-16 16:14:15
+ | pre | (soft) this.passwordEncoder != null | 2010-07-22 12:56:56
+ | pre | (soft) this.saltSource != null | 2010-07-22 12:56:56
+ | presumption | defaultUser.grantedAuthories.length <= 232-1 | 2010-07-22 12:56:56
+ | presumption | defaultUser.grantedAuthories[...] != null | 2010-07-22 12:56:56
+ | presumption | java.util.Set:toArray(...)@194 != null | 2010-07-22 12:56:56
+ | presumption | net.sourceforge.pebble.Constants.BLOG_ADMIN_ROLE != null | 2010-07-22 12:56:56
+ | presumption | net.sourceforge.pebble.Constants.BLOG_CONTRIBUTOR_ ROLE != null | 2010-07-22 12:56:56
+ | presumption | net.sourceforge.pebble.Constants.BLOG_OWNER_ROLE != null | 2010-07-22 12:56:56
+ | presumption | net.sourceforge.pebble.Constants.BLOG_PUBLISHER_ ROLE != null | 2010-07-22 12:56:56
U | presumption | org.apache.commons.logging.LogFactory:getLog(... )@22 != null | 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 getUser | 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.io.FileOutputStream | 2010-07-22 12:56:56
+ | unanalyzed | call on java.io.FileOutputStream:close | 2010-07-22 12:56:56
+ | unanalyzed | call on java.io.FileOutputStream:flush | 2010-07-22 12:56:56
- | 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
+ | unanalyzed | call on java.util.Map:get | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.Map:keySet | 2010-07-22 12:56:56
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
+ | unanalyzed | call on java.util.Properties:setProperty | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.Properties:store | 2010-07-22 12:56:56
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
+ | unanalyzed | call on org.acegisecurity.GrantedAuthority:getAutho rity | 2010-07-22 12:56:56
U | unanalyzed | call on org.acegisecurity.GrantedAuthorityImpl | 2010-07-16 16:14:15
+ | unanalyzed | call on org.acegisecurity.providers.dao. SaltSource:getSalt | 2010-07-22 12:56:56
+ | unanalyzed | call on org.acegisecurity.providers.encoding. PasswordEncoder:encodePassword | 2010-07-22 12:56:56
+ | unanalyzed | call on updateUser | 2010-07-22 12:56:56
U | test_vector | java.io.File:exists(...)@47: {1}, {0} | 2010-07-16 16:14:15

- void net.sourceforge.pebble.security.DefaultSecurityRealm$1(DefaultSecurityRealm)

-/+ | Kind | Annotation Text | Date
--- | --- | --- | ---

- net.sourceforge.pebble.security.DefaultSecurityRealm$1__static_init

-/+ | Kind | Annotation Text | Date
--- | --- | --- | ---

- void net.sourceforge.pebble.security.DefaultSecurityRealm()

-/+ | Kind | Annotation Text | Date
--- | --- | --- | ---

- net.sourceforge.pebble.security.DefaultSecurityRealm__static_init

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

- void removeUser(String)

-/+ | Kind | Annotation Text | Date
--- | --- | --- | ---
- | pre | init'ed(this.configuration.dataDirectory) | 2010-07-16 16:59:22
U | pre | this.configuration != null | 2010-07-16 16:14:15
U | presumption | java.io.File:exists(...)@224 == 0 | 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 java.io.File | 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:valueOf | 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
U | test_vector | java.io.File:exists(...)@220: {0}, {1} | 2010-07-16 16:14:15

- void setConfiguration(Configuration)

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

- void setPasswordEncoder(PasswordEncoder)

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

- void setSaltSource(SaltSource)

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

- void updateUser(PebbleUserDetails)

-/+ | Kind | Annotation Text | Date
--- | --- | --- | ---
+ | pre | (soft) init'ed(pud.password) | 2010-07-22 12:56:56
+ | pre | (soft) pud.grantedAuthories[...] != null | 2010-07-22 12:56:56
+ | pre | (soft) this.passwordEncoder != null | 2010-07-22 12:56:56
+ | pre | (soft) this.saltSource != null | 2010-07-22 12:56:56
+ | pre | init'ed(pud.detailsUpdateable) | 2010-07-22 12:56:56
+ | pre | init'ed(pud.emailAddress) | 2010-07-22 12:56:56
+ | pre | init'ed(pud.name) | 2010-07-22 12:56:56
+ | pre | init'ed(pud.preferences) | 2010-07-22 12:56:56
+ | pre | init'ed(pud.profile) | 2010-07-22 12:56:56
+ | pre | init'ed(pud.username) | 2010-07-22 12:56:56
+ | pre | init'ed(pud.website) | 2010-07-22 12:56:56
+ | pre | pud != null | 2010-07-22 12:56:56
+ | pre | pud.grantedAuthories != null | 2010-07-22 12:56:56
+ | pre | pud.grantedAuthories.length <= 232-1 | 2010-07-22 12:56:56
+ | pre | this.configuration != null | 2010-07-22 12:56:56
+ | unanalyzed | call on getFileForUser | 2010-07-22 12:56:56
+ | unanalyzed | call on java.io.File | 2010-07-22 12:56:56
+ | unanalyzed | call on java.io.File:exists | 2010-07-22 12:56:56
+ | unanalyzed | call on java.io.FileInputStream | 2010-07-22 12:56:56
+ | unanalyzed | call on java.io.FileInputStream:close | 2010-07-22 12:56:56
+ | unanalyzed | call on java.io.FileOutputStream | 2010-07-22 12:56:56
+ | unanalyzed | call on java.io.FileOutputStream:close | 2010-07-22 12:56:56
+ | unanalyzed | call on java.io.FileOutputStream:flush | 2010-07-22 12:56:56
+ | unanalyzed | call on java.lang.String:equalsIgnoreCase | 2010-07-22 12:56:56
+ | unanalyzed | call on java.lang.String:length | 2010-07-22 12:56:56
+ | unanalyzed | call on java.lang.String:split | 2010-07-22 12:56:56
+ | unanalyzed | call on java.lang.String:startsWith | 2010-07-22 12:56:56
+ | unanalyzed | call on java.lang.String:substring | 2010-07-22 12:56:56
+ | unanalyzed | call on java.lang.String:trim | 2010-07-22 12:56:56
+ | unanalyzed | call on java.lang.String:valueOf | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.HashMap | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.HashSet | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.Map:get | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.Map:keySet | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.Map:put | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.Properties | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.Properties:getProperty | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.Properties:keySet | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.Properties:load | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.Properties:setProperty | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.Properties:store | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.Set:add | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.Set:iterator | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.Set:toArray | 2010-07-22 12:56:56
+ | unanalyzed | call on net.sourceforge.pebble.Configuration:getDat aDirectory | 2010-07-22 12:56:56
+ | unanalyzed | call on net.sourceforge.pebble.PebbleException | 2010-07-22 12:56:56
+ | unanalyzed | call on org.acegisecurity.GrantedAuthority:getAutho rity | 2010-07-22 12:56:56
+ | unanalyzed | call on org.acegisecurity.GrantedAuthorityImpl | 2010-07-22 12:56:56
+ | unanalyzed | call on org.acegisecurity.providers.dao. SaltSource:getSalt | 2010-07-22 12:56:56
+ | unanalyzed | call on org.acegisecurity.providers.encoding. PasswordEncoder:encodePassword | 2010-07-22 12:56:56

- void updateUser(PebbleUserDetails, bool)

-/+ | Kind | Annotation Text | Date
--- | --- | --- | ---
+ | pre | (soft) init'ed(pud.password) | 2010-07-22 12:56:56
+ | pre | (soft) pud.grantedAuthories[...] != null | 2010-07-22 12:56:56
+ | pre | (soft) this.passwordEncoder != null | 2010-07-22 12:56:56
+ | pre | (soft) this.saltSource != null | 2010-07-22 12:56:56
+ | pre | init'ed(pud.detailsUpdateable) | 2010-07-22 12:56:56
+ | pre | init'ed(pud.emailAddress) | 2010-07-22 12:56:56
+ | pre | init'ed(pud.name) | 2010-07-22 12:56:56
+ | pre | init'ed(pud.preferences) | 2010-07-22 12:56:56
+ | pre | init'ed(pud.profile) | 2010-07-22 12:56:56
+ | pre | init'ed(pud.username) | 2010-07-22 12:56:56
+ | pre | init'ed(pud.website) | 2010-07-22 12:56:56
+ | pre | pud != null | 2010-07-22 12:56:56
+ | pre | pud.grantedAuthories != null | 2010-07-22 12:56:56
+ | pre | pud.grantedAuthories.length <= 232-1 | 2010-07-22 12:56:56
+ | pre | this.configuration != null | 2010-07-22 12:56:56
+ | presumption | java.io.File:exists(...)@103 == 1 | 2010-07-22 12:56:56
+ | presumption | java.util.Iterator:hasNext(...)@126 == 0 | 2010-07-22 12:56:56
+ | presumption | java.util.Map:keySet(...)@184 != null | 2010-07-22 12:56:56
+ | unanalyzed | call on getFileForUser | 2010-07-22 12:56:56
+ | unanalyzed | call on java.io.File | 2010-07-22 12:56:56
+ | unanalyzed | call on java.io.File:exists | 2010-07-22 12:56:56
+ | unanalyzed | call on java.io.FileInputStream | 2010-07-22 12:56:56
+ | unanalyzed | call on java.io.FileInputStream:close | 2010-07-22 12:56:56
+ | unanalyzed | call on java.lang.String:equalsIgnoreCase | 2010-07-22 12:56:56
+ | unanalyzed | call on java.lang.String:length | 2010-07-22 12:56:56
+ | unanalyzed | call on java.lang.String:split | 2010-07-22 12:56:56
+ | unanalyzed | call on java.lang.String:startsWith | 2010-07-22 12:56:56
+ | unanalyzed | call on java.lang.String:substring | 2010-07-22 12:56:56
+ | unanalyzed | call on java.lang.String:trim | 2010-07-22 12:56:56
+ | unanalyzed | call on java.lang.String:valueOf | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.HashMap | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.HashSet | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.Map:put | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.Properties | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.Properties:getProperty | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.Properties:keySet | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.Properties:load | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.Set:add | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.Set:iterator | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.Set:toArray | 2010-07-22 12:56:56
+ | unanalyzed | call on net.sourceforge.pebble.Configuration:getDat aDirectory | 2010-07-22 12:56:56
+ | unanalyzed | call on net.sourceforge.pebble.PebbleException | 2010-07-22 12:56:56
+ | unanalyzed | call on org.acegisecurity.GrantedAuthority:getAutho rity | 2010-07-22 12:56:56
+ | unanalyzed | call on org.acegisecurity.GrantedAuthorityImpl | 2010-07-22 12:56:56
+ | test_vector | java.util.Iterator:hasNext(...)@184: {1}, {0} | 2010-07-22 12:56:56
+ | test_vector | updatePassword: {0}, {1} | 2010-07-22 12:56:56