Messages

Last Msg First Msg

method

com.dmdirc.addons.ui_swing.dialogs.sslcertificate. CertificateInfoPanel__static_init

method	void com.dmdirc.addons.ui_swing.dialogs. sslcertificate.CertificateInfoPanel()
post	this.certificateInfo == &new ArrayList(initComp onents#2)
post	init'ed(this.certificateName)
post	this.content == &new JPanel(initComponents#1)
post	new ArrayList(initComponents#2) num objects == 1
post	new JPanel(initComponents#1) num objects == 1
unanalyzed	call on javax.swing.JPanel
unanalyzed	call on java.util.ArrayList
unanalyzed	call on javax.swing.BorderFactory:createTitledBorde r
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. sslcertificate.CertificateInfoPanel:setBorder
unanalyzed	call on javax.swing.JPanel:setVisible
unanalyzed	call on javax.swing.JPanel:removeAll
unanalyzed	call on net.miginfocom.swing.MigLayout
unanalyzed	call on javax.swing.JPanel:setLayout
unanalyzed	call on java.util.List:iterator
unanalyzed	call on com.dmdirc.ui.core.dialogs.sslcertificate. CertificateInformationEntry:getTitle
unanalyzed	call on com.dmdirc.addons.ui_swing.components.text. TextLabel
unanalyzed	call on javax.swing.JPanel:add
unanalyzed	call on com.dmdirc.ui.core.dialogs.sslcertificate. CertificateInformationEntry:getValue
unanalyzed	call on com.dmdirc.ui.core.dialogs.sslcertificate. CertificateInformationEntry:isInvalid
unanalyzed	call on javax.swing.text.SimpleAttributeSet
unanalyzed	call on javax.swing.text.StyleConstants:setForegrou nd
unanalyzed	call on com.dmdirc.addons.ui_swing.components.text. TextLabel:getDocument
unanalyzed	call on java.lang.String:length
unanalyzed	call on javax.swing.text.StyledDocument:setParagrap hAttributes
unanalyzed	call on com.dmdirc.ui.core.dialogs.sslcertificate. CertificateInformationEntry:isMissing
unanalyzed	call on javax.swing.text.StyleConstants:setItalic
unanalyzed	call on java.util.List:size
unanalyzed	call on javax.swing.JLabel

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.dialogs. sslcertificate.CertificateInfoPanel:setViewportView (Component)

method	void initComponents()
post	this.certificateInfo == &new ArrayList(initComp onents#2)
post	this.content == &new JPanel(initComponents#1)
post	new ArrayList(initComponents#2) num objects == 1
post	new JPanel(initComponents#1) num objects == 1

method	void layoutComponents()
pre	this.certificateInfo != null
pre	init'ed(this.certificateName)
pre	this.content != null
presumption	com.dmdirc.addons.ui_swing.components.text. TextLabel:getDocument(...)@86 != null
presumption	com.dmdirc.addons.ui_swing.components.text. TextLabel:getDocument(...)@92 != null
presumption	com.dmdirc.ui.core.dialogs.sslcertificate. CertificateInformationEntry:getValue(...)@86 != null
presumption	com.dmdirc.ui.core.dialogs.sslcertificate. CertificateInformationEntry:getValue(...)@92 != null
presumption	init'ed(java.awt.Color.RED)
presumption	java.util.Iterator:next(...)@79 != null
presumption	java.util.Iterator:next(...)@80 != null
test_vector	com.dmdirc.ui.core.dialogs.sslcertificate. CertificateInformationEntry:isInvalid(...)@83: {0}, {1}
test_vector	com.dmdirc.ui.core.dialogs.sslcertificate. CertificateInformationEntry:isMissing(...)@89: {0}, {1}
test_vector	java.util.Iterator:hasNext(...)@79: {0}, {1}
test_vector	java.util.Iterator:hasNext(...)@80: {0}, {1}

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

method not available - call not analyzed Info call on void net.miginfocom.swing.MigLayout(String)

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

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

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

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

method not available - call not analyzed Info call on bool com.dmdirc.ui.core.dialogs. sslcertificate.CertificateInformationEntry:isInvali d()

method not available - call not analyzed Info call on StyledDocument com.dmdirc.addons.ui_swing. components.text.TextLabel:getDocument()

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

method not available - call not analyzed Info call on bool com.dmdirc.ui.core.dialogs. sslcertificate.CertificateInformationEntry:isMissin g()

Prev Msg Next Msg

overflow

click for all messages in this file Low Prob.

check that i in {-2³¹-1..2³²-2}

Prev Msg Next Msg

method	void setInfo(String, List)
pre	this.content != null
post	this.certificateInfo == One-of{certificateInfo, &new ArrayList(setInfo#1)}
post	this.certificateInfo != null
post	this.certificateName == certificateName
post	init'ed(this.certificateName)
post	new ArrayList(setInfo#1) num objects <= 1
unanalyzed	call on javax.swing.BorderFactory:createTitledBorde r
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. sslcertificate.CertificateInfoPanel:setBorder
unanalyzed	call on javax.swing.JPanel:setVisible
unanalyzed	call on javax.swing.JPanel:removeAll
unanalyzed	call on net.miginfocom.swing.MigLayout
unanalyzed	call on javax.swing.JPanel:setLayout
unanalyzed	call on java.util.List:iterator
unanalyzed	call on com.dmdirc.ui.core.dialogs.sslcertificate. CertificateInformationEntry:getTitle
unanalyzed	call on com.dmdirc.addons.ui_swing.components.text. TextLabel
unanalyzed	call on javax.swing.JPanel:add
unanalyzed	call on com.dmdirc.ui.core.dialogs.sslcertificate. CertificateInformationEntry:getValue
unanalyzed	call on com.dmdirc.ui.core.dialogs.sslcertificate. CertificateInformationEntry:isInvalid
unanalyzed	call on javax.swing.text.SimpleAttributeSet
unanalyzed	call on javax.swing.text.StyleConstants:setForegrou nd
unanalyzed	call on com.dmdirc.addons.ui_swing.components.text. TextLabel:getDocument
unanalyzed	call on java.lang.String:length
unanalyzed	call on javax.swing.text.StyledDocument:setParagrap hAttributes
unanalyzed	call on com.dmdirc.ui.core.dialogs.sslcertificate. CertificateInformationEntry:isMissing
unanalyzed	call on javax.swing.text.StyleConstants:setItalic
unanalyzed	call on java.util.List:size
unanalyzed	call on javax.swing.JLabel
test_vector	certificateInfo: Inverse{null}, Addr_Set{null}

	method not available - call not analyzed	Info	call on String com.dmdirc.ui.core.dialogs. sslcertificate.CertificateInformationEntry:getTitle ()
	method not available - call not analyzed	Info	call on void com.dmdirc.addons.ui_swing.components. text.TextLabel(String)

	method not available - call not analyzed	Info	call on StyledDocument com.dmdirc.addons.ui_swing. components.text.TextLabel:getDocument()
	method not available - call not analyzed	Info	call on String com.dmdirc.ui.core.dialogs. sslcertificate.CertificateInformationEntry:getValue ()