Messages

Last Msg First Msg

method

net.sourceforge.pebble.logging.CombinedLogFormatLo gger__static_init

method	void net.sourceforge.pebble.logging. CombinedLogFormatLogger(Blog)
pre	blog != null
post	this.blog == blog
post	this.blog != null
post	this.entries == &new ArrayList(CombinedLogForma tLogger#2)
post	this.filenameFormat == &new SimpleDateFormat(Co mbinedLogFormatLogger#1)
post	new ArrayList(CombinedLogFormatLogger#2) num objects == 1
post	new SimpleDateFormat(CombinedLogFormatLogger#1) num objects == 1

info method not available -- call on TimeZone net.sourceforge.pebble.domain. Blog:getTimeZone()

method	void log(HttpServletRequest, int)
pre	request != null
pre	this.blog != null
pre	this.entries != null
pre	(soft) this.filenameFormat != null
presumption	net.sourceforge.pebble.domain.Blog:getCalendar(... )@75 != null
unanalyzed	call on java.text.SimpleDateFormat:format
unanalyzed	call on net.sourceforge.pebble.domain. Blog:getLogsDirectory
unanalyzed	call on java.io.File
unanalyzed	call on java.text.SimpleDateFormat
unanalyzed	call on net.sourceforge.pebble.domain. Blog:getTimeZone
unanalyzed	call on java.text.SimpleDateFormat:setTimeZone
unanalyzed	call on java.util.Date
unanalyzed	call on java.util.List:iterator
unanalyzed	call on java.lang.String:equals
unanalyzed	call on java.io.BufferedWriter:flush
unanalyzed	call on java.io.BufferedWriter:close
unanalyzed	call on java.io.FileWriter
unanalyzed	call on java.io.BufferedWriter
unanalyzed	call on java.io.BufferedWriter:write
unanalyzed	call on java.io.BufferedWriter:newLine
unanalyzed	call on java.util.List:clear
unanalyzed	call on java.io.IOException:printStackTrace
test_vector	java.util.List:size(...)@86: {-2³¹..-1}, {0..2³²-1}

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

method	void flush()
pre	(soft) this.blog != null
pre	(soft) this.entries != null
pre	(soft) this.filenameFormat != null
unanalyzed	call on java.text.SimpleDateFormat:format
unanalyzed	call on net.sourceforge.pebble.domain. Blog:getLogsDirectory
unanalyzed	call on java.io.File
unanalyzed	call on java.text.SimpleDateFormat
unanalyzed	call on net.sourceforge.pebble.domain. Blog:getTimeZone
unanalyzed	call on java.text.SimpleDateFormat:setTimeZone
unanalyzed	call on java.util.List:iterator
unanalyzed	call on java.lang.String:equals
unanalyzed	call on java.io.BufferedWriter:flush
unanalyzed	call on java.io.BufferedWriter:close
unanalyzed	call on java.io.FileWriter
unanalyzed	call on java.io.BufferedWriter
unanalyzed	call on java.io.BufferedWriter:write
unanalyzed	call on java.io.BufferedWriter:newLine

method

void start()

method	void stop()
pre	(soft) this.blog != null
pre	(soft) this.entries != null
pre	(soft) this.filenameFormat != null
unanalyzed	call on java.text.SimpleDateFormat:format
unanalyzed	call on net.sourceforge.pebble.domain. Blog:getLogsDirectory
unanalyzed	call on java.io.File
unanalyzed	call on java.text.SimpleDateFormat
unanalyzed	call on net.sourceforge.pebble.domain. Blog:getTimeZone
unanalyzed	call on java.text.SimpleDateFormat:setTimeZone
unanalyzed	call on java.util.List:iterator
unanalyzed	call on java.lang.String:equals
unanalyzed	call on java.io.BufferedWriter:flush
unanalyzed	call on java.io.BufferedWriter:close
unanalyzed	call on java.io.FileWriter
unanalyzed	call on java.io.BufferedWriter
unanalyzed	call on java.io.BufferedWriter:write
unanalyzed	call on java.io.BufferedWriter:newLine
unanalyzed	call on java.util.List:clear
unanalyzed	call on java.io.IOException:printStackTrace

method	String getLogFile(int, int, int)
pre	(soft) month >= -2³¹+1
pre	(soft) this.blog != null
pre	(soft) this.filenameFormat != null
post	return_value != null
unanalyzed	call on net.sourceforge.pebble.domain. Blog:getCalendar
unanalyzed	call on java.util.Calendar:set
unanalyzed	call on java.util.Calendar:getTime
unanalyzed	call on java.text.SimpleDateFormat:format
test_vector	java.io.File:exists(...)@126: {0}, {1}

info method not available -- call on String net.sourceforge.pebble.domain. Blog:getLogsDirectory()

method	Log getLog(int, int, int)
pre	this.blog != null
pre	(soft) month >= -2³¹+1
pre	(soft) this.filenameFormat != null
post	return_value == &new Log(getLog#6)
post	new ArrayList(Log#1) num objects == 0
post	new ArrayList(getLog#1) num objects == 1
post	new Log(getLog#6) num objects == 1
post	return_value.blog == this.blog
post	return_value.blog != null
post	return_value.logEntries == &new ArrayList(getLog#1)
unanalyzed	call on net.sourceforge.pebble.domain. Blog:getCalendar
unanalyzed	call on java.util.Calendar:set
unanalyzed	call on java.util.Calendar:getTime
unanalyzed	call on java.text.SimpleDateFormat:format
unanalyzed	call on java.text.SimpleDateFormat
unanalyzed	call on net.sourceforge.pebble.domain. Blog:getTimeZone
unanalyzed	call on java.text.SimpleDateFormat:setTimeZone
unanalyzed	call on java.util.Date
unanalyzed	call on java.lang.String:indexOf
unanalyzed	call on java.lang.String:substring
unanalyzed	call on java.lang.String:charAt
unanalyzed	call on java.lang.String:length
unanalyzed	call on java.lang.String:equals
unanalyzed	call on java.text.SimpleDateFormat:parse
unanalyzed	call on java.lang.Integer:parseInt
unanalyzed	call on java.lang.Long:parseLong
unanalyzed	call on java.util.ArrayList
test_vector	java.io.File:exists(...)@158: {0}, {1}

info method not available -- call on String net.sourceforge.pebble.domain. Blog:getLogsDirectory()

Prev Msg Next Msg

+

click for all messages in this file warning

unused assignment in callee unused assignment to (new LogEntry(parse#1).date, new LogEntry(parse#1).request, new LogEntry(parse#1).statusCode, new LogEntry(parse#1 ).bytes, new LogEntry(parse#1).host, new LogEntry(parse#1).referer, new LogEntry(parse#1). agent) in parse

Prev Msg Next Msg

method	LogSummary getLogSummary(int, int, int)
pre	month >= -2³¹+1
pre	this.blog != null
pre	(soft) this.filenameFormat != null
presumption	net.sourceforge.pebble.domain.Blog:getCalendar(... )@183 != null
post	return_value == &new LogSummaryItem(getLogSumma ry#4)
post	new LogSummaryItem(getLogSummary#4) 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.domain. Blog:getCalendar
unanalyzed	call on java.util.Calendar:set
unanalyzed	call on java.util.Calendar:getTime
unanalyzed	call on java.text.SimpleDateFormat:format
unanalyzed	call on net.sourceforge.pebble.logging.LogSummary
test_vector	java.io.File:exists(...)@192: {0}, {1}

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

info method not available -- call on String net.sourceforge.pebble.domain. Blog:getLogsDirectory()

Prev Msg Next Msg

+

click for all messages in this file low

overflow check might fail: requires totalRequests in -2³¹-1..2³²-2

Prev Msg Next Msg

method	String getFilename(int, int, int)
pre	month >= -2³¹+1
pre	this.blog != null
pre	this.filenameFormat != null
presumption	net.sourceforge.pebble.domain.Blog:getCalendar(... )@217 != null
post	init'ed(return_value)

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

method	void write(List)
pre	entries != null
pre	this.blog != null
pre	(soft) this.filenameFormat != null
presumption	java.text.SimpleDateFormat:format(...)@240 != null
presumption	java.util.Iterator:next(...)@239 != null
unanalyzed	call on java.text.SimpleDateFormat
unanalyzed	call on net.sourceforge.pebble.domain. Blog:getTimeZone
unanalyzed	call on java.text.SimpleDateFormat:setTimeZone
unanalyzed	call on java.text.SimpleDateFormat:format
test_vector	java.lang.String:equals(...)@241: {1}, {0}
test_vector	java.util.Iterator:hasNext(...)@238: {1}, {0}

info method not available -- call on String net.sourceforge.pebble.domain. Blog:getLogsDirectory()

Prev Msg Next Msg

+

click for all messages in this file medium

null dereference check might fail: requires writer != null

Prev Msg Next Msg