Messages

method

com.dmdirc.addons.ui_swing.dialogs.sslcertificate. CertificateChainPanel__static_init

method	void com.dmdirc.addons.ui_swing.dialogs. sslcertificate.CertificateChainPanel()
post	this.list == &new JList(initComponents#2)
post	this.model == &new DefaultListModel(initCompone nts#1)
post	new DefaultListModel(initComponents#1) num objects == 1
post	new JList(initComponents#2) num objects == 1
unanalyzed	call on javax.swing.DefaultListModel
unanalyzed	call on javax.swing.JList
unanalyzed	call on com.dmdirc.addons.ui_swing.components. renderers.CertificateChainEntryCellRenderer
unanalyzed	call on javax.swing.JList:setCellRenderer
unanalyzed	call on javax.swing.JList:setSelectionMode
unanalyzed	call on com.dmdirc.addons.ui_swing.components. ListScroller
unanalyzed	call on javax.swing.BorderFactory:createTitledBorde r
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. sslcertificate.CertificateChainPanel:setBorder
unanalyzed	call on net.miginfocom.swing.MigLayout
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. sslcertificate.CertificateChainPanel:setLayout
unanalyzed	call on javax.swing.JScrollPane
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. sslcertificate.CertificateChainPanel:add
unanalyzed	call on com.dmdirc.ui.IconManager:getIconManager
unanalyzed	call on com.dmdirc.ui.IconManager:getIcon
unanalyzed	call on javax.swing.JLabel

method	void initComponents()
post	this.list == &new JList(initComponents#2)
post	this.model == &new DefaultListModel(initCompone nts#1)
post	new DefaultListModel(initComponents#1) num objects == 1
post	new JList(initComponents#2) num objects == 1

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.components. renderers.CertificateChainEntryCellRenderer()

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.components. ListScroller(JList)

method	void layoutComponents()
pre	init'ed(this.list)
presumption	com.dmdirc.ui.IconManager:getIconManager(...)@79 != null
presumption	com.dmdirc.ui.IconManager:getIconManager(...)@81 != null

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

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.CertificateChainPanel:setLayout(Layo utManager)

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

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 com.dmdirc.addons.ui_swing.dialogs. sslcertificate.CertificateChainPanel:add(Component, Object)

method	void setChain(List)
pre	(soft) this.model != null
post	this.certificateChain == certificateChain
post	init'ed(this.certificateChain)
test_vector	certificateChain: Inverse{null}, Addr_Set{null}
test_vector	java.util.Iterator:hasNext(...)@91: {0}, {1}

method	String getName(int)
pre	this.model != null
presumption	javax.swing.DefaultListModel:get(...)@98 != null
post	init'ed(return_value)

method not available - call not analyzed Info call on String com.dmdirc.ui.core.dialogs. sslcertificate.CertificateChainEntry:getName()

method	int getSelectedIndex()
pre	this.list != null
post	init'ed(return_value)

method	void setSelectedIndex(int)
pre	this.list != null

method	void addListSelectionListener(ListSelectionListene r)
pre	this.list != null

	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.CertificateChainPanel:setLayout(Layo utManager)

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 com.dmdirc.addons.ui_swing.dialogs. sslcertificate.CertificateChainPanel:add(Component, Object)