SSLCertificateDialog.java

SSLCertificateDialog.java

current inspection = 2009-09-03 21:56:13 (id #1)

Filter Options

Annotation Kind:

pre

presumption

post

unanalyzed

test_vector

void actionPerformed(ActionEvent)

Kind	Annotation Text
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
pre	e != null
presumption	java.awt.event.ActionEvent:getSource(...)@140 != null
unanalyzed	call on java.lang.Object:equals
unanalyzed	call on javax.swing.ButtonGroup:getSelection
unanalyzed	call on javax.swing.JRadioButton:getModel
test_vector	java.lang.Object:equals(...)@140: {1}, {0}

void addListeners()

Kind	Annotation Text
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

void com.dmdirc.addons.ui_swing.dialogs.sslcertificate.SSLCertificateDialog(Window, SSLCertificateDialogModel)

Kind	Annotation Text
pre	model != null
presumption	init'ed(java.awt.Dialog$ModalityType.MODELESS)
post	init'ed(new CertificateChainPanel(initComponents#4) .certificateChain)
post	init'ed(new CertificateInfoPanel(initComponents#5). certificateName)
post	init'ed(new SummaryPanel(initComponents#6). summary)
post	init'ed(this.parent)
post	init'ed(this.selectedIndex)
post	new ActionsPanel(initComponents#3) 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	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 CertificateChainPanel(initComponents#4).list == &new JList(initComponents#2)
post	new CertificateChainPanel(initComponents#4).model == &new DefaultListModel(initComponents#1)
post	new CertificateInfoPanel(initComponents#5) num objects == 1
post	new CertificateInfoPanel(initComponents#5). certificateInfo == &new ArrayList(initComponent s#2)
post	new CertificateInfoPanel(initComponents#5).content == &new JPanel(initComponents#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 == &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 != null
post	this.model == model
post	this.parent == parent
post	this.summary == &new SummaryPanel(initComponent s#6)
unanalyzed	call on com.dmdirc.addons.ui_swing.components. ListScroller
unanalyzed	call on com.dmdirc.addons.ui_swing.components. renderers.CertificateChainEntryCellRenderer
unanalyzed	call on com.dmdirc.addons.ui_swing.components.text. TextLabel
unanalyzed	call on com.dmdirc.addons.ui_swing.components.text. TextLabel:getDocument
unanalyzed	call on com.dmdirc.addons.ui_swing.components.text. TextLabel:setText
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. sslcertificate.ActionsPanel:add
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:setVisible
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. sslcertificate.CertificateChainPanel:add
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 com.dmdirc.addons.ui_swing.dialogs. sslcertificate.CertificateInfoPanel:setBorder
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. sslcertificate.CertificateInfoPanel:setViewportView
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. sslcertificate.SSLCertificateDialog:add
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. sslcertificate.SSLCertificateDialog:getCancelButton
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. sslcertificate.SSLCertificateDialog:getOkButton
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. sslcertificate.SSLCertificateDialog:orderButtons
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. sslcertificate.SSLCertificateDialog:setLayout
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. sslcertificate.SummaryPanel:add
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.IconManager:getIcon
unanalyzed	call on com.dmdirc.ui.IconManager:getIconManager
unanalyzed	call on com.dmdirc.ui.core.dialogs.sslcertificate. CertificateInformationEntry:getTitle
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 com.dmdirc.ui.core.dialogs.sslcertificate. CertificateInformationEntry:isMissing
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.core.dialogs.sslcertificate. SSLCertificateDialogModel:getCertificateChain
unanalyzed	call on com.dmdirc.ui.core.dialogs.sslcertificate. SSLCertificateDialogModel:getServerName
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 java.lang.String:length
unanalyzed	call on java.util.ArrayList
unanalyzed	call on java.util.List:iterator
unanalyzed	call on java.util.List:size
unanalyzed	call on javax.swing.BorderFactory:createTitledBorde r
unanalyzed	call on javax.swing.ButtonGroup
unanalyzed	call on javax.swing.ButtonGroup:add
unanalyzed	call on javax.swing.ButtonGroup:setSelected
unanalyzed	call on javax.swing.DefaultListModel
unanalyzed	call on javax.swing.DefaultListModel:addElement
unanalyzed	call on javax.swing.DefaultListModel:clear
unanalyzed	call on javax.swing.JButton
unanalyzed	call on javax.swing.JButton:addActionListener
unanalyzed	call on javax.swing.JLabel
unanalyzed	call on javax.swing.JList
unanalyzed	call on javax.swing.JList:addListSelectionListener
unanalyzed	call on javax.swing.JList:setCellRenderer
unanalyzed	call on javax.swing.JList:setSelectedIndex
unanalyzed	call on javax.swing.JList:setSelectionMode
unanalyzed	call on javax.swing.JPanel
unanalyzed	call on javax.swing.JPanel:add
unanalyzed	call on javax.swing.JPanel:removeAll
unanalyzed	call on javax.swing.JPanel:setLayout
unanalyzed	call on javax.swing.JPanel:setVisible
unanalyzed	call on javax.swing.JRadioButton
unanalyzed	call on javax.swing.JRadioButton:getModel
unanalyzed	call on javax.swing.JScrollPane
unanalyzed	call on javax.swing.text.SimpleAttributeSet
unanalyzed	call on javax.swing.text.StyleConstants:setForegrou nd
unanalyzed	call on javax.swing.text.StyleConstants:setItalic
unanalyzed	call on javax.swing.text.StyledDocument:setParagrap hAttributes
unanalyzed	call on net.miginfocom.swing.MigLayout

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

Kind	Annotation Text

void initComponents()

Kind	Annotation Text
pre	this.model != null
presumption	com.dmdirc.ui.core.dialogs.sslcertificate. SSLCertificateDialogModel:getSummary(...)@110 != null
post	init'ed(this.chain.certificateChain)
post	init'ed(this.info.certificateName)
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 == &new ActionsPanel(initComponent s#3)
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.blurb == &new TextLabel(initComponents#7)
post	this.chain == &new CertificateChainPanel(initCo mponents#4)
post	this.chain.list == &new JList(initComponents#2)
post	this.chain.model == &new DefaultListModel(initC omponents#1)
post	this.info == &new CertificateInfoPanel(initComp onents#5)
post	this.info.certificateInfo == &new ArrayList(initComponents#2)
post	this.info.content == &new JPanel(initComponents #1)
post	this.summary == &new SummaryPanel(initComponent s#6)
post	this.summary.summary != null
unanalyzed	call on com.dmdirc.addons.ui_swing.components. ListScroller
unanalyzed	call on com.dmdirc.addons.ui_swing.components. renderers.CertificateChainEntryCellRenderer
unanalyzed	call on com.dmdirc.addons.ui_swing.components.text. TextLabel
unanalyzed	call on com.dmdirc.addons.ui_swing.components.text. TextLabel:getDocument
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. sslcertificate.ActionsPanel:add
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.CertificateChainPanel:add
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 com.dmdirc.addons.ui_swing.dialogs. sslcertificate.CertificateInfoPanel:setBorder
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. sslcertificate.CertificateInfoPanel:setViewportView
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. sslcertificate.SummaryPanel:add
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.IconManager:getIcon
unanalyzed	call on com.dmdirc.ui.IconManager:getIconManager
unanalyzed	call on com.dmdirc.ui.core.dialogs.sslcertificate. CertificateInformationEntry:getTitle
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 com.dmdirc.ui.core.dialogs.sslcertificate. CertificateInformationEntry:isMissing
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 java.lang.String:length
unanalyzed	call on java.util.ArrayList
unanalyzed	call on java.util.List:iterator
unanalyzed	call on java.util.List:size
unanalyzed	call on javax.swing.BorderFactory:createTitledBorde r
unanalyzed	call on javax.swing.ButtonGroup
unanalyzed	call on javax.swing.ButtonGroup:add
unanalyzed	call on javax.swing.ButtonGroup:setSelected
unanalyzed	call on javax.swing.DefaultListModel
unanalyzed	call on javax.swing.DefaultListModel:addElement
unanalyzed	call on javax.swing.DefaultListModel:clear
unanalyzed	call on javax.swing.JLabel
unanalyzed	call on javax.swing.JList
unanalyzed	call on javax.swing.JList:setCellRenderer
unanalyzed	call on javax.swing.JList:setSelectionMode
unanalyzed	call on javax.swing.JPanel
unanalyzed	call on javax.swing.JPanel:add
unanalyzed	call on javax.swing.JPanel:removeAll
unanalyzed	call on javax.swing.JPanel:setLayout
unanalyzed	call on javax.swing.JPanel:setVisible
unanalyzed	call on javax.swing.JRadioButton
unanalyzed	call on javax.swing.JRadioButton:getModel
unanalyzed	call on javax.swing.JScrollPane
unanalyzed	call on javax.swing.text.SimpleAttributeSet
unanalyzed	call on javax.swing.text.StyleConstants:setForegrou nd
unanalyzed	call on javax.swing.text.StyleConstants:setItalic
unanalyzed	call on javax.swing.text.StyledDocument:setParagrap hAttributes
unanalyzed	call on net.miginfocom.swing.MigLayout
test_vector	com.dmdirc.ui.core.dialogs.sslcertificate. SSLCertificateDialogModel:needsResponse(...)@113: {0}, {1}

void layoutComponents()

Kind	Annotation Text
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)

void valueChanged(ListSelectionEvent)

Kind	Annotation Text
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
pre	e != null
post	init'ed(this.selectedIndex)
post	new ArrayList(setInfo#1) num objects <= 1
post	possibly_updated(this.info.certificateInfo)
post	possibly_updated(this.info.certificateName)
unanalyzed	call on com.dmdirc.addons.ui_swing.components.text. TextLabel
unanalyzed	call on com.dmdirc.addons.ui_swing.components.text. TextLabel:getDocument
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. sslcertificate.CertificateInfoPanel:setBorder
unanalyzed	call on com.dmdirc.ui.core.dialogs.sslcertificate. CertificateChainEntry:getName
unanalyzed	call on com.dmdirc.ui.core.dialogs.sslcertificate. CertificateInformationEntry:getTitle
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 com.dmdirc.ui.core.dialogs.sslcertificate. CertificateInformationEntry:isMissing
unanalyzed	call on java.lang.String:length
unanalyzed	call on java.util.ArrayList
unanalyzed	call on java.util.List:iterator
unanalyzed	call on java.util.List:size
unanalyzed	call on javax.swing.BorderFactory:createTitledBorde r
unanalyzed	call on javax.swing.DefaultListModel:get
unanalyzed	call on javax.swing.JLabel
unanalyzed	call on javax.swing.JList:getSelectedIndex
unanalyzed	call on javax.swing.JList:setSelectedIndex
unanalyzed	call on javax.swing.JPanel:add
unanalyzed	call on javax.swing.JPanel:removeAll
unanalyzed	call on javax.swing.JPanel:setLayout
unanalyzed	call on javax.swing.JPanel:setVisible
unanalyzed	call on javax.swing.text.SimpleAttributeSet
unanalyzed	call on javax.swing.text.StyleConstants:setForegrou nd
unanalyzed	call on javax.swing.text.StyleConstants:setItalic
unanalyzed	call on javax.swing.text.StyledDocument:setParagrap hAttributes
unanalyzed	call on net.miginfocom.swing.MigLayout
test_vector	javax.swing.JList:getSelectedIndex(...)@102: {-2³¹..-2, 0..2³²-1}, {-1}
test_vector	javax.swing.event.ListSelectionEvent:getValueIsAdju sting(...)@148: {1}, {0}