Messages

method | net.sourceforge.pebble.logging.AbstractLogger__ static_init

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

method | String getLogFile()
pre | this.blog != null
presumption | java.util.Calendar:get(...)@92 <= 232-2
presumption | net.sourceforge.pebble.domain.Blog:getCalendar(... )@91 != 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
unanalyzed | call on net.sourceforge.pebble.domain. Blog:getLogsDirectory
unanalyzed | call on java.io.File
unanalyzed | call on java.io.File:exists
unanalyzed | call on java.io.FileReader
unanalyzed | call on java.io.BufferedReader
unanalyzed | call on java.io.BufferedReader:readLine
unanalyzed | call on java.io.BufferedReader:close
unanalyzed | call on java.lang.Exception:printStackTrace
unanalyzed | call on java.lang.System:getProperty

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

| info | method not available | -- call on String getLogFile(int, int, int)

method | String getLogFile(int, int)
pre | month >= -231+1
pre | this.blog != null
presumption | java.util.Calendar:getActualMaximum(...)@107 <= 232-2
presumption | net.sourceforge.pebble.domain.Blog:getCalendar(... )@104 != 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
unanalyzed | call on net.sourceforge.pebble.domain. Blog:getLogsDirectory
unanalyzed | call on java.io.File
unanalyzed | call on java.io.File:exists
unanalyzed | call on java.io.FileReader
unanalyzed | call on java.io.BufferedReader
unanalyzed | call on java.io.BufferedReader:readLine
unanalyzed | call on java.io.BufferedReader:close
unanalyzed | call on java.lang.Exception:printStackTrace
unanalyzed | call on java.lang.System:getProperty

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

| info | method not available | -- call on String getLogFile(int, int, int)

method | Log getLog()
pre | this.blog != null
presumption | java.util.Calendar:get(...)@131 <= 232-2
presumption | net.sourceforge.pebble.domain.Blog:getCalendar(... )@130 != null
post | return_value != null
post | new ArrayList(Log#1) num objects == 0
post | new ArrayList(getLog#1*) num objects <= 1
post | new ArrayList(getLog#2*) num objects <= 1
post | new Log(getLog#1*) num objects <= 1
post | new Log(getLog#1*).blog == this.blog
post | new Log(getLog#1*).blog != null
post | new Log(getLog#1*).logEntries != null
post | new Log(getLog#6*) num objects <= 1
post | new Log(getLog#6*).blog == this.blog
post | new Log(getLog#6*).blog != null
post | new Log(getLog#6*).logEntries != null
unanalyzed | call on java.util.ArrayList
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.domain. Blog:getLogsDirectory
unanalyzed | call on java.io.File
unanalyzed | call on java.io.File:exists
unanalyzed | call on java.io.FileReader
unanalyzed | call on java.io.BufferedReader
unanalyzed | call on java.io.BufferedReader:readLine
unanalyzed | call on java.io.BufferedReader:close
unanalyzed | call on java.lang.Exception:printStackTrace
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.List:add

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

| info | method not available | -- call on Log getLog(int, int, int)

method | Log getLog(int, int)
pre | month >= -231+1
pre | this.blog != null
presumption | java.util.Calendar:getActualMaximum(...)@146 <= 232-2
presumption | net.sourceforge.pebble.domain.Blog:getCalendar(... )@143 != null
post | return_value == &new Log(getLog#2)
post | init'ed(new ArrayList(Log#1) num objects)
post | new HashSet(getLog#1) num objects == 1
post | new Log(getLog#2) num objects == 1
post | return_value.blog == this.blog
post | return_value.blog != null
post | return_value.logEntries == &new HashSet(getLog#1)
unanalyzed | call on java.util.ArrayList
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.domain. Blog:getLogsDirectory
unanalyzed | call on java.io.File
unanalyzed | call on java.io.File:exists
unanalyzed | call on java.io.FileReader
unanalyzed | call on java.io.BufferedReader
unanalyzed | call on java.io.BufferedReader:readLine
unanalyzed | call on java.io.BufferedReader:close
unanalyzed | call on java.lang.Exception:printStackTrace
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.List:add
unanalyzed | call on java.util.Collections:unmodifiableCollectio n

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

| info | method not available | -- call on Log getLog(int, int, int)

method | LogSummary getLogSummary()
pre | this.blog != null
presumption | java.util.Calendar:get(...)@170 <= 232-2
presumption | net.sourceforge.pebble.domain.Blog:getCalendar(... )@169 != null
post | return_value != null
post | new LogSummaryItem(getLogSummary#1*) num objects <= 1
post | new LogSummaryItem(getLogSummary#1*).blog == this.blog
post | new LogSummaryItem(getLogSummary#1*).blog != null
post | init'ed(new LogSummaryItem(getLogSummary#1*).date)
post | new LogSummaryItem(getLogSummary#1*).totalRequests == 0
post | new LogSummaryItem(getLogSummary#4*) num objects <= 1
post | new LogSummaryItem(getLogSummary#4*).blog == this.blog
post | new LogSummaryItem(getLogSummary#4*).blog != null
post | init'ed(new LogSummaryItem(getLogSummary#4*).date)
post | new LogSummaryItem(getLogSummary#4*).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.domain. Blog:getLogsDirectory
unanalyzed | call on java.io.File
unanalyzed | call on java.io.File:exists
unanalyzed | call on java.io.FileReader
unanalyzed | call on java.io.BufferedReader
unanalyzed | call on java.io.BufferedReader:readLine
unanalyzed | call on java.io.BufferedReader:close
unanalyzed | call on java.lang.Exception:printStackTrace
unanalyzed | call on net.sourceforge.pebble.logging.LogSummary

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

| info | method not available | -- call on LogSummary getLogSummary(int, int, int)

method | LogSummary getLogSummary(int, int)
pre | month >= -231+1
pre | this.blog != null
presumption | java.util.Calendar:getActualMaximum(...)@187 <= 232-2
presumption | net.sourceforge.pebble.domain.Blog:getCalendar(... )@181 != null
post | return_value == &new LogSummaryContainer(getLog Summary#2)
post | new ArrayList(getLogSummary#1) num objects == 1
post | new LogSummaryContainer(getLogSummary#2) num objects == 1
post | return_value.blog == this.blog
post | return_value.blog != null
post | init'ed(return_value.date)
post | return_value.logSummaries == &new ArrayList(getLogSummary#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 net.sourceforge.pebble.domain. Blog:getLogsDirectory
unanalyzed | call on java.io.File
unanalyzed | call on java.io.File:exists
unanalyzed | call on java.io.FileReader
unanalyzed | call on java.io.BufferedReader
unanalyzed | call on java.io.BufferedReader:readLine
unanalyzed | call on java.io.BufferedReader:close
unanalyzed | call on java.lang.Exception:printStackTrace
unanalyzed | call on net.sourceforge.pebble.logging.LogSummary

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

| info | method not available | -- call on LogSummary getLogSummary(int, int, int)

method | LogSummary getLogSummary(int)
pre | this.blog != null
presumption | net.sourceforge.pebble.domain.Blog:getCalendar(... )@201 != null
post | return_value == &new LogSummaryContainer(getLog Summary#2)
post | new ArrayList(getLogSummary#1) num objects == 1
post | new LogSummaryContainer(getLogSummary#2) num objects == 1
post | return_value.blog == this.blog
post | return_value.blog != null
post | init'ed(return_value.date)
post | return_value.logSummaries == &new ArrayList(getLogSummary#1)
unanalyzed | call on net.sourceforge.pebble.domain. Blog:getCalendar
unanalyzed | call on java.util.Calendar:set
unanalyzed | call on java.util.Calendar:getActualMaximum
unanalyzed | call on java.util.Calendar:getTime
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.io.File:exists
unanalyzed | call on java.io.FileReader
unanalyzed | call on java.io.BufferedReader
unanalyzed | call on java.io.BufferedReader:readLine
unanalyzed | call on java.io.BufferedReader:close
unanalyzed | call on java.lang.Exception:printStackTrace
unanalyzed | call on getLogSummary
unanalyzed | call on net.sourceforge.pebble.logging.LogSummary
unanalyzed | call on java.util.ArrayList
unanalyzed | call on java.util.List:add

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