| method | Component getTableCellRendererComponent(JTable, Object, bool, bool, int, int) |
| pre | value != null |
| post | return_value == this |
| post | return_value != null |
| test_vector | java.lang.String:equals(...)@62: {0}, {1} |
| test_vector | java.lang.String:equals(...)@64: {0}, {1} |
| test_vector | java.lang.String:equals(...)@66: {0}, {1} |
| test_vector | java.lang.String:equals(...)@68: {0}, {1} |
| test_vector | java.lang.String:instanceof(...)@56: {1}, {0} |