| 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(...)@71 != null |
| presumption | java.awt.Toolkit:getDefaultToolkit(...)@78 != null |
| presumption | java.awt.Toolkit:getSystemClipboard(...)@71 != null |
| presumption | java.awt.Toolkit:getSystemClipboard(...)@78 != null |
| presumption | java.awt.datatransfer.Clipboard:getData(...)@78 != null |
| presumption | java.awt.event.ActionEvent:getSource(...)@64 != null |
| test_vector | java.awt.datatransfer.Clipboard:isDataFlavorAvailab le(...)@71: {1}, {0} |