method com.dmdirc.addons.addonbrowser.BrowserWindow$1$1__ static_init

method com.dmdirc.addons.addonbrowser.BrowserWindow$1__ static_init

method com.dmdirc.addons.addonbrowser.BrowserWindow__ static_init










method int compare(Object, Object)
prethis.dateButton != null
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 {-232+1.. 231}
pre(soft) x1.rating - x0.rating in {-232+1.. 231}
postinit'ed(return_value)
unanalyzedcall on javax.swing.JRadioButton:isSelected
unanalyzedcall on java.lang.String:compareTo

method List access$000(BrowserWindow)
prex0 != null
postreturn_value == x0.infos
postinit'ed(return_value)

method JCheckBox access$100(BrowserWindow)
prex0 != null
postreturn_value == x0.verifiedBox
postinit'ed(return_value)

method JCheckBox access$200(BrowserWindow)
prex0 != null
postreturn_value == x0.unverifiedBox
postinit'ed(return_value)

method JCheckBox access$300(BrowserWindow)
prex0 != null
postreturn_value == x0.installedBox
postinit'ed(return_value)

method JCheckBox access$400(BrowserWindow)
prex0 != null
postreturn_value == x0.notinstalledBox
postinit'ed(return_value)

method JCheckBox access$500(BrowserWindow)
prex0 != null
postreturn_value == x0.pluginsBox
postinit'ed(return_value)

method JCheckBox access$600(BrowserWindow)
prex0 != null
postreturn_value == x0.themesBox
postinit'ed(return_value)

method JCheckBox access$700(BrowserWindow)
prex0 != null
postreturn_value == x0.actionsBox
postinit'ed(return_value)

method JTextField access$800(BrowserWindow)
prex0 != null
postreturn_value == x0.searchBox
postinit'ed(return_value)

method JList access$900(BrowserWindow)
prex0 != null
postreturn_value == x0.list
postinit'ed(return_value)

method JScrollPane access$1000(BrowserWindow)
prex0 != null
postreturn_value == x0.scrollPane
postinit'ed(return_value)










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









  method not available - call not analyzedInfocall on MainWindow com.dmdirc.ui.interfaces. UIController:getMainWindow()










  method not available - call not analyzedInfocall on MainWindow com.dmdirc.ui.interfaces. UIController:getMainWindow()
  method not available - call not analyzedInfocall on ImageIcon com.dmdirc.addons.ui_swing. MainFrame:getIcon()
  method not available - call not analyzedInfocall on void com.dmdirc.addons.addonbrowser. BrowserWindow:setIconImage(Image)










  method not available - call not analyzedInfocall on void com.dmdirc.addons.addonbrowser. BrowserWindow:setResizable(bool)










  method not available - call not analyzedInfocall on void net.miginfocom.swing.MigLayout(String)
  method not available - call not analyzedInfocall on void com.dmdirc.addons.addonbrowser. BrowserWindow:setLayout(LayoutManager)










  method not available - call not analyzedInfocall on void net.miginfocom.swing.MigLayout(String)










  method not available - call not analyzedInfocall on void com.dmdirc.addons.addonbrowser. BrowserWindow:add(Component, Object)










  method not available - call not analyzedInfocall on void net.miginfocom.swing.MigLayout(String)










  method not available - call not analyzedInfocall on void com.dmdirc.addons.addonbrowser. BrowserWindow:add(Component, Object)










  method not available - call not analyzedInfocall on void net.miginfocom.swing.MigLayout(String)










  method not available - call not analyzedInfocall on void com.dmdirc.addons.addonbrowser. BrowserWindow:add(Component, Object)










  method not available - call not analyzedInfocall on void net.miginfocom.swing.MigLayout(String)










  method not available - call not analyzedInfocall on void com.dmdirc.addons.addonbrowser. BrowserWindow:add(Component, Object)










  method not available - call not analyzedInfocall on void net.miginfocom.swing.MigLayout(String)










  method not available - call not analyzedInfocall on void com.dmdirc.addons.addonbrowser. BrowserWindow:add(Component, Object)










  method not available - call not analyzedInfocall on void com.dmdirc.addons.addonbrowser. BrowserWindow:pack()










  method not available - call not analyzedInfocall on MainWindow com.dmdirc.ui.interfaces. UIController:getMainWindow()
  method not available - call not analyzedInfocall on void com.dmdirc.addons.addonbrowser. BrowserWindow:setLocationRelativeTo(Component)










  method not available - call not analyzedInfocall on void com.dmdirc.addons.addonbrowser. BrowserWindow:setVisible(bool)










  method not available - call not analyzedInfocall on MainWindow com.dmdirc.ui.interfaces. UIController:getMainWindow()
  method not available - call not analyzedInfocall on void com.dmdirc.addons.addonbrowser. BrowserWindow:setLocationRelativeTo(Component)











method void initListeners()
prethis.actionsBox != null
prethis.dateButton != null
prethis.installedBox != null
prethis.nameButton != null
prethis.notinstalledBox != null
prethis.pluginsBox != null
prethis.ratingButton != null
prethis.searchBox != null
prethis.statusButton != null
prethis.themesBox != null
prethis.unverifiedBox != null
prethis.verifiedBox != null










method void loadData()
preinit'ed(com/dmdirc/Main.configdir)
prethis.list != null
pre(soft) this.infos != null
presumptioncom.dmdirc.util.ConfigFile:getKeyDomains(...)@199 != null
presumptioninit'ed(java.io.File.separator)
presumptionjava.util.Iterator:next(...)@199 != null
presumptionjava.util.Map:values(...)@199 != null
postcom/dmdirc/Main.configdir == One-of{old com/dmdirc/Main.configdir, &java.lang. StringBuilder:toString(...)}
postcom/dmdirc/Main.configdir != null
postjava.lang.StringBuilder:toString(...)._tainted == 0
unanalyzedcall on javax.swing.JList:getModel
unanalyzedcall on javax.swing.DefaultListModel:clear
unanalyzedcall on javax.swing.JLabel
unanalyzedcall on javax.swing.JList:add
unanalyzedcall on com.dmdirc.addons.ui_swing.components. LoggingSwingWorker
unanalyzedcall on java.util.ArrayList
unanalyzedcall on com.dmdirc.addons.addonbrowser. BrowserWindow$1:execute
unanalyzedcall on java.lang.System:getProperty
unanalyzedcall on java.lang.String:startsWith
unanalyzedcall on java.lang.System:getenv
unanalyzedcall on java.util.Map:get
unanalyzedcall on java.lang.Integer:parseInt
unanalyzedcall on java.lang.String:equals
unanalyzedcall on com.dmdirc.util.URLBuilder:buildURL
unanalyzedcall on javax.swing.ImageIcon
unanalyzedcall on javax.swing.ImageIcon:getImage
unanalyzedcall on java.awt.Image:getScaledInstance
unanalyzedcall on javax.swing.ImageIcon:setImage
test_vectorjava.util.Iterator:hasNext(...)@199: {0}, {1}









  method not available - call not analyzedInfocall on void com.dmdirc.util.ConfigFile(String)










  method not available - call not analyzedInfocall on void com.dmdirc.util.ConfigFile:read()










  method not available - call not analyzedInfocall on Map com.dmdirc.util.ConfigFile:getKeyDomain s()











method void sortAndFilter()
prethis.list != null
presumptionjavax.swing.JList:getModel(...)@212 != null
unanalyzedcall on com.dmdirc.addons.ui_swing.components. LoggingSwingWorker
unanalyzedcall on java.util.ArrayList










method void com.dmdirc.addons.addonbrowser. BrowserWindow$1(BrowserWindow)
postthis.newInfos == &new ArrayList(BrowserWindow$1 #1)
postnew ArrayList(BrowserWindow$1#1) num objects == 1









  method not available - call not analyzedInfocall on void com.dmdirc.addons.ui_swing.components. LoggingSwingWorker()
  method not available - call not analyzedInfocall on void com.dmdirc.addons.addonbrowser. BrowserWindow$1:execute()











method Object doInBackground()
prethis.infos != null
pre(soft) this.newInfos != null
pre(soft) this.actionsBox != null
pre(soft) this.installedBox != 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
presumptioninfo.description@222 != null
presumptioninfo.title@222 != null
presumptionjava.util.Iterator:next(...)@222 != null
presumptionjavax.swing.JTextField:getText(...)@223 != null
postreturn_value == this.newInfos
postreturn_value != null
unanalyzedcall on java.lang.String:equals
unanalyzedcall on com.dmdirc.updater.UpdateChecker:getCompone nts
unanalyzedcall on java.util.List:iterator
unanalyzedcall on com.dmdirc.updater.UpdateComponent:getName
unanalyzedcall on java.lang.String:toLowerCase
unanalyzedcall on java.lang.String:indexOf
test_vectorinfo.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_vectorinfo.verified@222: {1}, {0}
test_vectorjava.lang.String:isEmpty(...)@223: {1}, {0}
test_vectorjava.util.Iterator:hasNext(...)@222: {0}, {1}
test_vectorjavax.swing.JCheckBox:isSelected(...)@223: {1}, {0}










method void done()
prethis.newInfos != null
prethis.list != null
presumptionjavax.swing.JList:getModel(...)@249 != null
presumptionjavax.swing.JList:getModel(...)@251 != null
test_vectorjava.util.Iterator:hasNext(...)@250: {0}, {1}









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











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










method void run()
prethis.scrollPane != null
presumptionjavax.swing.JScrollPane:getVerticalScrollBar(... )@257 != null










method void actionPerformed(ActionEvent)
prethis.list != null
unanalyzedcall on javax.swing.JList:getModel
unanalyzedcall on javax.swing.DefaultListModel:clear
unanalyzedcall on javax.swing.JLabel
unanalyzedcall on javax.swing.JList:add
unanalyzedcall on com.dmdirc.addons.ui_swing.components. LoggingSwingWorker
unanalyzedcall on java.util.ArrayList
unanalyzedcall on com.dmdirc.addons.addonbrowser. BrowserWindow$1:execute










method int compare(AddonInfo, AddonInfo)
prethis.dateButton != null
pre(soft) o1 != null
pre(soft) o1.title != null
pre(soft) o2 != null
pre(soft) o2.id - o1.id in {-232+1.. 231}
pre(soft) o2.rating - o1.rating in {-232+1.. 231}
pre(soft) this.nameButton != null
pre(soft) this.ratingButton != null
pre(soft) this.statusButton != null
postinit'ed(return_value)
test_vectorjavax.swing.JRadioButton:isSelected(...)@277: {0}, {1}
test_vectorjavax.swing.JRadioButton:isSelected(...)@279: {0}, {1}
test_vectorjavax.swing.JRadioButton:isSelected(...)@281: {0}, {1}
test_vectorjavax.swing.JRadioButton:isSelected(...)@283: {0}, {1}