Messages

method

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

method

com.dmdirc.addons.ui_swing.components.pluginpanel. PluginPanel__static_init

method	JList access$000(PluginPanel)
pre	x0 != null
pre	x0.pluginList != null
post	return_value == x0.pluginList
post	return_value != null
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 javax.swing.JList:getModel
unanalyzed	call on javax.swing.DefaultListModel:clear
unanalyzed	call on java.util.List:iterator
unanalyzed	call on javax.swing.DefaultListModel:addElement
unanalyzed	call on javax.swing.JList:repaint

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

method	JScrollPane access$200(PluginPanel)
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. pluginpanel.PluginPanel()
pre	init'ed(com/dmdirc/addons/ui_swing/dialogs/prefs/Sw ingPreferencesDialog.CLIENT_HEIGHT)
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)
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. pluginpanel.PluginPanel$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. pluginpanel.PluginPanel:setLayout
unanalyzed	call on com.dmdirc.addons.ui_swing.components. pluginpanel.PluginPanel:add

method	void initComponents()
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.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. pluginpanel.PluginPanel$1(PluginPanel)

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. pluginpanel.PluginPanel$1:execute()

method	Object doInBackground()
pre	this.pluginList != null
post	return_value == this.pluginList
post	return_value != null
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 javax.swing.JList:getModel
unanalyzed	call on javax.swing.DefaultListModel:clear
unanalyzed	call on java.util.List:iterator
unanalyzed	call on javax.swing.DefaultListModel:addElement
unanalyzed	call on javax.swing.JList:repaint

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

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

method	void layoutComponents()
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)

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. pluginpanel.PluginPanel:setLayout(LayoutManager)

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

method	JList populateList()
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 == this.pluginList
post	return_value != null
test_vector	java.util.Iterator:hasNext(...)@147: {0}, {1}

method not available - call not analyzed Info call on PluginManager com.dmdirc.plugins. PluginManager:getPluginManager()

method not available - call not analyzed Info call on List com.dmdirc.plugins.PluginManager:getPo ssiblePluginInfos(bool)

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

method	void actionPerformed(ActionEvent)
pre	e != null
pre	(soft) this.pluginList != null
pre	(soft) init'ed(this.selectedPlugin)
pre	(soft) this.toggleButton != 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}

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(...)@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}

method not available - call not analyzed Info call on bool com.dmdirc.plugins.PluginInfo:isUnload able()

method	void save()
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:unloadPlugin
unanalyzed	call on com.dmdirc.plugins.PluginInfo:loadPlugin
unanalyzed	call on com.dmdirc.plugins.PluginManager:getPluginM anager
unanalyzed	call on com.dmdirc.plugins.PluginManager:updateAuto Load

	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. pluginpanel.PluginPanel$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. pluginpanel.PluginPanel:setLayout(LayoutManager)

	method not available - call not analyzed	Info	call on PluginManager com.dmdirc.plugins. PluginManager:getPluginManager()
	method not available - call not analyzed	Info	call on List com.dmdirc.plugins.PluginManager:getPo ssiblePluginInfos(bool)

	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)