PluginPanel.java

PluginPanel.java

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

Filter Options

Annotation Kind:

pre

presumption

post

unanalyzed

test_vector

JList access$000(PluginPanel)

Kind	Annotation Text
pre	x0 != null
pre	x0.pluginList != null
post	return_value != null
post	return_value == x0.pluginList
unanalyzed	call on com.dmdirc.plugins.PluginManager:getPluginM anager
unanalyzed	call on com.dmdirc.plugins.PluginManager:getPossibl ePluginInfos
unanalyzed	call on java.util.Collections:sort
unanalyzed	call on java.util.List:iterator
unanalyzed	call on javax.swing.DefaultListModel:addElement
unanalyzed	call on javax.swing.DefaultListModel:clear
unanalyzed	call on javax.swing.JList:getModel
unanalyzed	call on javax.swing.JList:repaint

JList access$100(PluginPanel)

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

JScrollPane access$200(PluginPanel)

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.selectedPlugin)
pre	(soft) this.pluginList != null
pre	(soft) this.toggleButton != null
pre	e != null
presumption	com.dmdirc.util.URLHandler:getURLHander(...)@182 != null
presumption	javax.swing.JList:getSelectedValue(...)@169 != null
presumption	pluginInfo.pi@169 != null
unanalyzed	call on com.dmdirc.plugins.PluginInfo:isLoaded
test_vector	this.selectedPlugin: {-2³¹..-1}, {0..2³²-1}

void addListeners()

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

void com.dmdirc.addons.ui_swing.components.pluginpanel.PluginPanel$1(PluginPanel)

Kind	Annotation Text

com.dmdirc.addons.ui_swing.components.pluginpanel.PluginPanel$1__static_init

Kind	Annotation Text

void com.dmdirc.addons.ui_swing.components.pluginpanel.PluginPanel()

Kind	Annotation Text
pre	init'ed(com/dmdirc/addons/ui_swing/dialogs/prefs/Sw ingPreferencesDialog.CLIENT_HEIGHT)
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.pluginList == &new JList(initComponents#1)
post	this.scrollPane == &new JScrollPane(initCompone nts#4)
post	this.selectedPlugin == 0
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. pluginpanel.PluginPanel$1:execute
unanalyzed	call on com.dmdirc.addons.ui_swing.components. pluginpanel.PluginPanel:add
unanalyzed	call on com.dmdirc.addons.ui_swing.components. pluginpanel.PluginPanel:setLayout
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.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.pluginpanel.PluginPanel__static_init

Kind	Annotation Text

Object doInBackground()

Kind	Annotation Text
pre	this.pluginList != null
post	return_value != null
post	return_value == this.pluginList
unanalyzed	call on com.dmdirc.plugins.PluginManager:getPluginM anager
unanalyzed	call on com.dmdirc.plugins.PluginManager:getPossibl ePluginInfos
unanalyzed	call on java.util.Collections:sort
unanalyzed	call on java.util.List:iterator
unanalyzed	call on javax.swing.DefaultListModel:addElement
unanalyzed	call on javax.swing.DefaultListModel:clear
unanalyzed	call on javax.swing.JList:getModel
unanalyzed	call on javax.swing.JList:repaint

void done()

Kind	Annotation Text
pre	init'ed(this.pluginList)
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.pluginList == &new JList(initComponents#1)
post	this.scrollPane == &new JScrollPane(initCompone nts#4)
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(com/dmdirc/addons/ui_swing/dialogs/prefs/Sw ingPreferencesDialog.CLIENT_HEIGHT)
pre	init'ed(this.blurbLabel)
pre	init'ed(this.scrollPane)
pre	init'ed(this.toggleButton)

JList populateList()

Kind	Annotation Text
pre	this.pluginList != null
presumption	com.dmdirc.plugins.PluginManager:getPluginManager(. ..)@142 != null
presumption	com.dmdirc.plugins.PluginManager:getPossiblePluginI nfos(...)@142 != null
presumption	javax.swing.JList:getModel(...)@146 != null
presumption	javax.swing.JList:getModel(...)@148 != null
post	return_value != null
post	return_value == this.pluginList
test_vector	java.util.Iterator:hasNext(...)@147: {0}, {1}

void save()

Kind	Annotation Text
pre	this.pluginList != null
presumption	arr$.length@211 <= 2³²-1
presumption	arr$[i$]@211 != null
presumption	javax.swing.DefaultListModel:toArray(...)@211 != null
presumption	javax.swing.JList:getModel(...)@211 != null
presumption	pit.pi@211 != null
unanalyzed	call on com.dmdirc.plugins.PluginInfo:isLoaded
unanalyzed	call on com.dmdirc.plugins.PluginInfo:loadPlugin
unanalyzed	call on com.dmdirc.plugins.PluginInfo:unloadPlugin
unanalyzed	call on com.dmdirc.plugins.PluginManager:getPluginM anager
unanalyzed	call on com.dmdirc.plugins.PluginManager:updateAuto Load

void valueChanged(ListSelectionEvent)

Kind	Annotation Text
pre	(soft) this.toggleButton != null
pre	e != null
presumption	javax.swing.JList:getSelectedValue(...)@192 != null
presumption	javax.swing.event.ListSelectionEvent:getSource(... )@190 != null
presumption	javax.swing.event.ListSelectionEvent:getSource(... )@192 != null
presumption	pluginInfo.pi@192 != null
post	possibly_updated(this.selectedPlugin)
unanalyzed	call on com.dmdirc.plugins.PluginInfo:isLoaded
test_vector	javax.swing.JList:getSelectedIndex(...)@190: {-2³¹..-1}, {0..2³²-1}
test_vector	javax.swing.event.ListSelectionEvent:getValueIsAdju sting(...)@189: {1}, {0}
test_vector	pluginInfo.toggle@192 ^ com.dmdirc.plugins. PluginInfo:isLoaded(...)@65: {0}, {1}