Messages

method

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

method

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

method

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

method

com.dmdirc.addons.ui_swing.dialogs. NewServerDialog__static_init

method	JCheckBox access$000(NewServerDialog)
pre	x0 != null
pre	init'ed(x0.sslCheck)
post	return_value == x0.sslCheck
post	init'ed(return_value)

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

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.components. StandardDialog(Window, Dialog$ModalityType)

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.dialogs. NewServerDialog:setResizable(bool)

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

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.dialogs. NewServerDialog:setLocationRelativeTo(Component)

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.dialogs. NewServerDialog:setVisible(bool)

method not available - call not analyzed Info call on bool com.dmdirc.addons.ui_swing.dialogs. NewServerDialog:requestFocusInWindow()

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

method	bool isNewServerDialogShowing()
pre	init'ed(me)
post	init'ed(return_value)

method	void update()
pre	this.identityField != null
pre	this.newServerWindowCheck != null
pre	this.passwordField != null
pre	this.portField != null
pre	this.portField.textField != null
pre	this.serverField != null
pre	this.serverField.textField != null
pre	this.sslCheck != null
pre	(soft) this.mainFrame != null
presumption	com.dmdirc.ServerManager:getServerManager(...)@158 != null
presumption	com.dmdirc.config.IdentityManager:getGlobalConfig(. ..)@147 != null
presumption	com.dmdirc.config.IdentityManager:getGlobalConfig(. ..)@149 != null
presumption	com.dmdirc.config.IdentityManager:getGlobalConfig(. ..)@151 != null
unanalyzed	call on com.dmdirc.config.IdentityManager:getProfil es
unanalyzed	call on javax.swing.JComboBox:getModel
unanalyzed	call on javax.swing.DefaultComboBoxModel:removeAllE lements
unanalyzed	call on java.util.List:iterator
unanalyzed	call on javax.swing.DefaultComboBoxModel:addElement
unanalyzed	call on javax.swing.JTextField:requestFocusInWindow
unanalyzed	call on javax.swing.JTextField:setText
test_vector	com.dmdirc.ServerManager:numServers(...)@158: {0}, {-2³¹..-1, 1..2³²-1}
test_vector	com.dmdirc.addons.ui_swing.MainFrame:getActiveFrame (...)@158: Inverse{null}, Addr_Set{null}

method not available - call not analyzed Info call on ConfigManager com.dmdirc.config. IdentityManager:getGlobalConfig()

method not available - call not analyzed Info call on String com.dmdirc.config.ConfigManager:getO ption(String, String)

method not available - call not analyzed Info call on ServerManager com.dmdirc.ServerManager:getS erverManager()

method not available - call not analyzed Info call on int com.dmdirc.ServerManager:numServers()

method not available - call not analyzed Info call on Window com.dmdirc.addons.ui_swing. MainFrame:getActiveFrame()

method	void addListeners()
pre	this.editProfileButton != null
presumption	com.dmdirc.addons.ui_swing.dialogs.NewServerDialog: getCancelButton(...)@173 != null
presumption	com.dmdirc.addons.ui_swing.dialogs.NewServerDialog: getOkButton(...)@174 != null
presumption	com.dmdirc.addons.ui_swing.dialogs.NewServerDialog: getRootPane(...)@185 != null

method not available - call not analyzed Info call on JButton com.dmdirc.addons.ui_swing.dialogs. NewServerDialog:getCancelButton()

method not available - call not analyzed Info call on JButton com.dmdirc.addons.ui_swing.dialogs. NewServerDialog:getOkButton()

method

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

method	void actionPerformed(ActionEvent)
presumption	com.dmdirc.addons.ui_swing.dialogs.NewServerDialog: getOkButton(...)@181 != null

method not available - call not analyzed Info call on JButton com.dmdirc.addons.ui_swing.dialogs. NewServerDialog:getOkButton()

method not available - call not analyzed Info call on JRootPane com.dmdirc.addons.ui_swing. dialogs.NewServerDialog:getRootPane()

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

method not available - call not analyzed Info call on void com.dmdirc.config.prefs.validator. RegexStringValidator(String, String)

method not available - call not analyzed Info call on void com.dmdirc.config.prefs.validator. PortValidator()

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.dialogs. NewServerDialog:setDefaultCloseOperation(int)

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.dialogs. NewServerDialog:orderButtons(JButton, JButton)

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.dialogs. NewServerDialog:setTitle(String)

method	void populateProfiles()
pre	this.identityField != null
presumption	com.dmdirc.config.IdentityManager:getProfiles(... )@223 != null
presumption	javax.swing.JComboBox:getModel(...)@224 != null
presumption	javax.swing.JComboBox:getModel(...)@226 != null
test_vector	java.util.Iterator:hasNext(...)@225: {0}, {1}

method not available - call not analyzed Info call on List com.dmdirc.config.IdentityManager:getP rofiles()

method	void layoutComponents()
pre	init'ed(this.editProfileButton)
pre	init'ed(this.identityField)
pre	init'ed(this.newServerWindowCheck)
pre	init'ed(this.passwordField)
pre	init'ed(this.portField)
pre	init'ed(this.serverField)
pre	init'ed(this.sslCheck)
presumption	com.dmdirc.addons.ui_swing.dialogs.NewServerDialog: getContentPane(...)@234 != null
presumption	com.dmdirc.addons.ui_swing.dialogs.NewServerDialog: getContentPane(...)@236 != null
presumption	com.dmdirc.addons.ui_swing.dialogs.NewServerDialog: getContentPane(...)@238 != null
presumption	com.dmdirc.addons.ui_swing.dialogs.NewServerDialog: getContentPane(...)@239 != null
presumption	com.dmdirc.addons.ui_swing.dialogs.NewServerDialog: getContentPane(...)@240 != null
presumption	com.dmdirc.addons.ui_swing.dialogs.NewServerDialog: getContentPane(...)@241 != null
presumption	com.dmdirc.addons.ui_swing.dialogs.NewServerDialog: getContentPane(...)@242 != null
presumption	com.dmdirc.addons.ui_swing.dialogs.NewServerDialog: getContentPane(...)@243 != null
presumption	com.dmdirc.addons.ui_swing.dialogs.NewServerDialog: getContentPane(...)@244 != null
presumption	com.dmdirc.addons.ui_swing.dialogs.NewServerDialog: getContentPane(...)@245 != null
presumption	com.dmdirc.addons.ui_swing.dialogs.NewServerDialog: getContentPane(...)@246 != null
presumption	com.dmdirc.addons.ui_swing.dialogs.NewServerDialog: getContentPane(...)@247 != null
presumption	com.dmdirc.addons.ui_swing.dialogs.NewServerDialog: getContentPane(...)@248 != null
presumption	com.dmdirc.addons.ui_swing.dialogs.NewServerDialog: getContentPane(...)@249 != null
presumption	com.dmdirc.addons.ui_swing.dialogs.NewServerDialog: getContentPane(...)@250 != null

method not available - call not analyzed Info call on Container com.dmdirc.addons.ui_swing. dialogs.NewServerDialog:getContentPane()

method not available - call not analyzed Info call on void net.miginfocom.swing.MigLayout(String)

method not available - call not analyzed Info call on Container com.dmdirc.addons.ui_swing. dialogs.NewServerDialog:getContentPane()

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.dialogs. NewServerDialog:pack()

method	void save()
pre	this.serverField != null
pre	this.serverField.textField != null
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
presumption	com.dmdirc.ServerManager:getServerManager(...)@278 != null
presumption	com.dmdirc.ServerManager:getServerManager(...)@291 != null
post	me == One-of{old me, null}
post	init'ed(me)
unanalyzed	call on javax.swing.JTextField:isEnabled
unanalyzed	call on javax.swing.JTextField:getText
unanalyzed	call on com.dmdirc.config.prefs.validator. Validator:validate
unanalyzed	call on com.dmdirc.config.prefs.validator. ValidationResponse:isFailure
unanalyzed	call on com.dmdirc.addons.ui_swing.components. StandardDialog:dispose
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on javax.swing.JTextField:requestFocusInWindow
unanalyzed	call on com.dmdirc.addons.ui_swing.components. LoggingSwingWorker
test_vector	com.dmdirc.ServerManager:numServers(...)@278: {0}, {-2³¹..-1, 1..2³²-1}
test_vector	com.dmdirc.addons.ui_swing.MainFrame:getActiveFrame (...)@278: Inverse{null}, Addr_Set{null}
test_vector	javax.swing.JCheckBox:isSelected(...)@278: {1}, {0}

method	void com.dmdirc.addons.ui_swing.dialogs. NewServerDialog$2(NewServerDialog, String, int, String, Identity)
post	this.val$host == Param_2
post	init'ed(this.val$host)
post	this.val$pass == Param_4
post	init'ed(this.val$pass)
post	this.val$port == Param_3
post	init'ed(this.val$port)
post	this.val$profile == Param_5
post	init'ed(this.val$profile)

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.components. LoggingSwingWorker()

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.dialogs. NewServerDialog$2:execute()

method	Object doInBackground()
pre	this.sslCheck != null
post	return_value == null

method not available - call not analyzed Info call on void com.dmdirc.Server(String, int, String, bool, Identity)

method not available - call not analyzed Info call on Window com.dmdirc.addons.ui_swing. MainFrame:getActiveFrame()

method not available - call not analyzed Info call on ServerManager com.dmdirc.ServerManager:getS erverManager()

method not available - call not analyzed Info call on Server com.dmdirc.ServerManager:getServerFr omFrame(Window)

method	void com.dmdirc.addons.ui_swing.dialogs. NewServerDialog$3(NewServerDialog, Server, String, int, String, Identity)
post	this.val$host == Param_3
post	init'ed(this.val$host)
post	this.val$pass == Param_5
post	init'ed(this.val$pass)
post	this.val$port == Param_4
post	init'ed(this.val$port)
post	this.val$profile == Param_6
post	init'ed(this.val$profile)
post	this.val$server == Param_2
post	init'ed(this.val$server)

method	Object doInBackground()
pre	this.sslCheck != null
post	return_value == null
test_vector	this.val$server: Inverse{null}, Addr_Set{null}

method not available - call not analyzed Info call on void com.dmdirc.Server(String, int, String, bool, Identity)

method not available - call not analyzed Info call on void com.dmdirc.Server:connect(String, int, String, bool, Identity)

method	void actionPerformed(ActionEvent)
pre	e != null
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
post	com/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)}
post	init'ed(com/dmdirc/addons/ui_swing/dialogs/profiles /ProfileManagerDialog.me)
post	me == One-of{old me, null}
post	init'ed(me)
post	new ArrayList(ProfileManagerDialog#1) num objects <= 1
post	new ProfileManagerDialog(getProfileManagerDialog#1) num objects <= 1
post	init'ed(new ProfileManagerDialog(getProfileManagerD ialog#1).addButton)
post	init'ed(new ProfileManagerDialog(getProfileManagerD ialog#1).deleteButton)
post	init'ed(new ProfileManagerDialog(getProfileManagerD ialog#1).deletedProfiles)
post	init'ed(new ProfileManagerDialog(getProfileManagerD ialog#1).details)
post	init'ed(new ProfileManagerDialog(getProfileManagerD ialog#1).infoLabel)
post	init'ed(new ProfileManagerDialog(getProfileManagerD ialog#1).mainFrame)
post	init'ed(new ProfileManagerDialog(getProfileManagerD ialog#1).model)
post	init'ed(new ProfileManagerDialog(getProfileManagerD ialog#1).profileList)
post	init'ed(new ProfileManagerDialog(getProfileManagerD ialog#1).selectedIndex)
unanalyzed	call on javax.swing.JTextField:isEnabled
unanalyzed	call on javax.swing.JTextField:getText
unanalyzed	call on com.dmdirc.config.prefs.validator. Validator:validate
unanalyzed	call on com.dmdirc.config.prefs.validator. ValidationResponse:isFailure
unanalyzed	call on com.dmdirc.addons.ui_swing.components. StandardDialog:dispose
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on javax.swing.JTextField:requestFocusInWindow
unanalyzed	call on java.lang.Integer:parseInt
unanalyzed	call on javax.swing.JComboBox:getSelectedItem
unanalyzed	call on javax.swing.JCheckBox:isSelected
unanalyzed	call on com.dmdirc.ServerManager:getServerManager
unanalyzed	call on com.dmdirc.ServerManager:numServers
unanalyzed	call on com.dmdirc.addons.ui_swing.MainFrame:getAct iveFrame
unanalyzed	call on com.dmdirc.addons.ui_swing.components. LoggingSwingWorker
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. NewServerDialog$2:execute
unanalyzed	call on com.dmdirc.ServerManager:getServerFromFrame
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. NewServerDialog$3:execute
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. profiles.ProfileManagerDialog:getContentPane
unanalyzed	call on net.miginfocom.swing.MigLayout
unanalyzed	call on java.awt.Container:setLayout
unanalyzed	call on java.awt.Container:add
unanalyzed	call on javax.swing.JScrollPane
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. profiles.ProfileManagerDialog:getLeftButton
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. profiles.ProfileManagerDialog:getRightButton
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. profiles.ProfileManagerDialog:pack
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. profiles.ProfileManagerDialog:getOkButton
unanalyzed	call on javax.swing.JButton:addActionListener
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. profiles.ProfileManagerDialog:getCancelButton
unanalyzed	call on javax.swing.JList:addListSelectionListener
unanalyzed	call on javax.swing.JList:setSelectedIndex
unanalyzed	call on java.util.List:size
unanalyzed	call on com.dmdirc.addons.ui_swing.components. StandardDialog
unanalyzed	call on java.util.ArrayList
unanalyzed	call on initComponents
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. profiles.ProfileManagerDialog:setLocationRelativeTo
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. profiles.ProfileManagerDialog:setVisible
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. profiles.ProfileManagerDialog:requestFocusInWindow

method not available - call not analyzed Info call on JButton com.dmdirc.addons.ui_swing.dialogs. NewServerDialog:getOkButton()

method not available - call not analyzed Info call on JButton com.dmdirc.addons.ui_swing.dialogs. NewServerDialog:getCancelButton()

method	void dispose()
pre	init'ed(me)
post	me == null
test_vector	me: Inverse{null}, Addr_Set{null}

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.components. StandardDialog:dispose()

	method not available - call not analyzed	Info	call on ConfigManager com.dmdirc.config. IdentityManager:getGlobalConfig()
	method not available - call not analyzed	Info	call on String com.dmdirc.config.ConfigManager:getO ption(String, String)

method not available - call not analyzed	Info	call on ServerManager com.dmdirc.ServerManager:getS erverManager()
method not available - call not analyzed	Info	call on int com.dmdirc.ServerManager:numServers()
method not available - call not analyzed	Info	call on Window com.dmdirc.addons.ui_swing. MainFrame:getActiveFrame()

	method not available - call not analyzed	Info	call on Container com.dmdirc.addons.ui_swing. dialogs.NewServerDialog:getContentPane()
	method not available - call not analyzed	Info	call on void net.miginfocom.swing.MigLayout(String)

	method not available - call not analyzed	Info	call on void com.dmdirc.addons.ui_swing.components. LoggingSwingWorker()
	method not available - call not analyzed	Info	call on void com.dmdirc.addons.ui_swing.dialogs. NewServerDialog$2:execute()