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


  • + int getPageNum()

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

  • + String getQuery()

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

  • + WeblogCategory getWeblogCategory()

    • -/+ Kind Annotation Text Date
    +pre(soft) init'ed(this.weblog)2009-09-04 18:33:31
    +pre(soft) init'ed(this.weblogCategoryName)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
    +pre(soft) org/apache/roller/weblogger/ui/rendering/uti l/WeblogRequest.log != null2009-09-04 18:33:31
    +preinit'ed(this.weblogCategory)2009-09-04 18:33:31
    +presumptionorg.apache.roller.weblogger.business. Weblogger:getWeblogManager(...)@138 != null2009-09-04 18:33:31
    +presumptionorg.apache.roller.weblogger.business. WebloggerFactory:getWeblogger(...)@138 != null2009-09-04 18:33:31
    +postinit'ed(return_value)2009-09-04 18:33:31
    +postinit'ed(this.weblog)2009-09-04 18:33:31
    +postthis.weblogCategory == 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.weblogCategory: Inverse{null}, Addr_Set{null}2009-09-04 18:33:31
    +test_vectorthis.weblogCategoryName: Addr_Set{null}, Inverse{null}2009-09-04 18:33:31

  • + String getWeblogCategoryName()

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

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

    • -/+ 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.pageNum == 02009-09-04 18:33:31
    +postthis.pathInfo == null2009-09-04 18:33:31
    +postthis.query == 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.weblogCategory == null2009-09-04 18:33:31
    +postthis.weblogCategoryName == 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

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

    • -/+ Kind Annotation Text Date
    +preorg/apache/roller/weblogger/ui/rendering/util/Weblo gRequest.log != null2009-09-04 18:33:31
    +prerequest != null2009-09-04 18:33:31
    +presumptionjava.lang.String:equals(...)@65 == 12009-09-04 18:33:31
    +presumptionjavax.servlet.http.HttpServletRequest:getParameter( ...)@84 != null2009-09-04 18:33:31
    +presumptionjavax.servlet.http.HttpServletRequest:getParameter( ...)@98 != null2009-09-04 18:33:31
    +presumptionjavax.servlet.http.HttpServletRequest:getServletPat h(...)@59 != null2009-09-04 18:33:31
    +presumptionorg.apache.roller.weblogger.util.URLUtilities:decod e(...)@100 != null2009-09-04 18:33:31
    +postinit'ed(java.lang.StringBuilder:toString(...)._ tainted)2009-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.pageNum)2009-09-04 18:33:31
    +postinit'ed(this.query)2009-09-04 18:33:31
    +postinit'ed(this.weblogCategoryName)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.user == null2009-09-04 18:33:31
    +postthis.weblog == null2009-09-04 18:33:31
    +postthis.weblogCategory == 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 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:split2009-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: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
    +test_vectorjava.lang.String:length(...)@84: {0}, {1..232-1}2009-09-04 18:33:31
    +test_vectorjava.lang.String:length(...)@98: {0}, {1..232-1}2009-09-04 18:33:31
    +test_vectorjava.lang.String:startsWith(...)@104: {1}, {0}2009-09-04 18:33:31
    +test_vectorjavax.servlet.http.HttpServletRequest:getParameter( ...)@84: Addr_Set{null}, Inverse{null}2009-09-04 18:33:31
    +test_vectorjavax.servlet.http.HttpServletRequest:getParameter( ...)@89: Addr_Set{null}, Inverse{null}2009-09-04 18:33:31
    +test_vectorjavax.servlet.http.HttpServletRequest:getParameter( ...)@98: Addr_Set{null}, Inverse{null}2009-09-04 18:33:31

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

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

  • + void setPageNum(int)

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

  • + void setQuery(String)

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

  • + void setWeblogCategory(WeblogCategory)

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

  • + void setWeblogCategoryName(String)

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