| Kind |
Annotation Text |
| presumption | com.dmdirc.installer.Main:getInstaller(...)@101 != null |
| presumption | com.dmdirc.installer.Main:getInstaller(...)@106 != null |
| presumption | com.dmdirc.installer.Main:getInstaller(...)@90 != null |
| presumption | com.dmdirc.installer.Main:getInstaller(...)@96 != null |
| presumption | com.dmdirc.installer.Main:getWizardFrame(...)@122 != null |
| presumption | com.dmdirc.installer.Main:getWizardFrame(...)@130 != null |
| presumption | com.dmdirc.installer.Main:getWizardFrame(...)@88 != null |
| presumption | com.dmdirc.installer.Settings:getInstallLocation(.. .)@113 != null |
| presumption | com.dmdirc.installer.ui.InstallerDialog:getStep(... )@88 != null |
| test_vector | java.lang.String:isEmpty(...)@118: {0}, {1} |
| Kind |
Annotation Text |
| pre | step != null |
| unanalyzed | call on com.dmdirc.installer.Installer:start |
| unanalyzed | call on com.dmdirc.installer.Main:getInstaller |
| unanalyzed | call on com.dmdirc.installer.Main:getWizardFrame |
| unanalyzed | call on com.dmdirc.installer.Settings:getInstallLoc ation |
| unanalyzed | call on com.dmdirc.installer.Settings:getShortcutDe sktopState |
| unanalyzed | call on com.dmdirc.installer.Settings:getShortcutMe nuState |
| unanalyzed | call on com.dmdirc.installer.Settings:getShortcutPr otocolState |
| unanalyzed | call on com.dmdirc.installer.Settings:getShortcutQu ickState |
| unanalyzed | call on com.dmdirc.installer.TextStep:instanceof |
| unanalyzed | call on com.dmdirc.installer.TextStep:setText |
| unanalyzed | call on com.dmdirc.installer.ui.InstallerDialog:ena bleNextStep |
| unanalyzed | call on com.dmdirc.installer.ui.InstallerDialog:ena blePreviousStep |
| unanalyzed | call on com.dmdirc.installer.ui.InstallerDialog:get Step |
| unanalyzed | call on java.lang.String:isEmpty |
| test_vector | java.lang.String:equals(...)@64: {0}, {1} |
| test_vector | java.lang.String:equals(...)@66: {0}, {1} |