## 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 | pre | entry != null | 2010-07-16 16:14:15
U | pre | init'ed(entry.agent) | 2010-07-16 16:14:15
U | pre | init'ed(entry.date) | 2010-07-16 16:14:15
U | pre | init'ed(entry.host) | 2010-07-16 16:14:15
U | pre | init'ed(entry.referer) | 2010-07-16 16:14:15
U | pre | init'ed(entry.request) | 2010-07-16 16:14:15
U | pre | init'ed(entry.statusCode) | 2010-07-16 16:14:15
U | pre | this.dateFormatter != null | 2010-07-16 16:14:15
U | post | return_value != null | 2010-07-16 16:14:15
U | test_vector | entry.agent: Addr_Set{null}, Inverse{null} | 2010-07-16 16:14:15
U | test_vector | entry.host: Addr_Set{null}, Inverse{null} | 2010-07-16 16:14:15
U | test_vector | entry.referer: Addr_Set{null}, Inverse{null} | 2010-07-16 16:14:15

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

-/+ | Kind | Annotation Text | Date
--- | --- | --- | ---
U | pre | blog != null | 2010-07-16 16:14:15
U | post | new SimpleDateFormat(CombinedFormatLogEntryFormat#1 ) num objects == 1 | 2010-07-16 16:14:15
U | post | this.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 != null | 2010-07-16 16:14:15
U | pre | s != null | 2010-07-16 16:14:15
U | presumption | java.lang.String:indexOf(...)@108 <= 232-2 | 2010-07-16 16:14:15
U | presumption | java.lang.String:indexOf(...)@111 <= 232-2 | 2010-07-16 16:14:15
U | presumption | java.lang.String:indexOf(...)@114 <= 232-2 | 2010-07-16 16:14:15
U | presumption | java.lang.String:indexOf(...)@117 <= 232-4 | 2010-07-16 16:14:15
U | presumption | java.lang.String:indexOf(...)@120 <= 232-3 | 2010-07-16 16:14:15
U | presumption | java.lang.String:indexOf(...)@123 <= 232-2 | 2010-07-16 16:14:15
U | presumption | java.lang.String:indexOf(...)@126 <= 232-6 | 2010-07-16 16:14:15
U | presumption | java.lang.String:indexOf(...)@134 <= 232-5 | 2010-07-16 16:14:15
U | presumption | java.lang.String:indexOf(...)@144 <= 232-3 | 2010-07-16 16:14:15
U | post | init'ed(return_value.agent) | 2010-07-16 16:14:15
U | post | init'ed(return_value.bytes) | 2010-07-16 16:14:15
U | post | init'ed(return_value.date) | 2010-07-16 16:14:15
U | post | init'ed(return_value.host) | 2010-07-16 16:14:15
U | post | init'ed(return_value.referer) | 2010-07-16 16:14:15
U | post | init'ed(return_value.statusCode) | 2010-07-16 16:14:15
U | post | new Date(LogEntry#1) num objects == 1 | 2010-07-16 16:14:15
U | post | new LogEntry(parse#1) num objects == 1 | 2010-07-16 16:14:15
U | post | return_value == &new LogEntry(parse#1) | 2010-07-16 16:14:15
U | post | return_value.request != null | 2010-07-16 16:14:15
U | unanalyzed | call on java.util.Date | 2010-07-16 16:14:15
U | test_vector | java.lang.String:charAt(...)@130: {0..44, 46..216-1}, {45} | 2010-07-16 16:14:15
U | test_vector | java.lang.String:charAt(...)@140: {0..44, 46..216-1}, {45} | 2010-07-16 16:14:15
U | test_vector | java.lang.String:equals(...)@149: {1}, {0} | 2010-07-16 16:14:15
U | test_vector | java.lang.String:equals(...)@169: {1}, {0} | 2010-07-16 16:14:15
U | test_vector | java.lang.String:equals(...)@177: {1}, {0} | 2010-07-16 16:14:15
U | test_vector | java.lang.String:equals(...)@185: {1}, {0} | 2010-07-16 16:14:15
U | test_vector | java.lang.String:equals(...)@189: {1}, {0} | 2010-07-16 16:14:15