combinedlogformatlogger.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


  • void flush()

    • -/+ Kind Annotation Text Date
    +pre(soft) this.blog != null2010-07-22 12:56:56
    +pre(soft) this.entries != null2010-07-22 12:56:56
    +pre(soft) this.filenameFormat != null2010-07-22 12:56:56
    +unanalyzedcall on java.io.BufferedWriter2010-07-22 12:56:56
    +unanalyzedcall on java.io.BufferedWriter:close2010-07-22 12:56:56
    +unanalyzedcall on java.io.BufferedWriter:flush2010-07-22 12:56:56
    +unanalyzedcall on java.io.BufferedWriter:newLine2010-07-22 12:56:56
    +unanalyzedcall on java.io.BufferedWriter:write2010-07-22 12:56:56
    +unanalyzedcall on java.io.File2010-07-22 12:56:56
    +unanalyzedcall on java.io.FileWriter2010-07-22 12:56:56
    +unanalyzedcall on java.lang.String:equals2010-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:setTimeZone2010-07-22 12:56:56
    +unanalyzedcall on java.util.List:iterator2010-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 getFilename(int, int, int)

    • -/+ Kind Annotation Text Date
    +premonth >= -231+12010-07-22 12:56:56
    +prethis.blog != null2010-07-22 12:56:56
    +prethis.filenameFormat != null2010-07-22 12:56:56
    +presumptionnet.sourceforge.pebble.domain.Blog:getCalendar(... )@217 != null2010-07-22 12:56:56
    +postinit'ed(return_value)2010-07-22 12:56:56

  • Log getLog(int, int, int)

    • -/+ Kind Annotation Text Date
    +pre(soft) month >= -231+12010-07-22 12:56:56
    +pre(soft) this.filenameFormat != null2010-07-22 12:56:56
    +prethis.blog != 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 Log(getLog#6) num objects == 12010-07-22 12:56:56
    +postreturn_value == &new Log(getLog#6)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 ArrayList(getLog#1)2010-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 net.sourceforge.pebble.domain. Blog:getCalendar2010-07-22 12:56:56
    +unanalyzedcall on net.sourceforge.pebble.domain. Blog:getTimeZone2010-07-22 12:56:56
    +test_vectorjava.io.File:exists(...)@158: {0}, {1}2010-07-22 12:56:56

  • String getLogFile(int, int, int)

    • -/+ Kind Annotation Text Date
    +pre(soft) month >= -231+12010-07-22 12:56:56
    +pre(soft) this.blog != null2010-07-22 12:56:56
    +pre(soft) this.filenameFormat != null2010-07-22 12:56:56
    +postreturn_value != null2010-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
    +test_vectorjava.io.File:exists(...)@126: {0}, {1}2010-07-22 12:56:56

  • LogSummary getLogSummary(int, int, int)

    • -/+ Kind Annotation Text Date
    +pre(soft) this.filenameFormat != null2010-07-22 12:56:56
    +premonth >= -231+12010-07-22 12:56:56
    +prethis.blog != null2010-07-22 12:56:56
    +presumptionnet.sourceforge.pebble.domain.Blog:getCalendar(... )@183 != null2010-07-22 12:56:56
    +postinit'ed(return_value.date)2010-07-22 12:56:56
    +postnew LogSummaryItem(getLogSummary#4) num objects == 12010-07-22 12:56:56
    +postreturn_value == &new LogSummaryItem(getLogSumma ry#4)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.totalRequests >= 02010-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.logging.LogSummary2010-07-22 12:56:56
    +test_vectorjava.io.File:exists(...)@192: {0}, {1}2010-07-22 12:56:56

  • - void log(HttpServletRequest, int)

    • -/+ Kind Annotation Text Date

  • + void log(HttpServletRequest, int)

    • -/+ Kind Annotation Text Date
    +pre(soft) this.filenameFormat != null2010-07-22 12:56:56
    +prerequest != null2010-07-22 12:56:56
    +prethis.blog != null2010-07-22 12:56:56
    +prethis.entries != null2010-07-22 12:56:56
    +presumptionnet.sourceforge.pebble.domain.Blog:getCalendar(... )@75 != null2010-07-22 12:56:56
    +unanalyzedcall on java.io.BufferedWriter2010-07-22 12:56:56
    +unanalyzedcall on java.io.BufferedWriter:close2010-07-22 12:56:56
    +unanalyzedcall on java.io.BufferedWriter:flush2010-07-22 12:56:56
    +unanalyzedcall on java.io.BufferedWriter:newLine2010-07-22 12:56:56
    +unanalyzedcall on java.io.BufferedWriter:write2010-07-22 12:56:56
    +unanalyzedcall on java.io.File2010-07-22 12:56:56
    +unanalyzedcall on java.io.FileWriter2010-07-22 12:56:56
    +unanalyzedcall on java.io.IOException:printStackTrace2010-07-22 12:56:56
    +unanalyzedcall on java.lang.String:equals2010-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:setTimeZone2010-07-22 12:56:56
    +unanalyzedcall on java.util.Date2010-07-22 12:56:56
    +unanalyzedcall on java.util.List:clear2010-07-22 12:56:56
    +unanalyzedcall on java.util.List:iterator2010-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
    +test_vectorjava.util.List:size(...)@86: {-231..-1}, {0..232-1}2010-07-22 12:56:56

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

    • -/+ Kind Annotation Text Date
    +preblog != null2010-07-22 12:56:56
    +postnew ArrayList(CombinedLogFormatLogger#2) num objects == 12010-07-22 12:56:56
    +postnew SimpleDateFormat(CombinedLogFormatLogger#1) num objects == 12010-07-22 12:56:56
    +postthis.blog != null2010-07-22 12:56:56
    +postthis.blog == blog2010-07-22 12:56:56
    +postthis.entries == &new ArrayList(CombinedLogForma tLogger#2)2010-07-22 12:56:56
    +postthis.filenameFormat == &new SimpleDateFormat(Co mbinedLogFormatLogger#1)2010-07-22 12:56:56

  • net.sourceforge.pebble.logging.CombinedLogFormatLogger__static_init

    • -/+ Kind Annotation Text Date

  • void start()

    • -/+ Kind Annotation Text Date

  • void stop()

    • -/+ Kind Annotation Text Date
    +pre(soft) this.blog != null2010-07-22 12:56:56
    +pre(soft) this.entries != null2010-07-22 12:56:56
    +pre(soft) this.filenameFormat != null2010-07-22 12:56:56
    +unanalyzedcall on java.io.BufferedWriter2010-07-22 12:56:56
    +unanalyzedcall on java.io.BufferedWriter:close2010-07-22 12:56:56
    +unanalyzedcall on java.io.BufferedWriter:flush2010-07-22 12:56:56
    +unanalyzedcall on java.io.BufferedWriter:newLine2010-07-22 12:56:56
    +unanalyzedcall on java.io.BufferedWriter:write2010-07-22 12:56:56
    +unanalyzedcall on java.io.File2010-07-22 12:56:56
    +unanalyzedcall on java.io.FileWriter2010-07-22 12:56:56
    +unanalyzedcall on java.io.IOException:printStackTrace2010-07-22 12:56:56
    +unanalyzedcall on java.lang.String:equals2010-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:setTimeZone2010-07-22 12:56:56
    +unanalyzedcall on java.util.List:clear2010-07-22 12:56:56
    +unanalyzedcall on java.util.List:iterator2010-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

  • void write(List)

    • -/+ Kind Annotation Text Date
    +pre(soft) this.filenameFormat != null2010-07-22 12:56:56
    +preentries != null2010-07-22 12:56:56
    +prethis.blog != null2010-07-22 12:56:56
    +presumptionjava.text.SimpleDateFormat:format(...)@240 != null2010-07-22 12:56:56
    +presumptionjava.util.Iterator:next(...)@239 != null2010-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:setTimeZone2010-07-22 12:56:56
    +unanalyzedcall on net.sourceforge.pebble.domain. Blog:getTimeZone2010-07-22 12:56:56
    +test_vectorjava.lang.String:equals(...)@241: {1}, {0}2010-07-22 12:56:56
    +test_vectorjava.util.Iterator:hasNext(...)@238: {1}, {0}2010-07-22 12:56:56