Messages

method

com.dmdirc.addons.ui_swing.dialogs.sslcertificate. SummaryPanel__static_init

method	void com.dmdirc.addons.ui_swing.dialogs. sslcertificate.SummaryPanel()
post	this.summary == &new ArrayList(SummaryPanel#1)
post	new ArrayList(SummaryPanel#1) num objects == 1
unanalyzed	call on javax.swing.BorderFactory:createTitledBorde r
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. sslcertificate.SummaryPanel:setBorder
unanalyzed	call on net.miginfocom.swing.MigLayout
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. sslcertificate.SummaryPanel:setLayout
unanalyzed	call on java.util.List:iterator
unanalyzed	call on com.dmdirc.ui.core.dialogs.sslcertificate. CertificateSummaryEntry:getText
unanalyzed	call on com.dmdirc.ui.core.dialogs.sslcertificate. CertificateSummaryEntry:isGood
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 com.dmdirc.addons.ui_swing.dialogs. sslcertificate.SummaryPanel:add

method	void layoutComponents()
pre	this.summary != null
presumption	com.dmdirc.ui.IconManager:getIconManager(...)@61 != null
presumption	java.util.Iterator:next(...)@60 != null
test_vector	com.dmdirc.ui.core.dialogs.sslcertificate. CertificateSummaryEntry:isGood(...)@61: {0}, {1}
test_vector	java.util.Iterator:hasNext(...)@60: {0}, {1}

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.dialogs. sslcertificate.SummaryPanel: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.SummaryPanel:setLayout(LayoutManager )

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

method not available - call not analyzed Info call on bool com.dmdirc.ui.core.dialogs. sslcertificate.CertificateSummaryEntry:isGood()

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.SummaryPanel:add(Component, Object)

method	void setSummary(List)
pre	summary != null
post	this.summary == summary
post	this.summary != null
unanalyzed	call on javax.swing.BorderFactory:createTitledBorde r
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. sslcertificate.SummaryPanel:setBorder
unanalyzed	call on net.miginfocom.swing.MigLayout
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. sslcertificate.SummaryPanel:setLayout
unanalyzed	call on java.util.List:iterator
unanalyzed	call on com.dmdirc.ui.core.dialogs.sslcertificate. CertificateSummaryEntry:getText
unanalyzed	call on com.dmdirc.ui.core.dialogs.sslcertificate. CertificateSummaryEntry:isGood
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 com.dmdirc.addons.ui_swing.dialogs. sslcertificate.SummaryPanel:add

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

method not available - call not analyzed	Info	call on String com.dmdirc.ui.core.dialogs. sslcertificate.CertificateSummaryEntry:getText()
method not available - call not analyzed	Info	call on bool com.dmdirc.ui.core.dialogs. sslcertificate.CertificateSummaryEntry:isGood()
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.SummaryPanel:add(Component, Object)