WeblogPageRequest.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 getContext()

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

  • + Map getCustomParams()

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

  • + 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

  • + List getTags()

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

  • + String getWeblogAnchor()

    • -/+ Kind Annotation Text Date
    +preinit'ed(this.weblogAnchor)2009-09-04 18:33:31
    +postinit'ed(return_value)2009-09-04 18:33:31
    +postreturn_value == this.weblogAnchor2009-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(...)@369 != null2009-09-04 18:33:31
    +presumptionorg.apache.roller.weblogger.business. WebloggerFactory:getWeblogger(...)@369 != 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

  • + String getWeblogDate()

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

  • + WeblogEntry getWeblogEntry()

    • -/+ Kind Annotation Text Date
    +pre(soft) init'ed(this.weblog)2009-09-04 18:33:31
    +pre(soft) init'ed(this.weblogAnchor)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.weblogEntry)2009-09-04 18:33:31
    +presumptionorg.apache.roller.weblogger.business. Weblogger:getWeblogManager(...)@334 != null2009-09-04 18:33:31
    +presumptionorg.apache.roller.weblogger.business. WebloggerFactory:getWeblogger(...)@334 != 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.weblogEntry == 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.weblogAnchor: Addr_Set{null}, Inverse{null}2009-09-04 18:33:31
    +test_vectorthis.weblogEntry: Inverse{null}, Addr_Set{null}2009-09-04 18:33:31

  • + ThemeTemplate getWeblogPage()

    • -/+ Kind Annotation Text Date
    +pre(soft) init'ed(this.weblogHandle)2009-09-04 18:33:31
    +pre(soft) init'ed(this.weblogPageName)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.weblogPage)2009-09-04 18:33:31
    +presumptionorg.apache.roller.weblogger.pojos.Weblog:getTheme(. ..)@352 != null2009-09-04 18:33:31
    +postinit'ed(return_value)2009-09-04 18:33:31
    +postpossibly_updated(this.weblog)2009-09-04 18:33:31
    +postthis.weblogPage == 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.weblogPage: Inverse{null}, Addr_Set{null}2009-09-04 18:33:31
    +test_vectorthis.weblogPageName: Addr_Set{null}, Inverse{null}2009-09-04 18:33:31

  • + String getWeblogPageName()

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

  • + bool isValidDateString(String)

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

  • + bool isValidDestination(String)

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

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

    • -/+ Kind Annotation Text Date
    +postnew HashMap(WeblogPageRequest#1) num objects == 12009-09-04 18:33:31
    +postthis.authenticUser == null2009-09-04 18:33:31
    +postthis.context == null2009-09-04 18:33:31
    +postthis.customParams == &new HashMap(WeblogPageReq uest#1)2009-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.request == null2009-09-04 18:33:31
    +postthis.tags == null2009-09-04 18:33:31
    +postthis.user == null2009-09-04 18:33:31
    +postthis.weblog == null2009-09-04 18:33:31
    +postthis.weblogAnchor == null2009-09-04 18:33:31
    +postthis.weblogCategory == null2009-09-04 18:33:31
    +postthis.weblogCategoryName == null2009-09-04 18:33:31
    +postthis.weblogDate == null2009-09-04 18:33:31
    +postthis.weblogEntry == null2009-09-04 18:33:31
    +postthis.weblogHandle == null2009-09-04 18:33:31
    +postthis.weblogPage == null2009-09-04 18:33:31
    +postthis.weblogPageName == 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.WeblogPageRequest(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
    +prerequest != null2009-09-04 18:33:31
    +presumption(!(javax.servlet.http.HttpServletRequest:getParamet er(...)@201 == null) & org.apache.commons.lang. StringUtils:isNumeric(...)@262 != 0 & java.lang.String:length(...)@262 == 6) | (!(javax.servlet.http.HttpServletRequest:getParame ter(...)@201...2009-09-04 18:33:31
    +presumptionjava.lang.String:equals(...)@159 == 12009-09-04 18:33:31
    +presumptionjava.lang.String:equals(...)@256 == 12009-09-04 18:33:31
    +presumptionjava.lang.String:equals(...)@74 == 12009-09-04 18:33:31
    +presumptionjavax.servlet.http.HttpServletRequest:getParameter( ...)@201 != null2009-09-04 18:33:31
    +presumptionjavax.servlet.http.HttpServletRequest:getParameter( ...)@201 == null | org.apache.commons.lang. StringUtils:isNumeric(...)@262 == 0 | java.lang.String:length(...)@262 == 6 | java.lang.String:length(...)@262 == 82009-09-04 18:33:31
    +presumptionjavax.servlet.http.HttpServletRequest:getServletPat h(...)@84 != null2009-09-04 18:33:31
    +presumptionorg.apache.commons.lang.StringUtils:isNumeric(... )@262 == 12009-09-04 18:33:31
    +presumptionorg.apache.roller.weblogger.util.URLUtilities:decod e(...)@211 != 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.localeInstance)2009-09-04 18:33:31
    +postinit'ed(this.pageNum)2009-09-04 18:33:31
    +postinit'ed(this.pathInfo)2009-09-04 18:33:31
    +postinit'ed(this.tags)2009-09-04 18:33:31
    +postinit'ed(this.user)2009-09-04 18:33:31
    +postinit'ed(this.weblog)2009-09-04 18:33:31
    +postinit'ed(this.weblogAnchor)2009-09-04 18:33:31
    +postinit'ed(this.weblogCategory)2009-09-04 18:33:31
    +postinit'ed(this.weblogCategoryName)2009-09-04 18:33:31
    +postinit'ed(this.weblogDate)2009-09-04 18:33:31
    +postinit'ed(this.weblogEntry)2009-09-04 18:33:31
    +postinit'ed(this.weblogPage)2009-09-04 18:33:31
    +postinit'ed(this.weblogPageName)2009-09-04 18:33:31
    +postjava.lang.String:substring(...)._tainted == 02009-09-04 18:33:31
    +postjava.lang.StringBuilder:toString(...)._tainted == 02009-09-04 18:33:31
    +postnew HashMap(WeblogPageRequest#1) num objects == 12009-09-04 18:33:31
    +postnew HashMap(WeblogPageRequest#17) num objects == 12009-09-04 18:33:31
    +postpossibly_updated(this.context)2009-09-04 18:33:31
    +postthis.customParams == &new HashMap(WeblogPageReq uest#17)2009-09-04 18:33:31
    +postthis.request != null2009-09-04 18:33:31
    +postthis.request == request2009-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:equals2009-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.lang.StringUtils:isNumer ic2009-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(...)@112: {0}, {1..232-1}2009-09-04 18:33:31
    +test_vectorjava.lang.String:startsWith(...)@215: {1}, {0}2009-09-04 18:33:31
    +test_vectorjavax.servlet.http.HttpServletRequest:getParameter( ...)@186: Addr_Set{null}, Inverse{null}2009-09-04 18:33:31
    +test_vectorjavax.servlet.http.HttpServletRequest:getParameter( ...)@191: Addr_Set{null}, Inverse{null}2009-09-04 18:33:31
    +test_vectorjavax.servlet.http.HttpServletRequest:getParameter( ...)@200: Addr_Set{null}, Inverse{null}2009-09-04 18:33:31
    +test_vectorjavax.servlet.http.HttpServletRequest:getParameter( ...)@210: Addr_Set{null}, Inverse{null}2009-09-04 18:33:31
    +test_vectorjavax.servlet.http.HttpServletRequest:getParameter( ...)@223: Addr_Set{null}, Inverse{null}2009-09-04 18:33:31
    +test_vectororg.apache.commons.lang.StringUtils:isNotEmpty(... )@188: {0}, {1}2009-09-04 18:33:31
    +test_vectororg.apache.commons.lang.StringUtils:isNotEmpty(... )@193: {0}, {1}2009-09-04 18:33:31
    +test_vectororg.apache.commons.logging.Log:isDebugEnabled(... )@243: {0}, {1}2009-09-04 18:33:31

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

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

  • + void setContext(String)

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

  • + void setCustomParams(Map)

    • -/+ Kind Annotation Text Date
    +postinit'ed(this.customParams)2009-09-04 18:33:31
    +postthis.customParams == customParams2009-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 setTags(List)

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

  • + void setWeblogAnchor(String)

    • -/+ Kind Annotation Text Date
    +postinit'ed(this.weblogAnchor)2009-09-04 18:33:31
    +postthis.weblogAnchor == weblogAnchor2009-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

  • + void setWeblogDate(String)

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

  • + void setWeblogEntry(WeblogEntry)

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

  • + void setWeblogPage(WeblogTemplate)

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

  • + void setWeblogPageName(String)

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