Last Msg First Msg
























method org.apache.roller.weblogger.webservices. adminprotocol.Authenticator__static_init










method void org.apache.roller.weblogger.webservices. adminprotocol.Authenticator(HttpServletRequest)
postthis.request == req
postinit'ed(this.request)
postinit'ed(this.roller)









  infomethod not available-- call on Weblogger org.apache.roller.weblogger. business.WebloggerFactory:getWeblogger()











method void verifyUser(String, String)
prethis.roller != null
preuserName != null
pre(soft) password != null
presumptionjava.lang.Boolean:booleanValue(...)@68 == 1
presumptionjava.lang.Boolean:valueOf(...)@53 != null
presumptionjava.lang.String:equals(...)@58 == 1
presumptionjava.lang.String:equals(...)@61 == 1
presumptionorg.apache.roller.weblogger.pojos.User:getEnabled(. ..)@68 != null
presumptionorg.apache.roller.weblogger.pojos.User:hasRole(... )@65 == 1
presumptionorg.apache.roller.weblogger.util.Utilities:encodePa ssword(...)@55 != null
unanalyzedcall on org.apache.roller.weblogger.webservices. adminprotocol.HandlerException
unanalyzedcall on java.lang.Exception
unanalyzedcall on org.apache.roller.weblogger.business. Weblogger:getUserManager
unanalyzedcall on org.apache.roller.weblogger.business. UserManager:getUserByUserName
unanalyzedcall on java.lang.Throwable:__curr_excep_obj
test_vectorjava.lang.Boolean:booleanValue(...)@53: {0}, {1}









  infomethod not available-- call on String org.apache.roller.weblogger. pojos.User:getPassword()










  infomethod not available-- call on String org.apache.roller.weblogger. config.WebloggerConfig:getProperty(String)










  infomethod not available-- call on String org.apache.roller.weblogger. config.WebloggerConfig:getProperty(String)
  infomethod not available-- call on String org.apache.roller.weblogger.util. Utilities:encodePassword(String, String)










  infomethod not available-- call on String org.apache.roller.weblogger. pojos.User:getUserName()










  infomethod not available-- call on bool org.apache.roller.weblogger.pojos. User:hasRole(String)










  infomethod not available-- call on Boolean org.apache.roller.weblogger. pojos.User:getEnabled()











method HttpServletRequest getRequest()
preinit'ed(this.request)
postreturn_value == this.request
postinit'ed(return_value)










method void setRequest(HttpServletRequest)
postthis.request == request
postinit'ed(this.request)










method String getUserName()
preinit'ed(this.userName)
postreturn_value == this.userName
postinit'ed(return_value)










method void setUserName(String)
postthis.userName == userId
postinit'ed(this.userName)










method Weblogger getRoller()
preinit'ed(this.roller)
postreturn_value == this.roller
postinit'ed(return_value)










method void setRoller(Weblogger)
postthis.roller == roller
postinit'ed(this.roller)










method User getUserData(String)
prethis.roller != null
presumptioninit'ed(java.lang.Boolean.FALSE)
presumptioninit'ed(java.lang.Boolean.TRUE)
presumptionorg.apache.roller.weblogger.business. Weblogger:getUserManager(...)@99 != null
postreturn_value != null
unanalyzedcall on org.apache.roller.weblogger.webservices. adminprotocol.HandlerException
unanalyzedcall on java.lang.Exception
test_vectororg.apache.roller.weblogger.business. UserManager:getUserByUserName(...)@100: Inverse{null}, Addr_Set{null}









  infomethod not available-- call on UserManager org.apache.roller.weblogger. business.Weblogger:getUserManager()










  infomethod not available-- call on User org.apache.roller.weblogger. business.UserManager:getUserByUserName(String, Boolean)










  infomethod not available-- call on User org.apache.roller.weblogger. business.UserManager:getUserByUserName(String, Boolean)










Prev Msg Next Msg
+
low
conditional throwcheck might fail: requires ud != null
Prev Msg Next Msg