| method | com.dmdirc. |
| method | com.dmdirc. |
| method | com.dmdirc. |
| method | com.dmdirc. |
| method | void com. |
| presumption | com.dmdirc. |
| post | init'ed(this.errors) |
| unanalyzed | call on javax. |
| unanalyzed | call on com. |
| unanalyzed | call on com. |
|   | method not available - call not analyzed | Info | call on ErrorManager com. |
|   | method not available - call not analyzed | Info | call on List com. |
| method | void com. |
| presumption | com.dmdirc. |
| post | this.errors == errors |
| post | init'ed(this.errors) |
|   | method not available - call not analyzed | Info | call on ErrorManager com. |
|   | method not available - call not analyzed | Info | call on void com. |
| method | void setErrors(List) |
| pre | this.errors != null |
|   | method not available - call not analyzed | Info | call on void com. |
| method | int getRowCount() |
| pre | this.errors != null |
| post | init'ed(return_value) |
| method | int getColumnCount() |
| post | return_value == 5 |
| method | Class getColumnClass(int) |
| pre | columnIndex in {0..4} |
| test_vector | columnIndex: |
| method | bool isCellEditable( |
| post | return_value == 0 |
|   | method not available - call not analyzed | Info | call on long com. |
|   | method not available - call not analyzed | Info | call on Date com. |
|   | method not available - call not analyzed | Info | call on ErrorLevel com. |
|   | method not available - call not analyzed | Info | call on ErrorReportStatus com. |
|   | method not available - call not analyzed | Info | call on String com. |
|   | method not available - call not analyzed | Info | call on void com. |
|   | method not available - call not analyzed | Info | call on void com. |
| method | ProgramError getError(int) |
| pre | this.errors != null |
| post | init'ed(return_value) |
| method | int indexOf( |
| pre | this.errors != null |
| post | init'ed(return_value) |
| method | void addRow( |
| pre | this.errors != null |
|   | method not available - call not analyzed | Info | call on void com. |
| method | void removeRow(int) |
| pre | this.errors != null |
|   | method not available - call not analyzed | Info | call on void com. |
| method | void removeRow( |
| pre | this.errors != null |
|   | method not available - call not analyzed | Info | call on void com. |
| method | void com. |
| post | this.val$ |
| post | init'ed(this. |
| method | void errorAdded( |
|   | method not available - call not analyzed | Info | call on void com. |
| method | void com. |
| post | this.val$ |
| post | init'ed(this. |
| method | void errorDeleted( |
|   | method not available - call not analyzed | Info | call on void com. |
| method | void com. |
| post | this.val$ |
| post | init'ed(this. |
| method | void errorStatusChanged( |
|   | method not available - call not analyzed | Info | call on void com. |
| method | void run() |
| pre | this.errors != null |
| unanalyzed | call on java. |
| unanalyzed | call on java. |
| unanalyzed | call on java. |
|   | method not available - call not analyzed | Info | call on void com. |
| method | bool isReady() |
| post | return_value == 1 |