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


  • + void doGet(HttpServletRequest, HttpServletResponse)

    • -/+ Kind Annotation Text Date
    +prerequest != null2009-09-04 18:33:31
    +preresponse != null2009-09-04 18:33:31
    +presumptioninit'ed(java.lang.Boolean.TRUE)2009-09-04 18:33:31
    +presumptionjava.lang.String:indexOf(...)@82 <= 232-22009-09-04 18:33:31
    +presumptionjava.util.Iterator:next(...)@133 != null2009-09-04 18:33:31
    +presumptionjavax.servlet.http.HttpServletResponse:getWriter(.. .)@124 != null2009-09-04 18:33:31
    +presumptionjavax.servlet.http.HttpServletResponse:getWriter(.. .)@125 != null2009-09-04 18:33:31
    +presumptionjavax.servlet.http.HttpServletResponse:getWriter(.. .)@126 != null2009-09-04 18:33:31
    +presumptionjavax.servlet.http.HttpServletResponse:getWriter(.. .)@127 != null2009-09-04 18:33:31
    +presumptionjavax.servlet.http.HttpServletResponse:getWriter(.. .)@128 != null2009-09-04 18:33:31
    +presumptionjavax.servlet.http.HttpServletResponse:getWriter(.. .)@129 != null2009-09-04 18:33:31
    +presumptionjavax.servlet.http.HttpServletResponse:getWriter(.. .)@130 != null2009-09-04 18:33:31
    +presumptionjavax.servlet.http.HttpServletResponse:getWriter(.. .)@131 != null2009-09-04 18:33:31
    +presumptionjavax.servlet.http.HttpServletResponse:getWriter(.. .)@134 != null2009-09-04 18:33:31
    +presumptionjavax.servlet.http.HttpServletResponse:getWriter(.. .)@135 != null2009-09-04 18:33:31
    +presumptionjavax.servlet.http.HttpServletResponse:getWriter(.. .)@136 != null2009-09-04 18:33:31
    +presumptionjavax.servlet.http.HttpServletResponse:getWriter(.. .)@137 != null2009-09-04 18:33:31
    +presumptionjavax.servlet.http.HttpServletResponse:getWriter(.. .)@138 != null2009-09-04 18:33:31
    +presumptionjavax.servlet.http.HttpServletResponse:getWriter(.. .)@139 != null2009-09-04 18:33:31
    +presumptionjavax.servlet.http.HttpServletResponse:getWriter(.. .)@141 != null2009-09-04 18:33:31
    +presumptionjavax.servlet.http.HttpServletResponse:getWriter(.. .)@143 != null2009-09-04 18:33:31
    +presumptionorg.apache.roller.weblogger.business. UserManager:getWebsiteByHandle(...)@113 != null2009-09-04 18:33:31
    +presumptionorg.apache.roller.weblogger.business. WeblogManager:getTags(...)@122 != null2009-09-04 18:33:31
    +presumptionorg.apache.roller.weblogger.business. Weblogger:getUserManager(...)@112 != null2009-09-04 18:33:31
    +presumptionorg.apache.roller.weblogger.business. Weblogger:getWeblogManager(...)@105 != null2009-09-04 18:33:31
    +presumptionorg.apache.roller.weblogger.business. WebloggerFactory:getWeblogger(...)@101 != null2009-09-04 18:33:31
    +presumptionorg.apache.roller.weblogger.business. WebloggerFactory:getWeblogger(...)@112 != null2009-09-04 18:33:31
    +test_vectorjava.lang.String:indexOf(...)@82: {-231.. -1}, {0..232-2}2009-09-04 18:33:31
    +test_vectorjava.lang.String:indexOf(...)@91: {-231.. -1}, {0..232-1}2009-09-04 18:33:31
    +test_vectorjava.lang.String:length(...)@97: {0}, {1..232-1}2009-09-04 18:33:31
    +test_vectorjava.lang.String:startsWith(...)@78: {0}, {1}2009-09-04 18:33:31
    +test_vectorjava.util.Iterator:hasNext(...)@132: {0}, {1}2009-09-04 18:33:31
    +test_vectorjava.util.Iterator:hasNext(...)@140: {0}, {1}2009-09-04 18:33:31
    +test_vectorjavax.servlet.http.HttpServletRequest:getParameter( ...)@61: Addr_Set{null}, Inverse{null}2009-09-04 18:33:31
    +test_vectorjavax.servlet.http.HttpServletRequest:getPathInfo(. ..)@71: Addr_Set{null}, Inverse{null}2009-09-04 18:33:31
    +test_vectorthis.MAX_LENGTH: {-231..-1}, {0..232-2}2009-09-04 18:33:31

  • + void doPost(HttpServletRequest, HttpServletResponse)

    • -/+ Kind Annotation Text Date
    +prerequest != null2009-09-04 18:33:31
    +preresponse != null2009-09-04 18:33:31
    +unanalyzedcall on java.io.PrintWriter:print2009-09-04 18:33:31
    +unanalyzedcall on java.io.PrintWriter:println2009-09-04 18:33:31
    +unanalyzedcall on java.lang.Integer:parseInt2009-09-04 18:33:31
    +unanalyzedcall on java.lang.String:indexOf2009-09-04 18:33:31
    +unanalyzedcall on java.lang.String:length2009-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.Throwable:__curr_excep_obj2009-09-04 18:33:31
    +unanalyzedcall on java.util.List:iterator2009-09-04 18:33:31
    +unanalyzedcall on javax.servlet.ServletException2009-09-04 18:33:31
    +unanalyzedcall on javax.servlet.http.HttpServletRequest:getPa rameter2009-09-04 18:33:31
    +unanalyzedcall on javax.servlet.http.HttpServletRequest:getPa thInfo2009-09-04 18:33:31
    +unanalyzedcall on javax.servlet.http.HttpServletResponse:flus hBuffer2009-09-04 18:33:31
    +unanalyzedcall on javax.servlet.http.HttpServletResponse:getW riter2009-09-04 18:33:31
    +unanalyzedcall on javax.servlet.http.HttpServletResponse:send Error2009-09-04 18:33:31
    +unanalyzedcall on javax.servlet.http.HttpServletResponse:setC ontentType2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger. WebloggerException:getMessage2009-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. WeblogManager:getTags2009-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. Weblogger:getWeblogManager2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.pojos. Weblog:getHandle2009-09-04 18:33:31