Messages

method

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

method	com.dmdirc.addons.ui_swing.dialogs.about. AboutDialog__static_init
post	me == null

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

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

method

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

method	void actionPerformed(ActionEvent)
presumption	com.dmdirc.addons.ui_swing.dialogs.about. AboutDialog:getOkButton(...)@76 != null

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

method not available - call not analyzed Info call on JRootPane com.dmdirc.addons.ui_swing. dialogs.about.AboutDialog:getRootPane()

method	void showAboutDialog(Window)
pre	init'ed(me)
post	me == One-of{old me, &new AboutDialog(getAboutD ialog#1)}
post	me != null
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

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.dialogs. about.AboutDialog:setLocationRelativeTo(Component)

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

method not available - call not analyzed Info call on bool com.dmdirc.addons.ui_swing.dialogs. about.AboutDialog:requestFocusInWindow()

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

call too complex - analysis skipped Info call on void com.dmdirc.addons.ui_swing.dialogs. about.AboutDialog(Window)

method	void initComponents()
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	this.cp == &new CreditsPanel(initComponents#4)
post	this.tabbedPane == &new JTabbedPane(initCompone nts#1)
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.about == &new HTMLLabel(initComponents# 1)
unanalyzed	call on javax.swing.plaf.basic.BasicTextPaneUI
unanalyzed	call on com.dmdirc.addons.ui_swing.components.text. HTMLLabel:setUI
unanalyzed	call on com.dmdirc.addons.ui_swing.components.text. HTMLLabel:setOpaque
unanalyzed	call on com.dmdirc.addons.ui_swing.components.text. HTMLLabel:setEditable
unanalyzed	call on com.dmdirc.addons.ui_swing.components.text. HTMLLabel:setHighlighter
unanalyzed	call on javax.swing.UIManager:getFont
unanalyzed	call on com.dmdirc.addons.ui_swing.components.text. HTMLLabel:setFont
unanalyzed	call on javax.swing.JEditorPane
unanalyzed	call on com.dmdirc.addons.ui_swing.components.text. HTMLLabel:getDocument
unanalyzed	call on javax.swing.text.html.HTMLDocument:getStyle Sheet
unanalyzed	call on java.awt.Font:getFamily
unanalyzed	call on java.awt.Font:getSize
unanalyzed	call on javax.swing.text.html.StyleSheet:addRule
unanalyzed	call on com.dmdirc.addons.ui_swing.components.text. HTMLLabel:addHyperlinkListener
unanalyzed	call on net.miginfocom.swing.MigLayout
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs.about. CreditsPanel:setLayout
unanalyzed	call on javax.swing.JScrollPane
unanalyzed	call on com.dmdirc.addons.ui_swing.UIUtilities:getT abbedPaneOpaque
unanalyzed	call on javax.swing.JScrollPane:setOpaque
unanalyzed	call on javax.swing.JScrollPane:getViewport
unanalyzed	call on javax.swing.JViewport:setOpaque
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs.about. CreditsPanel:add
unanalyzed	call on javax.swing.JPanel
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs.about. CreditsPanel:setOpaque
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs.about. AboutPanel:setLayout
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs.about. AboutPanel:add
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs.about. AboutPanel:setOpaque
unanalyzed	call on java.io.InputStreamReader
unanalyzed	call on java.io.BufferedReader
unanalyzed	call on java.io.BufferedReader:readLine
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on com.dmdirc.util.resourcemanager. ResourceManager:getResourceManager
unanalyzed	call on javax.swing.text.html.HTMLEditorKit
unanalyzed	call on javax.swing.JEditorPane:setEditorKit
unanalyzed	call on javax.swing.JEditorPane:getDocument
unanalyzed	call on com.dmdirc.util.resourcemanager. ResourceManager:getResourcesStartingWithAsInputStre ams
unanalyzed	call on java.util.TreeMap
unanalyzed	call on java.util.Map:entrySet
unanalyzed	call on java.util.Set:iterator
unanalyzed	call on java.util.Map$Entry:getKey
unanalyzed	call on java.lang.String:lastIndexOf
unanalyzed	call on java.lang.String:substring
unanalyzed	call on java.lang.String:length
unanalyzed	call on java.util.Map$Entry:getValue
unanalyzed	call on java.lang.String:replaceAll
unanalyzed	call on javax.swing.JEditorPane:setText
unanalyzed	call on javax.swing.JEditorPane:setEditable
unanalyzed	call on javax.swing.SwingUtilities:invokeLater
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs.about. LicensePanel:setLayout
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs.about. LicensePanel:add
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.Main:getConfigDir
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.addons.ui_swing.SwingController: getLookAndFeel
unanalyzed	call on net.miginfocom.layout.LayoutUtil:getVersion
unanalyzed	call on javax.swing.JScrollPane:setViewportView
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs.about. InfoPanel:setLayout
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs.about. InfoPanel:add
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs.about. InfoPanel:setOpaque

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.dialogs. about.AboutDialog:setDefaultCloseOperation(int)

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

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.dialogs. about.AboutDialog:setResizable(bool)

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.dialogs. about.AboutDialog:orderButtons(JButton, JButton)

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

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

method not available - call not analyzed Info call on Container com.dmdirc.addons.ui_swing. dialogs.about.AboutDialog:getContentPane()

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

method not available - call not analyzed Info call on Container com.dmdirc.addons.ui_swing. dialogs.about.AboutDialog:getContentPane()

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

method	void actionPerformed(ActionEvent)
pre	init'ed(me)
post	me == null
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on com.dmdirc.addons.ui_swing.components. StandardDialog:dispose

method	void dispose()
pre	init'ed(me)
post	me == null
test_vector	me: Inverse{null}, Addr_Set{null}

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.components. StandardDialog:dispose()

method	void stateChanged(ChangeEvent)
pre	init'ed(this.history)
pre	this.tabbedPane != null
pre	(soft) this.cp != null
pre	(soft) this.cp.about != 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}

	method not available - call not analyzed	Info	call on Container com.dmdirc.addons.ui_swing. dialogs.about.AboutDialog:getContentPane()
	method not available - call not analyzed	Info	call on void net.miginfocom.swing.MigLayout(String)