BrowserWindow.java

BrowserWindow.java

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

Filter Options

Annotation Kind:

pre

presumption

post

unanalyzed

test_vector

List access$000(BrowserWindow)

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

JCheckBox access$100(BrowserWindow)

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

JScrollPane access$1000(BrowserWindow)

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

JCheckBox access$200(BrowserWindow)

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

JCheckBox access$300(BrowserWindow)

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

JCheckBox access$400(BrowserWindow)

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

JCheckBox access$500(BrowserWindow)

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

JCheckBox access$600(BrowserWindow)

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

JCheckBox access$700(BrowserWindow)

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

JTextField access$800(BrowserWindow)

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

JList access$900(BrowserWindow)

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

void actionPerformed(ActionEvent)

Kind	Annotation Text
pre	this.list != null
unanalyzed	call on com.dmdirc.addons.addonbrowser. BrowserWindow$1:execute
unanalyzed	call on com.dmdirc.addons.ui_swing.components. LoggingSwingWorker
unanalyzed	call on java.util.ArrayList
unanalyzed	call on javax.swing.DefaultListModel:clear
unanalyzed	call on javax.swing.JLabel
unanalyzed	call on javax.swing.JList:add
unanalyzed	call on javax.swing.JList:getModel

void com.dmdirc.addons.addonbrowser.BrowserWindow$1$1(BrowserWindow$1)

Kind	Annotation Text

com.dmdirc.addons.addonbrowser.BrowserWindow$1$1__static_init

Kind	Annotation Text

void com.dmdirc.addons.addonbrowser.BrowserWindow$1(BrowserWindow)

Kind	Annotation Text
post	new ArrayList(BrowserWindow$1#1) num objects == 1
post	this.newInfos == &new ArrayList(BrowserWindow$1 #1)

com.dmdirc.addons.addonbrowser.BrowserWindow$1__static_init

Kind	Annotation Text

void com.dmdirc.addons.addonbrowser.BrowserWindow()

Kind	Annotation Text
pre	(soft) init'ed(com/dmdirc/Main.configdir)
pre	com/dmdirc/Main.controller != null
presumption	com.dmdirc.addons.ui_swing.MainFrame:getIcon(... )@108 != null
presumption	com.dmdirc.ui.interfaces.UIController:getMainWindow (...)@108 != null
presumption	javax.swing.JScrollPane:getVerticalScrollBar(... )@111 != null
post	com/dmdirc/Main.configdir == One-of{old com/dmdirc/Main.configdir, &java.lang. StringBuilder:toString(...)}
post	init'ed(com/dmdirc/Main.configdir)
post	java.lang.StringBuilder:toString(...)._tainted == 0
post	new ArrayList(BrowserWindow#16) num objects == 1
post	new JCheckBox(BrowserWindow#2) num objects == 1
post	new JCheckBox(BrowserWindow#3) num objects == 1
post	new JCheckBox(BrowserWindow#4) num objects == 1
post	new JCheckBox(BrowserWindow#5) num objects == 1
post	new JCheckBox(BrowserWindow#6) num objects == 1
post	new JCheckBox(BrowserWindow#7) num objects == 1
post	new JCheckBox(BrowserWindow#8) num objects == 1
post	new JList(BrowserWindow#9) num objects == 1
post	new JRadioButton(BrowserWindow#12) num objects == 1
post	new JRadioButton(BrowserWindow#13) num objects == 1
post	new JRadioButton(BrowserWindow#14) num objects == 1
post	new JRadioButton(BrowserWindow#15) num objects == 1
post	new JScrollPane(BrowserWindow#11) num objects == 1
post	new JTextField(BrowserWindow#1) num objects == 1
post	this.actionsBox == &new JCheckBox(BrowserWindow #4)
post	this.dateButton == &new JRadioButton(BrowserWin dow#14)
post	this.infos == &new ArrayList(BrowserWindow#16)
post	this.installedBox == &new JCheckBox(BrowserWind ow#7)
post	this.list == &new JList(BrowserWindow#9)
post	this.nameButton == &new JRadioButton(BrowserWin dow#12)
post	this.notinstalledBox == &new JCheckBox(BrowserW indow#8)
post	this.pluginsBox == &new JCheckBox(BrowserWindow #2)
post	this.ratingButton == &new JRadioButton(BrowserW indow#13)
post	this.scrollPane == &new JScrollPane(BrowserWind ow#11)
post	this.searchBox == &new JTextField(BrowserWindow #1)
post	this.statusButton == &new JRadioButton(BrowserW indow#15)
post	this.themesBox == &new JCheckBox(BrowserWindow# 3)
post	this.unverifiedBox == &new JCheckBox(BrowserWin dow#6)
post	this.verifiedBox == &new JCheckBox(BrowserWindo w#5)
unanalyzed	call on com.dmdirc.addons.addonbrowser. BrowserWindow$1:execute
unanalyzed	call on com.dmdirc.addons.ui_swing.components. LoggingSwingWorker
unanalyzed	call on com.dmdirc.util.ConfigFile
unanalyzed	call on com.dmdirc.util.ConfigFile:getKeyDomains
unanalyzed	call on com.dmdirc.util.ConfigFile:read
unanalyzed	call on com.dmdirc.util.URLBuilder:buildURL
unanalyzed	call on java.awt.Image:getScaledInstance
unanalyzed	call on java.lang.Integer:parseInt
unanalyzed	call on java.lang.String:equals
unanalyzed	call on java.lang.String:startsWith
unanalyzed	call on java.lang.System:getProperty
unanalyzed	call on java.lang.System:getenv
unanalyzed	call on java.util.ArrayList
unanalyzed	call on java.util.Collection:iterator
unanalyzed	call on java.util.List:add
unanalyzed	call on java.util.Map:get
unanalyzed	call on java.util.Map:values
unanalyzed	call on javax.swing.ButtonGroup
unanalyzed	call on javax.swing.ButtonGroup:add
unanalyzed	call on javax.swing.DefaultListModel:clear
unanalyzed	call on javax.swing.ImageIcon
unanalyzed	call on javax.swing.ImageIcon:getImage
unanalyzed	call on javax.swing.ImageIcon:setImage
unanalyzed	call on javax.swing.JCheckBox:addActionListener
unanalyzed	call on javax.swing.JLabel
unanalyzed	call on javax.swing.JList:add
unanalyzed	call on javax.swing.JList:getModel
unanalyzed	call on javax.swing.JPanel
unanalyzed	call on javax.swing.JRadioButton:addActionListener
unanalyzed	call on javax.swing.JTextField:addActionListener

com.dmdirc.addons.addonbrowser.BrowserWindow__static_init

Kind	Annotation Text

int compare(AddonInfo, AddonInfo)

Kind	Annotation Text
pre	(soft) o1 != null
pre	(soft) o1.title != null
pre	(soft) o2 != null
pre	(soft) o2.id - o1.id in {-2³²+1.. 2³¹}
pre	(soft) o2.rating - o1.rating in {-2³²+1.. 2³¹}
pre	(soft) this.nameButton != null
pre	(soft) this.ratingButton != null
pre	(soft) this.statusButton != null
pre	this.dateButton != null
post	init'ed(return_value)
test_vector	javax.swing.JRadioButton:isSelected(...)@277: {0}, {1}
test_vector	javax.swing.JRadioButton:isSelected(...)@279: {0}, {1}
test_vector	javax.swing.JRadioButton:isSelected(...)@281: {0}, {1}
test_vector	javax.swing.JRadioButton:isSelected(...)@283: {0}, {1}

int compare(Object, Object)

Kind	Annotation Text
pre	(soft) this.nameButton != null
pre	(soft) this.ratingButton != null
pre	(soft) this.statusButton != null
pre	(soft) x0 != null
pre	(soft) x0.title != null
pre	(soft) x1 != null
pre	(soft) x1.id - x0.id in {-2³²+1.. 2³¹}
pre	(soft) x1.rating - x0.rating in {-2³²+1.. 2³¹}
pre	this.dateButton != null
post	init'ed(return_value)
unanalyzed	call on java.lang.String:compareTo
unanalyzed	call on javax.swing.JRadioButton:isSelected

Object doInBackground()

Kind	Annotation Text
pre	(soft) this.actionsBox != null
pre	(soft) this.installedBox != null
pre	(soft) this.newInfos != null
pre	(soft) this.notinstalledBox != null
pre	(soft) this.pluginsBox != null
pre	(soft) this.searchBox != null
pre	(soft) this.themesBox != null
pre	(soft) this.unverifiedBox != null
pre	(soft) this.verifiedBox != null
pre	this.infos != null
presumption	info.description@222 != null
presumption	info.title@222 != null
presumption	java.util.Iterator:next(...)@222 != null
presumption	javax.swing.JTextField:getText(...)@223 != null
post	return_value != null
post	return_value == this.newInfos
unanalyzed	call on com.dmdirc.updater.UpdateChecker:getCompone nts
unanalyzed	call on com.dmdirc.updater.UpdateComponent:getName
unanalyzed	call on java.lang.String:equals
unanalyzed	call on java.lang.String:indexOf
unanalyzed	call on java.lang.String:toLowerCase
unanalyzed	call on java.util.List:iterator
test_vector	info.type@222: Addr_Set{&com.dmdirc.addons. addonbrowser.AddonInfo$AddonType__static_init.new AddonInfo$AddonType(AddonInfo$AddonType__static_ init#1)}, Addr_Set{&com.dmdirc.addons. addonbrowser.AddonInfo$AddonType__static_init.new AddonInfo$...
test_vector	info.verified@222: {1}, {0}
test_vector	java.lang.String:isEmpty(...)@223: {1}, {0}
test_vector	java.util.Iterator:hasNext(...)@222: {0}, {1}
test_vector	javax.swing.JCheckBox:isSelected(...)@223: {1}, {0}

void done()

Kind	Annotation Text
pre	this.list != null
pre	this.newInfos != null
presumption	javax.swing.JList:getModel(...)@249 != null
presumption	javax.swing.JList:getModel(...)@251 != null
test_vector	java.util.Iterator:hasNext(...)@250: {0}, {1}

void initListeners()

Kind	Annotation Text
pre	this.actionsBox != null
pre	this.dateButton != null
pre	this.installedBox != null
pre	this.nameButton != null
pre	this.notinstalledBox != null
pre	this.pluginsBox != null
pre	this.ratingButton != null
pre	this.searchBox != null
pre	this.statusButton != null
pre	this.themesBox != null
pre	this.unverifiedBox != null
pre	this.verifiedBox != null

void loadData()

Kind	Annotation Text
pre	(soft) this.infos != null
pre	init'ed(com/dmdirc/Main.configdir)
pre	this.list != null
presumption	com.dmdirc.util.ConfigFile:getKeyDomains(...)@199 != null
presumption	init'ed(java.io.File.separator)
presumption	java.util.Iterator:next(...)@199 != null
presumption	java.util.Map:values(...)@199 != null
post	com/dmdirc/Main.configdir != null
post	com/dmdirc/Main.configdir == One-of{old com/dmdirc/Main.configdir, &java.lang. StringBuilder:toString(...)}
post	java.lang.StringBuilder:toString(...)._tainted == 0
unanalyzed	call on com.dmdirc.addons.addonbrowser. BrowserWindow$1:execute
unanalyzed	call on com.dmdirc.addons.ui_swing.components. LoggingSwingWorker
unanalyzed	call on com.dmdirc.util.URLBuilder:buildURL
unanalyzed	call on java.awt.Image:getScaledInstance
unanalyzed	call on java.lang.Integer:parseInt
unanalyzed	call on java.lang.String:equals
unanalyzed	call on java.lang.String:startsWith
unanalyzed	call on java.lang.System:getProperty
unanalyzed	call on java.lang.System:getenv
unanalyzed	call on java.util.ArrayList
unanalyzed	call on java.util.Map:get
unanalyzed	call on javax.swing.DefaultListModel:clear
unanalyzed	call on javax.swing.ImageIcon
unanalyzed	call on javax.swing.ImageIcon:getImage
unanalyzed	call on javax.swing.ImageIcon:setImage
unanalyzed	call on javax.swing.JLabel
unanalyzed	call on javax.swing.JList:add
unanalyzed	call on javax.swing.JList:getModel
test_vector	java.util.Iterator:hasNext(...)@199: {0}, {1}

void run()

Kind	Annotation Text
pre	this.scrollPane != null
presumption	javax.swing.JScrollPane:getVerticalScrollBar(... )@257 != null

void sortAndFilter()

Kind	Annotation Text
pre	this.list != null
presumption	javax.swing.JList:getModel(...)@212 != null
unanalyzed	call on com.dmdirc.addons.ui_swing.components. LoggingSwingWorker
unanalyzed	call on java.util.ArrayList