Messages

method

com.dmdirc.addons.ui_swing.dialogs.actioneditor. ActionNamePanel__static_init

method	void com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionNamePanel()
post	this.name == &new ValidatingJTextField(initComp onents#1)
post	this.originalName == &""
post	new FileNameValidator(initComponents#3) num objects == 1
post	new JLabel(ValidatingJTextField#1) num objects == 1
post	new JTextField(initComponents#2) num objects == 1
post	new ValidatingJTextField(initComponents#1) num objects == 1
post	new ValidatingJTextField(initComponents#1). errorIcon == &new JLabel(ValidatingJTextField#1 )
post	new ValidatingJTextField(initComponents#1). textField == &new JTextField(initComponents#2)
post	new ValidatingJTextField(initComponents#1). validator == &new FileNameValidator(initCompone nts#3)
unanalyzed	call on javax.swing.JTextField
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 com.dmdirc.addons.ui_swing.components. validating.ValidatingJTextField:addPropertyChangeLi stener
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionNamePanel:setLayout
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionNamePanel:getBorder
unanalyzed	call on javax.swing.BorderFactory:createTitledBorde r
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionNamePanel:setBorder
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionNamePanel:add
unanalyzed	call on javax.swing.JPanel

method	void com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionNamePanel(String)
post	this.name == &new ValidatingJTextField(initComp onents#1)
post	this.originalName == One-of{&"", name}
post	this.originalName != null
post	new FileNameValidator(initComponents#3) num objects == 1
post	new JLabel(ValidatingJTextField#1) num objects == 1
post	new JTextField(initComponents#2) num objects == 1
post	new ValidatingJTextField(initComponents#1) num objects == 1
post	new ValidatingJTextField(initComponents#1). errorIcon == &new JLabel(ValidatingJTextField#1 )
post	new ValidatingJTextField(initComponents#1). textField == &new JTextField(initComponents#2)
post	new ValidatingJTextField(initComponents#1). validator == &new FileNameValidator(initCompone nts#3)
unanalyzed	call on javax.swing.JTextField
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 com.dmdirc.addons.ui_swing.components. validating.ValidatingJTextField:addPropertyChangeLi stener
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionNamePanel:setLayout
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionNamePanel:getBorder
unanalyzed	call on javax.swing.BorderFactory:createTitledBorde r
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionNamePanel:setBorder
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionNamePanel:add
test_vector	name: Inverse{null}, Addr_Set{null}

method	void setActionName(String)
pre	this.name != null
pre	this.name.textField != null
unanalyzed	call on javax.swing.JTextField:setText

method	void validateName()
pre	this.name != null
pre	this.name.errorIcon != null
pre	this.name.textField != null
pre	(soft) this.name.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: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

method	void initComponents()
post	this.name == &new ValidatingJTextField(initComp onents#1)
post	new FileNameValidator(initComponents#3) num objects == 1
post	new JLabel(ValidatingJTextField#1) num objects == 1
post	new JTextField(initComponents#2) num objects == 1
post	new ValidatingJTextField(initComponents#1) num objects == 1
post	this.name.errorIcon == &new JLabel(ValidatingJT extField#1)
post	this.name.textField == &new JTextField(initComp onents#2)
post	this.name.validator == &new FileNameValidator(i nitComponents#3)
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

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

method	void addListeners()
pre	this.name != null

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.components. validating.ValidatingJTextField:addPropertyChangeLi stener(String, PropertyChangeListener)

method	void layoutComponents()
pre	init'ed(this.name)

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. actioneditor.ActionNamePanel:setLayout(LayoutManage r)

method not available - call not analyzed Info call on Border com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionNamePanel:getBorder()

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionNamePanel:setBorder(Border)

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

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

method	bool hasNameChanged()
pre	this.name != null
pre	this.name.textField != null
presumption	javax.swing.JTextField:getText(...)@272 != null
post	init'ed(return_value)
unanalyzed	call on javax.swing.JTextField:getText

method	String getActionName()
pre	this.name != null
pre	this.name.textField != null
post	init'ed(return_value)
unanalyzed	call on javax.swing.JTextField:getText

method	void setEnabled(bool)
pre	this.name != null
pre	this.name.errorIcon != null
pre	this.name.textField != null
pre	(soft) this.name.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: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:setEnabled

method	void propertyChange(PropertyChangeEvent)
pre	evt != null

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionNamePanel:firePropertyChange(Str ing, Object, Object)

	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. actioneditor.ActionNamePanel:setLayout(LayoutManage r)

	method not available - call not analyzed	Info	call on Border com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionNamePanel:getBorder()
	method not available - call not analyzed	Info	call on void com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionNamePanel:setBorder(Border)