Messages

Last Msg First Msg

method | net.sourceforge.pebble.logging.CombinedFormatLogEn tryFormat__static_init

method | void net.sourceforge.pebble.logging. CombinedFormatLogEntryFormat(Blog)
pre | blog != null
post | this.dateFormatter == &new SimpleDateFormat(Com binedFormatLogEntryFormat#1)
post | new SimpleDateFormat(CombinedFormatLogEntryFormat#1 ) num objects == 1

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

method | String format(LogEntry)
pre | entry != null
pre | init'ed(entry.agent)
pre | init'ed(entry.date)
pre | init'ed(entry.host)
pre | init'ed(entry.referer)
pre | init'ed(entry.request)
pre | init'ed(entry.statusCode)
pre | this.dateFormatter != null
post | return_value != null
test_vector | entry.agent: Addr_Set{null}, Inverse{null}
test_vector | entry.host: Addr_Set{null}, Inverse{null}
test_vector | entry.referer: Addr_Set{null}, Inverse{null}

method | LogEntry parse(String)
pre | s != null
pre | (soft) this.dateFormatter != null
presumption | java.lang.String:indexOf(...)@108 <= 232-2
presumption | java.lang.String:indexOf(...)@111 <= 232-2
presumption | java.lang.String:indexOf(...)@114 <= 232-2
presumption | java.lang.String:indexOf(...)@117 <= 232-4
presumption | java.lang.String:indexOf(...)@120 <= 232-3
presumption | java.lang.String:indexOf(...)@123 <= 232-2
presumption | java.lang.String:indexOf(...)@126 <= 232-6
presumption | java.lang.String:indexOf(...)@134 <= 232-5
presumption | java.lang.String:indexOf(...)@144 <= 232-3
post | return_value == &new LogEntry(parse#1)
post | new Date(LogEntry#1) num objects == 1
post | new LogEntry(parse#1) num objects == 1
post | init'ed(return_value.agent)
post | init'ed(return_value.bytes)
post | init'ed(return_value.date)
post | init'ed(return_value.host)
post | init'ed(return_value.referer)
post | return_value.request != null
post | init'ed(return_value.statusCode)
unanalyzed | call on java.util.Date
test_vector | java.lang.String:charAt(...)@130: {0..44, 46..216-1}, {45}
test_vector | java.lang.String:charAt(...)@140: {0..44, 46..216-1}, {45}
test_vector | java.lang.String:equals(...)@149: {1}, {0}
test_vector | java.lang.String:equals(...)@169: {1}, {0}
test_vector | java.lang.String:equals(...)@177: {1}, {0}
test_vector | java.lang.String:equals(...)@185: {1}, {0}
test_vector | java.lang.String:equals(...)@189: {1}, {0}

Prev Msg Next Msg

| warning
| unused assignment | unused assignment into end

Prev Msg Next Msg

Prev Msg Next Msg

| warning
| unused assignment | unused assignment into start

Prev Msg Next Msg

Prev Msg Next Msg

| warning
| unused assignment | unused assignment into start

Prev Msg Next Msg