ErrorTable.java

ErrorTable.java

current inspection = 2009-09-03 21:56:13 (id #1)

Filter Options

Annotation Kind:

pre

presumption

post

unanalyzed

test_vector

Kind	Annotation Text
presumption	com.dmdirc.addons.ui_swing.dialogs.error. ErrorTable:getRowSorter(...)@59 != null
presumption	com.dmdirc.addons.ui_swing.dialogs.error. ErrorTable:getTableHeader(...)@60 != null

Kind	Annotation Text

Kind	Annotation Text
post	init'ed(return_value)
post	new DateCellRenderer(getCellRenderer#1) num objects <= 1
post	new ErrorLevelIconCellRenderer(getCellRenderer#2) num objects <= 1
unanalyzed	call on javax.swing.table.DefaultTableCellRenderer
test_vector	column: {1}, {2}, {-2³¹..0, 3..2³²-1}