| Kind |
Annotation Text |
| pre | init'ed(com/dmdirc/installer/Main.myInstaller) |
| presumption | init'ed(com.dmdirc.installer.Installer$ShortcutType .DESKTOP) |
| presumption | init'ed(com.dmdirc.installer.Installer$ShortcutType .MENU) |
| presumption | init'ed(com.dmdirc.installer.Installer$ShortcutType .PROTOCOL) |
| presumption | init'ed(com.dmdirc.installer.Installer$ShortcutType .QUICKLAUNCH) |
| post | com/dmdirc/installer/Main.myInstaller != null |
| post | com/dmdirc/installer/Main.myInstaller == One-of{old com/dmdirc/installer/Main.myInstaller, &new WindowsInstaller(getInstaller#1), &new LinuxInstaller(getInstaller#2)} |
| post | new JCheckBox(StepSettings#1) num objects == 1 |
| post | new JCheckBox(StepSettings#3) num objects == 1 |
| post | new JCheckBox(StepSettings#4) num objects == 1 |
| post | new JCheckBox(StepSettings#5) num objects == 1 |
| post | new JTextField(StepSettings#6) num objects == 1 |
| post | new LinuxInstaller(getInstaller#2) num objects <= 1 |
| post | new LinuxInstaller(getInstaller#2) num objects == 0 |
| post | new WindowsInstaller(getInstaller#1) num objects <= 1 |
| post | new WindowsInstaller(getInstaller#1) num objects == 0 |
| post | this.location == &new JTextField(StepSettings#6 ) |
| post | this.shortcutDesktop == &new JCheckBox(StepSett ings#3) |
| post | this.shortcutMenu == &new JCheckBox(StepSetting s#1) |
| post | this.shortcutProtocol == &new JCheckBox(StepSet tings#5) |
| post | this.shortcutQuick == &new JCheckBox(StepSettin gs#4) |
| unanalyzed | call on com.dmdirc.installer.Installer |
| unanalyzed | call on com.dmdirc.installer.LinuxInstaller |
| unanalyzed | call on com.dmdirc.installer.ui.TextLabel:setEditab le |
| unanalyzed | call on com.dmdirc.installer.ui.TextLabel:setHighli ghter |
| unanalyzed | call on com.dmdirc.installer.ui.TextLabel:setMargin |
| unanalyzed | call on com.dmdirc.installer.ui.TextLabel:setOpaque |
| unanalyzed | call on com.dmdirc.installer.ui.TextLabel:setText |
| unanalyzed | call on java.awt.Insets |
| unanalyzed | call on java.lang.String:startsWith |
| unanalyzed | call on java.lang.System:getProperty |
| unanalyzed | call on javax.swing.JPanel |
| unanalyzed | call on javax.swing.JTextPane |
| unanalyzed | call on javax.swing.text.DefaultStyledDocument |
| test_vector | com.dmdirc.installer.Installer:supportsShortcut(... )@101: {0}, {1} |
| test_vector | com.dmdirc.installer.Installer:supportsShortcut(... )@105: {0}, {1} |
| test_vector | com.dmdirc.installer.Installer:supportsShortcut(... )@109: {0}, {1} |
| test_vector | com.dmdirc.installer.Installer:supportsShortcut(... )@97: {0}, {1} |