method net.sourceforge.pebble.web.action.ManageUsersActio n__static_init
postinit'ed(log)










method void net.sourceforge.pebble.web.action. ManageUsersAction()









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











method View process(HttpServletRequest, HttpServletRespon se)
prenet.sourceforge.pebble.PebbleContext__static_init. new PebbleContext(PebbleContext__static_init#1). configuration != null
prerequest != null
prethis.model != null
prethis.model.data != null
presumptionjava.util.HashMap:get(...)@63 != null
presumptionjavax.servlet.http.HttpServletRequest:getParameter( ...)@71 != null
presumptionnet.sourceforge.pebble.Configuration:getSecurityRea lm(...)@73 != null
presumptionrealm.configuration@73 != null
presumptionrealm.passwordEncoder@73 != null
presumptionrealm.saltSource@73 != null
presumptionusernames.length@70 <= 232-1
postreturn_value == &new RedirectView(process#1)
postnew RedirectView(process#1) num objects == 1
unanalyzedcall on java.util.HashMap:get
unanalyzedcall on net.sourceforge.pebble.Configuration:getDat aDirectory
unanalyzedcall on java.io.File
unanalyzedcall on net.sourceforge.pebble.PebbleException
unanalyzedcall on getFileForUser
unanalyzedcall on java.io.File:exists
unanalyzedcall on java.io.File:delete
unanalyzedcall on java.lang.String:valueOf
unanalyzedcall on getUser
unanalyzedcall on updateUser
unanalyzedcall on java.io.FileInputStream
unanalyzedcall on java.util.Properties
unanalyzedcall on java.util.Properties:load
unanalyzedcall on java.io.FileInputStream:close
unanalyzedcall on java.util.Properties:getProperty
unanalyzedcall on java.lang.String:split
unanalyzedcall on java.lang.String:equalsIgnoreCase
unanalyzedcall on java.util.HashMap
unanalyzedcall on java.util.Properties:keySet
unanalyzedcall on java.util.Set:iterator
unanalyzedcall on java.lang.String:startsWith
unanalyzedcall on java.lang.String:length
unanalyzedcall on java.lang.String:substring
unanalyzedcall on java.util.Map:put
unanalyzedcall on java.util.HashSet
unanalyzedcall on java.lang.String:trim
unanalyzedcall on org.acegisecurity.GrantedAuthorityImpl
unanalyzedcall on java.util.Set:add
unanalyzedcall on java.util.Set:toArray
unanalyzedcall on org.acegisecurity.providers.dao. SaltSource:getSalt
unanalyzedcall on org.acegisecurity.providers.encoding. PasswordEncoder:encodePassword
unanalyzedcall on java.util.Properties:setProperty
unanalyzedcall on org.acegisecurity.GrantedAuthority:getAutho rity
unanalyzedcall on java.util.Map:keySet
unanalyzedcall on java.util.Map:get
unanalyzedcall on java.io.FileOutputStream
unanalyzedcall on java.util.Properties:store
unanalyzedcall on java.io.FileOutputStream:flush
unanalyzedcall on java.io.FileOutputStream:close
test_vectorjava.lang.String:equalsIgnoreCase(...)@76: {0}, {1}
test_vectorjava.lang.String:equalsIgnoreCase(...)@78: {0}, {1}
test_vectorjavax.servlet.http.HttpServletRequest:getParameterV alues(...)@70: Addr_Set{null}, Inverse{null}









  infomethod not available-- call on SecurityRealm net.sourceforge.pebble. Configuration:getSecurityRealm()










  infomethod not available-- call on void removeUser(String)










  infomethod not available-- call on void changePassword(String, String)










  infomethod not available-- call on String net.sourceforge.pebble.domain. AbstractBlog:getUrl()
  infomethod not available-- call on void net.sourceforge.pebble.web.view. RedirectView(String)











method String[] getRoles(HttpServletRequest)
presumptioninit'ed(net.sourceforge.pebble.Constants.BLOG_ ADMIN_ROLE)
postreturn_value == &new String[](getRoles#1)
postnew String[](getRoles#1) num objects == 1
postreturn_value.length == 1
postreturn_value[0] == net.sourceforge.pebble. Constants.BLOG_ADMIN_ROLE
post(soft) init'ed(return_value[0])