NewServerDialog.java

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


Filter Options
Annotation Kind:
pre
presumption
post
unanalyzed
test_vector


  • JCheckBox access$000(NewServerDialog)

    • Kind Annotation Text
    preinit'ed(x0.sslCheck)
    prex0 != null
    postinit'ed(return_value)
    postreturn_value == x0.sslCheck

  • void actionPerformed(ActionEvent)

    • Kind Annotation Text
    presumptioncom.dmdirc.addons.ui_swing.dialogs.NewServerDialog: getOkButton(...)@181 != null

  • void actionPerformed(ActionEvent)

    • Kind Annotation Text
    pre(soft) init'ed(com/dmdirc/addons/ui_ swing/dialogs/profiles/ProfileManagerDialog.me)
    pre(soft) init'ed(me)
    pre(soft) init'ed(this.editProfileButton)
    pre(soft) this.identityField != null
    pre(soft) this.mainFrame != null
    pre(soft) this.newServerWindowCheck != null
    pre(soft) this.passwordField != null
    pre(soft) this.portField != null
    pre(soft) this.portField.textField != null
    pre(soft) this.portField.validator != null
    pre(soft) this.serverField != null
    pre(soft) this.serverField.textField != null
    pre(soft) this.serverField.validator != null
    pree != null
    postcom/dmdirc/addons/ui_swing/dialogs/profiles/Profile ManagerDialog.me == One-of{old com/dmdirc/addons/ui _swing/dialogs/profiles/ProfileManagerDialog.me, &new ProfileManagerDialog(getProfileManagerDia log#1)}
    postinit'ed(com/dmdirc/addons/ui_swing/dialogs/profiles /ProfileManagerDialog.me)
    postinit'ed(me)
    postinit'ed(new ProfileManagerDialog(getProfileManagerD ialog#1).addButton)
    postinit'ed(new ProfileManagerDialog(getProfileManagerD ialog#1).deleteButton)
    postinit'ed(new ProfileManagerDialog(getProfileManagerD ialog#1).deletedProfiles)
    postinit'ed(new ProfileManagerDialog(getProfileManagerD ialog#1).details)
    postinit'ed(new ProfileManagerDialog(getProfileManagerD ialog#1).infoLabel)
    postinit'ed(new ProfileManagerDialog(getProfileManagerD ialog#1).mainFrame)
    postinit'ed(new ProfileManagerDialog(getProfileManagerD ialog#1).model)
    postinit'ed(new ProfileManagerDialog(getProfileManagerD ialog#1).profileList)
    postinit'ed(new ProfileManagerDialog(getProfileManagerD ialog#1).selectedIndex)
    postme == One-of{old me, null}
    postnew ArrayList(ProfileManagerDialog#1) num objects <= 1
    postnew ProfileManagerDialog(getProfileManagerDialog#1) num objects <= 1
    unanalyzedcall on com.dmdirc.ServerManager:getServerFromFrame
    unanalyzedcall on com.dmdirc.ServerManager:getServerManager
    unanalyzedcall on com.dmdirc.ServerManager:numServers
    unanalyzedcall on com.dmdirc.addons.ui_swing.MainFrame:getAct iveFrame
    unanalyzedcall on com.dmdirc.addons.ui_swing.components. LoggingSwingWorker
    unanalyzedcall on com.dmdirc.addons.ui_swing.components. StandardDialog
    unanalyzedcall on com.dmdirc.addons.ui_swing.components. StandardDialog:dispose
    unanalyzedcall on com.dmdirc.addons.ui_swing.dialogs. NewServerDialog$2:execute
    unanalyzedcall on com.dmdirc.addons.ui_swing.dialogs. NewServerDialog$3:execute
    unanalyzedcall on com.dmdirc.addons.ui_swing.dialogs. profiles.ProfileManagerDialog:getCancelButton
    unanalyzedcall on com.dmdirc.addons.ui_swing.dialogs. profiles.ProfileManagerDialog:getContentPane
    unanalyzedcall on com.dmdirc.addons.ui_swing.dialogs. profiles.ProfileManagerDialog:getLeftButton
    unanalyzedcall on com.dmdirc.addons.ui_swing.dialogs. profiles.ProfileManagerDialog:getOkButton
    unanalyzedcall on com.dmdirc.addons.ui_swing.dialogs. profiles.ProfileManagerDialog:getRightButton
    unanalyzedcall on com.dmdirc.addons.ui_swing.dialogs. profiles.ProfileManagerDialog:pack
    unanalyzedcall on com.dmdirc.addons.ui_swing.dialogs. profiles.ProfileManagerDialog:requestFocusInWindow
    unanalyzedcall on com.dmdirc.addons.ui_swing.dialogs. profiles.ProfileManagerDialog:setLocationRelativeTo
    unanalyzedcall on com.dmdirc.addons.ui_swing.dialogs. profiles.ProfileManagerDialog:setVisible
    unanalyzedcall on com.dmdirc.config.prefs.validator. ValidationResponse:isFailure
    unanalyzedcall on com.dmdirc.config.prefs.validator. Validator:validate
    unanalyzedcall on initComponents
    unanalyzedcall on java.awt.Container:add
    unanalyzedcall on java.awt.Container:setLayout
    unanalyzedcall on java.lang.Integer:parseInt
    unanalyzedcall on java.lang.Throwable:__curr_excep_obj
    unanalyzedcall on java.util.ArrayList
    unanalyzedcall on java.util.List:size
    unanalyzedcall on javax.swing.JButton:addActionListener
    unanalyzedcall on javax.swing.JCheckBox:isSelected
    unanalyzedcall on javax.swing.JComboBox:getSelectedItem
    unanalyzedcall on javax.swing.JList:addListSelectionListener
    unanalyzedcall on javax.swing.JList:setSelectedIndex
    unanalyzedcall on javax.swing.JScrollPane
    unanalyzedcall on javax.swing.JTextField:getText
    unanalyzedcall on javax.swing.JTextField:isEnabled
    unanalyzedcall on javax.swing.JTextField:requestFocusInWindow
    unanalyzedcall on net.miginfocom.swing.MigLayout

  • void addListeners()

    • Kind Annotation Text
    prethis.editProfileButton != null
    presumptioncom.dmdirc.addons.ui_swing.dialogs.NewServerDialog: getCancelButton(...)@173 != null
    presumptioncom.dmdirc.addons.ui_swing.dialogs.NewServerDialog: getOkButton(...)@174 != null
    presumptioncom.dmdirc.addons.ui_swing.dialogs.NewServerDialog: getRootPane(...)@185 != null

  • void com.dmdirc.addons.ui_swing.dialogs.NewServerDialog$1(NewServerDialog)

    • Kind Annotation Text

  • com.dmdirc.addons.ui_swing.dialogs.NewServerDialog$1__static_init

    • Kind Annotation Text

  • void com.dmdirc.addons.ui_swing.dialogs.NewServerDialog$2(NewServerDialog, String, int, String, Identity)

    • Kind Annotation Text
    postinit'ed(this.val$host)
    postinit'ed(this.val$pass)
    postinit'ed(this.val$port)
    postinit'ed(this.val$profile)
    postthis.val$host == Param_2
    postthis.val$pass == Param_4
    postthis.val$port == Param_3
    postthis.val$profile == Param_5

  • com.dmdirc.addons.ui_swing.dialogs.NewServerDialog$2__static_init

    • Kind Annotation Text

  • void com.dmdirc.addons.ui_swing.dialogs.NewServerDialog$3(NewServerDialog, Server, String, int, String, Identity)

    • Kind Annotation Text
    postinit'ed(this.val$host)
    postinit'ed(this.val$pass)
    postinit'ed(this.val$port)
    postinit'ed(this.val$profile)
    postinit'ed(this.val$server)
    postthis.val$host == Param_3
    postthis.val$pass == Param_5
    postthis.val$port == Param_4
    postthis.val$profile == Param_6
    postthis.val$server == Param_2

  • com.dmdirc.addons.ui_swing.dialogs.NewServerDialog$3__static_init

    • Kind Annotation Text

  • void com.dmdirc.addons.ui_swing.dialogs.NewServerDialog(MainFrame)

    • Kind Annotation Text
    pre(soft) mainFrame != null
    presumptioninit'ed(java.awt.Dialog$ModalityType.MODELESS)
    postnew JButton(initComponents#9) num objects == 1
    postnew JCheckBox(initComponents#6) num objects == 1
    postnew JCheckBox(initComponents#7) num objects == 1
    postnew JComboBox(initComponents#8) num objects == 1
    postnew JLabel(ValidatingJTextField#1) num objects == 1
    postnew JPasswordField(initComponents#5) num objects == 1
    postnew JTextField(ValidatingJTextField#1) num objects == 1
    postnew PortValidator(initComponents#4) num objects == 1
    postnew RegexStringValidator(initComponents#2) num objects == 1
    postnew ValidatingJTextField(initComponents#1) num objects == 1
    postnew ValidatingJTextField(initComponents#1). errorIcon == &amp;new JLabel(ValidatingJTextField#1 )
    postnew ValidatingJTextField(initComponents#1). textField == &amp;new JTextField(ValidatingJTextFie ld#1)
    postnew ValidatingJTextField(initComponents#1). validator == &amp;new RegexStringValidator(initComp onents#2)
    postnew ValidatingJTextField(initComponents#3) num objects == 1
    postnew ValidatingJTextField(initComponents#3). errorIcon == &amp;new JLabel(ValidatingJTextField#1 )
    postnew ValidatingJTextField(initComponents#3). textField == &amp;new JTextField(ValidatingJTextFie ld#1)
    postnew ValidatingJTextField(initComponents#3). validator == &amp;new PortValidator(initComponents# 4)
    postthis.editProfileButton == &amp;new JButton(initComp onents#9)
    postthis.identityField == &amp;new JComboBox(initCompon ents#8)
    postthis.mainFrame != null
    postthis.mainFrame == mainFrame
    postthis.newServerWindowCheck == &amp;new JCheckBox(initComponents#6)
    postthis.passwordField == &amp;new JPasswordField(initC omponents#5)
    postthis.portField == &amp;new ValidatingJTextField(ini tComponents#3)
    postthis.serverField == &amp;new ValidatingJTextField(i nitComponents#1)
    postthis.sslCheck == &amp;new JCheckBox(initComponents# 7)
    unanalyzedcall on com.dmdirc.ServerManager:getServerManager
    unanalyzedcall on com.dmdirc.ServerManager:numServers
    unanalyzedcall on com.dmdirc.addons.ui_swing.MainFrame:getAct iveFrame
    unanalyzedcall on com.dmdirc.addons.ui_swing.components. validating.ValidatingJTextField:add
    unanalyzedcall on com.dmdirc.addons.ui_swing.components. validating.ValidatingJTextField:firePropertyChange
    unanalyzedcall on com.dmdirc.addons.ui_swing.components. validating.ValidatingJTextField:setLayout
    unanalyzedcall on com.dmdirc.addons.ui_swing.dialogs. NewServerDialog:getCancelButton
    unanalyzedcall on com.dmdirc.addons.ui_swing.dialogs. NewServerDialog:getContentPane
    unanalyzedcall on com.dmdirc.addons.ui_swing.dialogs. NewServerDialog:getLeftButton
    unanalyzedcall on com.dmdirc.addons.ui_swing.dialogs. NewServerDialog:getOkButton
    unanalyzedcall on com.dmdirc.addons.ui_swing.dialogs. NewServerDialog:getRightButton
    unanalyzedcall on com.dmdirc.addons.ui_swing.dialogs. NewServerDialog:getRootPane
    unanalyzedcall on com.dmdirc.addons.ui_swing.dialogs. NewServerDialog:orderButtons
    unanalyzedcall on com.dmdirc.addons.ui_swing.dialogs. NewServerDialog:pack
    unanalyzedcall on com.dmdirc.addons.ui_swing.dialogs. NewServerDialog:setDefaultCloseOperation
    unanalyzedcall on com.dmdirc.addons.ui_swing.dialogs. NewServerDialog:setTitle
    unanalyzedcall on com.dmdirc.config.ConfigManager:getOption
    unanalyzedcall on com.dmdirc.config.IdentityManager:getGlobal Config
    unanalyzedcall on com.dmdirc.config.IdentityManager:getProfil es
    unanalyzedcall on com.dmdirc.config.prefs.validator. PortValidator
    unanalyzedcall on com.dmdirc.config.prefs.validator. RegexStringValidator
    unanalyzedcall on com.dmdirc.config.prefs.validator. ValidationResponse:getFailureReason
    unanalyzedcall on com.dmdirc.config.prefs.validator. ValidationResponse:isFailure
    unanalyzedcall on com.dmdirc.config.prefs.validator. Validator:validate
    unanalyzedcall on com.dmdirc.ui.IconManager:getIcon
    unanalyzedcall on com.dmdirc.ui.IconManager:getIconManager
    unanalyzedcall on java.awt.Container:add
    unanalyzedcall on java.awt.Container:setLayout
    unanalyzedcall on java.awt.Insets
    unanalyzedcall on java.util.List:iterator
    unanalyzedcall on javax.swing.BorderFactory:createEmptyBorder
    unanalyzedcall on javax.swing.DefaultComboBoxModel:addElement
    unanalyzedcall on javax.swing.DefaultComboBoxModel:removeAllE lements
    unanalyzedcall on javax.swing.JButton
    unanalyzedcall on javax.swing.JButton:addActionListener
    unanalyzedcall on javax.swing.JButton:setText
    unanalyzedcall on javax.swing.JCheckBox
    unanalyzedcall on javax.swing.JCheckBox:setBorder
    unanalyzedcall on javax.swing.JCheckBox:setEnabled
    unanalyzedcall on javax.swing.JCheckBox:setMargin
    unanalyzedcall on javax.swing.JCheckBox:setSelected
    unanalyzedcall on javax.swing.JCheckBox:setText
    unanalyzedcall on javax.swing.JComboBox
    unanalyzedcall on javax.swing.JComboBox:getModel
    unanalyzedcall on javax.swing.JComponent
    unanalyzedcall on javax.swing.JLabel
    unanalyzedcall on javax.swing.JLabel:isVisible
    unanalyzedcall on javax.swing.JLabel:setToolTipText
    unanalyzedcall on javax.swing.JLabel:setVisible
    unanalyzedcall on javax.swing.JPasswordField
    unanalyzedcall on javax.swing.JRootPane:registerKeyboardActio n
    unanalyzedcall on javax.swing.JTextField
    unanalyzedcall on javax.swing.JTextField:getDocument
    unanalyzedcall on javax.swing.JTextField:getText
    unanalyzedcall on javax.swing.JTextField:isEnabled
    unanalyzedcall on javax.swing.JTextField:requestFocusInWindow
    unanalyzedcall on javax.swing.JTextField:setText
    unanalyzedcall on javax.swing.KeyStroke:getKeyStroke
    unanalyzedcall on javax.swing.text.Document:addDocumentListen er
    unanalyzedcall on net.miginfocom.swing.MigLayout

  • com.dmdirc.addons.ui_swing.dialogs.NewServerDialog__static_init

    • Kind Annotation Text

  • void dispose()

    • Kind Annotation Text
    preinit'ed(me)
    postme == null
    test_vectorme: Inverse{null}, Addr_Set{null}

  • Object doInBackground()

    • Kind Annotation Text
    prethis.sslCheck != null
    postreturn_value == null

  • Object doInBackground()

    • Kind Annotation Text
    prethis.sslCheck != null
    postreturn_value == null
    test_vectorthis.val$server: Inverse{null}, Addr_Set{null}

  • NewServerDialog getNewServerDialog(MainFrame)

    • Kind Annotation Text
    pre(soft) mainFrame != null
    preinit'ed(me)
    postme != null
    postme == One-of{old me, &amp;new NewServerDialog(getNe wServerDialog#1)}
    postnew JButton(initComponents#9) num objects <= 1
    postnew JCheckBox(initComponents#6) num objects <= 1
    postnew JCheckBox(initComponents#7) num objects <= 1
    postnew JComboBox(initComponents#8) num objects <= 1
    postnew JLabel(ValidatingJTextField#1) num objects <= 1
    postnew JPasswordField(initComponents#5) num objects <= 1
    postnew JTextField(ValidatingJTextField#1) num objects <= 1
    postnew NewServerDialog(getNewServerDialog#1) num objects <= 1
    postnew NewServerDialog(getNewServerDialog#1). editProfileButton == &amp;new JButton(initComponent s#9)
    postnew NewServerDialog(getNewServerDialog#1). identityField == &amp;new JComboBox(initComponents# 8)
    postnew NewServerDialog(getNewServerDialog#1). mainFrame != null
    postnew NewServerDialog(getNewServerDialog#1). mainFrame == mainFrame
    postnew NewServerDialog(getNewServerDialog#1). newServerWindowCheck == &amp;new JCheckBox(initComp onents#6)
    postnew NewServerDialog(getNewServerDialog#1). passwordField == &amp;new JPasswordField(initCompon ents#5)
    postnew NewServerDialog(getNewServerDialog#1). portField == &amp;new ValidatingJTextField(initComp onents#3)
    postnew NewServerDialog(getNewServerDialog#1). serverField == &amp;new ValidatingJTextField(initCo mponents#1)
    postnew NewServerDialog(getNewServerDialog#1).sslCheck == &amp;new JCheckBox(initComponents#7)
    postnew PortValidator(initComponents#4) num objects <= 1
    postnew RegexStringValidator(initComponents#2) num objects <= 1
    postnew ValidatingJTextField(initComponents#1) num objects <= 1
    postnew ValidatingJTextField(initComponents#1). errorIcon == &amp;new JLabel(ValidatingJTextField#1 )
    postnew ValidatingJTextField(initComponents#1). textField == &amp;new JTextField(ValidatingJTextFie ld#1)
    postnew ValidatingJTextField(initComponents#1). validator == &amp;new RegexStringValidator(initComp onents#2)
    postnew ValidatingJTextField(initComponents#3) num objects <= 1
    postnew ValidatingJTextField(initComponents#3). errorIcon == &amp;new JLabel(ValidatingJTextField#1 )
    postnew ValidatingJTextField(initComponents#3). textField == &amp;new JTextField(ValidatingJTextFie ld#1)
    postnew ValidatingJTextField(initComponents#3). validator == &amp;new PortValidator(initComponents# 4)
    postreturn_value != null
    postreturn_value == One-of{old me, &amp;new NewServerDialog(getNewServerDialog#1)}
    unanalyzedcall on com.dmdirc.ServerManager:getServerManager
    unanalyzedcall on com.dmdirc.ServerManager:numServers
    unanalyzedcall on com.dmdirc.addons.ui_swing.MainFrame:getAct iveFrame
    unanalyzedcall on com.dmdirc.addons.ui_swing.components. StandardDialog
    unanalyzedcall on com.dmdirc.addons.ui_swing.components. validating.ValidatingJTextField:add
    unanalyzedcall on com.dmdirc.addons.ui_swing.components. validating.ValidatingJTextField:firePropertyChange
    unanalyzedcall on com.dmdirc.addons.ui_swing.components. validating.ValidatingJTextField:setLayout
    unanalyzedcall on com.dmdirc.addons.ui_swing.dialogs. NewServerDialog:getCancelButton
    unanalyzedcall on com.dmdirc.addons.ui_swing.dialogs. NewServerDialog:getContentPane
    unanalyzedcall on com.dmdirc.addons.ui_swing.dialogs. NewServerDialog:getLeftButton
    unanalyzedcall on com.dmdirc.addons.ui_swing.dialogs. NewServerDialog:getOkButton
    unanalyzedcall on com.dmdirc.addons.ui_swing.dialogs. NewServerDialog:getRightButton
    unanalyzedcall on com.dmdirc.addons.ui_swing.dialogs. NewServerDialog:getRootPane
    unanalyzedcall on com.dmdirc.addons.ui_swing.dialogs. NewServerDialog:orderButtons
    unanalyzedcall on com.dmdirc.addons.ui_swing.dialogs. NewServerDialog:pack
    unanalyzedcall on com.dmdirc.addons.ui_swing.dialogs. NewServerDialog:setDefaultCloseOperation
    unanalyzedcall on com.dmdirc.addons.ui_swing.dialogs. NewServerDialog:setResizable
    unanalyzedcall on com.dmdirc.addons.ui_swing.dialogs. NewServerDialog:setTitle
    unanalyzedcall on com.dmdirc.config.ConfigManager:getOption
    unanalyzedcall on com.dmdirc.config.IdentityManager:getGlobal Config
    unanalyzedcall on com.dmdirc.config.IdentityManager:getProfil es
    unanalyzedcall on com.dmdirc.config.prefs.validator. PortValidator
    unanalyzedcall on com.dmdirc.config.prefs.validator. RegexStringValidator
    unanalyzedcall on com.dmdirc.config.prefs.validator. ValidationResponse:getFailureReason
    unanalyzedcall on com.dmdirc.config.prefs.validator. ValidationResponse:isFailure
    unanalyzedcall on com.dmdirc.config.prefs.validator. Validator:validate
    unanalyzedcall on com.dmdirc.ui.IconManager:getIcon
    unanalyzedcall on com.dmdirc.ui.IconManager:getIconManager
    unanalyzedcall on java.awt.Container:add
    unanalyzedcall on java.awt.Container:setLayout
    unanalyzedcall on java.awt.Insets
    unanalyzedcall on java.util.List:iterator
    unanalyzedcall on javax.swing.BorderFactory:createEmptyBorder
    unanalyzedcall on javax.swing.DefaultComboBoxModel:addElement
    unanalyzedcall on javax.swing.DefaultComboBoxModel:removeAllE lements
    unanalyzedcall on javax.swing.JButton
    unanalyzedcall on javax.swing.JButton:addActionListener
    unanalyzedcall on javax.swing.JButton:setText
    unanalyzedcall on javax.swing.JCheckBox
    unanalyzedcall on javax.swing.JCheckBox:setBorder
    unanalyzedcall on javax.swing.JCheckBox:setEnabled
    unanalyzedcall on javax.swing.JCheckBox:setMargin
    unanalyzedcall on javax.swing.JCheckBox:setSelected
    unanalyzedcall on javax.swing.JCheckBox:setText
    unanalyzedcall on javax.swing.JComboBox
    unanalyzedcall on javax.swing.JComboBox:getModel
    unanalyzedcall on javax.swing.JComponent
    unanalyzedcall on javax.swing.JLabel
    unanalyzedcall on javax.swing.JLabel:isVisible
    unanalyzedcall on javax.swing.JLabel:setToolTipText
    unanalyzedcall on javax.swing.JLabel:setVisible
    unanalyzedcall on javax.swing.JPasswordField
    unanalyzedcall on javax.swing.JRootPane:registerKeyboardActio n
    unanalyzedcall on javax.swing.JTextField
    unanalyzedcall on javax.swing.JTextField:getDocument
    unanalyzedcall on javax.swing.JTextField:getText
    unanalyzedcall on javax.swing.JTextField:isEnabled
    unanalyzedcall on javax.swing.JTextField:requestFocusInWindow
    unanalyzedcall on javax.swing.JTextField:setText
    unanalyzedcall on javax.swing.KeyStroke:getKeyStroke
    unanalyzedcall on javax.swing.text.Document:addDocumentListen er
    unanalyzedcall on net.miginfocom.swing.MigLayout

  • void initComponents()

    • Kind Annotation Text
    postnew JButton(initComponents#9) num objects == 1
    postnew JCheckBox(initComponents#6) num objects == 1
    postnew JCheckBox(initComponents#7) num objects == 1
    postnew JComboBox(initComponents#8) num objects == 1
    postnew JLabel(ValidatingJTextField#1) num objects == 1
    postnew JPasswordField(initComponents#5) num objects == 1
    postnew JTextField(ValidatingJTextField#1) num objects == 1
    postnew PortValidator(initComponents#4) num objects == 1
    postnew RegexStringValidator(initComponents#2) num objects == 1
    postnew ValidatingJTextField(initComponents#1) num objects == 1
    postnew ValidatingJTextField(initComponents#3) num objects == 1
    postthis.editProfileButton == &amp;new JButton(initComp onents#9)
    postthis.identityField == &amp;new JComboBox(initCompon ents#8)
    postthis.newServerWindowCheck == &amp;new JCheckBox(initComponents#6)
    postthis.passwordField == &amp;new JPasswordField(initC omponents#5)
    postthis.portField == &amp;new ValidatingJTextField(ini tComponents#3)
    postthis.portField.errorIcon == &amp;new JLabel(ValidatingJTextField#1)
    postthis.portField.textField == &amp;new JTextField(ValidatingJTextField#1)
    postthis.portField.validator == &amp;new PortValidator(initComponents#4)
    postthis.serverField == &amp;new ValidatingJTextField(i nitComponents#1)
    postthis.serverField.errorIcon == &amp;new JLabel(ValidatingJTextField#1)
    postthis.serverField.textField == &amp;new JTextField(ValidatingJTextField#1)
    postthis.serverField.validator == &amp;new RegexStringValidator(initComponents#2)
    postthis.sslCheck == &amp;new JCheckBox(initComponents# 7)
    unanalyzedcall on com.dmdirc.addons.ui_swing.components. validating.ValidatingJTextField:add
    unanalyzedcall on com.dmdirc.addons.ui_swing.components. validating.ValidatingJTextField:firePropertyChange
    unanalyzedcall on com.dmdirc.addons.ui_swing.components. validating.ValidatingJTextField:setLayout
    unanalyzedcall on com.dmdirc.config.IdentityManager:getProfil es
    unanalyzedcall on com.dmdirc.config.prefs.validator. ValidationResponse:getFailureReason
    unanalyzedcall on com.dmdirc.config.prefs.validator. ValidationResponse:isFailure
    unanalyzedcall on com.dmdirc.config.prefs.validator. Validator:validate
    unanalyzedcall on com.dmdirc.ui.IconManager:getIcon
    unanalyzedcall on com.dmdirc.ui.IconManager:getIconManager
    unanalyzedcall on java.util.List:iterator
    unanalyzedcall on javax.swing.DefaultComboBoxModel:addElement
    unanalyzedcall on javax.swing.DefaultComboBoxModel:removeAllE lements
    unanalyzedcall on javax.swing.JComboBox:getModel
    unanalyzedcall on javax.swing.JComponent
    unanalyzedcall on javax.swing.JLabel
    unanalyzedcall on javax.swing.JLabel:isVisible
    unanalyzedcall on javax.swing.JLabel:setToolTipText
    unanalyzedcall on javax.swing.JLabel:setVisible
    unanalyzedcall on javax.swing.JTextField
    unanalyzedcall on javax.swing.JTextField:getDocument
    unanalyzedcall on javax.swing.JTextField:getText
    unanalyzedcall on javax.swing.JTextField:isEnabled
    unanalyzedcall on javax.swing.text.Document:addDocumentListen er
    unanalyzedcall on net.miginfocom.swing.MigLayout

  • bool isNewServerDialogShowing()

    • Kind Annotation Text
    preinit'ed(me)
    postinit'ed(return_value)

  • void layoutComponents()

    • Kind Annotation Text
    preinit'ed(this.editProfileButton)
    preinit'ed(this.identityField)
    preinit'ed(this.newServerWindowCheck)
    preinit'ed(this.passwordField)
    preinit'ed(this.portField)
    preinit'ed(this.serverField)
    preinit'ed(this.sslCheck)
    presumptioncom.dmdirc.addons.ui_swing.dialogs.NewServerDialog: getContentPane(...)@234 != null
    presumptioncom.dmdirc.addons.ui_swing.dialogs.NewServerDialog: getContentPane(...)@236 != null
    presumptioncom.dmdirc.addons.ui_swing.dialogs.NewServerDialog: getContentPane(...)@238 != null
    presumptioncom.dmdirc.addons.ui_swing.dialogs.NewServerDialog: getContentPane(...)@239 != null
    presumptioncom.dmdirc.addons.ui_swing.dialogs.NewServerDialog: getContentPane(...)@240 != null
    presumptioncom.dmdirc.addons.ui_swing.dialogs.NewServerDialog: getContentPane(...)@241 != null
    presumptioncom.dmdirc.addons.ui_swing.dialogs.NewServerDialog: getContentPane(...)@242 != null
    presumptioncom.dmdirc.addons.ui_swing.dialogs.NewServerDialog: getContentPane(...)@243 != null
    presumptioncom.dmdirc.addons.ui_swing.dialogs.NewServerDialog: getContentPane(...)@244 != null
    presumptioncom.dmdirc.addons.ui_swing.dialogs.NewServerDialog: getContentPane(...)@245 != null
    presumptioncom.dmdirc.addons.ui_swing.dialogs.NewServerDialog: getContentPane(...)@246 != null
    presumptioncom.dmdirc.addons.ui_swing.dialogs.NewServerDialog: getContentPane(...)@247 != null
    presumptioncom.dmdirc.addons.ui_swing.dialogs.NewServerDialog: getContentPane(...)@248 != null
    presumptioncom.dmdirc.addons.ui_swing.dialogs.NewServerDialog: getContentPane(...)@249 != null
    presumptioncom.dmdirc.addons.ui_swing.dialogs.NewServerDialog: getContentPane(...)@250 != null

  • void populateProfiles()

    • Kind Annotation Text
    prethis.identityField != null
    presumptioncom.dmdirc.config.IdentityManager:getProfiles(... )@223 != null
    presumptionjavax.swing.JComboBox:getModel(...)@224 != null
    presumptionjavax.swing.JComboBox:getModel(...)@226 != null
    test_vectorjava.util.Iterator:hasNext(...)@225: {0}, {1}

  • void save()

    • Kind Annotation Text
    pre(soft) init'ed(me)
    pre(soft) this.identityField != null
    pre(soft) this.mainFrame != null
    pre(soft) this.newServerWindowCheck != null
    pre(soft) this.passwordField != null
    pre(soft) this.portField != null
    pre(soft) this.portField.textField != null
    pre(soft) this.portField.validator != null
    pre(soft) this.serverField.validator != null
    prethis.serverField != null
    prethis.serverField.textField != null
    presumptioncom.dmdirc.ServerManager:getServerManager(...)@278 != null
    presumptioncom.dmdirc.ServerManager:getServerManager(...)@291 != null
    postinit'ed(me)
    postme == One-of{old me, null}
    unanalyzedcall on com.dmdirc.addons.ui_swing.components. LoggingSwingWorker
    unanalyzedcall on com.dmdirc.addons.ui_swing.components. StandardDialog:dispose
    unanalyzedcall on com.dmdirc.config.prefs.validator. ValidationResponse:isFailure
    unanalyzedcall on com.dmdirc.config.prefs.validator. Validator:validate
    unanalyzedcall on java.lang.Throwable:__curr_excep_obj
    unanalyzedcall on javax.swing.JTextField:getText
    unanalyzedcall on javax.swing.JTextField:isEnabled
    unanalyzedcall on javax.swing.JTextField:requestFocusInWindow
    test_vectorcom.dmdirc.ServerManager:numServers(...)@278: {0}, {-231..-1, 1..232-1}
    test_vectorcom.dmdirc.addons.ui_swing.MainFrame:getActiveFrame (...)@278: Inverse{null}, Addr_Set{null}
    test_vectorjavax.swing.JCheckBox:isSelected(...)@278: {1}, {0}

  • void showNewServerDialog(MainFrame)

    • Kind Annotation Text
    pre(soft) mainFrame != null
    preinit'ed(me)
    postme != null
    postme == One-of{old me, &amp;new NewServerDialog(getNe wServerDialog#1)}
    postnew JButton(initComponents#9) num objects <= 1
    postnew JCheckBox(initComponents#6) num objects == new JButton(initComponents#9) num objects
    postnew JCheckBox(initComponents#7) num objects == new JButton(initComponents#9) num objects
    postnew JComboBox(initComponents#8) num objects == new JButton(initComponents#9) num objects
    postnew JLabel(ValidatingJTextField#1) num objects == new JButton(initComponents#9) num objects
    postnew JPasswordField(initComponents#5) num objects == new JButton(initComponents#9) num objects
    postnew JTextField(ValidatingJTextField#1) num objects == new JButton(initComponents#9) num objects
    postnew NewServerDialog(getNewServerDialog#1) num objects == new JButton(initComponents#9) num objects
    postnew NewServerDialog(getNewServerDialog#1). editProfileButton == &amp;new JButton(initComponent s#9)
    postnew NewServerDialog(getNewServerDialog#1). identityField == &amp;new JComboBox(initComponents# 8)
    postnew NewServerDialog(getNewServerDialog#1). mainFrame != null
    postnew NewServerDialog(getNewServerDialog#1). mainFrame == mainFrame
    postnew NewServerDialog(getNewServerDialog#1). newServerWindowCheck == &amp;new JCheckBox(initComp onents#6)
    postnew NewServerDialog(getNewServerDialog#1). passwordField == &amp;new JPasswordField(initCompon ents#5)
    postnew NewServerDialog(getNewServerDialog#1). portField == &amp;new ValidatingJTextField(initComp onents#3)
    postnew NewServerDialog(getNewServerDialog#1). serverField == &amp;new ValidatingJTextField(initCo mponents#1)
    postnew NewServerDialog(getNewServerDialog#1).sslCheck == &amp;new JCheckBox(initComponents#7)
    postnew PortValidator(initComponents#4) num objects == new JButton(initComponents#9) num objects
    postnew RegexStringValidator(initComponents#2) num objects == new JButton(initComponents#9) num objects
    postnew ValidatingJTextField(initComponents#1) num objects == new JButton(initComponents#9) num objects
    postnew ValidatingJTextField(initComponents#1). errorIcon == &amp;new JLabel(ValidatingJTextField#1 )
    postnew ValidatingJTextField(initComponents#1). textField == &amp;new JTextField(ValidatingJTextFie ld#1)
    postnew ValidatingJTextField(initComponents#1). validator == &amp;new RegexStringValidator(initComp onents#2)
    postnew ValidatingJTextField(initComponents#3) num objects == new JButton(initComponents#9) num objects
    postnew ValidatingJTextField(initComponents#3). errorIcon == &amp;new JLabel(ValidatingJTextField#1 )
    postnew ValidatingJTextField(initComponents#3). textField == &amp;new JTextField(ValidatingJTextFie ld#1)
    postnew ValidatingJTextField(initComponents#3). validator == &amp;new PortValidator(initComponents# 4)
    unanalyzedcall on com.dmdirc.ServerManager:getServerManager
    unanalyzedcall on com.dmdirc.ServerManager:numServers
    unanalyzedcall on com.dmdirc.addons.ui_swing.MainFrame:getAct iveFrame
    unanalyzedcall on com.dmdirc.addons.ui_swing.components. StandardDialog
    unanalyzedcall on com.dmdirc.addons.ui_swing.components. validating.ValidatingJTextField:add
    unanalyzedcall on com.dmdirc.addons.ui_swing.components. validating.ValidatingJTextField:firePropertyChange
    unanalyzedcall on com.dmdirc.addons.ui_swing.components. validating.ValidatingJTextField:setLayout
    unanalyzedcall on com.dmdirc.addons.ui_swing.dialogs. NewServerDialog:getCancelButton
    unanalyzedcall on com.dmdirc.addons.ui_swing.dialogs. NewServerDialog:getContentPane
    unanalyzedcall on com.dmdirc.addons.ui_swing.dialogs. NewServerDialog:getLeftButton
    unanalyzedcall on com.dmdirc.addons.ui_swing.dialogs. NewServerDialog:getOkButton
    unanalyzedcall on com.dmdirc.addons.ui_swing.dialogs. NewServerDialog:getRightButton
    unanalyzedcall on com.dmdirc.addons.ui_swing.dialogs. NewServerDialog:getRootPane
    unanalyzedcall on com.dmdirc.addons.ui_swing.dialogs. NewServerDialog:orderButtons
    unanalyzedcall on com.dmdirc.addons.ui_swing.dialogs. NewServerDialog:pack
    unanalyzedcall on com.dmdirc.addons.ui_swing.dialogs. NewServerDialog:setDefaultCloseOperation
    unanalyzedcall on com.dmdirc.addons.ui_swing.dialogs. NewServerDialog:setResizable
    unanalyzedcall on com.dmdirc.addons.ui_swing.dialogs. NewServerDialog:setTitle
    unanalyzedcall on com.dmdirc.config.ConfigManager:getOption
    unanalyzedcall on com.dmdirc.config.IdentityManager:getGlobal Config
    unanalyzedcall on com.dmdirc.config.IdentityManager:getProfil es
    unanalyzedcall on com.dmdirc.config.prefs.validator. PortValidator
    unanalyzedcall on com.dmdirc.config.prefs.validator. RegexStringValidator
    unanalyzedcall on com.dmdirc.config.prefs.validator. ValidationResponse:getFailureReason
    unanalyzedcall on com.dmdirc.config.prefs.validator. ValidationResponse:isFailure
    unanalyzedcall on com.dmdirc.config.prefs.validator. Validator:validate
    unanalyzedcall on com.dmdirc.ui.IconManager:getIcon
    unanalyzedcall on com.dmdirc.ui.IconManager:getIconManager
    unanalyzedcall on java.awt.Container:add
    unanalyzedcall on java.awt.Container:setLayout
    unanalyzedcall on java.awt.Insets
    unanalyzedcall on java.lang.Throwable:__curr_excep_obj
    unanalyzedcall on java.util.List:iterator
    unanalyzedcall on javax.swing.BorderFactory:createEmptyBorder
    unanalyzedcall on javax.swing.DefaultComboBoxModel:addElement
    unanalyzedcall on javax.swing.DefaultComboBoxModel:removeAllE lements
    unanalyzedcall on javax.swing.JButton
    unanalyzedcall on javax.swing.JButton:addActionListener
    unanalyzedcall on javax.swing.JButton:setText
    unanalyzedcall on javax.swing.JCheckBox
    unanalyzedcall on javax.swing.JCheckBox:setBorder
    unanalyzedcall on javax.swing.JCheckBox:setEnabled
    unanalyzedcall on javax.swing.JCheckBox:setMargin
    unanalyzedcall on javax.swing.JCheckBox:setSelected
    unanalyzedcall on javax.swing.JCheckBox:setText
    unanalyzedcall on javax.swing.JComboBox
    unanalyzedcall on javax.swing.JComboBox:getModel
    unanalyzedcall on javax.swing.JComponent
    unanalyzedcall on javax.swing.JLabel
    unanalyzedcall on javax.swing.JLabel:isVisible
    unanalyzedcall on javax.swing.JLabel:setToolTipText
    unanalyzedcall on javax.swing.JLabel:setVisible
    unanalyzedcall on javax.swing.JPasswordField
    unanalyzedcall on javax.swing.JRootPane:registerKeyboardActio n
    unanalyzedcall on javax.swing.JTextField
    unanalyzedcall on javax.swing.JTextField:getDocument
    unanalyzedcall on javax.swing.JTextField:getText
    unanalyzedcall on javax.swing.JTextField:isEnabled
    unanalyzedcall on javax.swing.JTextField:requestFocusInWindow
    unanalyzedcall on javax.swing.JTextField:setText
    unanalyzedcall on javax.swing.KeyStroke:getKeyStroke
    unanalyzedcall on javax.swing.text.Document:addDocumentListen er
    unanalyzedcall on net.miginfocom.swing.MigLayout

  • void update()

    • Kind Annotation Text
    pre(soft) this.mainFrame != null
    prethis.identityField != null
    prethis.newServerWindowCheck != null
    prethis.passwordField != null
    prethis.portField != null
    prethis.portField.textField != null
    prethis.serverField != null
    prethis.serverField.textField != null
    prethis.sslCheck != null
    presumptioncom.dmdirc.ServerManager:getServerManager(...)@158 != null
    presumptioncom.dmdirc.config.IdentityManager:getGlobalConfig(. ..)@147 != null
    presumptioncom.dmdirc.config.IdentityManager:getGlobalConfig(. ..)@149 != null
    presumptioncom.dmdirc.config.IdentityManager:getGlobalConfig(. ..)@151 != null
    unanalyzedcall on com.dmdirc.config.IdentityManager:getProfil es
    unanalyzedcall on java.util.List:iterator
    unanalyzedcall on javax.swing.DefaultComboBoxModel:addElement
    unanalyzedcall on javax.swing.DefaultComboBoxModel:removeAllE lements
    unanalyzedcall on javax.swing.JComboBox:getModel
    unanalyzedcall on javax.swing.JTextField:requestFocusInWindow
    unanalyzedcall on javax.swing.JTextField:setText
    test_vectorcom.dmdirc.ServerManager:numServers(...)@158: {0}, {-231..-1, 1..232-1}
    test_vectorcom.dmdirc.addons.ui_swing.MainFrame:getActiveFrame (...)@158: Inverse{null}, Addr_Set{null}