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: {-231..-1}, {0..232-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 >= -231+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 >= -231+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

+ |
| 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 >= -231+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

+ |
| low
| overflow | check might fail: requires totalRequests in -231-1..232-2

Prev Msg Next Msg

method | String getFilename(int, int, int)
pre | month >= -231+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

+ |
| medium
| null dereference | check might fail: requires writer != null

Prev Msg Next Msg