ProfileManagerDialog.java

ProfileManagerDialog.java

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

Filter Options

Annotation Kind:

pre

presumption

post

unanalyzed

test_vector

void actionPerformed(ActionEvent)

Kind	Annotation Text
pre	(soft) init'ed(me)
pre	(soft) init'ed(this.addButton)
pre	(soft) init'ed(this.deleteButton)
pre	(soft) init'ed(this.details.profile.ident)
pre	(soft) init'ed(this.details.profile.name)
pre	(soft) init'ed(this.details.profile.nicknames)
pre	(soft) init'ed(this.details.profile.realname)
pre	(soft) this.deletedProfiles != null
pre	(soft) this.model != null
pre	(soft) this.model.profiles != null
pre	(soft) this.profileList != null
pre	e != null
presumption	java.awt.event.ActionEvent:getSource(...)@231 != null
presumption	java.awt.event.ActionEvent:getSource(...)@233 != null
presumption	java.awt.event.ActionEvent:getSource(...)@235 != null
presumption	java.awt.event.ActionEvent:getSource(...)@237 != null
presumption	javax.swing.JList:getModel(...)@245 != null
presumption	javax.swing.ListModel:getSize(...)@245 >= -2³¹+1
post	init'ed(me)
post	me == One-of{old me, null}
post	new ArrayList(save#1*) num objects == 0, if init'ed
post	new ArrayList(save#1*) num objects == undefined
post	this.details.profile.ident == old this.details. profile.ident
post	this.details.profile.modified == old this.details.profile.modified
post	this.details.profile.name == old this.details. profile.name
post	this.details.profile.nicknames == old this.details.profile.nicknames
post	this.details.profile.oldName == old this.details.profile.oldName
post	this.details.profile.realname == old this.details.profile.realname
unanalyzed	call on com.dmdirc.addons.ui_swing.components. StandardDialog:dispose
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. profiles.ProfileListModel:fireIntervalAdded
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. profiles.ProfileListModel:fireIntervalRemoved
unanalyzed	call on java.lang.String:equals
unanalyzed	call on java.lang.String:replace
unanalyzed	call on java.lang.System:getProperty
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on java.util.Arrays:asList
unanalyzed	call on java.util.List:add
unanalyzed	call on java.util.List:indexOf
unanalyzed	call on java.util.List:iterator
unanalyzed	call on java.util.List:remove
unanalyzed	call on javax.swing.JList:setSelectedIndex
test_vector	java.lang.Object:equals(...)@231: {0}, {1}
test_vector	java.lang.Object:equals(...)@233: {0}, {1}
test_vector	java.lang.Object:equals(...)@235: {0}, {1}
test_vector	java.lang.Object:equals(...)@237: {0}, {1}
test_vector	javax.swing.JList:getSelectedIndex(...)@242: {1..2³²-2}, {-2³¹..0}
test_vector	javax.swing.JOptionPane:showConfirmDialog(... )@237: {-2³¹..-1, 1..2³²-1}, {0}
test_vector	javax.swing.ListModel:getSize(...)@245: {2..2³²-1}, {0}

void addListeners()

Kind	Annotation Text
pre	this.addButton != null
pre	this.deleteButton != null
pre	this.profileList != null
presumption	com.dmdirc.addons.ui_swing.dialogs.profiles. ProfileManagerDialog:getCancelButton(...)@181 != null
presumption	com.dmdirc.addons.ui_swing.dialogs.profiles. ProfileManagerDialog:getOkButton(...)@180 != null

void addProfile()

Kind	Annotation Text
pre	this.model != null
pre	this.model.profiles != null
pre	this.profileList != null
presumption	java.lang.System:getProperty(...)@261 != null
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. profiles.ProfileListModel:fireIntervalAdded
unanalyzed	call on java.lang.String:equals
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on java.util.Arrays:asList
unanalyzed	call on java.util.List:add
unanalyzed	call on java.util.List:indexOf
unanalyzed	call on java.util.List:iterator

void com.dmdirc.addons.ui_swing.dialogs.profiles.ProfileManagerDialog(MainFrame)

Kind	Annotation Text
presumption	init'ed(java.awt.Dialog$ModalityType.MODELESS)
presumption	this.addButton != null
presumption	this.deleteButton != null
presumption	this.model != null
presumption	this.model.profiles != null
presumption	this.profileList != null
post	init'ed(this.addButton)
post	init'ed(this.deleteButton)
post	init'ed(this.details)
post	init'ed(this.infoLabel)
post	init'ed(this.mainFrame)
post	init'ed(this.selectedIndex)
post	new ArrayList(ProfileManagerDialog#1) num objects == 1
post	this.deletedProfiles == &new ArrayList(ProfileM anagerDialog#1)
post	this.mainFrame == mainFrame
post	this.model != null
post	this.profileList != null
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. profiles.ProfileManagerDialog:getCancelButton
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. profiles.ProfileManagerDialog:getContentPane
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. profiles.ProfileManagerDialog:getLeftButton
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. profiles.ProfileManagerDialog:getOkButton
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 java.awt.Container:add
unanalyzed	call on java.awt.Container:setLayout
unanalyzed	call on java.util.List:size
unanalyzed	call on javax.swing.JButton:addActionListener
unanalyzed	call on javax.swing.JList:addListSelectionListener
unanalyzed	call on javax.swing.JScrollPane
unanalyzed	call on net.miginfocom.swing.MigLayout
test_vector	java.util.List:size(...)@60: {-2³¹..0}, {1..2³²-1}

com.dmdirc.addons.ui_swing.dialogs.profiles.ProfileManagerDialog__static_init

Kind	Annotation Text

void dispose()

Kind	Annotation Text
pre	init'ed(me)
post	me == null
test_vector	me: Inverse{null}, Addr_Set{null}

ProfileManagerDialog getProfileManagerDialog(MainFrame)

Kind	Annotation Text
pre	init'ed(me)
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).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).selectedIndex)
post	me != null
post	me == One-of{old me, &new ProfileManagerDialog( getProfileManagerDialog#1)}
post	new ArrayList(ProfileManagerDialog#1) num objects <= 1
post	new ProfileManagerDialog(getProfileManagerDialog#1) num objects <= 1
post	new ProfileManagerDialog(getProfileManagerDialog#1) .deletedProfiles == &new ArrayList(ProfileManag erDialog#1)
post	new ProfileManagerDialog(getProfileManagerDialog#1) .mainFrame == mainFrame
post	new ProfileManagerDialog(getProfileManagerDialog#1) .model != null
post	new ProfileManagerDialog(getProfileManagerDialog#1) .profileList != null
post	return_value != null
post	return_value == One-of{old me, &new ProfileManagerDialog(getProfileManagerDialog#1)}
unanalyzed	call on com.dmdirc.addons.ui_swing.components. StandardDialog
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. profiles.ProfileManagerDialog:getCancelButton
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. profiles.ProfileManagerDialog:getContentPane
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. profiles.ProfileManagerDialog:getLeftButton
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. profiles.ProfileManagerDialog:getOkButton
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 initComponents
unanalyzed	call on java.awt.Container:add
unanalyzed	call on java.awt.Container:setLayout
unanalyzed	call on java.util.ArrayList
unanalyzed	call on java.util.List:size
unanalyzed	call on javax.swing.JButton:addActionListener
unanalyzed	call on javax.swing.JList:addListSelectionListener
unanalyzed	call on javax.swing.JList:setSelectedIndex
unanalyzed	call on javax.swing.JScrollPane
unanalyzed	call on net.miginfocom.swing.MigLayout

void initComponents()

Kind	Annotation Text
pre	init'ed(this.mainFrame)
presumption	java.awt.dnd.DragSource:getDefaultDragSource(... )@99 != null
post	init'ed(new ReorderableJList(initMainComponents#7). draggedIndex)
post	init'ed(this.details.mainFrame)
post	new ArrayList(ProfileListModel#1) num objects == 1
post	new DataFlavor(ReorderableJList#4) num objects <= 1
post	new DefaultListModel(ProfileDetailPanel#1) num objects == 1
post	new DropTarget(ReorderableJList#3) num objects == 1
post	new IdentValidator(initMainComponents#6) num objects == 1
post	new JButton(initComponents#6) num objects == 1
post	new JButton(initComponents#7) num objects == 1
post	new JButton(initMainComponents#10) num objects == 1
post	new JButton(initMainComponents#8) num objects == 1
post	new JButton(initMainComponents#9) num objects == 1
post	new JLabel(ValidatingJTextField#1) num objects == 1
post	new JList(initComponents#4) num objects == 1
post	new JTextField(ValidatingJTextField#1) num objects == 1
post	new NotEmptyValidator(initMainComponents#4) num objects == 1
post	new ProfileDetailPanel$ProfileNameValidator(initMai nComponents#2) num objects == 1
post	new ProfileDetailPanel(initComponents#5) num objects == 1
post	new ProfileListModel(initComponents#3) num objects == 1
post	new ReorderableJList(initMainComponents#7) num objects == 1
post	new ReorderableJList(initMainComponents#7). dataFlavor == One-of{&new DataFlavor(Reorderabl eJList#4), null}
post	new ReorderableJList(initMainComponents#7). dataFlavor in Addr_Set{null,&new DataFlavor(ReorderableJList#4)}
post	new ReorderableJList(initMainComponents#7). dragSource != null
post	new ReorderableJList(initMainComponents#7). dropTarget == &new DropTarget(ReorderableJList# 3)
post	new SimpleAttributeSet(TextLabel#6) num objects == 1
post	new TextLabel(initComponents#8) num objects == 1
post	new ValidatingJTextField(initMainComponents#1) num objects == 1
post	new ValidatingJTextField(initMainComponents#1). errorIcon == &new JLabel(ValidatingJTextField#1 )
post	new ValidatingJTextField(initMainComponents#1). textField == &new JTextField(ValidatingJTextFie ld#1)
post	new ValidatingJTextField(initMainComponents#1). validator == &new ProfileDetailPanel$ProfileNam eValidator(initMainComponents#2)
post	new ValidatingJTextField(initMainComponents#3) num objects == 1
post	new ValidatingJTextField(initMainComponents#3). errorIcon == &new JLabel(ValidatingJTextField#1 )
post	new ValidatingJTextField(initMainComponents#3). textField == &new JTextField(ValidatingJTextFie ld#1)
post	new ValidatingJTextField(initMainComponents#3). validator == &new NotEmptyValidator(initMainCom ponents#4)
post	new ValidatingJTextField(initMainComponents#5) num objects == 1
post	new ValidatingJTextField(initMainComponents#5). errorIcon == &new JLabel(ValidatingJTextField#1 )
post	new ValidatingJTextField(initMainComponents#5). textField == &new JTextField(ValidatingJTextFie ld#1)
post	new ValidatingJTextField(initMainComponents#5). validator == &new IdentValidator(initMainCompon ents#6)
post	new ValidatorChain(ProfileDetailPanel#2) num objects == 1
post	this.addButton == &new JButton(initComponents#6 )
post	this.deleteButton == &new JButton(initComponent s#7)
post	this.details == &new ProfileDetailPanel(initCom ponents#5)
post	this.details.addButton == &new JButton(initMain Components#8)
post	this.details.delButton == &new JButton(initMain Components#9)
post	this.details.editButton == &new JButton(initMainComponents#10)
post	this.details.ident == &new ValidatingJTextField (initMainComponents#5)
post	this.details.mainFrame == this.mainFrame
post	this.details.model == &new ProfileListModel(ini tComponents#3)
post	this.details.name == &new ValidatingJTextField( initMainComponents#1)
post	this.details.nicknameModel == &new DefaultListModel(ProfileDetailPanel#1)
post	this.details.nicknames == &new ReorderableJList (initMainComponents#7)
post	this.details.realname == &new ValidatingJTextFi eld(initMainComponents#3)
post	this.details.validator == &new ValidatorChain(P rofileDetailPanel#2)
post	this.infoLabel == &new TextLabel(initComponents #8)
post	this.infoLabel.sas == &new SimpleAttributeSet(T extLabel#6)
post	this.model == &new ProfileListModel(initCompone nts#3)
post	this.model.profiles == &new ArrayList(ProfileLi stModel#1)
post	this.profileList == &new JList(initComponents#4 )
unanalyzed	call on com.dmdirc.addons.ui_swing.components. renderers.ReorderableJListCellRenderer
unanalyzed	call on com.dmdirc.addons.ui_swing.components. reorderablelist.ReorderableJList:addListSelectionLi stener
unanalyzed	call on com.dmdirc.addons.ui_swing.components. reorderablelist.ReorderableJList:setCellRenderer
unanalyzed	call on com.dmdirc.addons.ui_swing.components. reorderablelist.ReorderableJList:setEnabled
unanalyzed	call on com.dmdirc.addons.ui_swing.components. reorderablelist.ReorderableJList:setSelectionMode
unanalyzed	call on com.dmdirc.addons.ui_swing.components. reorderablelist.ReorderableJList:setTransferHandler
unanalyzed	call on com.dmdirc.addons.ui_swing.components. reorderablelist.ReorderableJList:setVisibleRowCount
unanalyzed	call on com.dmdirc.addons.ui_swing.components.text. TextLabel:setEditable
unanalyzed	call on com.dmdirc.addons.ui_swing.components.text. TextLabel:setEditorKit
unanalyzed	call on com.dmdirc.addons.ui_swing.components.text. TextLabel:setHighlighter
unanalyzed	call on com.dmdirc.addons.ui_swing.components.text. TextLabel:setMargin
unanalyzed	call on com.dmdirc.addons.ui_swing.components.text. TextLabel:setOpaque
unanalyzed	call on com.dmdirc.addons.ui_swing.components.text. TextLabel:setUI
unanalyzed	call on com.dmdirc.addons.ui_swing.components. validating.ValidatingJTextField:add
unanalyzed	call on com.dmdirc.addons.ui_swing.components. validating.ValidatingJTextField:firePropertyChange
unanalyzed	call on com.dmdirc.addons.ui_swing.components. validating.ValidatingJTextField:setLayout
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. profiles.ProfileDetailPanel:add
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. profiles.ProfileDetailPanel:setLayout
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. profiles.ProfileListModel:fireIntervalAdded
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. profiles.ProfileListModel:fireIntervalRemoved
unanalyzed	call on com.dmdirc.config.Identity:getName
unanalyzed	call on com.dmdirc.config.Identity:getOption
unanalyzed	call on com.dmdirc.config.Identity:getOptionList
unanalyzed	call on com.dmdirc.config.IdentityManager:getProfil es
unanalyzed	call on com.dmdirc.config.prefs.validator. FileNameValidator
unanalyzed	call on com.dmdirc.config.prefs.validator. IdentValidator
unanalyzed	call on com.dmdirc.config.prefs.validator. NicknameValidator
unanalyzed	call on com.dmdirc.config.prefs.validator. NotEmptyValidator
unanalyzed	call on com.dmdirc.config.prefs.validator. ValidationResponse:getFailureReason
unanalyzed	call on com.dmdirc.config.prefs.validator. ValidationResponse:isFailure
unanalyzed	call on com.dmdirc.config.prefs.validator. Validator:validate
unanalyzed	call on com.dmdirc.config.prefs.validator. ValidatorChain
unanalyzed	call on com.dmdirc.logger.Logger:userError
unanalyzed	call on com.dmdirc.ui.IconManager:getIcon
unanalyzed	call on com.dmdirc.ui.IconManager:getIconManager
unanalyzed	call on java.awt.Font:getFamily
unanalyzed	call on java.awt.Font:getSize
unanalyzed	call on java.awt.Insets
unanalyzed	call on java.awt.datatransfer.DataFlavor
unanalyzed	call on java.awt.dnd.DragSource:createDefaultDragGe stureRecognizer
unanalyzed	call on java.awt.dnd.DragSource:getDefaultDragSourc e
unanalyzed	call on java.awt.dnd.DropTarget
unanalyzed	call on java.lang.ClassNotFoundException:getMessage
unanalyzed	call on java.lang.String:isEmpty
unanalyzed	call on java.lang.String:length
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on java.util.ArrayList
unanalyzed	call on java.util.List:add
unanalyzed	call on java.util.List:clear
unanalyzed	call on java.util.List:indexOf
unanalyzed	call on java.util.List:iterator
unanalyzed	call on java.util.List:size
unanalyzed	call on javax.swing.DefaultListCellRenderer
unanalyzed	call on javax.swing.DefaultListModel
unanalyzed	call on javax.swing.DefaultListModel:addListDataLis tener
unanalyzed	call on javax.swing.DefaultListModel:clear
unanalyzed	call on javax.swing.JButton
unanalyzed	call on javax.swing.JButton:addActionListener
unanalyzed	call on javax.swing.JButton:setEnabled
unanalyzed	call on javax.swing.JComponent
unanalyzed	call on javax.swing.JLabel
unanalyzed	call on javax.swing.JLabel:isVisible
unanalyzed	call on javax.swing.JLabel:setToolTipText
unanalyzed	call on javax.swing.JLabel:setVisible
unanalyzed	call on javax.swing.JList
unanalyzed	call on javax.swing.JList:getModel
unanalyzed	call on javax.swing.JPanel
unanalyzed	call on javax.swing.JScrollPane
unanalyzed	call on javax.swing.JTextField
unanalyzed	call on javax.swing.JTextField:getDocument
unanalyzed	call on javax.swing.JTextField:getText
unanalyzed	call on javax.swing.JTextField:isEnabled
unanalyzed	call on javax.swing.JTextField:setEnabled
unanalyzed	call on javax.swing.JTextField:setText
unanalyzed	call on javax.swing.JTextPane
unanalyzed	call on javax.swing.JTextPane:getDocument
unanalyzed	call on javax.swing.JTextPane:setText
unanalyzed	call on javax.swing.TransferHandler
unanalyzed	call on javax.swing.UIManager:getFont
unanalyzed	call on javax.swing.plaf.basic.BasicTextPaneUI
unanalyzed	call on javax.swing.text.DefaultStyledDocument
unanalyzed	call on javax.swing.text.Document:addDocumentListen er
unanalyzed	call on javax.swing.text.SimpleAttributeSet
unanalyzed	call on javax.swing.text.StyleConstants:setAlignmen t
unanalyzed	call on javax.swing.text.StyledDocument:setParagrap hAttributes
unanalyzed	call on javax.swing.text.html.HTMLDocument:getStyle Sheet
unanalyzed	call on javax.swing.text.html.HTMLEditorKit
unanalyzed	call on javax.swing.text.html.StyleSheet:addRule
unanalyzed	call on net.miginfocom.swing.MigLayout

void layoutComponents()

Kind	Annotation Text
pre	init'ed(this.addButton)
pre	init'ed(this.deleteButton)
pre	init'ed(this.details)
pre	init'ed(this.infoLabel)
pre	init'ed(this.profileList)
presumption	com.dmdirc.addons.ui_swing.dialogs.profiles. ProfileManagerDialog:getContentPane(...)@164 != null
presumption	com.dmdirc.addons.ui_swing.dialogs.profiles. ProfileManagerDialog:getContentPane(...)@166 != null
presumption	com.dmdirc.addons.ui_swing.dialogs.profiles. ProfileManagerDialog:getContentPane(...)@167 != null
presumption	com.dmdirc.addons.ui_swing.dialogs.profiles. ProfileManagerDialog:getContentPane(...)@169 != null
presumption	com.dmdirc.addons.ui_swing.dialogs.profiles. ProfileManagerDialog:getContentPane(...)@170 != null
presumption	com.dmdirc.addons.ui_swing.dialogs.profiles. ProfileManagerDialog:getContentPane(...)@171 != null
presumption	com.dmdirc.addons.ui_swing.dialogs.profiles. ProfileManagerDialog:getContentPane(...)@172 != null
presumption	com.dmdirc.addons.ui_swing.dialogs.profiles. ProfileManagerDialog:getContentPane(...)@173 != null

void populateList()

Kind	Annotation Text
pre	this.model != null
pre	this.model.profiles != null
presumption	com.dmdirc.config.IdentityManager:getProfiles(... )@193 != null
presumption	java.util.Iterator:next(...)@194 != null
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. profiles.ProfileListModel:fireIntervalAdded
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. profiles.ProfileListModel:fireIntervalRemoved
unanalyzed	call on java.util.List:add
unanalyzed	call on java.util.List:clear
unanalyzed	call on java.util.List:indexOf
unanalyzed	call on java.util.List:size
test_vector	java.util.Iterator:hasNext(...)@194: {0}, {1}

void save()

Kind	Annotation Text
pre	(soft) init'ed(me)
pre	(soft) init'ed(this.details.profile)
pre	(soft) init'ed(this.details.profile.ident)
pre	(soft) this.deletedProfiles != null
pre	(soft) this.details.ident.validator != null
pre	(soft) this.details.name != null
pre	(soft) this.details.name.textField != null
pre	(soft) this.details.name.validator != null
pre	(soft) this.details.nicknames != null
pre	(soft) this.details.profile.name != null
pre	(soft) this.details.profile.nicknames != null
pre	(soft) this.details.profile.realname != null
pre	(soft) this.details.realname != null
pre	(soft) this.details.realname.textField != null
pre	(soft) this.details.realname.validator != null
pre	(soft) this.mainFrame != null
pre	(soft) this.model != null
pre	(soft) this.model.profiles != null
pre	init'ed(com/dmdirc/addons/ui_swing/dialogs/NewServe rDialog.me)
pre	this.details != null
pre	this.details.ident != null
pre	this.details.ident.textField != null
presumption	getNewServerDialog(...).identityField != null
presumption	getNewServerDialog(...)@220 init'ed
presumption	java.util.Iterator:next(...)@210 != null
presumption	java.util.Iterator:next(...)@213 != null
post	com/dmdirc/addons/ui_swing/dialogs/NewServerDialog. me == One-of{old com/dmdirc/addons/ui_ swing/dialogs/NewServerDialog.me, &new NewServerDialog(getNewServerDialog#1)}
post	init'ed(com/dmdirc/addons/ui_swing/dialogs/NewServe rDialog.me)
post	init'ed(me)
post	init'ed(this.details.profile.ident)
post	init'ed(this.details.profile.name)
post	init'ed(this.details.profile.realname)
post	me == One-of{old me, null}
post	new ArrayList(save#1*) num objects <= 1
post	new JButton(initComponents#9) num objects == 0
post	new JCheckBox(initComponents#6) num objects == 0
post	new JCheckBox(initComponents#7) num objects == 0
post	new JComboBox(initComponents#8) num objects == 0
post	new JLabel(ValidatingJTextField#1) num objects == 0
post	new JPasswordField(initComponents#5) num objects == 0
post	new JTextField(ValidatingJTextField#1) num objects == 0
post	new NewServerDialog(getNewServerDialog#1) num objects == 0
post	new PortValidator(initComponents#4) num objects == 0
post	new RegexStringValidator(initComponents#2) num objects == 0
post	new ValidatingJTextField(initComponents#1) num objects == 0
post	new ValidatingJTextField(initComponents#3) num objects == 0
post	possibly_updated(new NewServerDialog(getNewServerDi alog#1).editProfileButton)
post	possibly_updated(new NewServerDialog(getNewServerDi alog#1).identityField)
post	possibly_updated(new NewServerDialog(getNewServerDi alog#1).mainFrame)
post	possibly_updated(new NewServerDialog(getNewServerDi alog#1).newServerWindowCheck)
post	possibly_updated(new NewServerDialog(getNewServerDi alog#1).passwordField)
post	possibly_updated(new NewServerDialog(getNewServerDi alog#1).portField)
post	possibly_updated(new NewServerDialog(getNewServerDi alog#1).serverField)
post	possibly_updated(new NewServerDialog(getNewServerDi alog#1).sslCheck)
post	possibly_updated(new ValidatingJTextField(initCompo nents#1).errorIcon)
post	possibly_updated(new ValidatingJTextField(initCompo nents#1).textField)
post	possibly_updated(new ValidatingJTextField(initCompo nents#1).validator)
post	possibly_updated(new ValidatingJTextField(initCompo nents#3).errorIcon)
post	possibly_updated(new ValidatingJTextField(initCompo nents#3).textField)
post	possibly_updated(new ValidatingJTextField(initCompo nents#3).validator)
post	possibly_updated(this.details.profile.modified)
post	possibly_updated(this.details.profile.oldName)
post	this.details.profile.nicknames != null
post	this.details.profile.nicknames == One-of{old this.details.profile.nicknames, &new ArrayList(save#1*)}
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. StandardDialog
unanalyzed	call on com.dmdirc.addons.ui_swing.components. StandardDialog:dispose
unanalyzed	call on com.dmdirc.addons.ui_swing.components. validating.ValidatingJTextField:add
unanalyzed	call on com.dmdirc.addons.ui_swing.components. validating.ValidatingJTextField:firePropertyChange
unanalyzed	call on com.dmdirc.addons.ui_swing.components. validating.ValidatingJTextField:setLayout
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. NewServerDialog:getCancelButton
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. NewServerDialog:getContentPane
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. NewServerDialog:getLeftButton
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. NewServerDialog:getOkButton
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. NewServerDialog:getRightButton
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. NewServerDialog:getRootPane
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. NewServerDialog:orderButtons
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. NewServerDialog:pack
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. NewServerDialog:setDefaultCloseOperation
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. NewServerDialog:setResizable
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. NewServerDialog:setTitle
unanalyzed	call on com.dmdirc.config.ConfigManager:getOption
unanalyzed	call on com.dmdirc.config.Identity:buildProfile
unanalyzed	call on com.dmdirc.config.Identity:delete
unanalyzed	call on com.dmdirc.config.Identity:getName
unanalyzed	call on com.dmdirc.config.Identity:setOption
unanalyzed	call on com.dmdirc.config.IdentityManager:getGlobal Config
unanalyzed	call on com.dmdirc.config.IdentityManager:getProfil es
unanalyzed	call on com.dmdirc.config.prefs.validator. PortValidator
unanalyzed	call on com.dmdirc.config.prefs.validator. RegexStringValidator
unanalyzed	call on com.dmdirc.config.prefs.validator. ValidationResponse:getFailureReason
unanalyzed	call on com.dmdirc.config.prefs.validator. ValidationResponse:isFailure
unanalyzed	call on com.dmdirc.config.prefs.validator. Validator:validate
unanalyzed	call on com.dmdirc.ui.IconManager:getIcon
unanalyzed	call on com.dmdirc.ui.IconManager:getIconManager
unanalyzed	call on java.awt.Container:add
unanalyzed	call on java.awt.Container:setLayout
unanalyzed	call on java.awt.Insets
unanalyzed	call on java.lang.Object:equals
unanalyzed	call on java.lang.String:equals
unanalyzed	call on java.lang.String:equalsIgnoreCase
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on java.util.ArrayList
unanalyzed	call on java.util.Enumeration:hasMoreElements
unanalyzed	call on java.util.Enumeration:nextElement
unanalyzed	call on java.util.List:add
unanalyzed	call on java.util.List:contains
unanalyzed	call on java.util.List:iterator
unanalyzed	call on javax.swing.BorderFactory:createEmptyBorder
unanalyzed	call on javax.swing.DefaultComboBoxModel:addElement
unanalyzed	call on javax.swing.DefaultComboBoxModel:removeAllE lements
unanalyzed	call on javax.swing.DefaultListModel:elements
unanalyzed	call on javax.swing.DefaultListModel:getSize
unanalyzed	call on javax.swing.JButton
unanalyzed	call on javax.swing.JButton:addActionListener
unanalyzed	call on javax.swing.JButton:setText
unanalyzed	call on javax.swing.JCheckBox
unanalyzed	call on javax.swing.JCheckBox:setBorder
unanalyzed	call on javax.swing.JCheckBox:setEnabled
unanalyzed	call on javax.swing.JCheckBox:setMargin
unanalyzed	call on javax.swing.JCheckBox:setSelected
unanalyzed	call on javax.swing.JCheckBox:setText
unanalyzed	call on javax.swing.JComboBox
unanalyzed	call on javax.swing.JComboBox:getModel
unanalyzed	call on javax.swing.JComponent
unanalyzed	call on javax.swing.JLabel
unanalyzed	call on javax.swing.JLabel:isVisible
unanalyzed	call on javax.swing.JLabel:setToolTipText
unanalyzed	call on javax.swing.JLabel:setVisible
unanalyzed	call on javax.swing.JList:getModel
unanalyzed	call on javax.swing.JPasswordField
unanalyzed	call on javax.swing.JRootPane:registerKeyboardActio n
unanalyzed	call on javax.swing.JTextField
unanalyzed	call on javax.swing.JTextField:getDocument
unanalyzed	call on javax.swing.JTextField:getText
unanalyzed	call on javax.swing.JTextField:isEnabled
unanalyzed	call on javax.swing.JTextField:requestFocusInWindow
unanalyzed	call on javax.swing.JTextField:setText
unanalyzed	call on javax.swing.KeyStroke:getKeyStroke
unanalyzed	call on javax.swing.text.Document:addDocumentListen er
unanalyzed	call on net.miginfocom.swing.MigLayout
test_vector	com/dmdirc/addons/ui_swing/dialogs/NewServerDialog. me: Addr_Set{null}, Inverse{null}
test_vector	java.util.Iterator:hasNext(...)@209: {0}, {1}
test_vector	java.util.Iterator:hasNext(...)@213: {0}, {1}

void showProfileManagerDialog(MainFrame)

Kind	Annotation Text
pre	init'ed(me)
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).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).selectedIndex)
post	me != null
post	me == One-of{old me, &new ProfileManagerDialog( getProfileManagerDialog#1)}
post	new ArrayList(ProfileManagerDialog#1) num objects <= 1
post	new ProfileManagerDialog(getProfileManagerDialog#1) num objects == new ArrayList(ProfileManagerDialog# 1) num objects
post	new ProfileManagerDialog(getProfileManagerDialog#1) .deletedProfiles == &new ArrayList(ProfileManag erDialog#1)
post	new ProfileManagerDialog(getProfileManagerDialog#1) .mainFrame == mainFrame
post	new ProfileManagerDialog(getProfileManagerDialog#1) .model != null
post	new ProfileManagerDialog(getProfileManagerDialog#1) .profileList != null
unanalyzed	call on com.dmdirc.addons.ui_swing.components. StandardDialog
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. profiles.ProfileManagerDialog:getCancelButton
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. profiles.ProfileManagerDialog:getContentPane
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. profiles.ProfileManagerDialog:getLeftButton
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. profiles.ProfileManagerDialog:getOkButton
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 initComponents
unanalyzed	call on java.awt.Container:add
unanalyzed	call on java.awt.Container:setLayout
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on java.util.ArrayList
unanalyzed	call on java.util.List:size
unanalyzed	call on javax.swing.JButton:addActionListener
unanalyzed	call on javax.swing.JList:addListSelectionListener
unanalyzed	call on javax.swing.JList:setSelectedIndex
unanalyzed	call on javax.swing.JScrollPane
unanalyzed	call on net.miginfocom.swing.MigLayout

void valueChanged(ListSelectionEvent)

Kind	Annotation Text
pre	(soft) init'ed(this.details.profile)
pre	(soft) init'ed(this.details.profile.ident)
pre	(soft) init'ed(this.selectedIndex)
pre	(soft) this.deleteButton != null
pre	(soft) this.details != null
pre	(soft) this.details.addButton != null
pre	(soft) this.details.delButton != null
pre	(soft) this.details.editButton != null
pre	(soft) this.details.ident != null
pre	(soft) this.details.ident.errorIcon != null
pre	(soft) this.details.ident.textField != null
pre	(soft) this.details.ident.validator != null
pre	(soft) this.details.name != null
pre	(soft) this.details.name.errorIcon != null
pre	(soft) this.details.name.textField != null
pre	(soft) this.details.name.validator != null
pre	(soft) this.details.nicknames != null
pre	(soft) this.details.profile.name != null
pre	(soft) this.details.profile.nicknames != null
pre	(soft) this.details.profile.realname != null
pre	(soft) this.details.realname != null
pre	(soft) this.details.realname.errorIcon != null
pre	(soft) this.details.realname.textField != null
pre	(soft) this.details.realname.validator != null
pre	e != null
pre	this.model != null
pre	this.model.profiles != null
pre	this.profileList != null
presumption	com.dmdirc.addons.ui_swing.dialogs.profiles. ProfileManagerDialog:getOkButton(...)@291 != null
presumption	com.dmdirc.addons.ui_swing.dialogs.profiles. ProfileManagerDialog:getOkButton(...)@293 != null
presumption	javax.swing.JList:getSelectedValue(...). nicknames@283 != null
presumption	this.details.profile.name != null
presumption	this.details.profile.nicknames != null
presumption	this.details.profile.realname != null
post	init'ed(this.details.profile)
post	init'ed(this.details.profile.ident)
post	init'ed(this.details.profile.name)
post	init'ed(this.details.profile.realname)
post	init'ed(this.selectedIndex)
post	new ArrayList(save#1) num objects <= 1
post	possibly_updated(this.details.profile.modified)
post	possibly_updated(this.details.profile.oldName)
post	this.details.profile.nicknames != null
unanalyzed	call on clearProfile
unanalyzed	call on com.dmdirc.addons.ui_swing.components. reorderablelist.ReorderableJList:setEnabled
unanalyzed	call on com.dmdirc.addons.ui_swing.components. validating.ValidatingJTextField:firePropertyChange
unanalyzed	call on com.dmdirc.config.prefs.validator. ValidationResponse:getFailureReason
unanalyzed	call on com.dmdirc.config.prefs.validator. ValidationResponse:isFailure
unanalyzed	call on com.dmdirc.config.prefs.validator. Validator:validate
unanalyzed	call on java.lang.Object:equals
unanalyzed	call on java.lang.String:equals
unanalyzed	call on java.util.ArrayList
unanalyzed	call on java.util.Enumeration:hasMoreElements
unanalyzed	call on java.util.Enumeration:nextElement
unanalyzed	call on java.util.List:add
unanalyzed	call on java.util.List:contains
unanalyzed	call on java.util.List:iterator
unanalyzed	call on java.util.List:size
unanalyzed	call on javax.swing.DefaultListModel:addElement
unanalyzed	call on javax.swing.DefaultListModel:clear
unanalyzed	call on javax.swing.DefaultListModel:elements
unanalyzed	call on javax.swing.DefaultListModel:getSize
unanalyzed	call on javax.swing.JButton:setEnabled
unanalyzed	call on javax.swing.JLabel:isVisible
unanalyzed	call on javax.swing.JLabel:setToolTipText
unanalyzed	call on javax.swing.JLabel:setVisible
unanalyzed	call on javax.swing.JList:getModel
unanalyzed	call on javax.swing.JTextField:getText
unanalyzed	call on javax.swing.JTextField:isEnabled
unanalyzed	call on javax.swing.JTextField:setEnabled
unanalyzed	call on javax.swing.JTextField:setText
unanalyzed	call on updateProfile
test_vector	java.util.List:size(...)@60: {-2³¹..-1, 1..2³²-1}, {0}
test_vector	javax.swing.JList:getSelectedIndex(...)@284: {-2³¹..-2, 0..2³²-1}, {-1}
test_vector	javax.swing.event.ListSelectionEvent:getValueIsAdju sting(...)@278: {0}, {1}
test_vector	javax.swing.event.ListSelectionEvent:getValueIsAdju sting(...)@281: {1}, {0}