ProfileDetailPanel.java

ProfileDetailPanel.java

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

Filter Options

Annotation Kind:

pre

presumption

post

unanalyzed

test_vector

ReorderableJList access$100(ProfileDetailPanel)

Kind	Annotation Text
pre	init'ed(x0.nicknames)
pre	x0 != null
post	init'ed(return_value)
post	return_value == x0.nicknames

ProfileListModel access$200(ProfileDetailPanel)

Kind	Annotation Text
pre	x0 != null
post	init'ed(return_value)
post	return_value == x0.model

Profile access$300(ProfileDetailPanel)

Kind	Annotation Text
pre	init'ed(x0.profile)
pre	x0 != null
post	init'ed(return_value)
post	return_value == x0.profile

void actionPerformed(ActionEvent)

Kind	Annotation Text
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
pre	e != null
pre	init'ed(this.addButton)
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	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)
post	new ArrayList(ProfileManagerDialog#1) num objects <= 1
post	new ProfileManagerDialog(getProfileManagerDialog#1) num objects <= 1
unanalyzed	call on com.dmdirc.addons.ui_swing.components. StandardDialog
unanalyzed	call on com.dmdirc.addons.ui_swing.components. StandardInputDialog
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:getModel
unanalyzed	call on javax.swing.JList:setSelectedIndex
unanalyzed	call on javax.swing.JScrollPane
unanalyzed	call on net.miginfocom.swing.MigLayout
test_vector	javax.swing.JOptionPane:showConfirmDialog(... )@294: {-2³¹..-1, 1..2³²-1}, {0}

void cancelled()

Kind	Annotation Text

void cancelled()

Kind	Annotation Text

void clearProfile()

Kind	Annotation Text
pre	(soft) this.ident.validator != null
pre	(soft) this.name.validator != null
pre	(soft) this.realname.validator != null
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
presumption	javax.swing.JList:getModel(...)@118 != null
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 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

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

Kind	Annotation Text

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

Kind	Annotation Text

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

Kind	Annotation Text

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

Kind	Annotation Text

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

Kind	Annotation Text

void com.dmdirc.addons.ui_swing.dialogs.profiles.ProfileDetailPanel$ProfileNameValidator(ProfileDetailPanel, ProfileDetailPanel$1)

Kind	Annotation Text
unanalyzed	call on com.dmdirc.config.prefs.validator. FileNameValidator

com.dmdirc.addons.ui_swing.dialogs.profiles.ProfileDetailPanel$ProfileNameValidator__static_init

Kind	Annotation Text

void com.dmdirc.addons.ui_swing.dialogs.profiles.ProfileDetailPanel(ProfileListModel, MainFrame)

Kind	Annotation Text
presumption	java.awt.dnd.DragSource:getDefaultDragSource(... )@99 != null
post	init'ed(new ReorderableJList(initMainComponents#7). draggedIndex)
post	init'ed(this.mainFrame)
post	init'ed(this.model)
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 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 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(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	this.model == 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)
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. 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.config.prefs.validator. FileNameValidator
unanalyzed	call on com.dmdirc.config.prefs.validator. IdentValidator
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.logger.Logger:userError
unanalyzed	call on com.dmdirc.ui.IconManager:getIcon
unanalyzed	call on com.dmdirc.ui.IconManager:getIconManager
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.Throwable:__curr_excep_obj
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.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.TransferHandler
unanalyzed	call on javax.swing.text.Document:addDocumentListen er
unanalyzed	call on net.miginfocom.swing.MigLayout

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

Kind	Annotation Text

void contentsChanged(ListDataEvent)

Kind	Annotation Text
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
pre	this.ident != null
pre	this.ident.textField != null
unanalyzed	call on com.dmdirc.config.prefs.validator. ValidationResponse:isFailure
unanalyzed	call on com.dmdirc.config.prefs.validator. Validator:validate
unanalyzed	call on javax.swing.DefaultListModel:getSize
unanalyzed	call on javax.swing.JList:getModel
unanalyzed	call on javax.swing.JTextField:getText
unanalyzed	call on javax.swing.JTextField:isEnabled

void initMainComponents()

Kind	Annotation Text
presumption	java.awt.dnd.DragSource:getDefaultDragSource(... )@99 != null
presumption	javax.swing.JList:getModel(...)@118 != null
post	init'ed(this.nicknames.draggedIndex)
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.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.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)
post	this.name == &new ValidatingJTextField(initMain Components#1)
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.nicknames == &new ReorderableJList(initMai nComponents#7)
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	this.nicknames.dropTarget == &new DropTarget(ReorderableJList#3)
post	this.realname == &new ValidatingJTextField(init MainComponents#3)
post	this.realname.errorIcon == &new JLabel(ValidatingJTextField#1)
post	this.realname.textField == &new JTextField(ValidatingJTextField#1)
post	this.realname.validator == &new NotEmptyValidator(initMainComponents#4)
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 com.dmdirc.addons.ui_swing.components. reorderablelist.ReorderableJList:setTransferHandler
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.config.prefs.validator. FileNameValidator
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.logger.Logger:userError
unanalyzed	call on com.dmdirc.ui.IconManager:getIcon
unanalyzed	call on com.dmdirc.ui.IconManager:getIconManager
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.Throwable:__curr_excep_obj
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.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.TransferHandler
unanalyzed	call on javax.swing.text.Document:addDocumentListen er
unanalyzed	call on net.miginfocom.swing.MigLayout

void intervalAdded(ListDataEvent)

Kind	Annotation Text
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
pre	this.ident != null
pre	this.ident.textField != null
unanalyzed	call on com.dmdirc.config.prefs.validator. ValidationResponse:isFailure
unanalyzed	call on com.dmdirc.config.prefs.validator. Validator:validate
unanalyzed	call on javax.swing.DefaultListModel:getSize
unanalyzed	call on javax.swing.JList:getModel
unanalyzed	call on javax.swing.JTextField:getText
unanalyzed	call on javax.swing.JTextField:isEnabled

void intervalRemoved(ListDataEvent)

Kind	Annotation Text
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
pre	this.ident != null
pre	this.ident.textField != null
unanalyzed	call on com.dmdirc.config.prefs.validator. ValidationResponse:isFailure
unanalyzed	call on com.dmdirc.config.prefs.validator. Validator:validate
unanalyzed	call on javax.swing.DefaultListModel:getSize
unanalyzed	call on javax.swing.JList:getModel
unanalyzed	call on javax.swing.JTextField:getText
unanalyzed	call on javax.swing.JTextField:isEnabled

void layoutComponents()

Kind	Annotation Text
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)

void save()

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

bool save()

Kind	Annotation Text
pre	this.nicknames != null
presumption	javax.swing.JList:getModel(...)@118 != null
post	return_value == 1
unanalyzed	call on javax.swing.JList:getModel

bool save()

Kind	Annotation Text
pre	this.nicknames != null
presumption	javax.swing.JList:getModel(...)@118 != null
post	return_value == 1
unanalyzed	call on javax.swing.JList:getModel

void setProfile(Profile)

Kind	Annotation Text
pre	(soft) init'ed(profile.ident)
pre	(soft) init'ed(profile.name)
pre	(soft) init'ed(profile.realname)
pre	(soft) profile.nicknames != null
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	init'ed(this.profile)
post	this.profile == profile
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.util.List:iterator
unanalyzed	call on javax.swing.DefaultListModel:addElement
unanalyzed	call on javax.swing.DefaultListModel:clear
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

void updateProfile()

Kind	Annotation Text
pre	(soft) init'ed(this.profile.ident)
pre	(soft) init'ed(this.profile.name)
pre	(soft) init'ed(this.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.profile.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
pre	init'ed(this.profile)
presumption	javax.swing.JList:getModel(...)@118 != null
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 javax.swing.DefaultListModel:clear
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
test_vector	java.util.Iterator:hasNext(...)@176: {0}, {1}
test_vector	this.profile: Inverse{null}, Addr_Set{null}

ValidationResponse validate(Object)

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

ValidationResponse validate(String)

Kind	Annotation Text
pre	(soft) init'ed(this.profile)
pre	this.model != null
pre	this.model.profiles != null
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}

bool validateDetails()

Kind	Annotation Text
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
pre	this.ident != null
pre	this.ident.textField != null
presumption	javax.swing.JList:getModel(...)@118 != null
post	init'ed(return_value)
unanalyzed	call on com.dmdirc.config.prefs.validator. ValidationResponse:isFailure
unanalyzed	call on com.dmdirc.config.prefs.validator. Validator:validate
unanalyzed	call on javax.swing.JList:getModel
unanalyzed	call on javax.swing.JTextField:getText
unanalyzed	call on javax.swing.JTextField:isEnabled
test_vector	javax.swing.DefaultListModel:getSize(...)@226: {1..2³²-1}, {-2³¹..0}

void valueChanged(ListSelectionEvent)

Kind	Annotation Text
pre	(soft) this.nicknames != null
pre	e != null
pre	this.delButton != null
pre	this.editButton != 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}