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 <= 2³²-2
presumption	java.lang.String:indexOf(...)@111 <= 2³²-2
presumption	java.lang.String:indexOf(...)@114 <= 2³²-2
presumption	java.lang.String:indexOf(...)@117 <= 2³²-4
presumption	java.lang.String:indexOf(...)@120 <= 2³²-3
presumption	java.lang.String:indexOf(...)@123 <= 2³²-2
presumption	java.lang.String:indexOf(...)@126 <= 2³²-6
presumption	java.lang.String:indexOf(...)@134 <= 2³²-5
presumption	java.lang.String:indexOf(...)@144 <= 2³²-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..2¹⁶-1}, {45}
test_vector	java.lang.String:charAt(...)@140: {0..44, 46..2¹⁶-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

click for all messages in this file warning

unused assignment unused assignment into end

Prev Msg Next Msg

Prev Msg Next Msg

click for all messages in this file warning

unused assignment unused assignment into start

Prev Msg Next Msg