AboutDialog.java

AboutDialog.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
presumption	com.dmdirc.addons.ui_swing.dialogs.about. AboutDialog:getOkButton(...)@76 != null

void actionPerformed(ActionEvent)

Kind	Annotation Text
pre	init'ed(me)
post	me == null
unanalyzed	call on com.dmdirc.addons.ui_swing.components. StandardDialog:dispose
unanalyzed	call on java.lang.Throwable:__curr_excep_obj

void com.dmdirc.addons.ui_swing.dialogs.about.AboutDialog$1(AboutDialog)

Kind	Annotation Text

com.dmdirc.addons.ui_swing.dialogs.about.AboutDialog$1__static_init

Kind	Annotation Text

void com.dmdirc.addons.ui_swing.dialogs.about.AboutDialog(Window)

Kind	Annotation Text
presumption	com.dmdirc.addons.ui_swing.dialogs.about. AboutDialog:getRootPane(...)@80 != null
presumption	init'ed(java.awt.Dialog$ModalityType.MODELESS)
post	init'ed(this.history)
post	new CreditsPanel(initComponents#4) num objects == 1
post	new CreditsPanel(initComponents#4).about == &new HTMLLabel(initComponents#1)
post	new HTMLLabel(initComponents#1) num objects == 1
post	new JTabbedPane(initComponents#1) num objects == 1
post	this.cp == &new CreditsPanel(initComponents#4)
post	this.tabbedPane == &new JTabbedPane(initCompone nts#1)
unanalyzed	call on com.dmdirc.Main:getConfigDir
unanalyzed	call on com.dmdirc.addons.ui_swing.SwingController: getLookAndFeel
unanalyzed	call on com.dmdirc.addons.ui_swing.UIUtilities:getT abbedPaneOpaque
unanalyzed	call on com.dmdirc.addons.ui_swing.components.text. HTMLLabel:addHyperlinkListener
unanalyzed	call on com.dmdirc.addons.ui_swing.components.text. HTMLLabel:getDocument
unanalyzed	call on com.dmdirc.addons.ui_swing.components.text. HTMLLabel:setEditable
unanalyzed	call on com.dmdirc.addons.ui_swing.components.text. HTMLLabel:setFont
unanalyzed	call on com.dmdirc.addons.ui_swing.components.text. HTMLLabel:setHighlighter
unanalyzed	call on com.dmdirc.addons.ui_swing.components.text. HTMLLabel:setOpaque
unanalyzed	call on com.dmdirc.addons.ui_swing.components.text. HTMLLabel:setUI
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs.about. AboutDialog:getCancelButton
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs.about. AboutDialog:getContentPane
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs.about. AboutDialog:getOkButton
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs.about. AboutDialog:orderButtons
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs.about. AboutDialog:pack
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs.about. AboutDialog:setDefaultCloseOperation
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs.about. AboutDialog:setResizable
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs.about. AboutDialog:setTitle
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs.about. AboutPanel:add
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs.about. AboutPanel:setLayout
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs.about. AboutPanel:setOpaque
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs.about. CreditsPanel:add
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs.about. CreditsPanel:setLayout
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs.about. CreditsPanel:setOpaque
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs.about. InfoPanel:add
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs.about. InfoPanel:setLayout
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs.about. InfoPanel:setOpaque
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs.about. LicensePanel:add
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs.about. LicensePanel:setLayout
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs.about. LicensePanel:setOpaque
unanalyzed	call on com.dmdirc.ui.core.util.Info:getDMDircVersi on
unanalyzed	call on com.dmdirc.ui.core.util.Info:getJavaVersion
unanalyzed	call on com.dmdirc.ui.core.util.Info:getOSVersion
unanalyzed	call on com.dmdirc.util.resourcemanager. ResourceManager:getResourceManager
unanalyzed	call on com.dmdirc.util.resourcemanager. ResourceManager:getResourcesStartingWithAsInputStre ams
unanalyzed	call on java.awt.Container:add
unanalyzed	call on java.awt.Container:setLayout
unanalyzed	call on java.awt.Font:getFamily
unanalyzed	call on java.awt.Font:getSize
unanalyzed	call on java.io.BufferedReader
unanalyzed	call on java.io.BufferedReader:readLine
unanalyzed	call on java.io.InputStreamReader
unanalyzed	call on java.lang.String:lastIndexOf
unanalyzed	call on java.lang.String:length
unanalyzed	call on java.lang.String:replaceAll
unanalyzed	call on java.lang.String:substring
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on java.util.Map$Entry:getKey
unanalyzed	call on java.util.Map$Entry:getValue
unanalyzed	call on java.util.Map:entrySet
unanalyzed	call on java.util.Set:iterator
unanalyzed	call on java.util.TreeMap
unanalyzed	call on javax.swing.JButton
unanalyzed	call on javax.swing.JButton:addActionListener
unanalyzed	call on javax.swing.JEditorPane
unanalyzed	call on javax.swing.JEditorPane:getDocument
unanalyzed	call on javax.swing.JEditorPane:setEditable
unanalyzed	call on javax.swing.JEditorPane:setEditorKit
unanalyzed	call on javax.swing.JEditorPane:setText
unanalyzed	call on javax.swing.JPanel
unanalyzed	call on javax.swing.JScrollPane
unanalyzed	call on javax.swing.JScrollPane:getViewport
unanalyzed	call on javax.swing.JScrollPane:setOpaque
unanalyzed	call on javax.swing.JScrollPane:setViewportView
unanalyzed	call on javax.swing.JTabbedPane
unanalyzed	call on javax.swing.JTabbedPane:add
unanalyzed	call on javax.swing.JTabbedPane:addChangeListener
unanalyzed	call on javax.swing.JViewport:setOpaque
unanalyzed	call on javax.swing.SwingUtilities:invokeLater
unanalyzed	call on javax.swing.UIManager:getFont
unanalyzed	call on javax.swing.plaf.basic.BasicTextPaneUI
unanalyzed	call on javax.swing.text.html.HTMLDocument:getStyle Sheet
unanalyzed	call on javax.swing.text.html.HTMLEditorKit
unanalyzed	call on javax.swing.text.html.StyleSheet:addRule
unanalyzed	call on net.miginfocom.layout.LayoutUtil:getVersion
unanalyzed	call on net.miginfocom.swing.MigLayout

com.dmdirc.addons.ui_swing.dialogs.about.AboutDialog__static_init

Kind	Annotation Text
post	me == null

void dispose()

Kind	Annotation Text
pre	init'ed(me)
post	me == null
test_vector	me: Inverse{null}, Addr_Set{null}

AboutDialog getAboutDialog(Window)

Kind	Annotation Text
pre	init'ed(me)
post	me != null
post	me == One-of{old me, &new AboutDialog(getAboutD ialog#1)}
post	new AboutDialog(getAboutDialog#1) num objects <= 1
post	return_value != null
post	return_value == One-of{old me, &new AboutDialog(getAboutDialog#1)}

void initComponents()

Kind	Annotation Text
presumption	com.dmdirc.addons.ui_swing.dialogs.about. AboutDialog:getCancelButton(...)@124 != null
presumption	com.dmdirc.addons.ui_swing.dialogs.about. AboutDialog:getContentPane(...)@134 != null
presumption	com.dmdirc.addons.ui_swing.dialogs.about. AboutDialog:getContentPane(...)@135 != null
presumption	com.dmdirc.addons.ui_swing.dialogs.about. AboutDialog:getContentPane(...)@136 != null
presumption	com.dmdirc.addons.ui_swing.dialogs.about. AboutDialog:getOkButton(...)@123 != null
post	new CreditsPanel(initComponents#4) num objects == 1
post	new HTMLLabel(initComponents#1) num objects == 1
post	new JTabbedPane(initComponents#1) num objects == 1
post	this.cp == &new CreditsPanel(initComponents#4)
post	this.cp.about == &new HTMLLabel(initComponents# 1)
post	this.tabbedPane == &new JTabbedPane(initCompone nts#1)
unanalyzed	call on com.dmdirc.Main:getConfigDir
unanalyzed	call on com.dmdirc.addons.ui_swing.SwingController: getLookAndFeel
unanalyzed	call on com.dmdirc.addons.ui_swing.UIUtilities:getT abbedPaneOpaque
unanalyzed	call on com.dmdirc.addons.ui_swing.components.text. HTMLLabel:addHyperlinkListener
unanalyzed	call on com.dmdirc.addons.ui_swing.components.text. HTMLLabel:getDocument
unanalyzed	call on com.dmdirc.addons.ui_swing.components.text. HTMLLabel:setEditable
unanalyzed	call on com.dmdirc.addons.ui_swing.components.text. HTMLLabel:setFont
unanalyzed	call on com.dmdirc.addons.ui_swing.components.text. HTMLLabel:setHighlighter
unanalyzed	call on com.dmdirc.addons.ui_swing.components.text. HTMLLabel:setOpaque
unanalyzed	call on com.dmdirc.addons.ui_swing.components.text. HTMLLabel:setUI
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs.about. AboutPanel:add
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs.about. AboutPanel:setLayout
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs.about. AboutPanel:setOpaque
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs.about. CreditsPanel:add
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs.about. CreditsPanel:setLayout
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs.about. CreditsPanel:setOpaque
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs.about. InfoPanel:add
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs.about. InfoPanel:setLayout
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs.about. InfoPanel:setOpaque
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs.about. LicensePanel:add
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs.about. LicensePanel:setLayout
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs.about. LicensePanel:setOpaque
unanalyzed	call on com.dmdirc.ui.core.util.Info:getDMDircVersi on
unanalyzed	call on com.dmdirc.ui.core.util.Info:getJavaVersion
unanalyzed	call on com.dmdirc.ui.core.util.Info:getOSVersion
unanalyzed	call on com.dmdirc.util.resourcemanager. ResourceManager:getResourceManager
unanalyzed	call on com.dmdirc.util.resourcemanager. ResourceManager:getResourcesStartingWithAsInputStre ams
unanalyzed	call on java.awt.Font:getFamily
unanalyzed	call on java.awt.Font:getSize
unanalyzed	call on java.io.BufferedReader
unanalyzed	call on java.io.BufferedReader:readLine
unanalyzed	call on java.io.InputStreamReader
unanalyzed	call on java.lang.String:lastIndexOf
unanalyzed	call on java.lang.String:length
unanalyzed	call on java.lang.String:replaceAll
unanalyzed	call on java.lang.String:substring
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on java.util.Map$Entry:getKey
unanalyzed	call on java.util.Map$Entry:getValue
unanalyzed	call on java.util.Map:entrySet
unanalyzed	call on java.util.Set:iterator
unanalyzed	call on java.util.TreeMap
unanalyzed	call on javax.swing.JEditorPane
unanalyzed	call on javax.swing.JEditorPane:getDocument
unanalyzed	call on javax.swing.JEditorPane:setEditable
unanalyzed	call on javax.swing.JEditorPane:setEditorKit
unanalyzed	call on javax.swing.JEditorPane:setText
unanalyzed	call on javax.swing.JPanel
unanalyzed	call on javax.swing.JScrollPane
unanalyzed	call on javax.swing.JScrollPane:getViewport
unanalyzed	call on javax.swing.JScrollPane:setOpaque
unanalyzed	call on javax.swing.JScrollPane:setViewportView
unanalyzed	call on javax.swing.JViewport:setOpaque
unanalyzed	call on javax.swing.SwingUtilities:invokeLater
unanalyzed	call on javax.swing.UIManager:getFont
unanalyzed	call on javax.swing.plaf.basic.BasicTextPaneUI
unanalyzed	call on javax.swing.text.html.HTMLDocument:getStyle Sheet
unanalyzed	call on javax.swing.text.html.HTMLEditorKit
unanalyzed	call on javax.swing.text.html.StyleSheet:addRule
unanalyzed	call on net.miginfocom.layout.LayoutUtil:getVersion
unanalyzed	call on net.miginfocom.swing.MigLayout

void showAboutDialog(Window)

Kind	Annotation Text
pre	init'ed(me)
post	me != null
post	me == One-of{old me, &new AboutDialog(getAboutD ialog#1)}
post	new AboutDialog(getAboutDialog#1) num objects <= 1
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs.about. AboutDialog
unanalyzed	call on java.lang.Throwable:__curr_excep_obj

void stateChanged(ChangeEvent)

Kind	Annotation Text
pre	(soft) this.cp != null
pre	(soft) this.cp.about != null
pre	init'ed(this.history)
pre	this.tabbedPane != null
presumption	(this.history%10_000)*10 + javax.swing. JTabbedPane:getSelectedIndex(...)@166 in {-2³¹..2³²-1}
post	init'ed(this.history)
unanalyzed	call on com.dmdirc.addons.ui_swing.components.text. HTMLLabel:setText
test_vector	(this.history%10_000)*10 + javax.swing. JTabbedPane:getSelectedIndex(...)@166: {-2³¹..30_320, 30_322..2³²-1}, {30_321}