WeblogPreviewResourceRequest.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 getAuthenticUser()

  • -/+ Kind Annotation Text Date
    +postreturn_value == null2009-09-04 18:33:31

  • + Theme getTheme()

  • -/+ Kind Annotation Text Date
    +pre(soft) init'ed(this.themeName)2009-09-04 18:33:31
    +pre(soft) log != null2009-09-04 18:33:31
    +preinit'ed(this.theme)2009-09-04 18:33:31
    +presumptionorg.apache.roller.weblogger.business. Weblogger:getThemeManager(...)@87 != null2009-09-04 18:33:31
    +presumptionorg.apache.roller.weblogger.business. WebloggerFactory:getWeblogger(...)@87 != null2009-09-04 18:33:31
    +postinit'ed(return_value)2009-09-04 18:33:31
    +postthis.theme == return_value2009-09-04 18:33:31
    +test_vectorthis.theme: Inverse{null}, Addr_Set{null}2009-09-04 18:33:31
    +test_vectorthis.themeName: Addr_Set{null}, Inverse{null}2009-09-04 18:33:31

  • + String getThemeName()

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

  • + bool isLoggedIn()

  • -/+ Kind Annotation Text Date
    +postreturn_value == 02009-09-04 18:33:31

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

  • -/+ 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.resourcePath == null2009-09-04 18:33:31
    +postthis.theme == null2009-09-04 18:33:31
    +postthis.themeName == 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
    +unanalyzedcall on org.apache.roller.weblogger.ui.rendering. util.ParsedRequest2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.ui.rendering. util.WeblogRequest2009-09-04 18:33:31

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

  • -/+ Kind Annotation Text Date
    +prelog != null2009-09-04 18:33:31
    +preorg/apache/roller/weblogger/ui/rendering/util/Weblo gRequest.log != null2009-09-04 18:33:31
    +preorg/apache/roller/weblogger/ui/rendering/util/Weblo gResourceRequest.log != null2009-09-04 18:33:31
    +prerequest != null2009-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.resourcePath)2009-09-04 18:33:31
    +postinit'ed(this.themeName)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.pathInfo != null2009-09-04 18:33:31
    +postthis.request != null2009-09-04 18:33:31
    +postthis.request == request2009-09-04 18:33:31
    +postthis.theme == null2009-09-04 18:33:31
    +postthis.user == null2009-09-04 18:33:31
    +postthis.weblog == null2009-09-04 18:33:31
    +postthis.weblogHandle == One-of{null, undefined}2009-09-04 18:33:31
    +postthis.weblogHandle == null2009-09-04 18:33:31
    +unanalyzedcall on getPathInfo2009-09-04 18:33:31
    +unanalyzedcall on java.lang.String:endsWith2009-09-04 18:33:31
    +unanalyzedcall on java.lang.String:length2009-09-04 18:33:31
    +unanalyzedcall on java.lang.String:replaceAll2009-09-04 18:33:31
    +unanalyzedcall on java.lang.String:split2009-09-04 18:33:31
    +unanalyzedcall on java.lang.String:startsWith2009-09-04 18:33:31
    +unanalyzedcall on java.lang.String:substring2009-09-04 18:33:31
    +unanalyzedcall on java.lang.String:trim2009-09-04 18:33:31
    +unanalyzedcall on java.security.Principal:getName2009-09-04 18:33:31
    +unanalyzedcall on javax.servlet.http.HttpServletRequest:getPa thInfo2009-09-04 18:33:31
    +unanalyzedcall on javax.servlet.http.HttpServletRequest:getRe questURL2009-09-04 18:33:31
    +unanalyzedcall on javax.servlet.http.HttpServletRequest:getSe rvletPath2009-09-04 18:33:31
    +unanalyzedcall on javax.servlet.http.HttpServletRequest:getUs erPrincipal2009-09-04 18:33:31
    +unanalyzedcall on org.apache.commons.logging.Log:debug2009-09-04 18:33:31
    +unanalyzedcall on org.apache.commons.logging.Log:isDebugEnabl ed2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger. WebloggerException2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.ui.rendering. util.ParsedRequest2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.ui.rendering. util.WeblogRequest2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.util. URLUtilities:decode2009-09-04 18:33:31
    +test_vectorjavax.servlet.http.HttpServletRequest:getParameter( ...)@56: Addr_Set{null}, Inverse{null}2009-09-04 18:33:31
    +test_vectororg.apache.commons.logging.Log:isDebugEnabled(... )@60: {0}, {1}2009-09-04 18:33:31

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

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

  • + void setTheme(Theme)

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

  • + void setThemeName(String)

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