Messages

method

com.dmdirc.addons.ui_swing.components.validating. ValidatingJTextField__static_init

method	void com.dmdirc.addons.ui_swing.components. validating.ValidatingJTextField(Validator)
pre	(soft) validator != null
post	this.errorIcon == &new JLabel(ValidatingJTextFi eld#1)
post	this.textField == &new JTextField(ValidatingJTe xtField#1)
post	this.validator == validator
post	this.validator != null
post	new JLabel(ValidatingJTextField#1) num objects == 1
post	new JTextField(ValidatingJTextField#1) num objects == 1
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	void com.dmdirc.addons.ui_swing.components. validating.ValidatingJTextField(JTextField, Validator)
pre	textField != null
pre	(soft) validator != null
presumption	com.dmdirc.ui.IconManager:getIconManager(...)@82 != null
presumption	javax.swing.JTextField:getDocument(...)@91 != null
post	this.errorIcon == &new JLabel(ValidatingJTextFi eld#1)
post	this.textField == textField
post	this.textField != null
post	this.validator == validator
post	this.validator != null
post	new JLabel(ValidatingJTextField#1) num objects == 1
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 not available - call not analyzed Info call on IconManager com.dmdirc.ui.IconManager:getIc onManager()

method not available - call not analyzed Info call on Icon com.dmdirc.ui.IconManager:getIcon(Stri ng)

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

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.components. validating.ValidatingJTextField:setLayout(LayoutMan ager)

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.components. validating.ValidatingJTextField:add(Component, Object)

method not available - call not analyzed Info call on Component com.dmdirc.addons.ui_swing. components.validating.ValidatingJTextField:add(Comp onent)

method	void checkError()
pre	this.errorIcon != null
pre	this.textField != null
pre	(soft) this.validator != null
presumption	com.dmdirc.config.prefs.validator.Validator:validat e(...)@99 != null
test_vector	javax.swing.JTextField:isEnabled(...)@98: {0}, {1}

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

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

method not available - call not analyzed Info call on bool com.dmdirc.config.prefs.validator. ValidationResponse:isFailure()

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

method not available - call not analyzed Info call on bool com.dmdirc.config.prefs.validator. ValidationResponse:isFailure()

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

method	bool validateText()
pre	this.textField != null
pre	(soft) this.validator != null
presumption	com.dmdirc.config.prefs.validator.Validator:validat e(...)@119 != null
post	init'ed(return_value)
unanalyzed	call on javax.swing.JTextField:getText
test_vector	javax.swing.JTextField:isEnabled(...)@118: {0}, {1}

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

method not available - call not analyzed Info call on bool com.dmdirc.config.prefs.validator. ValidationResponse:isFailure()

method	void changedUpdate(DocumentEvent)
pre	this.errorIcon != null
pre	this.textField != null
pre	(soft) this.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 insertUpdate(DocumentEvent)
pre	this.errorIcon != null
pre	this.textField != null
pre	(soft) this.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 removeUpdate(DocumentEvent)
pre	this.errorIcon != null
pre	this.textField != null
pre	(soft) this.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 setToolTipText(String)
pre	this.textField != null

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

method	bool requestFocusInWindow()
pre	this.textField != null
post	init'ed(return_value)

method	void setText(String)
pre	this.textField != null

method	void setSelectionStart(int)
pre	this.textField != null

method	void setSelectionEnd(int)
pre	this.textField != null

method	void setEditable(bool)
pre	this.textField != null

method	void selectAll()
pre	this.textField != null

method	void select(int, int)
pre	this.textField != null

method	void replaceSelection(String)
pre	this.textField != null

method	void paste()
pre	this.textField != null

method	bool isEditable()
pre	this.textField != null
post	init'ed(return_value)

method	String getText()
pre	this.textField != null
post	init'ed(return_value)

method	String getText(int, int)
pre	this.textField != null
post	init'ed(return_value)

method	int getSelectionStart()
pre	this.textField != null
post	init'ed(return_value)

method	int getSelectionEnd()
pre	this.textField != null
post	init'ed(return_value)

method	String getSelectedText()
pre	this.textField != null
post	init'ed(return_value)

method	Document getDocument()
pre	this.textField != null
post	init'ed(return_value)

method	void cut()
pre	this.textField != null

method	void copy()
pre	this.textField != null

method	Font getFont()
pre	this.textField != null
post	init'ed(return_value)

method	void addKeyListener(KeyListener)
pre	this.textField != null

method	void removeKeyListener(KeyListener)
pre	this.textField != null

method	void addMouseListener(MouseListener)
pre	this.textField != null

method	void removeMouseListener(MouseListener)
pre	this.textField != null

method	void setDragEnabled(bool)
pre	this.textField != null

method	void setTransferHandler(TransferHandler)
pre	this.textField != null

method	Validator getValidator()
pre	init'ed(this.validator)
post	return_value == this.validator
post	init'ed(return_value)

method	JTextField getTextField()
post	return_value == this.textField
post	init'ed(return_value)

	method not available - call not analyzed	Info	call on IconManager com.dmdirc.ui.IconManager:getIc onManager()
	method not available - call not analyzed	Info	call on Icon com.dmdirc.ui.IconManager:getIcon(Stri ng)

	method not available - call not analyzed	Info	call on void net.miginfocom.swing.MigLayout(String)
	method not available - call not analyzed	Info	call on void com.dmdirc.addons.ui_swing.components. validating.ValidatingJTextField:setLayout(LayoutMan ager)

	method not available - call not analyzed	Info	call on bool com.dmdirc.config.prefs.validator. ValidationResponse:isFailure()
	method not available - call not analyzed	Info	call on void com.dmdirc.addons.ui_swing.components. validating.ValidatingJTextField:firePropertyChange( String, bool, bool)

	method not available - call not analyzed	Info	call on ValidationResponse com.dmdirc.config.prefs. validator.Validator:validate(Object)
	method not available - call not analyzed	Info	call on bool com.dmdirc.config.prefs.validator. ValidationResponse:isFailure()