Messages

method

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

method

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

method

com.dmdirc.addons.ui_swing.components. StandardDialog__static_init

method	JButton access$000(StandardDialog)
pre	x0 != null
pre	init'ed(x0.cancelButton)
post	return_value == x0.cancelButton
post	init'ed(return_value)

method	JButton access$100(StandardDialog)
pre	x0 != null
pre	init'ed(x0.okButton)
post	return_value == x0.okButton
post	init'ed(return_value)

method	void com.dmdirc.addons.ui_swing.components. StandardDialog(Frame, bool)
test_vector	owner: Addr_Set{null}, Inverse{null}

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.components. StandardDialog:setIconImages(List)

method	void com.dmdirc.addons.ui_swing.components. StandardDialog(Window, Dialog$ModalityType)
test_vector	owner: Addr_Set{null}, Inverse{null}

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.components. StandardDialog:setIconImages(List)

method	void com.dmdirc.addons.ui_swing.components. StandardDialog(Dialog, bool)
test_vector	owner: Addr_Set{null}, Inverse{null}

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.components. StandardDialog:setIconImages(List)

method

void display()

method not available - call not analyzed Info call on void com.dmdirc.ui.CoreUIUtils:centreWindow (Window)

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

method	void setCancelButton(JButton)
pre	button != null
post	this.cancelButton == button
post	this.cancelButton != null

method	JButton getLeftButton()
pre	(soft) init'ed(this.cancelButton)
pre	(soft) init'ed(this.okButton)
presumption	java.lang.System:getProperty(...)@134 != null
post	return_value == One-of{this.okButton, this.cancelButton}
post	init'ed(return_value)
test_vector	java.lang.String:startsWith(...)@134: {0}, {1}

method	JButton getRightButton()
pre	(soft) init'ed(this.cancelButton)
pre	(soft) init'ed(this.okButton)
presumption	java.lang.System:getProperty(...)@146 != null
post	return_value == One-of{this.cancelButton, this.okButton}
post	init'ed(return_value)
test_vector	java.lang.String:startsWith(...)@146: {0}, {1}

method	void orderButtons(JButton, JButton)
pre	leftButton != null
pre	rightButton != null
presumption	java.lang.System:getProperty(...)@161 != null
post	this.cancelButton == One-of{rightButton, leftButton}
post	this.cancelButton != null
post	this.okButton == One-of{leftButton, rightButton}
post	this.okButton != null
unanalyzed	call on javax.swing.JButton:setText
unanalyzed	call on javax.swing.JButton:setDefaultCapable
test_vector	java.lang.String:startsWith(...)@161: {0}, {1}

method

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

method	JRootPane createRootPane()
post	return_value == &new JRootPane(createRootPane#3 )
post	new JRootPane(createRootPane#3) num objects == 1

method	void actionPerformed(ActionEvent)
pre	init'ed(this.cancelButton)
unanalyzed	call on javax.swing.JButton:doClick

method

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

method	void actionPerformed(ActionEvent)
pre	(soft) init'ed(this.okButton)
unanalyzed	call on javax.swing.JButton:doClick

method not available - call not analyzed Info call on Component com.dmdirc.addons.ui_swing. components.StandardDialog:getFocusOwner()

method	JButton getCancelButton()
pre	init'ed(this.cancelButton)
post	return_value == this.cancelButton
post	init'ed(return_value)

method	void executeAction(JButton)
test_vector	target: Addr_Set{null}, Inverse{null}