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 >= -2³¹+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()