Messages

Last Msg First Msg

method

com.dmdirc.addons.ui_swing.components. StandardInputDialog$7__static_init

method

com.dmdirc.addons.ui_swing.components. StandardInputDialog$6__static_init

method

com.dmdirc.addons.ui_swing.components. StandardInputDialog$5__static_init

method

com.dmdirc.addons.ui_swing.components. StandardInputDialog$4__static_init

method

com.dmdirc.addons.ui_swing.components. StandardInputDialog$3__static_init

method

com.dmdirc.addons.ui_swing.components. StandardInputDialog$2__static_init

method

com.dmdirc.addons.ui_swing.components. StandardInputDialog$1__static_init

method

com.dmdirc.addons.ui_swing.components. StandardInputDialog__static_init

method	ValidatingJTextField access$000(StandardInputDialo g)
pre	x0 != null
pre	init'ed(x0.textField)
post	return_value == x0.textField
post	init'ed(return_value)

method	void access$100(StandardInputDialog)
pre	x0 != null
pre	x0.okButton != null
pre	x0.textField != null
pre	x0.validator != null
unanalyzed	call on com.dmdirc.addons.ui_swing.components. validating.ValidatingJTextField:getText
unanalyzed	call on getOkButton
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.JButton:setEnabled

method

void com.dmdirc.addons.ui_swing.components. StandardInputDialog$1()

method	ValidationResponse validate(Object)
post	return_value == &new ValidationResponse(validat e#1*)
post	new ValidationResponse(validate#1*) num objects == 1
unanalyzed	call on com.dmdirc.config.prefs.validator. ValidationResponse

method	void com.dmdirc.addons.ui_swing.components. StandardInputDialog(Window, Dialog$ModalityType, String, String)
post	this.blurb == &new TextLabel(initComponents#4)
post	this.cancelButton == One-of{&new JButton(initComponents#2), &new JButton(initComponents#1)}
post	this.cancelButton in Addr_Set{&new JButton(initComponents#1),&new JButton(initComponents#2)}
post	this.message == message
post	init'ed(this.message)
post	this.okButton == One-of{&new JButton(initCompon ents#1), &new JButton(initComponents#2)}
post	this.okButton in Addr_Set{&new JButton(initComp onents#1),&new JButton(initComponents#2)}
post	this.textField == &new ValidatingJTextField(ini tComponents#3)
post	this.validator == &new StandardInputDialog$1(St andardInputDialog#1)
post	new JButton(initComponents#1) num objects == 1
post	new JButton(initComponents#2) num objects == 1
post	new StandardInputDialog$1(StandardInputDialog#1) num objects == 1
post	new TextLabel(initComponents#4) num objects == 1
post	new ValidatingJTextField(initComponents#3) num objects == 1
unanalyzed	call on com.dmdirc.addons.ui_swing.components. validating.ValidatingJTextField:getText
unanalyzed	call on getOkButton
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.JButton:setEnabled
unanalyzed	call on javax.swing.JButton
unanalyzed	call on orderButtons
unanalyzed	call on com.dmdirc.addons.ui_swing.components. validating.ValidatingJTextField
unanalyzed	call on com.dmdirc.addons.ui_swing.components.text. TextLabel
unanalyzed	call on javax.swing.JButton:addActionListener
unanalyzed	call on getCancelButton
unanalyzed	call on java.awt.event.WindowAdapter
unanalyzed	call on com.dmdirc.addons.ui_swing.components. StandardInputDialog:addWindowListener
unanalyzed	call on com.dmdirc.addons.ui_swing.components. validating.ValidatingJTextField:getDocument
unanalyzed	call on javax.swing.text.Document:addDocumentListen er
unanalyzed	call on javax.swing.KeyStroke:getKeyStroke
unanalyzed	call on com.dmdirc.addons.ui_swing.components. StandardInputDialog:getRootPane
unanalyzed	call on javax.swing.JRootPane:registerKeyboardActio n
unanalyzed	call on net.miginfocom.swing.MigLayout
unanalyzed	call on com.dmdirc.addons.ui_swing.components. StandardInputDialog:setLayout
unanalyzed	call on com.dmdirc.addons.ui_swing.components. StandardInputDialog:add
unanalyzed	call on getLeftButton
unanalyzed	call on getRightButton
unanalyzed	call on com.dmdirc.addons.ui_swing.components. StandardDialog
unanalyzed	call on com.dmdirc.addons.ui_swing.components. StandardInputDialog:setTitle
unanalyzed	call on com.dmdirc.addons.ui_swing.components. StandardInputDialog:setDefaultCloseOperation
unanalyzed	call on javax.swing.JButton:setText
unanalyzed	call on javax.swing.JButton:setDefaultCapable
unanalyzed	call on java.lang.System:getProperty
unanalyzed	call on java.lang.String:toLowerCase
unanalyzed	call on java.lang.String:startsWith
unanalyzed	call on java.awt.Dimension
unanalyzed	call on javax.swing.JButton:setPreferredSize
unanalyzed	call on javax.swing.JButton:setMinimumSize
unanalyzed	call on com.dmdirc.addons.ui_swing.components. StandardDialog:setIconImages
unanalyzed	call on javax.swing.JDialog
unanalyzed	call on java.awt.Window:getIconImages

method	ValidationResponse validate(String)
post	return_value == &new ValidationResponse(validat e#1)
post	new ValidationResponse(validate#1) num objects == 1

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

method	void com.dmdirc.addons.ui_swing.components. StandardInputDialog(Window, Dialog$ModalityType, String, String, Validator)
pre	validator != null
post	this.blurb == &new TextLabel(initComponents#4)
post	this.cancelButton == One-of{&new JButton(initComponents#2), &new JButton(initComponents#1)}
post	this.cancelButton in Addr_Set{&new JButton(initComponents#1),&new JButton(initComponents#2)}
post	this.message == message
post	init'ed(this.message)
post	this.okButton == One-of{&new JButton(initCompon ents#1), &new JButton(initComponents#2)}
post	this.okButton in Addr_Set{&new JButton(initComp onents#1),&new JButton(initComponents#2)}
post	this.textField == &new ValidatingJTextField(ini tComponents#3)
post	this.validator == validator
post	this.validator != null
post	new JButton(initComponents#1) num objects == 1
post	new JButton(initComponents#2) num objects == 1
post	new TextLabel(initComponents#4) num objects == 1
post	new ValidatingJTextField(initComponents#3) num objects == 1
unanalyzed	call on com.dmdirc.addons.ui_swing.components. validating.ValidatingJTextField:getText
unanalyzed	call on getOkButton
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.JButton:setEnabled
unanalyzed	call on javax.swing.JButton
unanalyzed	call on orderButtons
unanalyzed	call on com.dmdirc.addons.ui_swing.components. validating.ValidatingJTextField
unanalyzed	call on com.dmdirc.addons.ui_swing.components.text. TextLabel
unanalyzed	call on javax.swing.JButton:addActionListener
unanalyzed	call on getCancelButton
unanalyzed	call on java.awt.event.WindowAdapter
unanalyzed	call on com.dmdirc.addons.ui_swing.components. StandardInputDialog:addWindowListener
unanalyzed	call on com.dmdirc.addons.ui_swing.components. validating.ValidatingJTextField:getDocument
unanalyzed	call on javax.swing.text.Document:addDocumentListen er
unanalyzed	call on javax.swing.KeyStroke:getKeyStroke
unanalyzed	call on com.dmdirc.addons.ui_swing.components. StandardInputDialog:getRootPane
unanalyzed	call on javax.swing.JRootPane:registerKeyboardActio n
unanalyzed	call on net.miginfocom.swing.MigLayout
unanalyzed	call on com.dmdirc.addons.ui_swing.components. StandardInputDialog:setLayout
unanalyzed	call on com.dmdirc.addons.ui_swing.components. StandardInputDialog:add
unanalyzed	call on getLeftButton
unanalyzed	call on getRightButton
unanalyzed	call on javax.swing.JButton:setText
unanalyzed	call on javax.swing.JButton:setDefaultCapable
unanalyzed	call on java.lang.System:getProperty
unanalyzed	call on java.lang.String:toLowerCase
unanalyzed	call on java.lang.String:startsWith
unanalyzed	call on java.awt.Dimension
unanalyzed	call on javax.swing.JButton:setPreferredSize
unanalyzed	call on javax.swing.JButton:setMinimumSize
unanalyzed	call on com.dmdirc.addons.ui_swing.components. StandardDialog:setIconImages
unanalyzed	call on javax.swing.JDialog
unanalyzed	call on java.awt.Window:getIconImages

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

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

method	void initComponents()
pre	init'ed(this.message)
pre	this.validator != null
post	this.blurb == &new TextLabel(initComponents#4)
post	this.cancelButton == One-of{&new JButton(initComponents#2), &new JButton(initComponents#1)}
post	this.cancelButton in Addr_Set{&new JButton(initComponents#1),&new JButton(initComponents#2)}
post	this.okButton == One-of{&new JButton(initCompon ents#1), &new JButton(initComponents#2)}
post	this.okButton in Addr_Set{&new JButton(initComp onents#1),&new JButton(initComponents#2)}
post	this.textField == &new ValidatingJTextField(ini tComponents#3)
post	new JButton(initComponents#1) num objects == 1
post	new JButton(initComponents#2) num objects == 1
post	new TextLabel(initComponents#4) num objects == 1
post	new ValidatingJTextField(initComponents#3) num objects == 1
unanalyzed	call on com.dmdirc.addons.ui_swing.components. validating.ValidatingJTextField:getText
unanalyzed	call on getOkButton
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.JButton:setEnabled
unanalyzed	call on javax.swing.JButton:setText
unanalyzed	call on javax.swing.JButton:setDefaultCapable
unanalyzed	call on java.lang.System:getProperty
unanalyzed	call on java.lang.String:toLowerCase
unanalyzed	call on java.lang.String:startsWith
unanalyzed	call on java.awt.Dimension
unanalyzed	call on javax.swing.JButton:setPreferredSize
unanalyzed	call on javax.swing.JButton:setMinimumSize

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.components. validating.ValidatingJTextField(Validator)

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.components. text.TextLabel(String)

method

void com.dmdirc.addons.ui_swing.components. StandardInputDialog$2(StandardInputDialog)

method	void addListeners()
pre	this.cancelButton != null
pre	this.okButton != null
pre	this.textField != null
presumption	com.dmdirc.addons.ui_swing.components. StandardInputDialog:getRootPane(...)@197 != null
presumption	com.dmdirc.addons.ui_swing.components.validating. ValidatingJTextField:getDocument(...)@167 != null
unanalyzed	call on java.awt.event.WindowAdapter

method	void actionPerformed(ActionEvent)
pre	this.textField != null
pre	this.controller != null
pre	this.controller.mainFrameCreated != null
pre	(soft) this.controller.me != null
unanalyzed	call on java.util.concurrent.atomic. AtomicBoolean:get
unanalyzed	call on getActiveFrame
unanalyzed	call on com.dmdirc.ui.interfaces.Window:getContaine r
unanalyzed	call on com.dmdirc.FrameContainer:getServer
unanalyzed	call on getText
unanalyzed	call on com.dmdirc.Server:join
unanalyzed	call on com.dmdirc.addons.ui_swing.components. validating.ValidatingJTextField:getText
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on javax.swing.SwingUtilities:isEventDispatchT hread
unanalyzed	call on javax.swing.SwingUtilities:invokeAndWait
unanalyzed	call on com.dmdirc.logger.Logger:appError
unanalyzed	call on com.dmdirc.util.ReturnableThread:run
unanalyzed	call on com.dmdirc.util.ReturnableThread:getObject
unanalyzed	call on com.dmdirc.util.ReturnableThread

Prev Msg Next Msg

test always goes same way

click for all messages in this file Low Prob.

Test predetermined because save(...) == 1

Prev Msg Next Msg

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

method

void com.dmdirc.addons.ui_swing.components. StandardInputDialog$3(StandardInputDialog)

method

void actionPerformed(ActionEvent)

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

method

void com.dmdirc.addons.ui_swing.components. StandardInputDialog$4(StandardInputDialog)

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

method	void windowOpened(WindowEvent)
pre	this.textField != null

method not available - call not analyzed Info call on bool com.dmdirc.addons.ui_swing.components. validating.ValidatingJTextField:requestFocusInWindo w()

method

void windowClosed(WindowEvent)

method

void com.dmdirc.addons.ui_swing.components. StandardInputDialog$5(StandardInputDialog)

method not available - call not analyzed Info call on Document com.dmdirc.addons.ui_swing. components.validating.ValidatingJTextField:getDocum ent()

method	void insertUpdate(DocumentEvent)
pre	this.okButton != null
pre	this.textField != null
pre	this.validator != null
unanalyzed	call on com.dmdirc.addons.ui_swing.components. validating.ValidatingJTextField:getText
unanalyzed	call on getOkButton
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.JButton:setEnabled

method	void removeUpdate(DocumentEvent)
pre	this.okButton != null
pre	this.textField != null
pre	this.validator != null
unanalyzed	call on com.dmdirc.addons.ui_swing.components. validating.ValidatingJTextField:getText
unanalyzed	call on getOkButton
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.JButton:setEnabled

method

void changedUpdate(DocumentEvent)

method

void com.dmdirc.addons.ui_swing.components. StandardInputDialog$6(StandardInputDialog)

method	void actionPerformed(ActionEvent)
presumption	com.dmdirc.addons.ui_swing.components. StandardInputDialog:getOkButton(...)@193 != null

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

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

method	void validateText()
pre	this.okButton != null
pre	this.textField != null
pre	this.validator != null
presumption	com.dmdirc.config.prefs.validator.Validator:validat e(...)@205 != null
unanalyzed	call on com.dmdirc.addons.ui_swing.components. validating.ValidatingJTextField:getText

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 layoutComponents()
pre	init'ed(this.blurb)
pre	init'ed(this.textField)
pre	(soft) init'ed(this.cancelButton)
pre	(soft) init'ed(this.okButton)
unanalyzed	call on java.lang.System:getProperty
unanalyzed	call on java.lang.String:toLowerCase
unanalyzed	call on java.lang.String:startsWith

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. StandardInputDialog:setLayout(LayoutManager)

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

method	void display()
unanalyzed	call on javax.swing.SwingUtilities:isEventDispatchT hread
unanalyzed	call on java.lang.Runnable:run
unanalyzed	call on javax.swing.SwingUtilities:invokeLater

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

method	void com.dmdirc.addons.ui_swing.components. StandardInputDialog$7(StandardInputDialog, Component)
post	this.val$parent == Param_2
post	init'ed(this.val$parent)

method	void display(Component)
unanalyzed	call on javax.swing.SwingUtilities:isEventDispatchT hread
unanalyzed	call on java.lang.Runnable:run
unanalyzed	call on javax.swing.SwingUtilities:invokeLater

method

void run()

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

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

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

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

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

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

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

	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 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. StandardInputDialog:setLayout(LayoutManager)