WeblogRequest.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


  • + String getLocale()

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

  • + Locale getLocaleInstance()

    • -/+ Kind Annotation Text Date
    +pre(soft) init'ed(this.locale)2009-09-04 18:33:31
    +pre(soft) init'ed(this.weblogHandle)2009-09-04 18:33:31
    +pre(soft) log != null2009-09-04 18:33:31
    +preinit'ed(this.localeInstance)2009-09-04 18:33:31
    +postinit'ed(return_value)2009-09-04 18:33:31
    +postnew Locale(getLocaleInstance#1) num objects == 02009-09-04 18:33:31
    +postnew Locale(getLocaleInstance#2) num objects == 02009-09-04 18:33:31
    +postpossibly_updated(this.weblog)2009-09-04 18:33:31
    +postthis.localeInstance == return_value2009-09-04 18:33:31
    +unanalyzedcall on java.lang.Throwable:__curr_excep_obj2009-09-04 18:33:31
    +unanalyzedcall on org.apache.commons.logging.Log:error2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.business. UserManager:getWebsiteByHandle2009-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.business. WebloggerFactory:getWeblogger2009-09-04 18:33:31
    +test_vectorthis.locale: Addr_Set{null}, Inverse{null}2009-09-04 18:33:31
    +test_vectorthis.localeInstance: Inverse{null}, Addr_Set{null}2009-09-04 18:33:31

  • + String getPathInfo()

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

  • + Weblog getWeblog()

    • -/+ Kind Annotation Text Date
    +pre(soft) init'ed(this.weblogHandle)2009-09-04 18:33:31
    +pre(soft) log != null2009-09-04 18:33:31
    +preinit'ed(this.weblog)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(...)@189 != null2009-09-04 18:33:31
    +presumptionorg.apache.roller.weblogger.business. WebloggerFactory:getWeblogger(...)@189 != null2009-09-04 18:33:31
    +postinit'ed(return_value)2009-09-04 18:33:31
    +postthis.weblog == return_value2009-09-04 18:33:31
    +test_vectorthis.weblog: Inverse{null}, Addr_Set{null}2009-09-04 18:33:31
    +test_vectorthis.weblogHandle: Addr_Set{null}, Inverse{null}2009-09-04 18:33:31

  • + String getWeblogHandle()

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

  • + bool isLocale(String)

    • -/+ Kind Annotation Text Date
    +postreturn_value == 02009-09-04 18:33:31
    +test_vectorjava.lang.String:length(...)@139: {0..4, 6..232-1}, {5}2009-09-04 18:33:31
    +test_vectorjava.lang.String:length(...)@139: {2}, {0,1, 3..232-1}2009-09-04 18:33:31
    +test_vectorpotentialLocale: Addr_Set{null}, Inverse{null}2009-09-04 18:33:31

  • + void org.apache.roller.weblogger.ui.rendering.util.WeblogRequest()

    • -/+ Kind Annotation Text Date
    +postthis.authenticUser == null2009-09-04 18:33:31
    +postthis.locale == null2009-09-04 18:33:31
    +postthis.localeInstance == null2009-09-04 18:33:31
    +postthis.pathInfo == null2009-09-04 18:33:31
    +postthis.request == null2009-09-04 18:33:31
    +postthis.user == null2009-09-04 18:33:31
    +postthis.weblog == null2009-09-04 18:33:31
    +postthis.weblogHandle == null2009-09-04 18:33:31

  • + void org.apache.roller.weblogger.ui.rendering.util.WeblogRequest(HttpServletRequest)

    • -/+ Kind Annotation Text Date
    +prelog != null2009-09-04 18:33:31
    +prerequest != null2009-09-04 18:33:31
    +presumptionjava.lang.String:length(...)@89 >= 12009-09-04 18:33:31
    +postinit'ed(this.authenticUser)2009-09-04 18:33:31
    +postinit'ed(this.locale)2009-09-04 18:33:31
    +postinit'ed(this.pathInfo)2009-09-04 18:33:31
    +postjava.lang.String:substring(...)._tainted == 02009-09-04 18:33:31
    +postthis.localeInstance == null2009-09-04 18:33:31
    +postthis.request != null2009-09-04 18:33:31
    +postthis.request == request2009-09-04 18:33:31
    +postthis.user == null2009-09-04 18:33:31
    +postthis.weblog == null2009-09-04 18:33:31
    +postthis.weblogHandle == null2009-09-04 18:33:31
    +unanalyzedcall on java.lang.String:length2009-09-04 18:33:31
    +unanalyzedcall on java.lang.String:split2009-09-04 18:33:31
    +unanalyzedcall on java.security.Principal:getName2009-09-04 18:33:31
    +unanalyzedcall on javax.servlet.http.HttpServletRequest:getUs erPrincipal2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger. WebloggerException2009-09-04 18:33:31
    +test_vectorjava.lang.String:endsWith(...)@84: {0}, {1}2009-09-04 18:33:31
    +test_vectorjava.lang.String:length(...)@106: {0}, {1..232-1}2009-09-04 18:33:31
    +test_vectorjava.lang.String:length(...)@78: {0,1}, {2..232-1}2009-09-04 18:33:31
    +test_vectorjavax.servlet.http.HttpServletRequest:getPathInfo(. ..)@73: Addr_Set{null}, Inverse{null}2009-09-04 18:33:31
    +test_vectororg.apache.commons.logging.Log:isDebugEnabled(... )@122: {0}, {1}2009-09-04 18:33:31

  • + org.apache.roller.weblogger.ui.rendering.util.WeblogRequest__static_init

    • -/+ Kind Annotation Text Date
    +postinit'ed(log)2009-09-04 18:33:31

  • + void setLocale(String)

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

  • + void setLocaleInstance(Locale)

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

  • + void setPathInfo(String)

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

  • + void setWeblog(Weblog)

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

  • + void setWeblogHandle(String)

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