method net.sourceforge.pebble.logging.AbstractLogger__ static_init










method void net.sourceforge.pebble.logging. AbstractLogger(Blog)
postthis.blog == blog
postinit'ed(this.blog)










method String getLogFile()
prethis.blog != null
presumptionjava.util.Calendar:get(...)@92 <= 232-2
presumptionnet.sourceforge.pebble.domain.Blog:getCalendar(... )@91 != null
postreturn_value != null
unanalyzedcall on net.sourceforge.pebble.domain. Blog:getCalendar
unanalyzedcall on java.util.Calendar:set
unanalyzedcall on java.util.Calendar:getTime
unanalyzedcall on java.text.SimpleDateFormat:format
unanalyzedcall on net.sourceforge.pebble.domain. Blog:getLogsDirectory
unanalyzedcall on java.io.File
unanalyzedcall on java.io.File:exists
unanalyzedcall on java.io.FileReader
unanalyzedcall on java.io.BufferedReader
unanalyzedcall on java.io.BufferedReader:readLine
unanalyzedcall on java.io.BufferedReader:close
unanalyzedcall on java.lang.Exception:printStackTrace
unanalyzedcall on java.lang.System:getProperty









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










  infomethod not available-- call on String getLogFile(int, int, int)











method String getLogFile(int, int)
premonth >= -231+1
prethis.blog != null
presumptionjava.util.Calendar:getActualMaximum(...)@107 <= 232-2
presumptionnet.sourceforge.pebble.domain.Blog:getCalendar(... )@104 != null
postreturn_value != null
unanalyzedcall on net.sourceforge.pebble.domain. Blog:getCalendar
unanalyzedcall on java.util.Calendar:set
unanalyzedcall on java.util.Calendar:getTime
unanalyzedcall on java.text.SimpleDateFormat:format
unanalyzedcall on net.sourceforge.pebble.domain. Blog:getLogsDirectory
unanalyzedcall on java.io.File
unanalyzedcall on java.io.File:exists
unanalyzedcall on java.io.FileReader
unanalyzedcall on java.io.BufferedReader
unanalyzedcall on java.io.BufferedReader:readLine
unanalyzedcall on java.io.BufferedReader:close
unanalyzedcall on java.lang.Exception:printStackTrace
unanalyzedcall on java.lang.System:getProperty









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










  infomethod not available-- call on String getLogFile(int, int, int)











method Log getLog()
prethis.blog != null
presumptionjava.util.Calendar:get(...)@131 <= 232-2
presumptionnet.sourceforge.pebble.domain.Blog:getCalendar(... )@130 != null
postreturn_value != null
postnew ArrayList(Log#1) num objects == 0
postnew ArrayList(getLog#1*) num objects <= 1
postnew ArrayList(getLog#2*) num objects <= 1
postnew Log(getLog#1*) num objects <= 1
postnew Log(getLog#1*).blog == this.blog
postnew Log(getLog#1*).blog != null
postnew Log(getLog#1*).logEntries != null
postnew Log(getLog#6*) num objects <= 1
postnew Log(getLog#6*).blog == this.blog
postnew Log(getLog#6*).blog != null
postnew Log(getLog#6*).logEntries != null
unanalyzedcall on java.util.ArrayList
unanalyzedcall on net.sourceforge.pebble.domain. Blog:getCalendar
unanalyzedcall on java.util.Calendar:set
unanalyzedcall on java.util.Calendar:getTime
unanalyzedcall on java.text.SimpleDateFormat:format
unanalyzedcall on net.sourceforge.pebble.domain. Blog:getLogsDirectory
unanalyzedcall on java.io.File
unanalyzedcall on java.io.File:exists
unanalyzedcall on java.io.FileReader
unanalyzedcall on java.io.BufferedReader
unanalyzedcall on java.io.BufferedReader:readLine
unanalyzedcall on java.io.BufferedReader:close
unanalyzedcall on java.lang.Exception:printStackTrace
unanalyzedcall on java.text.SimpleDateFormat
unanalyzedcall on net.sourceforge.pebble.domain. Blog:getTimeZone
unanalyzedcall on java.text.SimpleDateFormat:setTimeZone
unanalyzedcall on java.util.Date
unanalyzedcall on java.lang.String:indexOf
unanalyzedcall on java.lang.String:substring
unanalyzedcall on java.lang.String:charAt
unanalyzedcall on java.lang.String:length
unanalyzedcall on java.lang.String:equals
unanalyzedcall on java.text.SimpleDateFormat:parse
unanalyzedcall on java.lang.Integer:parseInt
unanalyzedcall on java.lang.Long:parseLong
unanalyzedcall on java.util.List:add









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










  infomethod not available-- call on Log getLog(int, int, int)











method Log getLog(int, int)
premonth >= -231+1
prethis.blog != null
presumptionjava.util.Calendar:getActualMaximum(...)@146 <= 232-2
presumptionnet.sourceforge.pebble.domain.Blog:getCalendar(... )@143 != null
postreturn_value == &new Log(getLog#2)
postinit'ed(new ArrayList(Log#1) num objects)
postnew HashSet(getLog#1) num objects == 1
postnew Log(getLog#2) num objects == 1
postreturn_value.blog == this.blog
postreturn_value.blog != null
postreturn_value.logEntries == &new HashSet(getLog#1)
unanalyzedcall on java.util.ArrayList
unanalyzedcall on net.sourceforge.pebble.domain. Blog:getCalendar
unanalyzedcall on java.util.Calendar:set
unanalyzedcall on java.util.Calendar:getTime
unanalyzedcall on java.text.SimpleDateFormat:format
unanalyzedcall on net.sourceforge.pebble.domain. Blog:getLogsDirectory
unanalyzedcall on java.io.File
unanalyzedcall on java.io.File:exists
unanalyzedcall on java.io.FileReader
unanalyzedcall on java.io.BufferedReader
unanalyzedcall on java.io.BufferedReader:readLine
unanalyzedcall on java.io.BufferedReader:close
unanalyzedcall on java.lang.Exception:printStackTrace
unanalyzedcall on java.text.SimpleDateFormat
unanalyzedcall on net.sourceforge.pebble.domain. Blog:getTimeZone
unanalyzedcall on java.text.SimpleDateFormat:setTimeZone
unanalyzedcall on java.util.Date
unanalyzedcall on java.lang.String:indexOf
unanalyzedcall on java.lang.String:substring
unanalyzedcall on java.lang.String:charAt
unanalyzedcall on java.lang.String:length
unanalyzedcall on java.lang.String:equals
unanalyzedcall on java.text.SimpleDateFormat:parse
unanalyzedcall on java.lang.Integer:parseInt
unanalyzedcall on java.lang.Long:parseLong
unanalyzedcall on java.util.List:add
unanalyzedcall on java.util.Collections:unmodifiableCollectio n









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










  infomethod not available-- call on Log getLog(int, int, int)











method LogSummary getLogSummary()
prethis.blog != null
presumptionjava.util.Calendar:get(...)@170 <= 232-2
presumptionnet.sourceforge.pebble.domain.Blog:getCalendar(... )@169 != null
postreturn_value != null
postnew LogSummaryItem(getLogSummary#1*) num objects <= 1
postnew LogSummaryItem(getLogSummary#1*).blog == this.blog
postnew LogSummaryItem(getLogSummary#1*).blog != null
postinit'ed(new LogSummaryItem(getLogSummary#1*).date)
postnew LogSummaryItem(getLogSummary#1*).totalRequests == 0
postnew LogSummaryItem(getLogSummary#4*) num objects <= 1
postnew LogSummaryItem(getLogSummary#4*).blog == this.blog
postnew LogSummaryItem(getLogSummary#4*).blog != null
postinit'ed(new LogSummaryItem(getLogSummary#4*).date)
postnew LogSummaryItem(getLogSummary#4*).totalRequests >= 0
unanalyzedcall on net.sourceforge.pebble.domain. Blog:getCalendar
unanalyzedcall on java.util.Calendar:set
unanalyzedcall on java.util.Calendar:getTime
unanalyzedcall on java.text.SimpleDateFormat:format
unanalyzedcall on net.sourceforge.pebble.domain. Blog:getLogsDirectory
unanalyzedcall on java.io.File
unanalyzedcall on java.io.File:exists
unanalyzedcall on java.io.FileReader
unanalyzedcall on java.io.BufferedReader
unanalyzedcall on java.io.BufferedReader:readLine
unanalyzedcall on java.io.BufferedReader:close
unanalyzedcall on java.lang.Exception:printStackTrace
unanalyzedcall on net.sourceforge.pebble.logging.LogSummary









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










  infomethod not available-- call on LogSummary getLogSummary(int, int, int)











method LogSummary getLogSummary(int, int)
premonth >= -231+1
prethis.blog != null
presumptionjava.util.Calendar:getActualMaximum(...)@187 <= 232-2
presumptionnet.sourceforge.pebble.domain.Blog:getCalendar(... )@181 != null
postreturn_value == &new LogSummaryContainer(getLog Summary#2)
postnew ArrayList(getLogSummary#1) num objects == 1
postnew LogSummaryContainer(getLogSummary#2) num objects == 1
postreturn_value.blog == this.blog
postreturn_value.blog != null
postinit'ed(return_value.date)
postreturn_value.logSummaries == &new ArrayList(getLogSummary#1)
unanalyzedcall on net.sourceforge.pebble.domain. Blog:getCalendar
unanalyzedcall on java.util.Calendar:set
unanalyzedcall on java.util.Calendar:getTime
unanalyzedcall on java.text.SimpleDateFormat:format
unanalyzedcall on net.sourceforge.pebble.domain. Blog:getLogsDirectory
unanalyzedcall on java.io.File
unanalyzedcall on java.io.File:exists
unanalyzedcall on java.io.FileReader
unanalyzedcall on java.io.BufferedReader
unanalyzedcall on java.io.BufferedReader:readLine
unanalyzedcall on java.io.BufferedReader:close
unanalyzedcall on java.lang.Exception:printStackTrace
unanalyzedcall on net.sourceforge.pebble.logging.LogSummary









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










  infomethod not available-- call on LogSummary getLogSummary(int, int, int)











method LogSummary getLogSummary(int)
prethis.blog != null
presumptionnet.sourceforge.pebble.domain.Blog:getCalendar(... )@201 != null
postreturn_value == &new LogSummaryContainer(getLog Summary#2)
postnew ArrayList(getLogSummary#1) num objects == 1
postnew LogSummaryContainer(getLogSummary#2) num objects == 1
postreturn_value.blog == this.blog
postreturn_value.blog != null
postinit'ed(return_value.date)
postreturn_value.logSummaries == &new ArrayList(getLogSummary#1)
unanalyzedcall on net.sourceforge.pebble.domain. Blog:getCalendar
unanalyzedcall on java.util.Calendar:set
unanalyzedcall on java.util.Calendar:getActualMaximum
unanalyzedcall on java.util.Calendar:getTime
unanalyzedcall on java.text.SimpleDateFormat:format
unanalyzedcall on net.sourceforge.pebble.domain. Blog:getLogsDirectory
unanalyzedcall on java.io.File
unanalyzedcall on java.io.File:exists
unanalyzedcall on java.io.FileReader
unanalyzedcall on java.io.BufferedReader
unanalyzedcall on java.io.BufferedReader:readLine
unanalyzedcall on java.io.BufferedReader:close
unanalyzedcall on java.lang.Exception:printStackTrace
unanalyzedcall on getLogSummary
unanalyzedcall on net.sourceforge.pebble.logging.LogSummary
unanalyzedcall on java.util.ArrayList
unanalyzedcall on java.util.List:add









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