Messages

method

com.dmdirc.addons.ui_swing.dialogs.sslcertificate. SSLCertificateDialog__static_init

method	void com.dmdirc.addons.ui_swing.dialogs. sslcertificate.SSLCertificateDialog(Window, SSLCertificateDialogModel)
pre	model != null
presumption	init'ed(java.awt.Dialog$ModalityType.MODELESS)
post	this.actions == &new ActionsPanel(initComponent s#3)
post	this.blurb == &new TextLabel(initComponents#7)
post	this.chain == &new CertificateChainPanel(initCo mponents#4)
post	this.info == &new CertificateInfoPanel(initComp onents#5)
post	this.model == model
post	this.model != null
post	this.parent == parent
post	init'ed(this.parent)
post	init'ed(this.selectedIndex)
post	this.summary == &new SummaryPanel(initComponent s#6)
post	new ActionsPanel(initComponents#3) num objects == 1
post	new ArrayList(SummaryPanel#1) num objects == 1
post	new ArrayList(initComponents#2) num objects == 1
post	new ButtonGroup(initComponents#4) num objects == 1
post	new CertificateChainPanel(initComponents#4) num objects == 1
post	new CertificateInfoPanel(initComponents#5) num objects == 1
post	new DefaultListModel(initComponents#1) num objects == 1
post	new JList(initComponents#2) num objects == 1
post	new JPanel(initComponents#1) 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
post	new SummaryPanel(initComponents#6) num objects == 1
post	new TextLabel(initComponents#7) num objects == 1
post	new ActionsPanel(initComponents#3).disconnect == &new JRadioButton(initComponents#3)
post	new ActionsPanel(initComponents#3).group == &new ButtonGroup(initComponents#4)
post	new ActionsPanel(initComponents#3).permAccept == &new JRadioButton(initComponents#2)
post	new ActionsPanel(initComponents#3).tempAccept == &new JRadioButton(initComponents#1)
post	init'ed(new CertificateChainPanel(initComponents#4) .certificateChain)
post	new CertificateChainPanel(initComponents#4).list == &new JList(initComponents#2)
post	new CertificateChainPanel(initComponents#4).model == &new DefaultListModel(initComponents#1)
post	new CertificateInfoPanel(initComponents#5). certificateInfo == &new ArrayList(initComponent s#2)
post	init'ed(new CertificateInfoPanel(initComponents#5). certificateName)
post	new CertificateInfoPanel(initComponents#5).content == &new JPanel(initComponents#1)
post	init'ed(new SummaryPanel(initComponents#6). summary)
unanalyzed	call on net.miginfocom.swing.MigLayout
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. sslcertificate.SSLCertificateDialog:setLayout
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. sslcertificate.SSLCertificateDialog:add
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. sslcertificate.SSLCertificateDialog:getOkButton
unanalyzed	call on javax.swing.JList:setSelectedIndex
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 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
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. sslcertificate.SSLCertificateDialog:getCancelButton
unanalyzed	call on javax.swing.JRadioButton:getModel
unanalyzed	call on javax.swing.JButton:addActionListener
unanalyzed	call on javax.swing.JList:addListSelectionListener
unanalyzed	call on javax.swing.JButton
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. sslcertificate.SSLCertificateDialog:orderButtons
unanalyzed	call on javax.swing.JRadioButton
unanalyzed	call on javax.swing.ButtonGroup
unanalyzed	call on javax.swing.ButtonGroup:add
unanalyzed	call on javax.swing.ButtonGroup:setSelected
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. sslcertificate.ActionsPanel:setBorder
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. sslcertificate.ActionsPanel:setLayout
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. sslcertificate.ActionsPanel:add
unanalyzed	call on javax.swing.JPanel
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 com.dmdirc.addons.ui_swing.dialogs. sslcertificate.CertificateChainPanel:setBorder
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 com.dmdirc.addons.ui_swing.dialogs. sslcertificate.CertificateInfoPanel:setViewportView
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. sslcertificate.SummaryPanel:setBorder
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. sslcertificate.SummaryPanel:setLayout
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.addons.ui_swing.dialogs. sslcertificate.SummaryPanel:add
unanalyzed	call on com.dmdirc.ui.core.dialogs.sslcertificate. SSLCertificateDialogModel:getCertificateChain
unanalyzed	call on javax.swing.DefaultListModel:clear
unanalyzed	call on javax.swing.DefaultListModel:addElement
unanalyzed	call on com.dmdirc.ui.core.dialogs.sslcertificate. SSLCertificateDialogModel:getSummary
unanalyzed	call on com.dmdirc.ui.core.dialogs.sslcertificate. SSLCertificateDialogModel:needsResponse
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. sslcertificate.ActionsPanel:setVisible
unanalyzed	call on com.dmdirc.ui.core.dialogs.sslcertificate. SSLCertificateDialogModel:getServerName
unanalyzed	call on com.dmdirc.addons.ui_swing.components.text. TextLabel:setText

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.components. StandardDialog(Window, Dialog$ModalityType)

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.dialogs. sslcertificate.SSLCertificateDialog:setDefaultClose Operation(int)

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.dialogs. sslcertificate.SSLCertificateDialog:setTitle(String )

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.dialogs. sslcertificate.SSLCertificateDialog:setResizable(bo ol)

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.dialogs. sslcertificate.SSLCertificateDialog:pack()

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

method	void addListeners()
pre	this.chain != null
pre	this.chain.list != null
presumption	com.dmdirc.addons.ui_swing.dialogs.sslcertificate. SSLCertificateDialog:getCancelButton(...)@97 != null
presumption	com.dmdirc.addons.ui_swing.dialogs.sslcertificate. SSLCertificateDialog:getOkButton(...)@96 != null
unanalyzed	call on javax.swing.JList:addListSelectionListener

method not available - call not analyzed Info call on JButton com.dmdirc.addons.ui_swing.dialogs. sslcertificate.SSLCertificateDialog:getOkButton()

method not available - call not analyzed Info call on JButton com.dmdirc.addons.ui_swing.dialogs. sslcertificate.SSLCertificateDialog:getCancelButton ()

method	void initComponents()
pre	this.model != null
presumption	com.dmdirc.ui.core.dialogs.sslcertificate. SSLCertificateDialogModel:getSummary(...)@110 != null
post	this.actions == &new ActionsPanel(initComponent s#3)
post	this.blurb == &new TextLabel(initComponents#7)
post	this.chain == &new CertificateChainPanel(initCo mponents#4)
post	init'ed(this.chain.certificateChain)
post	this.info == &new CertificateInfoPanel(initComp onents#5)
post	this.summary == &new SummaryPanel(initComponent s#6)
post	init'ed(this.summary.summary)
post	new ActionsPanel(initComponents#3) num objects == 1
post	new ArrayList(SummaryPanel#1) num objects == 1
post	new ArrayList(initComponents#2) num objects == 1
post	new ButtonGroup(initComponents#4) num objects == 1
post	new CertificateChainPanel(initComponents#4) num objects == 1
post	new CertificateInfoPanel(initComponents#5) num objects == 1
post	new DefaultListModel(initComponents#1) num objects == 1
post	new JList(initComponents#2) num objects == 1
post	new JPanel(initComponents#1) 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
post	new SummaryPanel(initComponents#6) num objects == 1
post	new TextLabel(initComponents#7) num objects == 1
post	this.actions.disconnect == &new JRadioButton(initComponents#3)
post	this.actions.group == &new ButtonGroup(initComp onents#4)
post	this.actions.permAccept == &new JRadioButton(initComponents#2)
post	this.actions.tempAccept == &new JRadioButton(initComponents#1)
post	this.chain.list == &new JList(initComponents#2)
post	this.chain.model == &new DefaultListModel(initC omponents#1)
post	this.info.certificateInfo == &new ArrayList(initComponents#2)
post	init'ed(this.info.certificateName)
post	this.info.content == &new JPanel(initComponents #1)
post	this.summary.summary != null
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
unanalyzed	call on javax.swing.JRadioButton:getModel
unanalyzed	call on javax.swing.JRadioButton
unanalyzed	call on javax.swing.ButtonGroup
unanalyzed	call on javax.swing.ButtonGroup:add
unanalyzed	call on javax.swing.ButtonGroup:setSelected
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. sslcertificate.ActionsPanel:setBorder
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. sslcertificate.ActionsPanel:setLayout
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. sslcertificate.ActionsPanel:add
unanalyzed	call on javax.swing.JPanel
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 com.dmdirc.addons.ui_swing.dialogs. sslcertificate.CertificateChainPanel:setBorder
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 com.dmdirc.addons.ui_swing.dialogs. sslcertificate.CertificateInfoPanel:setViewportView
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. sslcertificate.SummaryPanel:setBorder
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. sslcertificate.SummaryPanel:setLayout
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.addons.ui_swing.dialogs. sslcertificate.SummaryPanel:add
unanalyzed	call on javax.swing.DefaultListModel:clear
unanalyzed	call on javax.swing.DefaultListModel:addElement
test_vector	com.dmdirc.ui.core.dialogs.sslcertificate. SSLCertificateDialogModel:needsResponse(...)@113: {0}, {1}

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.dialogs. sslcertificate.SSLCertificateDialog:orderButtons(JB utton, JButton)

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

method not available - call not analyzed Info call on List com.dmdirc.ui.core.dialogs. sslcertificate.SSLCertificateDialogModel:getCertifi cateChain()

method not available - call not analyzed Info call on List com.dmdirc.ui.core.dialogs. sslcertificate.SSLCertificateDialogModel:getSummary ()

method not available - call not analyzed Info call on bool com.dmdirc.ui.core.dialogs. sslcertificate.SSLCertificateDialogModel:needsRespo nse()

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

method not available - call not analyzed Info call on bool com.dmdirc.ui.core.dialogs. sslcertificate.SSLCertificateDialogModel:needsRespo nse()

method not available - call not analyzed Info call on String com.dmdirc.ui.core.dialogs. sslcertificate.SSLCertificateDialogModel:getServerN ame()

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

method	void layoutComponents()
pre	init'ed(this.actions)
pre	init'ed(this.blurb)
pre	init'ed(this.chain)
pre	init'ed(this.info)
pre	init'ed(this.summary)

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.SSLCertificateDialog:setLayout(Layou tManager)

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

method not available - call not analyzed Info call on JButton com.dmdirc.addons.ui_swing.dialogs. sslcertificate.SSLCertificateDialog:getOkButton()

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

method	void actionPerformed(ActionEvent)
pre	e != null
pre	(soft) this.actions != null
pre	(soft) this.actions.group != null
pre	(soft) this.actions.permAccept != null
pre	(soft) this.actions.tempAccept != null
pre	(soft) this.model != null
presumption	java.awt.event.ActionEvent:getSource(...)@140 != null
unanalyzed	call on javax.swing.JRadioButton:getModel
unanalyzed	call on javax.swing.ButtonGroup:getSelection
unanalyzed	call on java.lang.Object:equals
test_vector	java.lang.Object:equals(...)@140: {1}, {0}

method not available - call not analyzed Info call on JButton com.dmdirc.addons.ui_swing.dialogs. sslcertificate.SSLCertificateDialog:getCancelButton ()

method not available - call not analyzed Info call on void com.dmdirc.ui.core.dialogs. sslcertificate.SSLCertificateDialogModel:performAct ion(CertificateAction)

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.dialogs. sslcertificate.SSLCertificateDialog:dispose()

method	void valueChanged(ListSelectionEvent)
pre	e != null
pre	(soft) init'ed(this.selectedIndex)
pre	(soft) this.chain != null
pre	(soft) this.chain.list != null
pre	(soft) this.chain.model != null
pre	(soft) this.info != null
pre	(soft) this.info.content != null
pre	(soft) this.model != null
post	possibly_updated(this.info.certificateInfo)
post	possibly_updated(this.info.certificateName)
post	init'ed(this.selectedIndex)
post	new ArrayList(setInfo#1) num objects <= 1
unanalyzed	call on javax.swing.JList:getSelectedIndex
unanalyzed	call on javax.swing.JList:setSelectedIndex
unanalyzed	call on javax.swing.DefaultListModel:get
unanalyzed	call on com.dmdirc.ui.core.dialogs.sslcertificate. CertificateChainEntry:getName
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
test_vector	javax.swing.JList:getSelectedIndex(...)@102: {-2³¹..-2, 0..2³²-1}, {-1}
test_vector	javax.swing.event.ListSelectionEvent:getValueIsAdju sting(...)@148: {1}, {0}

method not available - call not analyzed Info call on List com.dmdirc.ui.core.dialogs. sslcertificate.SSLCertificateDialogModel:getCertifi cateInfo(int)

	method not available - call not analyzed	Info	call on bool com.dmdirc.ui.core.dialogs. sslcertificate.SSLCertificateDialogModel:needsRespo nse()
	method not available - call not analyzed	Info	call on void com.dmdirc.addons.ui_swing.dialogs. sslcertificate.ActionsPanel:setVisible(bool)

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

	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.SSLCertificateDialog:setLayout(Layou tManager)

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