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


  • String format(LogEntry)

    • -/+ Kind Annotation Text Date
    U preentry != null2010-07-16 16:14:15
    U preinit'ed(entry.agent)2010-07-16 16:14:15
    U preinit'ed(entry.date)2010-07-16 16:14:15
    U preinit'ed(entry.host)2010-07-16 16:14:15
    U preinit'ed(entry.referer)2010-07-16 16:14:15
    U preinit'ed(entry.request)2010-07-16 16:14:15
    U preinit'ed(entry.statusCode)2010-07-16 16:14:15
    U prethis.dateFormatter != null2010-07-16 16:14:15
    U postreturn_value != null2010-07-16 16:14:15
    U test_vectorentry.agent: Addr_Set{null}, Inverse{null}2010-07-16 16:14:15
    U test_vectorentry.host: Addr_Set{null}, Inverse{null}2010-07-16 16:14:15
    U test_vectorentry.referer: Addr_Set{null}, Inverse{null}2010-07-16 16:14:15

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

    • -/+ Kind Annotation Text Date
    U preblog != null2010-07-16 16:14:15
    U postnew SimpleDateFormat(CombinedFormatLogEntryFormat#1 ) num objects == 12010-07-16 16:14:15
    U postthis.dateFormatter == &new SimpleDateFormat(Com binedFormatLogEntryFormat#1)2010-07-16 16:14:15

  • net.sourceforge.pebble.logging.CombinedFormatLogEntryFormat__static_init

    • -/+ Kind Annotation Text Date

  • LogEntry parse(String)

    • -/+ Kind Annotation Text Date
    U pre(soft) this.dateFormatter != null2010-07-16 16:14:15
    U pres != null2010-07-16 16:14:15
    U presumptionjava.lang.String:indexOf(...)@108 <= 232-22010-07-16 16:14:15
    U presumptionjava.lang.String:indexOf(...)@111 <= 232-22010-07-16 16:14:15
    U presumptionjava.lang.String:indexOf(...)@114 <= 232-22010-07-16 16:14:15
    U presumptionjava.lang.String:indexOf(...)@117 <= 232-42010-07-16 16:14:15
    U presumptionjava.lang.String:indexOf(...)@120 <= 232-32010-07-16 16:14:15
    U presumptionjava.lang.String:indexOf(...)@123 <= 232-22010-07-16 16:14:15
    U presumptionjava.lang.String:indexOf(...)@126 <= 232-62010-07-16 16:14:15
    U presumptionjava.lang.String:indexOf(...)@134 <= 232-52010-07-16 16:14:15
    U presumptionjava.lang.String:indexOf(...)@144 <= 232-32010-07-16 16:14:15
    U postinit'ed(return_value.agent)2010-07-16 16:14:15
    U postinit'ed(return_value.bytes)2010-07-16 16:14:15
    U postinit'ed(return_value.date)2010-07-16 16:14:15
    U postinit'ed(return_value.host)2010-07-16 16:14:15
    U postinit'ed(return_value.referer)2010-07-16 16:14:15
    U postinit'ed(return_value.statusCode)2010-07-16 16:14:15
    U postnew Date(LogEntry#1) num objects == 12010-07-16 16:14:15
    U postnew LogEntry(parse#1) num objects == 12010-07-16 16:14:15
    U postreturn_value == &new LogEntry(parse#1)2010-07-16 16:14:15
    U postreturn_value.request != null2010-07-16 16:14:15
    U unanalyzedcall on java.util.Date2010-07-16 16:14:15
    U test_vectorjava.lang.String:charAt(...)@130: {0..44, 46..216-1}, {45}2010-07-16 16:14:15
    U test_vectorjava.lang.String:charAt(...)@140: {0..44, 46..216-1}, {45}2010-07-16 16:14:15
    U test_vectorjava.lang.String:equals(...)@149: {1}, {0}2010-07-16 16:14:15
    U test_vectorjava.lang.String:equals(...)@169: {1}, {0}2010-07-16 16:14:15
    U test_vectorjava.lang.String:equals(...)@177: {1}, {0}2010-07-16 16:14:15
    U test_vectorjava.lang.String:equals(...)@185: {1}, {0}2010-07-16 16:14:15
    U test_vectorjava.lang.String:equals(...)@189: {1}, {0}2010-07-16 16:14:15