StepSettings.java


current inspection = 2009-09-03 21:56:13 (id #1)


Filter Options
Annotation Kind:
pre
presumption
post
unanalyzed
test_vector


  • void com.dmdirc.installer.ui.StepSettings()

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

  • com.dmdirc.installer.ui.StepSettings__static_init

  • Kind Annotation Text

  • Image getIcon()

  • Kind Annotation Text
    postreturn_value == null

  • String getInstallLocation()

  • Kind Annotation Text
    prethis.location != null
    presumptionjavax.swing.JTextField:getText(...)@165 != null
    postreturn_value != null

  • bool getShortcutDesktopState()

  • Kind Annotation Text
    prethis.shortcutDesktop != null
    postinit'ed(return_value)

  • bool getShortcutMenuState()

  • Kind Annotation Text
    prethis.shortcutMenu != null
    postinit'ed(return_value)

  • bool getShortcutProtocolState()

  • Kind Annotation Text
    prethis.shortcutProtocol != null
    postinit'ed(return_value)

  • bool getShortcutQuickState()

  • Kind Annotation Text
    prethis.shortcutQuick != null
    postinit'ed(return_value)

  • String getStepDescription()

  • Kind Annotation Text
    postreturn_value == &amp;""

  • String getStepName()

  • Kind Annotation Text
    postreturn_value == &amp;"Settings"