abstractlogger.java

current inspection = 2010-07-22 15:04:21 (id #4) base = 2010-07-16 16:14:15 (id #1)

Filter Options
History:
+ added
- dropped
U unchanged
Annotation Kind:
pre
presumption
post
unanalyzed
test


  • Log getLog()

    • -/+ Kind Annotation Text Date
    +prethis.blog != null2010-07-22 12:56:56
    +presumptionjava.util.Calendar:get(...)@131 <= 232-22010-07-22 12:56:56
    +presumptionnet.sourceforge.pebble.domain.Blog:getCalendar(... )@130 != null2010-07-22 12:56:56
    +postnew ArrayList(Log#1) num objects == 02010-07-22 12:56:56
    +postnew ArrayList(getLog#1*) num objects <= 12010-07-22 12:56:56
    +postnew ArrayList(getLog#2*) num objects <= 12010-07-22 12:56:56
    +postnew Log(getLog#1*) num objects <= 12010-07-22 12:56:56
    +postnew Log(getLog#1*).blog != null2010-07-22 12:56:56
    +postnew Log(getLog#1*).blog == this.blog2010-07-22 12:56:56
    +postnew Log(getLog#1*).logEntries != null2010-07-22 12:56:56
    +postnew Log(getLog#6*) num objects <= 12010-07-22 12:56:56
    +postnew Log(getLog#6*).blog != null2010-07-22 12:56:56
    +postnew Log(getLog#6*).blog == this.blog2010-07-22 12:56:56
    +postnew Log(getLog#6*).logEntries != null2010-07-22 12:56:56
    +postreturn_value != null2010-07-22 12:56:56
    +unanalyzedcall on java.io.BufferedReader2010-07-22 12:56:56
    +unanalyzedcall on java.io.BufferedReader:close2010-07-22 12:56:56
    +unanalyzedcall on java.io.BufferedReader:readLine2010-07-22 12:56:56
    +unanalyzedcall on java.io.File2010-07-22 12:56:56
    +unanalyzedcall on java.io.File:exists2010-07-22 12:56:56
    +unanalyzedcall on java.io.FileReader2010-07-22 12:56:56
    +unanalyzedcall on java.lang.Exception:printStackTrace2010-07-22 12:56:56
    +unanalyzedcall on java.lang.Integer:parseInt2010-07-22 12:56:56
    +unanalyzedcall on java.lang.Long:parseLong2010-07-22 12:56:56
    +unanalyzedcall on java.lang.String:charAt2010-07-22 12:56:56
    +unanalyzedcall on java.lang.String:equals2010-07-22 12:56:56
    +unanalyzedcall on java.lang.String:indexOf2010-07-22 12:56:56
    +unanalyzedcall on java.lang.String:length2010-07-22 12:56:56
    +unanalyzedcall on java.lang.String:substring2010-07-22 12:56:56
    +unanalyzedcall on java.text.SimpleDateFormat2010-07-22 12:56:56
    +unanalyzedcall on java.text.SimpleDateFormat:format2010-07-22 12:56:56
    +unanalyzedcall on java.text.SimpleDateFormat:parse2010-07-22 12:56:56
    +unanalyzedcall on java.text.SimpleDateFormat:setTimeZone2010-07-22 12:56:56
    +unanalyzedcall on java.util.ArrayList2010-07-22 12:56:56
    +unanalyzedcall on java.util.Calendar:getTime2010-07-22 12:56:56
    +unanalyzedcall on java.util.Calendar:set2010-07-22 12:56:56
    +unanalyzedcall on java.util.Date2010-07-22 12:56:56
    +unanalyzedcall on java.util.List:add2010-07-22 12:56:56
    +unanalyzedcall on net.sourceforge.pebble.domain. Blog:getCalendar2010-07-22 12:56:56
    +unanalyzedcall on net.sourceforge.pebble.domain. Blog:getLogsDirectory2010-07-22 12:56:56
    +unanalyzedcall on net.sourceforge.pebble.domain. Blog:getTimeZone2010-07-22 12:56:56

  • Log getLog(int, int)

    • -/+ Kind Annotation Text Date
    +premonth >= -231+12010-07-22 12:56:56
    +prethis.blog != null2010-07-22 12:56:56
    +presumptionjava.util.Calendar:getActualMaximum(...)@146 <= 232-22010-07-22 12:56:56
    +presumptionnet.sourceforge.pebble.domain.Blog:getCalendar(... )@143 != null2010-07-22 12:56:56
    +postinit'ed(new ArrayList(Log#1) num objects)2010-07-22 12:56:56
    +postnew HashSet(getLog#1) num objects == 12010-07-22 12:56:56
    +postnew Log(getLog#2) num objects == 12010-07-22 12:56:56
    +postreturn_value == &new Log(getLog#2)2010-07-22 12:56:56
    +postreturn_value.blog != null2010-07-22 12:56:56
    +postreturn_value.blog == this.blog2010-07-22 12:56:56
    +postreturn_value.logEntries == &new HashSet(getLog#1)2010-07-22 12:56:56
    +unanalyzedcall on java.io.BufferedReader2010-07-22 12:56:56
    +unanalyzedcall on java.io.BufferedReader:close2010-07-22 12:56:56
    +unanalyzedcall on java.io.BufferedReader:readLine2010-07-22 12:56:56
    +unanalyzedcall on java.io.File2010-07-22 12:56:56
    +unanalyzedcall on java.io.File:exists2010-07-22 12:56:56
    +unanalyzedcall on java.io.FileReader2010-07-22 12:56:56
    +unanalyzedcall on java.lang.Exception:printStackTrace2010-07-22 12:56:56
    +unanalyzedcall on java.lang.Integer:parseInt2010-07-22 12:56:56
    +unanalyzedcall on java.lang.Long:parseLong2010-07-22 12:56:56
    +unanalyzedcall on java.lang.String:charAt2010-07-22 12:56:56
    +unanalyzedcall on java.lang.String:equals2010-07-22 12:56:56
    +unanalyzedcall on java.lang.String:indexOf2010-07-22 12:56:56
    +unanalyzedcall on java.lang.String:length2010-07-22 12:56:56
    +unanalyzedcall on java.lang.String:substring2010-07-22 12:56:56
    +unanalyzedcall on java.text.SimpleDateFormat2010-07-22 12:56:56
    +unanalyzedcall on java.text.SimpleDateFormat:format2010-07-22 12:56:56
    +unanalyzedcall on java.text.SimpleDateFormat:parse2010-07-22 12:56:56
    +unanalyzedcall on java.text.SimpleDateFormat:setTimeZone2010-07-22 12:56:56
    +unanalyzedcall on java.util.ArrayList2010-07-22 12:56:56
    +unanalyzedcall on java.util.Calendar:getTime2010-07-22 12:56:56
    +unanalyzedcall on java.util.Calendar:set2010-07-22 12:56:56
    +unanalyzedcall on java.util.Collections:unmodifiableCollectio n2010-07-22 12:56:56
    +unanalyzedcall on java.util.Date2010-07-22 12:56:56
    +unanalyzedcall on java.util.List:add2010-07-22 12:56:56
    +unanalyzedcall on net.sourceforge.pebble.domain. Blog:getCalendar2010-07-22 12:56:56
    +unanalyzedcall on net.sourceforge.pebble.domain. Blog:getLogsDirectory2010-07-22 12:56:56
    +unanalyzedcall on net.sourceforge.pebble.domain. Blog:getTimeZone2010-07-22 12:56:56

  • String getLogFile()

    • -/+ Kind Annotation Text Date
    +prethis.blog != null2010-07-22 12:56:56
    +presumptionjava.util.Calendar:get(...)@92 <= 232-22010-07-22 12:56:56
    +presumptionnet.sourceforge.pebble.domain.Blog:getCalendar(... )@91 != null2010-07-22 12:56:56
    +postreturn_value != null2010-07-22 12:56:56
    +unanalyzedcall on java.io.BufferedReader2010-07-22 12:56:56
    +unanalyzedcall on java.io.BufferedReader:close2010-07-22 12:56:56
    +unanalyzedcall on java.io.BufferedReader:readLine2010-07-22 12:56:56
    +unanalyzedcall on java.io.File2010-07-22 12:56:56
    +unanalyzedcall on java.io.File:exists2010-07-22 12:56:56
    +unanalyzedcall on java.io.FileReader2010-07-22 12:56:56
    +unanalyzedcall on java.lang.Exception:printStackTrace2010-07-22 12:56:56
    +unanalyzedcall on java.lang.System:getProperty2010-07-22 12:56:56
    +unanalyzedcall on java.text.SimpleDateFormat:format2010-07-22 12:56:56
    +unanalyzedcall on java.util.Calendar:getTime2010-07-22 12:56:56
    +unanalyzedcall on java.util.Calendar:set2010-07-22 12:56:56
    +unanalyzedcall on net.sourceforge.pebble.domain. Blog:getCalendar2010-07-22 12:56:56
    +unanalyzedcall on net.sourceforge.pebble.domain. Blog:getLogsDirectory2010-07-22 12:56:56

  • String getLogFile(int, int)

    • -/+ Kind Annotation Text Date
    +premonth >= -231+12010-07-22 12:56:56
    +prethis.blog != null2010-07-22 12:56:56
    +presumptionjava.util.Calendar:getActualMaximum(...)@107 <= 232-22010-07-22 12:56:56
    +presumptionnet.sourceforge.pebble.domain.Blog:getCalendar(... )@104 != null2010-07-22 12:56:56
    +postreturn_value != null2010-07-22 12:56:56
    +unanalyzedcall on java.io.BufferedReader2010-07-22 12:56:56
    +unanalyzedcall on java.io.BufferedReader:close2010-07-22 12:56:56
    +unanalyzedcall on java.io.BufferedReader:readLine2010-07-22 12:56:56
    +unanalyzedcall on java.io.File2010-07-22 12:56:56
    +unanalyzedcall on java.io.File:exists2010-07-22 12:56:56
    +unanalyzedcall on java.io.FileReader2010-07-22 12:56:56
    +unanalyzedcall on java.lang.Exception:printStackTrace2010-07-22 12:56:56
    +unanalyzedcall on java.lang.System:getProperty2010-07-22 12:56:56
    +unanalyzedcall on java.text.SimpleDateFormat:format2010-07-22 12:56:56
    +unanalyzedcall on java.util.Calendar:getTime2010-07-22 12:56:56
    +unanalyzedcall on java.util.Calendar:set2010-07-22 12:56:56
    +unanalyzedcall on net.sourceforge.pebble.domain. Blog:getCalendar2010-07-22 12:56:56
    +unanalyzedcall on net.sourceforge.pebble.domain. Blog:getLogsDirectory2010-07-22 12:56:56

  • LogSummary getLogSummary()

    • -/+ Kind Annotation Text Date
    +prethis.blog != null2010-07-22 12:56:56
    +presumptionjava.util.Calendar:get(...)@170 <= 232-22010-07-22 12:56:56
    +presumptionnet.sourceforge.pebble.domain.Blog:getCalendar(... )@169 != null2010-07-22 12:56:56
    +postinit'ed(new LogSummaryItem(getLogSummary#1*).date)2010-07-22 12:56:56
    +postinit'ed(new LogSummaryItem(getLogSummary#4*).date)2010-07-22 12:56:56
    +postnew LogSummaryItem(getLogSummary#1*) num objects <= 12010-07-22 12:56:56
    +postnew LogSummaryItem(getLogSummary#1*).blog != null2010-07-22 12:56:56
    +postnew LogSummaryItem(getLogSummary#1*).blog == this.blog2010-07-22 12:56:56
    +postnew LogSummaryItem(getLogSummary#1*).totalRequests == 02010-07-22 12:56:56
    +postnew LogSummaryItem(getLogSummary#4*) num objects <= 12010-07-22 12:56:56
    +postnew LogSummaryItem(getLogSummary#4*).blog != null2010-07-22 12:56:56
    +postnew LogSummaryItem(getLogSummary#4*).blog == this.blog2010-07-22 12:56:56
    +postnew LogSummaryItem(getLogSummary#4*).totalRequests >= 02010-07-22 12:56:56
    +postreturn_value != null2010-07-22 12:56:56
    +unanalyzedcall on java.io.BufferedReader2010-07-22 12:56:56
    +unanalyzedcall on java.io.BufferedReader:close2010-07-22 12:56:56
    +unanalyzedcall on java.io.BufferedReader:readLine2010-07-22 12:56:56
    +unanalyzedcall on java.io.File2010-07-22 12:56:56
    +unanalyzedcall on java.io.File:exists2010-07-22 12:56:56
    +unanalyzedcall on java.io.FileReader2010-07-22 12:56:56
    +unanalyzedcall on java.lang.Exception:printStackTrace2010-07-22 12:56:56
    +unanalyzedcall on java.text.SimpleDateFormat:format2010-07-22 12:56:56
    +unanalyzedcall on java.util.Calendar:getTime2010-07-22 12:56:56
    +unanalyzedcall on java.util.Calendar:set2010-07-22 12:56:56
    +unanalyzedcall on net.sourceforge.pebble.domain. Blog:getCalendar2010-07-22 12:56:56
    +unanalyzedcall on net.sourceforge.pebble.domain. Blog:getLogsDirectory2010-07-22 12:56:56
    +unanalyzedcall on net.sourceforge.pebble.logging.LogSummary2010-07-22 12:56:56

  • LogSummary getLogSummary(int)

    • -/+ Kind Annotation Text Date
    +prethis.blog != null2010-07-22 12:56:56
    +presumptionnet.sourceforge.pebble.domain.Blog:getCalendar(... )@201 != null2010-07-22 12:56:56
    +postinit'ed(return_value.date)2010-07-22 12:56:56
    +postnew ArrayList(getLogSummary#1) num objects == 12010-07-22 12:56:56
    +postnew LogSummaryContainer(getLogSummary#2) num objects == 12010-07-22 12:56:56
    +postreturn_value == &new LogSummaryContainer(getLog Summary#2)2010-07-22 12:56:56
    +postreturn_value.blog != null2010-07-22 12:56:56
    +postreturn_value.blog == this.blog2010-07-22 12:56:56
    +postreturn_value.logSummaries == &new ArrayList(getLogSummary#1)2010-07-22 12:56:56
    +unanalyzedcall on getLogSummary2010-07-22 12:56:56
    +unanalyzedcall on java.io.BufferedReader2010-07-22 12:56:56
    +unanalyzedcall on java.io.BufferedReader:close2010-07-22 12:56:56
    +unanalyzedcall on java.io.BufferedReader:readLine2010-07-22 12:56:56
    +unanalyzedcall on java.io.File2010-07-22 12:56:56
    +unanalyzedcall on java.io.File:exists2010-07-22 12:56:56
    +unanalyzedcall on java.io.FileReader2010-07-22 12:56:56
    +unanalyzedcall on java.lang.Exception:printStackTrace2010-07-22 12:56:56
    +unanalyzedcall on java.text.SimpleDateFormat:format2010-07-22 12:56:56
    +unanalyzedcall on java.util.ArrayList2010-07-22 12:56:56
    +unanalyzedcall on java.util.Calendar:getActualMaximum2010-07-22 12:56:56
    +unanalyzedcall on java.util.Calendar:getTime2010-07-22 12:56:56
    +unanalyzedcall on java.util.Calendar:set2010-07-22 12:56:56
    +unanalyzedcall on java.util.List:add2010-07-22 12:56:56
    +unanalyzedcall on net.sourceforge.pebble.domain. Blog:getCalendar2010-07-22 12:56:56
    +unanalyzedcall on net.sourceforge.pebble.domain. Blog:getLogsDirectory2010-07-22 12:56:56
    +unanalyzedcall on net.sourceforge.pebble.logging.LogSummary2010-07-22 12:56:56

  • LogSummary getLogSummary(int, int)

    • -/+ Kind Annotation Text Date
    +premonth >= -231+12010-07-22 12:56:56
    +prethis.blog != null2010-07-22 12:56:56
    +presumptionjava.util.Calendar:getActualMaximum(...)@187 <= 232-22010-07-22 12:56:56
    +presumptionnet.sourceforge.pebble.domain.Blog:getCalendar(... )@181 != null2010-07-22 12:56:56
    +postinit'ed(return_value.date)2010-07-22 12:56:56
    +postnew ArrayList(getLogSummary#1) num objects == 12010-07-22 12:56:56
    +postnew LogSummaryContainer(getLogSummary#2) num objects == 12010-07-22 12:56:56
    +postreturn_value == &new LogSummaryContainer(getLog Summary#2)2010-07-22 12:56:56
    +postreturn_value.blog != null2010-07-22 12:56:56
    +postreturn_value.blog == this.blog2010-07-22 12:56:56
    +postreturn_value.logSummaries == &new ArrayList(getLogSummary#1)2010-07-22 12:56:56
    +unanalyzedcall on java.io.BufferedReader2010-07-22 12:56:56
    +unanalyzedcall on java.io.BufferedReader:close2010-07-22 12:56:56
    +unanalyzedcall on java.io.BufferedReader:readLine2010-07-22 12:56:56
    +unanalyzedcall on java.io.File2010-07-22 12:56:56
    +unanalyzedcall on java.io.File:exists2010-07-22 12:56:56
    +unanalyzedcall on java.io.FileReader2010-07-22 12:56:56
    +unanalyzedcall on java.lang.Exception:printStackTrace2010-07-22 12:56:56
    +unanalyzedcall on java.text.SimpleDateFormat:format2010-07-22 12:56:56
    +unanalyzedcall on java.util.Calendar:getTime2010-07-22 12:56:56
    +unanalyzedcall on java.util.Calendar:set2010-07-22 12:56:56
    +unanalyzedcall on net.sourceforge.pebble.domain. Blog:getCalendar2010-07-22 12:56:56
    +unanalyzedcall on net.sourceforge.pebble.domain. Blog:getLogsDirectory2010-07-22 12:56:56
    +unanalyzedcall on net.sourceforge.pebble.logging.LogSummary2010-07-22 12:56:56

  • void net.sourceforge.pebble.logging.AbstractLogger(Blog)

    • -/+ Kind Annotation Text Date
    +postinit'ed(this.blog)2010-07-22 12:56:56
    +postthis.blog == blog2010-07-22 12:56:56

  • net.sourceforge.pebble.logging.AbstractLogger__static_init

    • -/+ Kind Annotation Text Date