Messages

method

com.dmdirc.addons.ui_swing.dialogs.profiles. ProfileDetailPanel$2__static_init

method

com.dmdirc.addons.ui_swing.dialogs.profiles. ProfileDetailPanel$1__static_init

method

com.dmdirc.addons.ui_swing.dialogs.profiles. ProfileDetailPanel$ProfileNameValidator__static_ini t

method

com.dmdirc.addons.ui_swing.dialogs.profiles. ProfileDetailPanel__static_init

method	ReorderableJList access$100(ProfileDetailPanel)
pre	x0 != null
pre	init'ed(x0.nicknames)
post	return_value == x0.nicknames
post	init'ed(return_value)

method	ProfileListModel access$200(ProfileDetailPanel)
pre	x0 != null
post	return_value == x0.model
post	init'ed(return_value)

method	Profile access$300(ProfileDetailPanel)
pre	x0 != null
pre	init'ed(x0.profile)
post	return_value == x0.profile
post	init'ed(return_value)

method	void com.dmdirc.addons.ui_swing.dialogs.profiles. ProfileDetailPanel(ProfileListModel, MainFrame)
presumption	java.awt.dnd.DragSource:getDefaultDragSource(... )@99 != null
post	this.addButton == &new JButton(initMainComponen ts#8)
post	this.delButton == &new JButton(initMainComponen ts#9)
post	this.editButton == &new JButton(initMainCompone nts#10)
post	this.ident == &new ValidatingJTextField(initMai nComponents#5)
post	this.mainFrame == mainFrame
post	init'ed(this.mainFrame)
post	this.model == model
post	init'ed(this.model)
post	this.name == &new ValidatingJTextField(initMain Components#1)
post	this.nicknameModel == &new DefaultListModel(Pro fileDetailPanel#1)
post	this.nicknames == &new ReorderableJList(initMai nComponents#7)
post	this.realname == &new ValidatingJTextField(init MainComponents#3)
post	this.validator == &new ValidatorChain(ProfileDe tailPanel#2)
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(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 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 ReorderableJList(initMainComponents#7) num objects == 1
post	new ValidatingJTextField(initMainComponents#1) num objects == 1
post	new ValidatingJTextField(initMainComponents#3) num objects == 1
post	new ValidatingJTextField(initMainComponents#5) num objects == 1
post	new ValidatorChain(ProfileDetailPanel#2) 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	init'ed(new ReorderableJList(initMainComponents#7). draggedIndex)
post	new ReorderableJList(initMainComponents#7). dropTarget == &new DropTarget(ReorderableJList# 3)
post	new ValidatingJTextField(initMainComponents#1). errorIcon == &new JLabel(ValidatingJTextField#1 )
post	new ValidatingJTextField(initMainComponents#3). errorIcon == &new JLabel(ValidatingJTextField#1 )
post	new ValidatingJTextField(initMainComponents#5). errorIcon == &new JLabel(ValidatingJTextField#1 )
post	new ValidatingJTextField(initMainComponents#1). textField == &new JTextField(ValidatingJTextFie ld#1)
post	new ValidatingJTextField(initMainComponents#3). textField == &new JTextField(ValidatingJTextFie ld#1)
post	new ValidatingJTextField(initMainComponents#5). textField == &new JTextField(ValidatingJTextFie ld#1)
post	new ValidatingJTextField(initMainComponents#1). validator == &new ProfileDetailPanel$ProfileNam eValidator(initMainComponents#2)
post	new ValidatingJTextField(initMainComponents#3). validator == &new NotEmptyValidator(initMainCom ponents#4)
post	new ValidatingJTextField(initMainComponents#5). validator == &new IdentValidator(initMainCompon ents#6)
unanalyzed	call on com.dmdirc.config.prefs.validator. FileNameValidator
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. NotEmptyValidator
unanalyzed	call on com.dmdirc.config.prefs.validator. IdentValidator
unanalyzed	call on javax.swing.JList
unanalyzed	call on com.dmdirc.addons.ui_swing.components. renderers.ReorderableJListCellRenderer
unanalyzed	call on com.dmdirc.addons.ui_swing.components. reorderablelist.ReorderableJList:setCellRenderer
unanalyzed	call on com.dmdirc.addons.ui_swing.components. reorderablelist.ReorderableJList:setSelectionMode
unanalyzed	call on javax.swing.TransferHandler
unanalyzed	call on java.awt.datatransfer.DataFlavor
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on java.lang.ClassNotFoundException:getMessage
unanalyzed	call on com.dmdirc.logger.Logger:userError
unanalyzed	call on com.dmdirc.addons.ui_swing.components. reorderablelist.ReorderableJList:setTransferHandler
unanalyzed	call on java.awt.dnd.DragSource:getDefaultDragSourc e
unanalyzed	call on java.awt.dnd.DropTarget
unanalyzed	call on java.awt.dnd.DragSource:createDefaultDragGe stureRecognizer
unanalyzed	call on javax.swing.JButton
unanalyzed	call on com.dmdirc.addons.ui_swing.components. reorderablelist.ReorderableJList:setVisibleRowCount
unanalyzed	call on com.dmdirc.addons.ui_swing.components. reorderablelist.ReorderableJList:addListSelectionLi stener
unanalyzed	call on javax.swing.JList:getModel
unanalyzed	call on javax.swing.DefaultListModel:addListDataLis tener
unanalyzed	call on javax.swing.JButton:addActionListener
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. profiles.ProfileDetailPanel:setLayout
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. profiles.ProfileDetailPanel:add
unanalyzed	call on javax.swing.JScrollPane
unanalyzed	call on javax.swing.JButton:setEnabled
unanalyzed	call on javax.swing.JTextField:setText
unanalyzed	call on javax.swing.DefaultListModel:clear
unanalyzed	call on javax.swing.JTextField:setEnabled
unanalyzed	call on com.dmdirc.addons.ui_swing.components. reorderablelist.ReorderableJList:setEnabled

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

method not available - call not analyzed Info call on void com.dmdirc.config.prefs.validator. ValidatorChain(Validator[])

method	void initMainComponents()
presumption	java.awt.dnd.DragSource:getDefaultDragSource(... )@99 != null
presumption	javax.swing.JList:getModel(...)@118 != null
post	this.addButton == &new JButton(initMainComponen ts#8)
post	this.delButton == &new JButton(initMainComponen ts#9)
post	this.editButton == &new JButton(initMainCompone nts#10)
post	this.ident == &new ValidatingJTextField(initMai nComponents#5)
post	this.name == &new ValidatingJTextField(initMain Components#1)
post	this.nicknames == &new ReorderableJList(initMai nComponents#7)
post	this.realname == &new ValidatingJTextField(init MainComponents#3)
post	new DataFlavor(ReorderableJList#4) num objects <= 1
post	new DropTarget(ReorderableJList#3) num objects == 1
post	new IdentValidator(initMainComponents#6) 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 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 ReorderableJList(initMainComponents#7) num objects == 1
post	new ValidatingJTextField(initMainComponents#1) num objects == 1
post	new ValidatingJTextField(initMainComponents#3) num objects == 1
post	new ValidatingJTextField(initMainComponents#5) num objects == 1
post	this.nicknames.dataFlavor == One-of{&new DataFlavor(ReorderableJList#4), null}
post	this.nicknames.dataFlavor in Addr_Set{null, &new DataFlavor(ReorderableJList#4)}
post	this.nicknames.dragSource != null
post	init'ed(this.nicknames.draggedIndex)
post	this.nicknames.dropTarget == &new DropTarget(ReorderableJList#3)
post	this.name.errorIcon == &new JLabel(ValidatingJT extField#1)
post	this.name.textField == &new JTextField(Validati ngJTextField#1)
post	this.name.validator == &new ProfileDetailPanel$ ProfileNameValidator(initMainComponents#2)
post	this.realname.errorIcon == &new JLabel(ValidatingJTextField#1)
post	this.realname.textField == &new JTextField(ValidatingJTextField#1)
post	this.realname.validator == &new NotEmptyValidator(initMainComponents#4)
post	this.ident.errorIcon == &new JLabel(ValidatingJ TextField#1)
post	this.ident.textField == &new JTextField(Validat ingJTextField#1)
post	this.ident.validator == &new IdentValidator(ini tMainComponents#6)
unanalyzed	call on com.dmdirc.config.prefs.validator. FileNameValidator
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 javax.swing.JList
unanalyzed	call on com.dmdirc.addons.ui_swing.components. renderers.ReorderableJListCellRenderer
unanalyzed	call on com.dmdirc.addons.ui_swing.components. reorderablelist.ReorderableJList:setCellRenderer
unanalyzed	call on com.dmdirc.addons.ui_swing.components. reorderablelist.ReorderableJList:setSelectionMode
unanalyzed	call on javax.swing.TransferHandler
unanalyzed	call on java.awt.datatransfer.DataFlavor
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on java.lang.ClassNotFoundException:getMessage
unanalyzed	call on com.dmdirc.logger.Logger:userError
unanalyzed	call on com.dmdirc.addons.ui_swing.components. reorderablelist.ReorderableJList:setTransferHandler
unanalyzed	call on java.awt.dnd.DragSource:getDefaultDragSourc e
unanalyzed	call on java.awt.dnd.DropTarget
unanalyzed	call on java.awt.dnd.DragSource:createDefaultDragGe stureRecognizer
unanalyzed	call on javax.swing.JList:getModel

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

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

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.components. reorderablelist.ReorderableJList:setVisibleRowCount (int)

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.components. reorderablelist.ReorderableJList:addListSelectionLi stener(ListSelectionListener)

method	void layoutComponents()
pre	init'ed(this.addButton)
pre	init'ed(this.delButton)
pre	init'ed(this.editButton)
pre	init'ed(this.ident)
pre	init'ed(this.name)
pre	init'ed(this.nicknames)
pre	init'ed(this.realname)

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.dialogs. profiles.ProfileDetailPanel:setLayout(LayoutManager )

method not available - call not analyzed Info call on Component com.dmdirc.addons.ui_swing. dialogs.profiles.ProfileDetailPanel:add(Component)

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.dialogs. profiles.ProfileDetailPanel:add(Component, Object)

method not available - call not analyzed Info call on Component com.dmdirc.addons.ui_swing. dialogs.profiles.ProfileDetailPanel:add(Component)

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.dialogs. profiles.ProfileDetailPanel:add(Component, Object)

method not available - call not analyzed Info call on Component com.dmdirc.addons.ui_swing. dialogs.profiles.ProfileDetailPanel:add(Component)

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.dialogs. profiles.ProfileDetailPanel:add(Component, Object)

method not available - call not analyzed Info call on Component com.dmdirc.addons.ui_swing. dialogs.profiles.ProfileDetailPanel:add(Component)

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.dialogs. profiles.ProfileDetailPanel:add(Component, Object)

method	void setProfile(Profile)
pre	(soft) init'ed(profile.ident)
pre	(soft) init'ed(profile.name)
pre	(soft) profile.nicknames != null
pre	(soft) init'ed(profile.realname)
pre	(soft) this.addButton != null
pre	(soft) this.delButton != null
pre	(soft) this.editButton != null
pre	(soft) this.ident != null
pre	(soft) this.ident.errorIcon != null
pre	(soft) this.ident.textField != null
pre	(soft) this.ident.validator != null
pre	(soft) this.name != null
pre	(soft) this.name.errorIcon != null
pre	(soft) this.name.textField != null
pre	(soft) this.name.validator != null
pre	(soft) this.nicknames != null
pre	(soft) this.realname != null
pre	(soft) this.realname.errorIcon != null
pre	(soft) this.realname.textField != null
pre	(soft) this.realname.validator != null
post	this.profile == profile
post	init'ed(this.profile)
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.JList:getModel
unanalyzed	call on javax.swing.JButton:setEnabled
unanalyzed	call on clearProfile
unanalyzed	call on javax.swing.JTextField:setText
unanalyzed	call on javax.swing.DefaultListModel:clear
unanalyzed	call on java.util.List:iterator
unanalyzed	call on javax.swing.DefaultListModel:addElement
unanalyzed	call on javax.swing.JTextField:setEnabled
unanalyzed	call on com.dmdirc.addons.ui_swing.components. reorderablelist.ReorderableJList:setEnabled

method	void updateProfile()
pre	init'ed(this.profile)
pre	(soft) this.addButton != null
pre	(soft) this.delButton != null
pre	(soft) this.editButton != null
pre	(soft) this.ident != null
pre	(soft) this.ident.errorIcon != null
pre	(soft) this.ident.textField != null
pre	(soft) this.ident.validator != null
pre	(soft) this.name != null
pre	(soft) this.name.errorIcon != null
pre	(soft) this.name.textField != null
pre	(soft) this.name.validator != null
pre	(soft) this.nicknames != null
pre	(soft) init'ed(this.profile.ident)
pre	(soft) init'ed(this.profile.name)
pre	(soft) this.profile.nicknames != null
pre	(soft) init'ed(this.profile.realname)
pre	(soft) this.realname != null
pre	(soft) this.realname.errorIcon != null
pre	(soft) this.realname.textField != null
pre	(soft) this.realname.validator != null
presumption	javax.swing.JList:getModel(...)@118 != null
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.JList:getModel
unanalyzed	call on javax.swing.JButton:setEnabled
unanalyzed	call on javax.swing.JTextField:setText
unanalyzed	call on javax.swing.DefaultListModel:clear
unanalyzed	call on javax.swing.JTextField:setEnabled
unanalyzed	call on com.dmdirc.addons.ui_swing.components. reorderablelist.ReorderableJList:setEnabled
test_vector	this.profile: Inverse{null}, Addr_Set{null}
test_vector	java.util.Iterator:hasNext(...)@176: {0}, {1}

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.components. reorderablelist.ReorderableJList:setEnabled(bool)

method	void clearProfile()
pre	this.addButton != null
pre	this.delButton != null
pre	this.editButton != null
pre	this.ident != null
pre	this.ident.errorIcon != null
pre	this.ident.textField != null
pre	this.name != null
pre	this.name.errorIcon != null
pre	this.name.textField != null
pre	this.nicknames != null
pre	this.realname != null
pre	this.realname.errorIcon != null
pre	this.realname.textField != null
pre	(soft) this.ident.validator != null
pre	(soft) this.name.validator != null
pre	(soft) this.realname.validator != null
presumption	javax.swing.JList:getModel(...)@118 != null
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.JList:getModel
unanalyzed	call on javax.swing.JTextField:setText
unanalyzed	call on javax.swing.JTextField:setEnabled

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.components. reorderablelist.ReorderableJList:setEnabled(bool)

method	void save()
pre	init'ed(this.profile)
pre	(soft) init'ed(this.profile.ident)
pre	(soft) this.profile.name != null
pre	(soft) this.profile.nicknames != null
pre	(soft) this.profile.realname != null
pre	(soft) this.ident != null
pre	(soft) this.ident.textField != null
pre	(soft) this.name != null
pre	(soft) this.name.textField != null
pre	(soft) this.nicknames != null
pre	(soft) this.realname != null
pre	(soft) this.realname.textField != null
presumption	javax.swing.DefaultListModel:elements(...)@213 != null
presumption	javax.swing.JList:getModel(...)@118 != null
post	init'ed(this.profile.ident)
post	possibly_updated(this.profile.modified)
post	init'ed(this.profile.name)
post	this.profile.nicknames == One-of{old this.profile.nicknames, &new ArrayList(save#1) }
post	this.profile.nicknames != null
post	this.profile.oldName == One-of{old this.profile. oldName, old this.profile.name}
post	init'ed(this.profile.realname)
post	new ArrayList(save#1) num objects <= 1
unanalyzed	call on javax.swing.JTextField:getText
unanalyzed	call on javax.swing.JList:getModel
unanalyzed	call on java.lang.String:equals
unanalyzed	call on java.lang.Object:equals
unanalyzed	call on java.util.List:contains
unanalyzed	call on java.util.List:add
test_vector	this.profile: Inverse{null}, Addr_Set{null}
test_vector	java.util.Enumeration:hasMoreElements(...)@215: {0}, {1}

method	bool validateDetails()
pre	this.ident != null
pre	this.ident.textField != null
pre	(soft) this.ident.validator != null
pre	(soft) this.name != null
pre	(soft) this.name.textField != null
pre	(soft) this.name.validator != null
pre	(soft) this.nicknames != null
pre	(soft) this.realname != null
pre	(soft) this.realname.textField != null
pre	(soft) this.realname.validator != null
presumption	javax.swing.JList:getModel(...)@118 != null
post	init'ed(return_value)
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 javax.swing.JList:getModel
test_vector	javax.swing.DefaultListModel:getSize(...)@226: {1..2³²-1}, {-2³¹..0}

method	void actionPerformed(ActionEvent)
pre	e != null
pre	init'ed(this.addButton)
pre	(soft) init'ed(com/dmdirc/addons/ui_ swing/dialogs/profiles/ProfileManagerDialog.me)
pre	(soft) init'ed(this.delButton)
pre	(soft) init'ed(this.editButton)
pre	(soft) init'ed(this.mainFrame)
pre	(soft) this.nicknames != null
presumption	init'ed(java.awt.Dialog$ModalityType.DOCUMENT_ MODAL)
presumption	javax.swing.JList:getModel(...)@118 != 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	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.JList:getModel
unanalyzed	call on com.dmdirc.addons.ui_swing.components. StandardInputDialog
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
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
test_vector	javax.swing.JOptionPane:showConfirmDialog(... )@294: {-2³¹..-1, 1..2³²-1}, {0}

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.dialogs. profiles.ProfileDetailPanel$1:display()

method

void com.dmdirc.addons.ui_swing.dialogs.profiles. ProfileDetailPanel$1(ProfileDetailPanel, Window, Dialog$ModalityType, String, String, Validator)

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

method	bool save()
pre	this.nicknames != null
presumption	javax.swing.JList:getModel(...)@118 != null
post	return_value == 1
unanalyzed	call on javax.swing.JList:getModel

method not available - call not analyzed Info call on String com.dmdirc.addons.ui_swing.dialogs. profiles.ProfileDetailPanel$1:getText()

method

void cancelled()

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

method

void com.dmdirc.addons.ui_swing.dialogs.profiles. ProfileDetailPanel$2(ProfileDetailPanel, Window, Dialog$ModalityType, String, String, Validator)

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

method	bool save()
pre	this.nicknames != null
presumption	javax.swing.JList:getModel(...)@118 != null
post	return_value == 1
unanalyzed	call on javax.swing.JList:getModel

method not available - call not analyzed Info call on String com.dmdirc.addons.ui_swing.dialogs. profiles.ProfileDetailPanel$2:getText()

method not available - call not analyzed Info call on int com.dmdirc.addons.ui_swing.components. reorderablelist.ReorderableJList:getSelectedIndex()

method

void cancelled()

method not available - call not analyzed Info call on Object com.dmdirc.addons.ui_swing. components.reorderablelist.ReorderableJList:getSele ctedValue()

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.components. StandardInputDialog:setText(String)

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

method not available - call not analyzed Info call on int com.dmdirc.addons.ui_swing.components. reorderablelist.ReorderableJList:getSelectedIndex()

method	void valueChanged(ListSelectionEvent)
pre	e != null
pre	this.delButton != null
pre	this.editButton != null
pre	(soft) this.nicknames != null
test_vector	com.dmdirc.addons.ui_swing.components. reorderablelist.ReorderableJList:getSelectedIndex(. ..)@305: {-2³¹..-2, 0..2³²-1}, {-1}
test_vector	javax.swing.event.ListSelectionEvent:getValueIsAdju sting(...)@305: {1}, {0}

method not available - call not analyzed Info call on int com.dmdirc.addons.ui_swing.components. reorderablelist.ReorderableJList:getSelectedIndex()

method	void intervalAdded(ListDataEvent)
pre	this.ident != null
pre	this.ident.textField != null
pre	(soft) this.ident.validator != null
pre	(soft) this.name != null
pre	(soft) this.name.textField != null
pre	(soft) this.name.validator != null
pre	(soft) this.nicknames != null
pre	(soft) this.realname != null
pre	(soft) this.realname.textField != null
pre	(soft) this.realname.validator != null
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 javax.swing.JList:getModel
unanalyzed	call on javax.swing.DefaultListModel:getSize

method	void intervalRemoved(ListDataEvent)
pre	this.ident != null
pre	this.ident.textField != null
pre	(soft) this.ident.validator != null
pre	(soft) this.name != null
pre	(soft) this.name.textField != null
pre	(soft) this.name.validator != null
pre	(soft) this.nicknames != null
pre	(soft) this.realname != null
pre	(soft) this.realname.textField != null
pre	(soft) this.realname.validator != null
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 javax.swing.JList:getModel
unanalyzed	call on javax.swing.DefaultListModel:getSize

method	void contentsChanged(ListDataEvent)
pre	this.ident != null
pre	this.ident.textField != null
pre	(soft) this.ident.validator != null
pre	(soft) this.name != null
pre	(soft) this.name.textField != null
pre	(soft) this.name.validator != null
pre	(soft) this.nicknames != null
pre	(soft) this.realname != null
pre	(soft) this.realname.textField != null
pre	(soft) this.realname.validator != null
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 javax.swing.JList:getModel
unanalyzed	call on javax.swing.DefaultListModel:getSize

method

void com.dmdirc.addons.ui_swing.dialogs.profiles. ProfileDetailPanel$ProfileNameValidator(ProfileDeta ilPanel)

method	ValidationResponse validate(Object)
pre	this.model != null
pre	this.model.profiles != null
pre	(soft) init'ed(this.profile)
post	init'ed(return_value)
post	new ValidationResponse(validate#1*) num objects <= 1
unanalyzed	call on access$200
unanalyzed	call on java.util.List:iterator
unanalyzed	call on access$300
unanalyzed	call on java.lang.String:equalsIgnoreCase
unanalyzed	call on com.dmdirc.config.prefs.validator. ValidationResponse
unanalyzed	call on com.dmdirc.config.prefs.validator. FileNameValidator:validate

method	void com.dmdirc.addons.ui_swing.dialogs.profiles. ProfileDetailPanel$ProfileNameValidator(ProfileDeta ilPanel, ProfileDetailPanel$1)
unanalyzed	call on com.dmdirc.config.prefs.validator. FileNameValidator

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

method	ValidationResponse validate(String)
pre	this.model != null
pre	this.model.profiles != null
pre	(soft) init'ed(this.profile)
presumption	java.util.Iterator:next(...)@340 != null
presumption	targetprofile.name@340 != null
post	init'ed(return_value)
post	new ValidationResponse(validate#1) num objects <= 1
unanalyzed	call on java.util.List:iterator
test_vector	java.lang.String:equalsIgnoreCase(...)@341: {0}, {1}
test_vector	java.util.Iterator:hasNext(...)@340: {0}, {1}

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

method not available - call not analyzed Info call on ValidationResponse com.dmdirc.config.prefs. validator.FileNameValidator:validate(String)

	method not available - call not analyzed	Info	call on void com.dmdirc.config.prefs.validator. NicknameValidator()
	method not available - call not analyzed	Info	call on void com.dmdirc.config.prefs.validator. ValidatorChain(Validator[])

	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.dialogs. profiles.ProfileDetailPanel:setLayout(LayoutManager )

	method not available - call not analyzed	Info	call on String com.dmdirc.addons.ui_swing.dialogs. profiles.ProfileDetailPanel$2:getText()
	method not available - call not analyzed	Info	call on int com.dmdirc.addons.ui_swing.components. reorderablelist.ReorderableJList:getSelectedIndex()

	method not available - call not analyzed	Info	call on Object com.dmdirc.addons.ui_swing. components.reorderablelist.ReorderableJList:getSele ctedValue()
	method not available - call not analyzed	Info	call on void com.dmdirc.addons.ui_swing.components. StandardInputDialog:setText(String)