Messages

method

com.dmdirc.addons.ui_swing.components.themepanel. ThemePanel$1__static_init

method

com.dmdirc.addons.ui_swing.components.themepanel. ThemePanel__static_init

method	JList access$000(ThemePanel)
pre	x0 != null
pre	x0.themeList != null
pre	(soft) x0.toggleButton != null
post	return_value == x0.themeList
post	return_value != null
unanalyzed	call on javax.swing.JButton:setEnabled
unanalyzed	call on com.dmdirc.ui.themes.ThemeManager:getAvaila bleThemes
unanalyzed	call on java.util.Map:values
unanalyzed	call on java.util.ArrayList
unanalyzed	call on java.util.Collections:sort
unanalyzed	call on javax.swing.JList:getModel
unanalyzed	call on javax.swing.DefaultListModel:clear
unanalyzed	call on java.util.List:iterator
unanalyzed	call on com.dmdirc.ui.themes.Theme:isEnabled
unanalyzed	call on javax.swing.DefaultListModel:addElement
unanalyzed	call on javax.swing.DefaultListModel:size
unanalyzed	call on javax.swing.JList:repaint

method	JList access$100(ThemePanel)
pre	x0 != null
pre	init'ed(x0.themeList)
post	return_value == x0.themeList
post	init'ed(return_value)

method	JScrollPane access$200(ThemePanel)
pre	x0 != null
pre	init'ed(x0.scrollPane)
post	return_value == x0.scrollPane
post	init'ed(return_value)

method	void com.dmdirc.addons.ui_swing.components. themepanel.ThemePanel()
post	this.blurbLabel == &new TextLabel(initComponent s#7)
post	this.scrollPane == &new JScrollPane(initCompone nts#4)
post	this.selectedTheme == 0
post	this.themeList == &new JList(initComponents#1)
post	this.toggleButton == &new JButton(initComponent s#6)
post	new JButton(initComponents#6) num objects == 1
post	new JList(initComponents#1) num objects == 1
post	new JScrollPane(initComponents#4) num objects == 1
post	new SimpleAttributeSet(TextLabel#6) num objects == 1
post	new TextLabel(initComponents#7) num objects == 1
post	new TextLabel(initComponents#7).sas == &new SimpleAttributeSet(TextLabel#6)
unanalyzed	call on javax.swing.DefaultListModel
unanalyzed	call on javax.swing.JList
unanalyzed	call on javax.swing.JPanel
unanalyzed	call on javax.swing.JList:setCellRenderer
unanalyzed	call on javax.swing.JLabel
unanalyzed	call on javax.swing.JScrollPane
unanalyzed	call on javax.swing.JScrollPane:setHorizontalScroll BarPolicy
unanalyzed	call on javax.swing.JScrollPane:setVerticalScrollBa rPolicy
unanalyzed	call on javax.swing.JButton
unanalyzed	call on javax.swing.JButton:setEnabled
unanalyzed	call on javax.swing.JTextPane:getDocument
unanalyzed	call on javax.swing.JTextPane:setText
unanalyzed	call on java.lang.String:isEmpty
unanalyzed	call on java.lang.String:length
unanalyzed	call on javax.swing.text.StyledDocument:setParagrap hAttributes
unanalyzed	call on javax.swing.text.DefaultStyledDocument
unanalyzed	call on javax.swing.JTextPane
unanalyzed	call on javax.swing.text.html.HTMLEditorKit
unanalyzed	call on com.dmdirc.addons.ui_swing.components.text. TextLabel:setEditorKit
unanalyzed	call on javax.swing.plaf.basic.BasicTextPaneUI
unanalyzed	call on com.dmdirc.addons.ui_swing.components.text. TextLabel:setUI
unanalyzed	call on javax.swing.UIManager:getFont
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. TextLabel:setOpaque
unanalyzed	call on com.dmdirc.addons.ui_swing.components.text. TextLabel:setEditable
unanalyzed	call on com.dmdirc.addons.ui_swing.components.text. TextLabel:setHighlighter
unanalyzed	call on java.awt.Insets
unanalyzed	call on com.dmdirc.addons.ui_swing.components.text. TextLabel:setMargin
unanalyzed	call on javax.swing.text.SimpleAttributeSet
unanalyzed	call on javax.swing.text.StyleConstants:setAlignmen t
unanalyzed	call on com.dmdirc.addons.ui_swing.components. LoggingSwingWorker
unanalyzed	call on com.dmdirc.addons.ui_swing.components. themepanel.ThemePanel$1:execute
unanalyzed	call on javax.swing.JButton:addActionListener
unanalyzed	call on javax.swing.JList:addListSelectionListener
unanalyzed	call on net.miginfocom.swing.MigLayout
unanalyzed	call on com.dmdirc.addons.ui_swing.components. themepanel.ThemePanel:setLayout
unanalyzed	call on com.dmdirc.addons.ui_swing.components. themepanel.ThemePanel:add

method	void initComponents()
post	this.blurbLabel == &new TextLabel(initComponent s#7)
post	this.scrollPane == &new JScrollPane(initCompone nts#4)
post	this.themeList == &new JList(initComponents#1)
post	this.toggleButton == &new JButton(initComponent s#6)
post	new JButton(initComponents#6) num objects == 1
post	new JList(initComponents#1) num objects == 1
post	new JScrollPane(initComponents#4) num objects == 1
post	new SimpleAttributeSet(TextLabel#6) num objects == 1
post	new TextLabel(initComponents#7) num objects == 1
post	this.blurbLabel.sas == &new SimpleAttributeSet( TextLabel#6)
unanalyzed	call on javax.swing.JPanel
unanalyzed	call on javax.swing.JTextPane:getDocument
unanalyzed	call on javax.swing.JTextPane:setText
unanalyzed	call on java.lang.String:isEmpty
unanalyzed	call on java.lang.String:length
unanalyzed	call on javax.swing.text.StyledDocument:setParagrap hAttributes
unanalyzed	call on javax.swing.text.DefaultStyledDocument
unanalyzed	call on javax.swing.JTextPane
unanalyzed	call on javax.swing.text.html.HTMLEditorKit
unanalyzed	call on com.dmdirc.addons.ui_swing.components.text. TextLabel:setEditorKit
unanalyzed	call on javax.swing.plaf.basic.BasicTextPaneUI
unanalyzed	call on com.dmdirc.addons.ui_swing.components.text. TextLabel:setUI
unanalyzed	call on javax.swing.UIManager:getFont
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. TextLabel:setOpaque
unanalyzed	call on com.dmdirc.addons.ui_swing.components.text. TextLabel:setEditable
unanalyzed	call on com.dmdirc.addons.ui_swing.components.text. TextLabel:setHighlighter
unanalyzed	call on java.awt.Insets
unanalyzed	call on com.dmdirc.addons.ui_swing.components.text. TextLabel:setMargin
unanalyzed	call on javax.swing.text.SimpleAttributeSet
unanalyzed	call on javax.swing.text.StyleConstants:setAlignmen t
unanalyzed	call on com.dmdirc.addons.ui_swing.components. LoggingSwingWorker

method

void com.dmdirc.addons.ui_swing.components. themepanel.ThemePanel$1(ThemePanel)

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

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.components. themepanel.ThemePanel$1:execute()

method	Object doInBackground()
pre	this.themeList != null
pre	(soft) this.toggleButton != null
post	return_value == this.themeList
post	return_value != null
unanalyzed	call on javax.swing.JButton:setEnabled
unanalyzed	call on com.dmdirc.ui.themes.ThemeManager:getAvaila bleThemes
unanalyzed	call on java.util.Map:values
unanalyzed	call on java.util.ArrayList
unanalyzed	call on java.util.Collections:sort
unanalyzed	call on javax.swing.JList:getModel
unanalyzed	call on javax.swing.DefaultListModel:clear
unanalyzed	call on java.util.List:iterator
unanalyzed	call on com.dmdirc.ui.themes.Theme:isEnabled
unanalyzed	call on javax.swing.DefaultListModel:addElement
unanalyzed	call on javax.swing.DefaultListModel:size
unanalyzed	call on javax.swing.JList:repaint

method	void done()
pre	this.scrollPane != null
pre	init'ed(this.themeList)

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

method	void layoutComponents()
pre	init'ed(this.blurbLabel)
pre	init'ed(this.scrollPane)
pre	init'ed(this.toggleButton)

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.components. themepanel.ThemePanel:setLayout(LayoutManager)

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.components. themepanel.ThemePanel:add(Component, Object)

method	JList populateList()
pre	this.themeList != null
pre	(soft) this.toggleButton != null
presumption	com.dmdirc.ui.themes.ThemeManager:getAvailableTheme s(...)@146 != null
presumption	java.util.Iterator:next(...)@151 != null
presumption	javax.swing.JList:getModel(...)@149 != null
presumption	javax.swing.JList:getModel(...)@152 != null
presumption	javax.swing.JList:getModel(...)@155 != null
post	return_value == this.themeList
post	return_value != null
unanalyzed	call on com.dmdirc.ui.themes.Theme:isEnabled
test_vector	java.util.Iterator:hasNext(...)@151: {0}, {1}
test_vector	javax.swing.DefaultListModel:size(...)@155: {-2³¹..0}, {1..2³²-1}

method not available - call not analyzed Info call on Map com.dmdirc.ui.themes.ThemeManager:getAv ailableThemes()

method	void addListeners()
pre	this.themeList != null
pre	this.toggleButton != null

method	void actionPerformed(ActionEvent)
pre	e != null
pre	(soft) init'ed(this.selectedTheme)
pre	(soft) this.themeList != null
pre	(soft) this.toggleButton != null
presumption	com.dmdirc.util.URLHandler:getURLHander(...)@189 != null
presumption	javax.swing.JList:getSelectedValue(...)@177 != null
test_vector	this.selectedTheme: {-2³¹..-1}, {0..2³²-1}
test_vector	theme.enable@177: {1}, {0}

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(S tring)

method	void valueChanged(ListSelectionEvent)
pre	e != null
pre	(soft) this.toggleButton != null
presumption	javax.swing.JList:getSelectedValue(...)@199 != null
presumption	javax.swing.event.ListSelectionEvent:getSource(... )@197 != null
presumption	javax.swing.event.ListSelectionEvent:getSource(... )@199 != null
post	possibly_updated(this.selectedTheme)
test_vector	javax.swing.JList:getSelectedIndex(...)@197: {-2³¹..-1}, {0..2³²-1}
test_vector	javax.swing.event.ListSelectionEvent:getValueIsAdju sting(...)@196: {1}, {0}
test_vector	theme.enable@199: {0}, {1}

method	void save()
pre	this.themeList != null
presumption	arr$.length@218 <= 2³²-1
presumption	arr$[i$]@218 != null
presumption	com.dmdirc.config.IdentityManager:getConfigIdentity (...)@224 != null
presumption	javax.swing.DefaultListModel:toArray(...)@218 != null
presumption	javax.swing.JList:getModel(...)@218 != null
presumption	pit.theme@218 != null
test_vector	pit.enable@218: {0}, {1}

method not available - call not analyzed Info call on String com.dmdirc.ui.themes. Theme:getFileName()

method not available - call not analyzed Info call on Identity com.dmdirc.config.IdentityManager: getConfigIdentity()

method not available - call not analyzed Info call on void com.dmdirc.config.Identity:setOption(S tring, String, List)

	method not available - call not analyzed	Info	call on void com.dmdirc.addons.ui_swing.components. LoggingSwingWorker()
	method not available - call not analyzed	Info	call on void com.dmdirc.addons.ui_swing.components. themepanel.ThemePanel$1:execute()

	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.components. themepanel.ThemePanel: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(S tring)

	method not available - call not analyzed	Info	call on Identity com.dmdirc.config.IdentityManager: getConfigIdentity()
	method not available - call not analyzed	Info	call on void com.dmdirc.config.Identity:setOption(S tring, String, List)