Authenticator.java

current inspection = 2009-09-04 18:33:31 (id #2) base = 2009-09-04 18:33:31 (id #1)

Filter Options
History:
+ added
- dropped
U unchanged
Annotation Kind:
pre
presumption
post
unanalyzed
test


  • + HttpServletRequest getRequest()

    • -/+ Kind Annotation Text Date
    +preinit'ed(this.request)2009-09-04 18:33:31
    +postinit'ed(return_value)2009-09-04 18:33:31
    +postreturn_value == this.request2009-09-04 18:33:31

  • + Weblogger getRoller()

    • -/+ Kind Annotation Text Date
    +preinit'ed(this.roller)2009-09-04 18:33:31
    +postinit'ed(return_value)2009-09-04 18:33:31
    +postreturn_value == this.roller2009-09-04 18:33:31

  • + User getUserData(String)

    • -/+ Kind Annotation Text Date
    +prethis.roller != null2009-09-04 18:33:31
    +presumptioninit'ed(java.lang.Boolean.FALSE)2009-09-04 18:33:31
    +presumptioninit'ed(java.lang.Boolean.TRUE)2009-09-04 18:33:31
    +presumptionorg.apache.roller.weblogger.business. Weblogger:getUserManager(...)@99 != null2009-09-04 18:33:31
    +postreturn_value != null2009-09-04 18:33:31
    +unanalyzedcall on java.lang.Exception2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.webservices. adminprotocol.HandlerException2009-09-04 18:33:31
    +test_vectororg.apache.roller.weblogger.business. UserManager:getUserByUserName(...)@100: Inverse{null}, Addr_Set{null}2009-09-04 18:33:31

  • + String getUserName()

    • -/+ Kind Annotation Text Date
    +preinit'ed(this.userName)2009-09-04 18:33:31
    +postinit'ed(return_value)2009-09-04 18:33:31
    +postreturn_value == this.userName2009-09-04 18:33:31

  • + void org.apache.roller.weblogger.webservices.adminprotocol.Authenticator(HttpServletRequest)

    • -/+ Kind Annotation Text Date
    +postinit'ed(this.request)2009-09-04 18:33:31
    +postinit'ed(this.roller)2009-09-04 18:33:31
    +postthis.request == req2009-09-04 18:33:31

  • + org.apache.roller.weblogger.webservices.adminprotocol.Authenticator__static_init

    • -/+ Kind Annotation Text Date

  • + void setRequest(HttpServletRequest)

    • -/+ Kind Annotation Text Date
    +postinit'ed(this.request)2009-09-04 18:33:31
    +postthis.request == request2009-09-04 18:33:31

  • + void setRoller(Weblogger)

    • -/+ Kind Annotation Text Date
    +postinit'ed(this.roller)2009-09-04 18:33:31
    +postthis.roller == roller2009-09-04 18:33:31

  • + void setUserName(String)

    • -/+ Kind Annotation Text Date
    +postinit'ed(this.userName)2009-09-04 18:33:31
    +postthis.userName == userId2009-09-04 18:33:31

  • + void verifyUser(String, String)

    • -/+ Kind Annotation Text Date
    +pre(soft) password != null2009-09-04 18:33:31
    +prethis.roller != null2009-09-04 18:33:31
    +preuserName != null2009-09-04 18:33:31
    +presumptionjava.lang.Boolean:booleanValue(...)@68 == 12009-09-04 18:33:31
    +presumptionjava.lang.Boolean:valueOf(...)@53 != null2009-09-04 18:33:31
    +presumptionjava.lang.String:equals(...)@58 == 12009-09-04 18:33:31
    +presumptionjava.lang.String:equals(...)@61 == 12009-09-04 18:33:31
    +presumptionorg.apache.roller.weblogger.pojos.User:getEnabled(. ..)@68 != null2009-09-04 18:33:31
    +presumptionorg.apache.roller.weblogger.pojos.User:hasRole(... )@65 == 12009-09-04 18:33:31
    +presumptionorg.apache.roller.weblogger.util.Utilities:encodePa ssword(...)@55 != null2009-09-04 18:33:31
    +unanalyzedcall on java.lang.Exception2009-09-04 18:33:31
    +unanalyzedcall on java.lang.Throwable:__curr_excep_obj2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.business. UserManager:getUserByUserName2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.business. Weblogger:getUserManager2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.webservices. adminprotocol.HandlerException2009-09-04 18:33:31
    +test_vectorjava.lang.Boolean:booleanValue(...)@53: {0}, {1}2009-09-04 18:33:31