ModDateHeaderUtil.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 org.apache.roller.weblogger.ui.rendering.util.ModDateHeaderUtil()

    • -/+ Kind Annotation Text Date

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

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

  • + bool respondIfNotModified(HttpServletRequest, HttpServletResponse, long)

    • -/+ Kind Annotation Text Date
    +pre(soft) lastModifiedTimeMillis%1_000 - lastModifiedTimeMillis in -18_446_744_073_709_551_ 615..2632009-09-04 18:33:31
    +pre(soft) request != null2009-09-04 18:33:31
    +pre(soft) response != null2009-09-04 18:33:31
    +presumptionorg.apache.commons.logging.LogFactory:getLog(... )@31 != null2009-09-04 18:33:31
    +postinit'ed(return_value)2009-09-04 18:33:31

  • + void setLastModifiedHeader(HttpServletResponse, long)

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