ThemePanel.java

ThemePanel.java

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

Filter Options

Annotation Kind:

pre

presumption

post

unanalyzed

test_vector

JList access$000(ThemePanel)

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

JList access$100(ThemePanel)

Kind	Annotation Text
pre	init'ed(x0.themeList)
pre	x0 != null
post	init'ed(return_value)
post	return_value == x0.themeList

JScrollPane access$200(ThemePanel)

Kind	Annotation Text
pre	init'ed(x0.scrollPane)
pre	x0 != null
post	init'ed(return_value)
post	return_value == x0.scrollPane

void actionPerformed(ActionEvent)

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

void addListeners()

Kind	Annotation Text
pre	this.themeList != null
pre	this.toggleButton != null

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

Kind	Annotation Text

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

Kind	Annotation Text

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

Kind	Annotation Text
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)
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)
unanalyzed	call on com.dmdirc.addons.ui_swing.components. LoggingSwingWorker
unanalyzed	call on com.dmdirc.addons.ui_swing.components.text. TextLabel:setEditable
unanalyzed	call on com.dmdirc.addons.ui_swing.components.text. TextLabel:setEditorKit
unanalyzed	call on com.dmdirc.addons.ui_swing.components.text. TextLabel:setHighlighter
unanalyzed	call on com.dmdirc.addons.ui_swing.components.text. TextLabel:setMargin
unanalyzed	call on com.dmdirc.addons.ui_swing.components.text. TextLabel:setOpaque
unanalyzed	call on com.dmdirc.addons.ui_swing.components.text. TextLabel:setUI
unanalyzed	call on com.dmdirc.addons.ui_swing.components. themepanel.ThemePanel$1:execute
unanalyzed	call on com.dmdirc.addons.ui_swing.components. themepanel.ThemePanel:add
unanalyzed	call on com.dmdirc.addons.ui_swing.components. themepanel.ThemePanel:setLayout
unanalyzed	call on java.awt.Font:getFamily
unanalyzed	call on java.awt.Font:getSize
unanalyzed	call on java.awt.Insets
unanalyzed	call on java.lang.String:isEmpty
unanalyzed	call on java.lang.String:length
unanalyzed	call on javax.swing.DefaultListModel
unanalyzed	call on javax.swing.JButton
unanalyzed	call on javax.swing.JButton:addActionListener
unanalyzed	call on javax.swing.JButton:setEnabled
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.JPanel
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.JTextPane
unanalyzed	call on javax.swing.JTextPane:getDocument
unanalyzed	call on javax.swing.JTextPane:setText
unanalyzed	call on javax.swing.UIManager:getFont
unanalyzed	call on javax.swing.plaf.basic.BasicTextPaneUI
unanalyzed	call on javax.swing.text.DefaultStyledDocument
unanalyzed	call on javax.swing.text.SimpleAttributeSet
unanalyzed	call on javax.swing.text.StyleConstants:setAlignmen t
unanalyzed	call on javax.swing.text.StyledDocument:setParagrap hAttributes
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.swing.MigLayout

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

Kind	Annotation Text

Object doInBackground()

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

void done()

Kind	Annotation Text
pre	init'ed(this.themeList)
pre	this.scrollPane != null

void initComponents()

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

void layoutComponents()

Kind	Annotation Text
pre	init'ed(this.blurbLabel)
pre	init'ed(this.scrollPane)
pre	init'ed(this.toggleButton)

JList populateList()

Kind	Annotation Text
pre	(soft) this.toggleButton != null
pre	this.themeList != 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 != null
post	return_value == this.themeList
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}

void save()

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

void valueChanged(ListSelectionEvent)

Kind	Annotation Text
pre	(soft) this.toggleButton != null
pre	e != 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}