Messages

method

com.dmdirc.addons.ui_swing.dialogs.sslcertificate. ActionsPanel__static_init

method	void com.dmdirc.addons.ui_swing.dialogs. sslcertificate.ActionsPanel()
post	this.disconnect == &new JRadioButton(initCompon ents#3)
post	this.group == &new ButtonGroup(initComponents#4 )
post	this.permAccept == &new JRadioButton(initCompon ents#2)
post	this.tempAccept == &new JRadioButton(initCompon ents#1)
post	new ButtonGroup(initComponents#4) num objects == 1
post	new JRadioButton(initComponents#1) num objects == 1
post	new JRadioButton(initComponents#2) num objects == 1
post	new JRadioButton(initComponents#3) num objects == 1
unanalyzed	call on javax.swing.JRadioButton
unanalyzed	call on javax.swing.ButtonGroup
unanalyzed	call on javax.swing.ButtonGroup:add
unanalyzed	call on javax.swing.JRadioButton:getModel
unanalyzed	call on javax.swing.ButtonGroup:setSelected
unanalyzed	call on javax.swing.BorderFactory:createTitledBorde r
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. sslcertificate.ActionsPanel:setBorder
unanalyzed	call on net.miginfocom.swing.MigLayout
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. sslcertificate.ActionsPanel:setLayout
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. sslcertificate.ActionsPanel:add

method	void initComponents()
post	this.disconnect == &new JRadioButton(initCompon ents#3)
post	this.group == &new ButtonGroup(initComponents#4 )
post	this.permAccept == &new JRadioButton(initCompon ents#2)
post	this.tempAccept == &new JRadioButton(initCompon ents#1)
post	new ButtonGroup(initComponents#4) num objects == 1
post	new JRadioButton(initComponents#1) num objects == 1
post	new JRadioButton(initComponents#2) num objects == 1
post	new JRadioButton(initComponents#3) num objects == 1

method	void layoutComponents()
pre	init'ed(this.disconnect)
pre	init'ed(this.permAccept)
pre	init'ed(this.tempAccept)

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

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

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

method	CertificateAction getAction()
pre	this.group != null
pre	this.tempAccept != null
pre	(soft) this.permAccept != null
presumption	init'ed(com.dmdirc.ui.core.dialogs.sslcertificate. CertificateAction.DISCONNECT)
presumption	init'ed(com.dmdirc.ui.core.dialogs.sslcertificate. CertificateAction.IGNORE_PERMANENTY)
presumption	init'ed(com.dmdirc.ui.core.dialogs.sslcertificate. CertificateAction.IGNORE_TEMPORARILY)
presumption	javax.swing.ButtonGroup:getSelection(...)@80 != null
presumption	javax.swing.ButtonGroup:getSelection(...)@82 != null
post	return_value == One-of{com.dmdirc.ui.core.dialogs. sslcertificate.CertificateAction.IGNORE_ TEMPORARILY, com.dmdirc.ui.core.dialogs. sslcertificate.CertificateAction.IGNORE_PERMANENTY, com.dmdirc.ui.core.dialogs.sslcertificate. CertificateAction.DISCO...
post	init'ed(return_value)
test_vector	java.lang.Object:equals(...)@80: {0}, {1}
test_vector	java.lang.Object:equals(...)@82: {0}, {1}

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