| Kind |
Annotation Text |
| pre | e != null |
| presumption | init'ed(com.dmdirc.logger.ErrorLevel.LOW) |
| presumption | init'ed(java.awt.datatransfer.DataFlavor. stringFlavor) |
| presumption | java.awt.Toolkit:getDefaultToolkit(...)@76 != null |
| presumption | java.awt.Toolkit:getDefaultToolkit(...)@83 != null |
| presumption | java.awt.Toolkit:getSystemClipboard(...)@76 != null |
| presumption | java.awt.Toolkit:getSystemClipboard(...)@83 != null |
| presumption | java.awt.datatransfer.Clipboard:getData(...)@83 != null |
| presumption | java.awt.event.ActionEvent:getSource(...)@69 != null |
| test_vector | java.awt.datatransfer.Clipboard:isDataFlavorAvailab le(...)@76: {1}, {0} |