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 prename != null2010-07-16 16:14:15
    U postinit'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 != null2010-07-22 12:56:56
    +pre(soft) this.passwordEncoder != null2010-07-22 12:56:56
    +pre(soft) this.saltSource != null2010-07-22 12:56:56
    -preinit'ed(this.configuration.dataDirectory)2010-07-16 16:59:22
    -prethis.configuration != null2010-07-16 16:59:22
    -presumptionjava.io.File:exists(...)@103 == 02010-07-16 16:59:22
    +presumptionpud.grantedAuthories.length@206 <= 232-12010-07-22 12:56:56
    +presumptionpud.grantedAuthories[...]@206 != null2010-07-22 12:56:56
    -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.io.FileOutputStream2010-07-22 12:56:56
    +unanalyzedcall on java.io.FileOutputStream:close2010-07-22 12:56:56
    +unanalyzedcall on java.io.FileOutputStream:flush2010-07-22 12:56:56
    -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
    +unanalyzedcall on java.util.Map:get2010-07-22 12:56:56
    +unanalyzedcall on java.util.Map:keySet2010-07-22 12:56:56
    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
    +unanalyzedcall on java.util.Properties:setProperty2010-07-22 12:56:56
    +unanalyzedcall on java.util.Properties:store2010-07-22 12:56:56
    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
    +unanalyzedcall on org.acegisecurity.GrantedAuthority:getAutho rity2010-07-22 12:56:56
    U unanalyzedcall on org.acegisecurity.GrantedAuthorityImpl2010-07-16 16:14:15
    +unanalyzedcall on org.acegisecurity.providers.dao. SaltSource:getSalt2010-07-22 12:56:56
    +unanalyzedcall on org.acegisecurity.providers.encoding. PasswordEncoder:encodePassword2010-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[...] != null2010-07-22 12:56:56
    +pre(soft) this.passwordEncoder != null2010-07-22 12:56:56
    +pre(soft) this.saltSource != null2010-07-22 12:56:56
    +preinit'ed(pud.detailsUpdateable)2010-07-22 12:56:56
    +preinit'ed(pud.emailAddress)2010-07-22 12:56:56
    +preinit'ed(pud.name)2010-07-22 12:56:56
    +preinit'ed(pud.preferences)2010-07-22 12:56:56
    +preinit'ed(pud.profile)2010-07-22 12:56:56
    U preinit'ed(pud.username)2010-07-16 16:14:15
    +preinit'ed(pud.website)2010-07-22 12:56:56
    -preinit'ed(this.configuration.dataDirectory)2010-07-16 16:59:22
    U prepud != null2010-07-16 16:14:15
    +prepud.grantedAuthories != null2010-07-22 12:56:56
    +prepud.grantedAuthories.length <= 232-12010-07-22 12:56:56
    U prethis.configuration != null2010-07-16 16:14:15
    U presumptionjava.io.File:exists(...)@103 == 02010-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.io.FileOutputStream2010-07-22 12:56:56
    +unanalyzedcall on java.io.FileOutputStream:close2010-07-22 12:56:56
    +unanalyzedcall on java.io.FileOutputStream:flush2010-07-22 12:56:56
    -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
    +unanalyzedcall on java.util.Map:get2010-07-22 12:56:56
    +unanalyzedcall on java.util.Map:keySet2010-07-22 12:56:56
    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
    +unanalyzedcall on java.util.Properties:setProperty2010-07-22 12:56:56
    +unanalyzedcall on java.util.Properties:store2010-07-22 12:56:56
    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
    +unanalyzedcall on org.acegisecurity.GrantedAuthority:getAutho rity2010-07-22 12:56:56
    U unanalyzedcall on org.acegisecurity.GrantedAuthorityImpl2010-07-16 16:14:15
    +unanalyzedcall on org.acegisecurity.providers.dao. SaltSource:getSalt2010-07-22 12:56:56
    +unanalyzedcall on org.acegisecurity.providers.encoding. PasswordEncoder:encodePassword2010-07-22 12:56:56

  • Configuration getConfiguration()

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

  • File getFileForRealm()

    • -/+ Kind Annotation Text Date
    -preinit'ed(this.configuration.dataDirectory)2010-07-16 16:59:22
    U prethis.configuration != null2010-07-16 16:14:15
    U postnew File(getFileForRealm#1) num objects == 12010-07-16 16:14:15
    U postreturn_value == &new File(getFileForRealm#1)2010-07-16 16:14:15

  • File getFileForUser(String)

    • -/+ Kind Annotation Text Date
    -preinit'ed(this.configuration.dataDirectory)2010-07-16 16:59:22
    U prethis.configuration != null2010-07-16 16:14:15
    U postnew File(getFileForUser#1) num objects == 12010-07-16 16:14:15
    U postreturn_value == &new File(getFileForUser#1)2010-07-16 16:14:15
    -unanalyzedcall on getDataDirectory2010-07-16 16:59:22
    U unanalyzedcall on java.io.File2010-07-16 16:14:15
    +unanalyzedcall on net.sourceforge.pebble.Configuration:getDat aDirectory2010-07-22 12:56:56

  • PasswordEncoder getPasswordEncoder()

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

  • SaltSource getSaltSource()

    • -/+ Kind Annotation Text Date
    U preinit'ed(this.saltSource)2010-07-16 16:14:15
    U postinit'ed(return_value)2010-07-16 16:14:15
    U postreturn_value == this.saltSource2010-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
    -preinit'ed(this.configuration.dataDirectory)2010-07-16 16:59:22
    U prethis.configuration != null2010-07-16 16:14:15
    U presumptionjava.util.Iterator:next(...)@126 != null2010-07-16 16:14:15
    U presumptionjava.util.Properties:getProperty(...)@114 != null2010-07-16 16:14:15
    U presumptionjava.util.Properties:keySet(...)@126 != null2010-07-16 16:14:15
    U presumptionroles.length@114 <= 232-12010-07-16 16:14:15
    U presumptionroles[...]@114 != null2010-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 in Addr_Set{null,&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 java.io.File2010-07-16 16:14:15
    -unanalyzedcall on java.lang.Exception2010-07-16 16:59:22
    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.Set:add2010-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
    U unanalyzedcall on org.acegisecurity.GrantedAuthorityImpl2010-07-16 16:14:15
    U test_vectorjava.io.File:exists(...)@103: {1}, {0}2010-07-16 16:14:15
    U test_vectorjava.lang.String:startsWith(...)@128: {0}, {1}2010-07-16 16:14:15
    U test_vectorjava.util.Iterator:hasNext(...)@126: {1}, {0}2010-07-16 16:14:15
    U test_vectorjava.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
    -preinit'ed(this.configuration.dataDirectory)2010-07-16 16:59:22
    U prethis.configuration != null2010-07-16 16:14:15
    U presumptionLocal_7[Local_5]@68 != null2010-07-16 16:14:15
    U presumptionfiles.length@68 <= 232-12010-07-16 16:14:15
    U presumptionjava.io.File:getName(...)@83 != null2010-07-16 16:14:15
    U presumptionjava.io.File:listFiles(...)@68 != null2010-07-16 16:14:15
    U postnew LinkedList(getUsers#1) num objects == 12010-07-16 16:14:15
    U postreturn_value == &new LinkedList(getUsers#1)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 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 != null2010-07-16 16:59:22
    -pre(soft) net/sourceforge/pebble/Constants.BLOG_ CONTRIBUTOR_ROLE != null2010-07-16 16:59:22
    -pre(soft) net/sourceforge/pebble/Constants.BLOG_OWNER_ ROLE != null2010-07-16 16:59:22
    -pre(soft) net/sourceforge/pebble/Constants.BLOG_ PUBLISHER_ROLE != null2010-07-16 16:59:22
    U pre(soft) this.configuration != null2010-07-16 16:14:15
    +pre(soft) this.passwordEncoder != null2010-07-22 12:56:56
    +pre(soft) this.saltSource != null2010-07-22 12:56:56
    +presumptiondefaultUser.grantedAuthories.length <= 232-12010-07-22 12:56:56
    +presumptiondefaultUser.grantedAuthories[...] != null2010-07-22 12:56:56
    +presumptionjava.util.Set:toArray(...)@194 != null2010-07-22 12:56:56
    +presumptionnet.sourceforge.pebble.Constants.BLOG_ADMIN_ROLE != null2010-07-22 12:56:56
    +presumptionnet.sourceforge.pebble.Constants.BLOG_CONTRIBUTOR_ ROLE != null2010-07-22 12:56:56
    +presumptionnet.sourceforge.pebble.Constants.BLOG_OWNER_ROLE != null2010-07-22 12:56:56
    +presumptionnet.sourceforge.pebble.Constants.BLOG_PUBLISHER_ ROLE != null2010-07-22 12:56:56
    U presumptionorg.apache.commons.logging.LogFactory:getLog(... )@22 != null2010-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 getUser2010-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.io.FileOutputStream2010-07-22 12:56:56
    +unanalyzedcall on java.io.FileOutputStream:close2010-07-22 12:56:56
    +unanalyzedcall on java.io.FileOutputStream:flush2010-07-22 12:56:56
    -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
    +unanalyzedcall on java.util.Map:get2010-07-22 12:56:56
    +unanalyzedcall on java.util.Map:keySet2010-07-22 12:56:56
    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
    +unanalyzedcall on java.util.Properties:setProperty2010-07-22 12:56:56
    +unanalyzedcall on java.util.Properties:store2010-07-22 12:56:56
    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
    +unanalyzedcall on org.acegisecurity.GrantedAuthority:getAutho rity2010-07-22 12:56:56
    U unanalyzedcall on org.acegisecurity.GrantedAuthorityImpl2010-07-16 16:14:15
    +unanalyzedcall on org.acegisecurity.providers.dao. SaltSource:getSalt2010-07-22 12:56:56
    +unanalyzedcall on org.acegisecurity.providers.encoding. PasswordEncoder:encodePassword2010-07-22 12:56:56
    +unanalyzedcall on updateUser2010-07-22 12:56:56
    U test_vectorjava.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 postinit'ed(log)2010-07-16 16:14:15

  • void removeUser(String)

    • -/+ Kind Annotation Text Date
    -preinit'ed(this.configuration.dataDirectory)2010-07-16 16:59:22
    U prethis.configuration != null2010-07-16 16:14:15
    U presumptionjava.io.File:exists(...)@224 == 02010-07-16 16:14:15
    -unanalyzedcall on getDataDirectory2010-07-16 16:59:22
    -unanalyzedcall on getFileForRealm2010-07-16 16:59:22
    U unanalyzedcall on java.io.File2010-07-16 16:14:15
    -unanalyzedcall on java.lang.Exception2010-07-16 16:59:22
    U unanalyzedcall on java.lang.String:valueOf2010-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
    U test_vectorjava.io.File:exists(...)@220: {0}, {1}2010-07-16 16:14:15

  • void setConfiguration(Configuration)

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

  • void setPasswordEncoder(PasswordEncoder)

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

  • void setSaltSource(SaltSource)

    • -/+ Kind Annotation Text Date
    U postinit'ed(this.saltSource)2010-07-16 16:14:15
    U postthis.saltSource == saltSource2010-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[...] != null2010-07-22 12:56:56
    +pre(soft) this.passwordEncoder != null2010-07-22 12:56:56
    +pre(soft) this.saltSource != null2010-07-22 12:56:56
    +preinit'ed(pud.detailsUpdateable)2010-07-22 12:56:56
    +preinit'ed(pud.emailAddress)2010-07-22 12:56:56
    +preinit'ed(pud.name)2010-07-22 12:56:56
    +preinit'ed(pud.preferences)2010-07-22 12:56:56
    +preinit'ed(pud.profile)2010-07-22 12:56:56
    +preinit'ed(pud.username)2010-07-22 12:56:56
    +preinit'ed(pud.website)2010-07-22 12:56:56
    +prepud != null2010-07-22 12:56:56
    +prepud.grantedAuthories != null2010-07-22 12:56:56
    +prepud.grantedAuthories.length <= 232-12010-07-22 12:56:56
    +prethis.configuration != null2010-07-22 12:56:56
    +unanalyzedcall on getFileForUser2010-07-22 12:56:56
    +unanalyzedcall on java.io.File2010-07-22 12:56:56
    +unanalyzedcall on java.io.File:exists2010-07-22 12:56:56
    +unanalyzedcall on java.io.FileInputStream2010-07-22 12:56:56
    +unanalyzedcall on java.io.FileInputStream:close2010-07-22 12:56:56
    +unanalyzedcall on java.io.FileOutputStream2010-07-22 12:56:56
    +unanalyzedcall on java.io.FileOutputStream:close2010-07-22 12:56:56
    +unanalyzedcall on java.io.FileOutputStream:flush2010-07-22 12:56:56
    +unanalyzedcall on java.lang.String:equalsIgnoreCase2010-07-22 12:56:56
    +unanalyzedcall on java.lang.String:length2010-07-22 12:56:56
    +unanalyzedcall on java.lang.String:split2010-07-22 12:56:56
    +unanalyzedcall on java.lang.String:startsWith2010-07-22 12:56:56
    +unanalyzedcall on java.lang.String:substring2010-07-22 12:56:56
    +unanalyzedcall on java.lang.String:trim2010-07-22 12:56:56
    +unanalyzedcall on java.lang.String:valueOf2010-07-22 12:56:56
    +unanalyzedcall on java.util.HashMap2010-07-22 12:56:56
    +unanalyzedcall on java.util.HashSet2010-07-22 12:56:56
    +unanalyzedcall on java.util.Map:get2010-07-22 12:56:56
    +unanalyzedcall on java.util.Map:keySet2010-07-22 12:56:56
    +unanalyzedcall on java.util.Map:put2010-07-22 12:56:56
    +unanalyzedcall on java.util.Properties2010-07-22 12:56:56
    +unanalyzedcall on java.util.Properties:getProperty2010-07-22 12:56:56
    +unanalyzedcall on java.util.Properties:keySet2010-07-22 12:56:56
    +unanalyzedcall on java.util.Properties:load2010-07-22 12:56:56
    +unanalyzedcall on java.util.Properties:setProperty2010-07-22 12:56:56
    +unanalyzedcall on java.util.Properties:store2010-07-22 12:56:56
    +unanalyzedcall on java.util.Set:add2010-07-22 12:56:56
    +unanalyzedcall on java.util.Set:iterator2010-07-22 12:56:56
    +unanalyzedcall on java.util.Set:toArray2010-07-22 12:56:56
    +unanalyzedcall on net.sourceforge.pebble.Configuration:getDat aDirectory2010-07-22 12:56:56
    +unanalyzedcall on net.sourceforge.pebble.PebbleException2010-07-22 12:56:56
    +unanalyzedcall on org.acegisecurity.GrantedAuthority:getAutho rity2010-07-22 12:56:56
    +unanalyzedcall on org.acegisecurity.GrantedAuthorityImpl2010-07-22 12:56:56
    +unanalyzedcall on org.acegisecurity.providers.dao. SaltSource:getSalt2010-07-22 12:56:56
    +unanalyzedcall on org.acegisecurity.providers.encoding. PasswordEncoder:encodePassword2010-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[...] != null2010-07-22 12:56:56
    +pre(soft) this.passwordEncoder != null2010-07-22 12:56:56
    +pre(soft) this.saltSource != null2010-07-22 12:56:56
    +preinit'ed(pud.detailsUpdateable)2010-07-22 12:56:56
    +preinit'ed(pud.emailAddress)2010-07-22 12:56:56
    +preinit'ed(pud.name)2010-07-22 12:56:56
    +preinit'ed(pud.preferences)2010-07-22 12:56:56
    +preinit'ed(pud.profile)2010-07-22 12:56:56
    +preinit'ed(pud.username)2010-07-22 12:56:56
    +preinit'ed(pud.website)2010-07-22 12:56:56
    +prepud != null2010-07-22 12:56:56
    +prepud.grantedAuthories != null2010-07-22 12:56:56
    +prepud.grantedAuthories.length <= 232-12010-07-22 12:56:56
    +prethis.configuration != null2010-07-22 12:56:56
    +presumptionjava.io.File:exists(...)@103 == 12010-07-22 12:56:56
    +presumptionjava.util.Iterator:hasNext(...)@126 == 02010-07-22 12:56:56
    +presumptionjava.util.Map:keySet(...)@184 != null2010-07-22 12:56:56
    +unanalyzedcall on getFileForUser2010-07-22 12:56:56
    +unanalyzedcall on java.io.File2010-07-22 12:56:56
    +unanalyzedcall on java.io.File:exists2010-07-22 12:56:56
    +unanalyzedcall on java.io.FileInputStream2010-07-22 12:56:56
    +unanalyzedcall on java.io.FileInputStream:close2010-07-22 12:56:56
    +unanalyzedcall on java.lang.String:equalsIgnoreCase2010-07-22 12:56:56
    +unanalyzedcall on java.lang.String:length2010-07-22 12:56:56
    +unanalyzedcall on java.lang.String:split2010-07-22 12:56:56
    +unanalyzedcall on java.lang.String:startsWith2010-07-22 12:56:56
    +unanalyzedcall on java.lang.String:substring2010-07-22 12:56:56
    +unanalyzedcall on java.lang.String:trim2010-07-22 12:56:56
    +unanalyzedcall on java.lang.String:valueOf2010-07-22 12:56:56
    +unanalyzedcall on java.util.HashMap2010-07-22 12:56:56
    +unanalyzedcall on java.util.HashSet2010-07-22 12:56:56
    +unanalyzedcall on java.util.Map:put2010-07-22 12:56:56
    +unanalyzedcall on java.util.Properties2010-07-22 12:56:56
    +unanalyzedcall on java.util.Properties:getProperty2010-07-22 12:56:56
    +unanalyzedcall on java.util.Properties:keySet2010-07-22 12:56:56
    +unanalyzedcall on java.util.Properties:load2010-07-22 12:56:56
    +unanalyzedcall on java.util.Set:add2010-07-22 12:56:56
    +unanalyzedcall on java.util.Set:iterator2010-07-22 12:56:56
    +unanalyzedcall on java.util.Set:toArray2010-07-22 12:56:56
    +unanalyzedcall on net.sourceforge.pebble.Configuration:getDat aDirectory2010-07-22 12:56:56
    +unanalyzedcall on net.sourceforge.pebble.PebbleException2010-07-22 12:56:56
    +unanalyzedcall on org.acegisecurity.GrantedAuthority:getAutho rity2010-07-22 12:56:56
    +unanalyzedcall on org.acegisecurity.GrantedAuthorityImpl2010-07-22 12:56:56
    +test_vectorjava.util.Iterator:hasNext(...)@184: {1}, {0}2010-07-22 12:56:56
    +test_vectorupdatePassword: {0}, {1}2010-07-22 12:56:56