Messages

method | net.sourceforge.pebble.logging.NullLogger__static_ init

method | void net.sourceforge.pebble.logging. NullLogger(Blog)
post | this.blog == blog
post | init'ed(this.blog)

method | void log(HttpServletRequest, int)

method | void start()

method | void stop()

method | String getLogFile(int, int, int)
post | return_value == &""

method | Log getLog(int, int, int)
pre | init'ed(this.blog)
post | return_value == &new Log(getLog#1)
post | new ArrayList(Log#1) num objects == 0
post | new ArrayList(getLog#2) num objects == 1
post | new Log(getLog#1) num objects == 1
post | return_value.blog == this.blog
post | init'ed(return_value.blog)
post | return_value.logEntries == &new ArrayList(getLog#2)
unanalyzed | call on java.util.ArrayList

method | LogSummary getLogSummary(int, int, int)
pre | month >= -231+1
pre | this.blog != null
presumption | net.sourceforge.pebble.domain.Blog:getCalendar(... )@110 != null
post | return_value == &new LogSummaryItem(getLogSumma ry#1)
post | new LogSummaryItem(getLogSummary#1) num objects == 1
post | return_value.blog == this.blog
post | return_value.blog != null
post | init'ed(return_value.date)
post | return_value.totalRequests == 0
unanalyzed | call on net.sourceforge.pebble.logging.LogSummary

| info | method not available | -- call on Calendar net.sourceforge.pebble.domain. Blog:getCalendar()