Messages

method

com.dmdirc.addons.ui_swing.dialogs.about. CreditsPanel__static_init

method	void com.dmdirc.addons.ui_swing.dialogs.about. CreditsPanel()
post	this.about == &new HTMLLabel(initComponents#1)
post	new HTMLLabel(initComponents#1) num objects == 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

method not available - call not analyzed Info call on bool com.dmdirc.addons.ui_swing. UIUtilities:getTabbedPaneOpaque()

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

method	void showEE()
pre	this.about != null

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

method	void initComponents()
presumption	javax.swing.JScrollPane:getViewport(...)@87 != null
post	this.about == &new HTMLLabel(initComponents#1)
post	new HTMLLabel(initComponents#1) num objects == 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

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.components. text.HTMLLabel:addHyperlinkListener(HyperlinkListen er)

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. about.CreditsPanel:setLayout(LayoutManager)

method not available - call not analyzed Info call on bool com.dmdirc.addons.ui_swing. UIUtilities:getTabbedPaneOpaque()

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

method	void hyperlinkUpdate(HyperlinkEvent)
pre	e != null
presumption	com.dmdirc.util.URLHandler:getURLHander(...)@95 != null
presumption	init'ed(javax.swing.event.HyperlinkEvent$EventType. ACTIVATED)

method not available - call not analyzed Info call on URLHandler com.dmdirc.util.URLHandler:getUR LHander()

method not available - call not analyzed Info call on void com.dmdirc.util.URLHandler:launchApp(U RL)

	method not available - call not analyzed	Info	call on bool com.dmdirc.addons.ui_swing. UIUtilities:getTabbedPaneOpaque()
	method not available - call not analyzed	Info	call on void com.dmdirc.addons.ui_swing.dialogs. about.CreditsPanel:setOpaque(bool)

	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. about.CreditsPanel:setLayout(LayoutManager)

	method not available - call not analyzed	Info	call on URLHandler com.dmdirc.util.URLHandler:getUR LHander()
	method not available - call not analyzed	Info	call on void com.dmdirc.util.URLHandler:launchApp(U RL)