SwingPreferencesDialog.java

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


Filter Options
Annotation Kind:
pre
presumption
post
unanalyzed
test_vector


  • CategoryPanel access$000(SwingPreferencesDialog)

    • Kind Annotation Text
    preinit'ed(x0.mainPanel)
    prex0 != null
    postinit'ed(return_value)
    postreturn_value == x0.mainPanel

  • void access$100(SwingPreferencesDialog, PreferencesManager)

    • Kind Annotation Text
    preinit'ed(x0.mainPanel.waitingCategory)
    prex0 != null
    prex0.mainPanel != null
    prex0.mainPanel.panels != null
    prex0.mainPanel.scrollPane != null
    prex0.tabList != null
    prex1 != null
    postinit'ed(new PrefsCategoryLoader(setCategory#2). category)
    postinit'ed(new PrefsCategoryLoader(setCategory#2). categoryPanel)
    postinit'ed(new PrefsCategoryLoader(setCategory#2). errorCategory)
    postinit'ed(new PrefsCategoryLoader(setCategory#2). leftPadding)
    postinit'ed(new PrefsCategoryLoader(setCategory#2). padding)
    postinit'ed(new PrefsCategoryLoader(setCategory#2). rightPadding)
    postnew JPanel(PrefsCategoryLoader#1) num objects <= 1
    postnew PrefsCategoryLoader(setCategory#2) num objects == new JPanel(PrefsCategoryLoader#1) num objects
    postx0.mainPanel.category == null
    postx0.mainPanel.waiting == 0
    postx0.mainPanel.worker == One-of{&amp;new PrefsCategoryLoader(setCategory#2), old x0.mainPanel.worker}
    postx0.manager != null
    postx0.manager == x1
    unanalyzedcall on com.dmdirc.addons.ui_swing.UIUtilities:invo keAndWait
    unanalyzedcall on com.dmdirc.addons.ui_swing.UIUtilities:invo keLater
    unanalyzedcall on com.dmdirc.addons.ui_swing.components.text. TextLabel:setEditable
    unanalyzedcall on com.dmdirc.addons.ui_swing.components.text. TextLabel:setEditorKit
    unanalyzedcall on com.dmdirc.addons.ui_swing.components.text. TextLabel:setHighlighter
    unanalyzedcall on com.dmdirc.addons.ui_swing.components.text. TextLabel:setMargin
    unanalyzedcall on com.dmdirc.addons.ui_swing.components.text. TextLabel:setOpaque
    unanalyzedcall on com.dmdirc.addons.ui_swing.components.text. TextLabel:setUI
    unanalyzedcall on com.dmdirc.config.prefs.PreferencesCategory :getSubcats
    unanalyzedcall on com.dmdirc.config.prefs.PreferencesCategory :isInline
    unanalyzedcall on com.dmdirc.config.prefs.PreferencesManager: getCategories
    unanalyzedcall on countCategories
    unanalyzedcall on java.awt.Font:getFamily
    unanalyzedcall on java.awt.Font:getSize
    unanalyzedcall on java.awt.Insets
    unanalyzedcall on java.lang.String:isEmpty
    unanalyzedcall on java.lang.String:length
    unanalyzedcall on java.util.Collection:iterator
    unanalyzedcall on java.util.HashMap
    unanalyzedcall on java.util.Map:containsKey
    unanalyzedcall on javax.swing.DefaultListModel:clear
    unanalyzedcall on javax.swing.JLabel
    unanalyzedcall on javax.swing.JList:getModel
    unanalyzedcall on javax.swing.JList:setCellRenderer
    unanalyzedcall on javax.swing.JPanel
    unanalyzedcall on javax.swing.JPanel:add
    unanalyzedcall on javax.swing.JScrollPane:setViewportView
    unanalyzedcall on javax.swing.JTextPane
    unanalyzedcall on javax.swing.JTextPane:getDocument
    unanalyzedcall on javax.swing.JTextPane:setText
    unanalyzedcall on javax.swing.SwingWorker
    unanalyzedcall on javax.swing.SwingWorker:execute
    unanalyzedcall on javax.swing.UIManager:getFont
    unanalyzedcall on javax.swing.plaf.basic.BasicTextPaneUI
    unanalyzedcall on javax.swing.text.DefaultStyledDocument
    unanalyzedcall on javax.swing.text.SimpleAttributeSet
    unanalyzedcall on javax.swing.text.StyleConstants:setAlignmen t
    unanalyzedcall on javax.swing.text.StyledDocument:setParagrap hAttributes
    unanalyzedcall on javax.swing.text.html.HTMLDocument:getStyle Sheet
    unanalyzedcall on javax.swing.text.html.HTMLEditorKit
    unanalyzedcall on javax.swing.text.html.StyleSheet:addRule
    unanalyzedcall on net.miginfocom.layout.PlatformDefaults:getP anelInsets
    unanalyzedcall on net.miginfocom.layout.PlatformDefaults:getU nitValueX
    unanalyzedcall on net.miginfocom.layout.UnitValue:getValue
    unanalyzedcall on net.miginfocom.swing.MigLayout

  • JList access$200(SwingPreferencesDialog)

    • Kind Annotation Text
    preinit'ed(x0.tabList)
    prex0 != null
    postinit'ed(return_value)
    postreturn_value == x0.tabList

  • void access$300(SwingPreferencesDialog, List)

    • Kind Annotation Text
    preinit'ed(x0.mainPanel.waitingCategory)
    prex0 != null
    prex0.mainPanel != null
    prex0.mainPanel.scrollPane != null
    postx0.mainPanel.waiting == 0
    unanalyzedcall on com.dmdirc.addons.ui_swing.UIUtilities:invo keLater
    unanalyzedcall on javax.swing.JScrollPane:setViewportView

  • void access$400(SwingPreferencesDialog)

    • Kind Annotation Text
    prex0 != null
    prex0.tabList != null
    unanalyzedcall on com.dmdirc.config.ConfigManager:getOption
    unanalyzedcall on com.dmdirc.config.IdentityManager:getGlobal Config
    unanalyzedcall on com.dmdirc.config.prefs.PreferencesCategory :getPath
    unanalyzedcall on java.lang.String:equals
    unanalyzedcall on javax.swing.DefaultListModel:get
    unanalyzedcall on javax.swing.DefaultListModel:getSize
    unanalyzedcall on javax.swing.JList:getModel
    unanalyzedcall on javax.swing.JList:setSelectedIndex

  • void actionPerformed(ActionEvent)

    • Kind Annotation Text
    pre(soft) init'ed(this.parentWindow)
    pre(soft) this.tabList != null
    preinit'ed(me)
    preinit'ed(this.manager)
    preinit'ed(this.selected)
    preinit'ed(this.worker)
    prethis.mainPanel != null
    prethis.mainPanel.panels != null
    presumptioncom.dmdirc.addons.ui_swing.dialogs.prefs. SwingPreferencesDialog:getOkButton(...)@261 != null
    presumptioncom.dmdirc.config.IdentityManager:getConfigIdentity (...)@264 != null
    presumptionjavax.swing.JList:getSelectedValue(...)@263 != null
    postinit'ed(new PrefsCategoryLoader(setCategory#2). category)
    postinit'ed(new PrefsCategoryLoader(setCategory#2). categoryPanel)
    postinit'ed(new PrefsCategoryLoader(setCategory#2). errorCategory)
    postinit'ed(new PrefsCategoryLoader(setCategory#2). leftPadding)
    postinit'ed(new PrefsCategoryLoader(setCategory#2). padding)
    postinit'ed(new PrefsCategoryLoader(setCategory#2). rightPadding)
    postinit'ed(this.manager)
    postinit'ed(this.worker)
    postme == null
    postnew JPanel(PrefsCategoryLoader#1) num objects <= 1
    postnew PrefsCategoryLoader(setCategory#2) num objects == new JPanel(PrefsCategoryLoader#1) num objects
    postthis.mainPanel.category == null
    postthis.mainPanel.worker == One-of{&amp;new PrefsCategoryLoader(setCategory#2), old this.mainPanel.worker}
    postthis.manager == One-of{old this.manager, null}
    postthis.selected == null
    postthis.worker == One-of{old this.worker, null}
    unanalyzedcall on com.dmdirc.addons.ui_swing.UIUtilities:invo keAndWait
    unanalyzedcall on com.dmdirc.addons.ui_swing.components. LoggingSwingWorker:cancel
    unanalyzedcall on com.dmdirc.addons.ui_swing.components. LoggingSwingWorker:isDone
    unanalyzedcall on com.dmdirc.addons.ui_swing.components. StandardDialog:dispose
    unanalyzedcall on com.dmdirc.addons.ui_swing.components.text. TextLabel:setEditable
    unanalyzedcall on com.dmdirc.addons.ui_swing.components.text. TextLabel:setEditorKit
    unanalyzedcall on com.dmdirc.addons.ui_swing.components.text. TextLabel:setHighlighter
    unanalyzedcall on com.dmdirc.addons.ui_swing.components.text. TextLabel:setMargin
    unanalyzedcall on com.dmdirc.addons.ui_swing.components.text. TextLabel:setOpaque
    unanalyzedcall on com.dmdirc.addons.ui_swing.components.text. TextLabel:setUI
    unanalyzedcall on com.dmdirc.config.prefs.PreferencesManager: close
    unanalyzedcall on com.dmdirc.config.prefs.PreferencesManager: save
    unanalyzedcall on java.awt.Font:getFamily
    unanalyzedcall on java.awt.Font:getSize
    unanalyzedcall on java.awt.Insets
    unanalyzedcall on java.lang.String:isEmpty
    unanalyzedcall on java.lang.String:length
    unanalyzedcall on java.lang.Throwable:__curr_excep_obj
    unanalyzedcall on java.util.Map:containsKey
    unanalyzedcall on javax.swing.JOptionPane:showMessageDialog
    unanalyzedcall on javax.swing.JPanel
    unanalyzedcall on javax.swing.JPanel:add
    unanalyzedcall on javax.swing.JTextPane
    unanalyzedcall on javax.swing.JTextPane:getDocument
    unanalyzedcall on javax.swing.JTextPane:setText
    unanalyzedcall on javax.swing.SwingWorker
    unanalyzedcall on javax.swing.SwingWorker:execute
    unanalyzedcall on javax.swing.UIManager:getFont
    unanalyzedcall on javax.swing.plaf.basic.BasicTextPaneUI
    unanalyzedcall on javax.swing.text.DefaultStyledDocument
    unanalyzedcall on javax.swing.text.SimpleAttributeSet
    unanalyzedcall on javax.swing.text.StyleConstants:setAlignmen t
    unanalyzedcall on javax.swing.text.StyledDocument:setParagrap hAttributes
    unanalyzedcall on javax.swing.text.html.HTMLDocument:getStyle Sheet
    unanalyzedcall on javax.swing.text.html.HTMLEditorKit
    unanalyzedcall on javax.swing.text.html.StyleSheet:addRule
    unanalyzedcall on net.miginfocom.layout.PlatformDefaults:getP anelInsets
    unanalyzedcall on net.miginfocom.layout.PlatformDefaults:getU nitValueX
    unanalyzedcall on net.miginfocom.layout.UnitValue:getValue
    unanalyzedcall on net.miginfocom.swing.MigLayout
    test_vectoractionEvent: Addr_Set{null}, Inverse{null}
    test_vectorjava.lang.Object:equals(...)@261: {0}, {1}
    test_vectorjavax.swing.JList:getSelectedIndex(...)@262: {-231..-1}, {0..232-1}
    test_vectorthis.manager: Addr_Set{null}, Inverse{null}
    test_vectorthis.selected: Addr_Set{null}, Inverse{null}

  • void addCategories(List)

    • Kind Annotation Text
    preinit'ed(this.mainPanel.waitingCategory)
    prethis.mainPanel != null
    prethis.mainPanel.scrollPane != null
    postthis.mainPanel.waiting == 0
    unanalyzedcall on javax.swing.JScrollPane:setViewportView

  • void com.dmdirc.addons.ui_swing.dialogs.prefs.SwingPreferencesDialog$1(SwingPreferencesDialog)

    • Kind Annotation Text

  • com.dmdirc.addons.ui_swing.dialogs.prefs.SwingPreferencesDialog$1__static_init

    • Kind Annotation Text

  • void com.dmdirc.addons.ui_swing.dialogs.prefs.SwingPreferencesDialog$2(SwingPreferencesDialog)

    • Kind Annotation Text

  • com.dmdirc.addons.ui_swing.dialogs.prefs.SwingPreferencesDialog$2__static_init

    • Kind Annotation Text

  • void com.dmdirc.addons.ui_swing.dialogs.prefs.SwingPreferencesDialog$3(SwingPreferencesDialog, List)

    • Kind Annotation Text
    postinit'ed(this.val$categories)
    postthis.val$categories == Param_2

  • com.dmdirc.addons.ui_swing.dialogs.prefs.SwingPreferencesDialog$3__static_init

    • Kind Annotation Text

  • void com.dmdirc.addons.ui_swing.dialogs.prefs.SwingPreferencesDialog(Window)

    • Kind Annotation Text
    presumption(int) (net.miginfocom.layout.UnitValue:getValue(... )@58) in {-231..232-1}
    presumption(int) (net.miginfocom.layout.UnitValue:getValue(... )@61) in {-231..232-1}
    presumption(int) (net.miginfocom.layout.UnitValue:getValue(... )@64) in {-231..232-1}
    presumptioninit'ed(java.awt.Dialog$ModalityType.MODELESS)
    presumptionjava.util.Collections:synchronizedMap(...)@109 != null
    postinit'ed(new CategoryPanel(initComponents#1). category)
    postinit'ed(new CategoryPanel(initComponents#1). leftPadding)
    postinit'ed(new CategoryPanel(initComponents#1). padding)
    postinit'ed(new CategoryPanel(initComponents#1). rightPadding)
    postinit'ed(new CategoryPanel(initComponents#1). worker)
    postinit'ed(new PrefsCategoryLoader(setCategory#2). category)
    postinit'ed(new PrefsCategoryLoader(setCategory#2). categoryPanel)
    postinit'ed(new PrefsCategoryLoader(setCategory#2). errorCategory)
    postinit'ed(new PrefsCategoryLoader(setCategory#2). leftPadding)
    postinit'ed(new PrefsCategoryLoader(setCategory#2). padding)
    postinit'ed(new PrefsCategoryLoader(setCategory#2). rightPadding)
    postnew CategoryPanel(initComponents#1) num objects == 1
    postnew CategoryPanel(initComponents#1).loading == &amp;new JPanel(CategoryPanel#3)
    postnew CategoryPanel(initComponents#1).nullCategory == &amp;new JPanel(CategoryPanel#6)
    postnew CategoryPanel(initComponents#1).panels != null
    postnew CategoryPanel(initComponents#1).parent != null
    postnew CategoryPanel(initComponents#1).parent == this
    postnew CategoryPanel(initComponents#1).scrollPane == &amp;new JScrollPane(CategoryPanel#12)
    postnew CategoryPanel(initComponents#1).title == &amp;new TitlePanel(CategoryPanel#13)
    postnew CategoryPanel(initComponents#1).tooltip == &amp;new ToolTipPanel(CategoryPanel#14)
    postnew CategoryPanel(initComponents#1). waitingCategory == &amp;new JPanel(CategoryPanel#9)
    postnew JList(initComponents#2) num objects == 1
    postnew JPanel(CategoryPanel#3) num objects == 1
    postnew JPanel(CategoryPanel#6) num objects == 1
    postnew JPanel(CategoryPanel#9) num objects == 1
    postnew JPanel(PrefsCategoryLoader#1) num objects <= 1
    postnew JScrollPane(CategoryPanel#12) num objects == 1
    postnew PrefsCategoryLoader(setCategory#2) num objects == new JPanel(PrefsCategoryLoader#1) num objects
    postnew SwingPreferencesDialog$1(SwingPreferencesDialog #1) num objects == 1
    postnew TitlePanel(CategoryPanel#13) num objects == 1
    postnew ToolTipPanel(CategoryPanel#14) num objects == 1
    postthis.mainPanel == &amp;new CategoryPanel(initCompon ents#1)
    postthis.tabList == &amp;new JList(initComponents#2)
    postthis.worker == &amp;new SwingPreferencesDialog$1(Sw ingPreferencesDialog#1)
    unanalyzedcall on com.dmdirc.addons.ui_swing.UIUtilities:invo keAndWait
    unanalyzedcall on com.dmdirc.addons.ui_swing.components. ListScroller
    unanalyzedcall on com.dmdirc.addons.ui_swing.components. LoggingSwingWorker
    unanalyzedcall on com.dmdirc.addons.ui_swing.components. TitlePanel
    unanalyzedcall on com.dmdirc.addons.ui_swing.components. ToolTipPanel
    unanalyzedcall on com.dmdirc.addons.ui_swing.components.text. TextLabel:setEditable
    unanalyzedcall on com.dmdirc.addons.ui_swing.components.text. TextLabel:setEditorKit
    unanalyzedcall on com.dmdirc.addons.ui_swing.components.text. TextLabel:setHighlighter
    unanalyzedcall on com.dmdirc.addons.ui_swing.components.text. TextLabel:setMargin
    unanalyzedcall on com.dmdirc.addons.ui_swing.components.text. TextLabel:setOpaque
    unanalyzedcall on com.dmdirc.addons.ui_swing.components.text. TextLabel:setUI
    unanalyzedcall on com.dmdirc.addons.ui_swing.dialogs.prefs. CategoryPanel:add
    unanalyzedcall on com.dmdirc.addons.ui_swing.dialogs.prefs. SwingPreferencesDialog:add
    unanalyzedcall on com.dmdirc.addons.ui_swing.dialogs.prefs. SwingPreferencesDialog:addWindowListener
    unanalyzedcall on com.dmdirc.addons.ui_swing.dialogs.prefs. SwingPreferencesDialog:getCancelButton
    unanalyzedcall on com.dmdirc.addons.ui_swing.dialogs.prefs. SwingPreferencesDialog:getLeftButton
    unanalyzedcall on com.dmdirc.addons.ui_swing.dialogs.prefs. SwingPreferencesDialog:getOkButton
    unanalyzedcall on com.dmdirc.addons.ui_swing.dialogs.prefs. SwingPreferencesDialog:getRightButton
    unanalyzedcall on com.dmdirc.addons.ui_swing.dialogs.prefs. SwingPreferencesDialog:orderButtons
    unanalyzedcall on com.dmdirc.addons.ui_swing.dialogs.prefs. SwingPreferencesDialog:setDefaultCloseOperation
    unanalyzedcall on com.dmdirc.addons.ui_swing.dialogs.prefs. SwingPreferencesDialog:setLayout
    unanalyzedcall on com.dmdirc.addons.ui_swing.dialogs.prefs. SwingPreferencesDialog:setResizable
    unanalyzedcall on com.dmdirc.addons.ui_swing.dialogs.prefs. SwingPreferencesDialog:setTitle
    unanalyzedcall on java.awt.Font:getFamily
    unanalyzedcall on java.awt.Font:getSize
    unanalyzedcall on java.awt.Insets
    unanalyzedcall on java.awt.event.WindowAdapter
    unanalyzedcall on java.lang.String:isEmpty
    unanalyzedcall on java.lang.String:length
    unanalyzedcall on java.util.Collections:synchronizedMap
    unanalyzedcall on java.util.HashMap
    unanalyzedcall on java.util.Map:containsKey
    unanalyzedcall on java.util.Map:put
    unanalyzedcall on javax.swing.BorderFactory:createEtchedBorde r
    unanalyzedcall on javax.swing.DefaultListModel
    unanalyzedcall on javax.swing.JButton
    unanalyzedcall on javax.swing.JButton:addActionListener
    unanalyzedcall on javax.swing.JList
    unanalyzedcall on javax.swing.JList:addListSelectionListener
    unanalyzedcall on javax.swing.JList:setBorder
    unanalyzedcall on javax.swing.JList:setSelectionMode
    unanalyzedcall on javax.swing.JPanel
    unanalyzedcall on javax.swing.JPanel:add
    unanalyzedcall on javax.swing.JScrollPane
    unanalyzedcall on javax.swing.JScrollPane:setHorizontalScroll BarPolicy
    unanalyzedcall on javax.swing.JTextPane
    unanalyzedcall on javax.swing.JTextPane:getDocument
    unanalyzedcall on javax.swing.JTextPane:setText
    unanalyzedcall on javax.swing.SwingWorker
    unanalyzedcall on javax.swing.SwingWorker:execute
    unanalyzedcall on javax.swing.UIManager:getFont
    unanalyzedcall on javax.swing.plaf.basic.BasicTextPaneUI
    unanalyzedcall on javax.swing.text.DefaultStyledDocument
    unanalyzedcall on javax.swing.text.SimpleAttributeSet
    unanalyzedcall on javax.swing.text.StyleConstants:setAlignmen t
    unanalyzedcall on javax.swing.text.StyledDocument:setParagrap hAttributes
    unanalyzedcall on javax.swing.text.html.HTMLDocument:getStyle Sheet
    unanalyzedcall on javax.swing.text.html.HTMLEditorKit
    unanalyzedcall on javax.swing.text.html.StyleSheet:addRule
    unanalyzedcall on net.miginfocom.layout.PlatformDefaults:getP anelInsets
    unanalyzedcall on net.miginfocom.layout.PlatformDefaults:getU nitValueX
    unanalyzedcall on net.miginfocom.layout.UnitValue:getValue
    unanalyzedcall on net.miginfocom.swing.MigLayout

  • com.dmdirc.addons.ui_swing.dialogs.prefs.SwingPreferencesDialog__static_init

    • Kind Annotation Text
    postCLIENT_HEIGHT == 375

  • int countCategories(Collection)

    • Kind Annotation Text
    precategories != null
    presumptioncom.dmdirc.config.prefs.PreferencesCategory:getSubc ats(...)@241 != null
    presumptionjava.util.Iterator:next(...)@239 != null
    postinit'ed(return_value)
    unanalyzedcall on com.dmdirc.config.prefs.PreferencesCategory :getSubcats
    unanalyzedcall on com.dmdirc.config.prefs.PreferencesCategory :isInline
    unanalyzedcall on countCategories
    unanalyzedcall on java.util.Collection:iterator
    test_vectorcom.dmdirc.config.prefs.PreferencesCategory:isInlin e(...)@240: {1}, {0}
    test_vectorjava.util.Iterator:hasNext(...)@239: {0}, {1}

  • void display()

    • Kind Annotation Text

  • void dispose()

    • Kind Annotation Text
    preinit'ed(me)
    preinit'ed(this.manager)
    preinit'ed(this.worker)
    postinit'ed(this.manager)
    postinit'ed(this.worker)
    postme == null
    postthis.manager == One-of{old this.manager, null}
    postthis.worker == One-of{old this.worker, null}
    test_vectorcom.dmdirc.addons.ui_swing.components. LoggingSwingWorker:isDone(...)@356: {1}, {0}
    test_vectorme: Inverse{null}, Addr_Set{null}
    test_vectorthis.manager: Addr_Set{null}, Inverse{null}
    test_vectorthis.worker: Addr_Set{null}, Inverse{null}

  • PreferencesManager doInBackground()

    • Kind Annotation Text
    preinit'ed(this.mainPanel.waitingCategory)
    prethis.mainPanel != null
    prethis.mainPanel.scrollPane != null
    postnew PreferencesManager(doInBackground#1) num objects == 1
    postreturn_value == &amp;new PreferencesManager(doInBac kground#1)
    unanalyzedcall on javax.swing.JScrollPane:setViewportView

  • Object doInBackground()

    • Kind Annotation Text
    preinit'ed(this.mainPanel.waitingCategory)
    prethis.mainPanel != null
    prethis.mainPanel.scrollPane != null
    postnew PreferencesManager(doInBackground#1*) num objects == 1
    postreturn_value == &amp;new PreferencesManager(doInBac kground#1*)
    unanalyzedcall on access$000
    unanalyzedcall on com.dmdirc.config.prefs.PreferencesManager
    unanalyzedcall on javax.swing.JScrollPane:setViewportView

  • void done()

    • Kind Annotation Text
    pre(soft) init'ed(this.mainPanel.waitingCategory)
    pre(soft) this.mainPanel != null
    pre(soft) this.mainPanel.panels != null
    pre(soft) this.mainPanel.scrollPane != null
    pre(soft) this.tabList != null
    presumptioncom.dmdirc.addons.ui_swing.dialogs.prefs. SwingPreferencesDialog_1:get(...)@113 != null
    presumptioninit'ed(com.dmdirc.logger.ErrorLevel.MEDIUM)
    postinit'ed(new PrefsCategoryLoader(setCategory#2). category)
    postinit'ed(new PrefsCategoryLoader(setCategory#2). categoryPanel)
    postinit'ed(new PrefsCategoryLoader(setCategory#2). errorCategory)
    postinit'ed(new PrefsCategoryLoader(setCategory#2). leftPadding)
    postinit'ed(new PrefsCategoryLoader(setCategory#2). padding)
    postinit'ed(new PrefsCategoryLoader(setCategory#2). rightPadding)
    postnew JPanel(PrefsCategoryLoader#1) num objects <= 1
    postnew PrefsCategoryLoader(setCategory#2) num objects <= 1
    postthis.mainPanel.category == One-of{old this.mainPanel.category, null}
    postthis.mainPanel.worker == One-of{old this.mainPanel.worker, &amp;new PrefsCategoryLoade r(setCategory#2)}
    unanalyzedcall on com.dmdirc.addons.ui_swing.UIUtilities:invo keAndWait
    unanalyzedcall on com.dmdirc.addons.ui_swing.UIUtilities:invo keLater
    unanalyzedcall on com.dmdirc.addons.ui_swing.components.text. TextLabel:setEditable
    unanalyzedcall on com.dmdirc.addons.ui_swing.components.text. TextLabel:setEditorKit
    unanalyzedcall on com.dmdirc.addons.ui_swing.components.text. TextLabel:setHighlighter
    unanalyzedcall on com.dmdirc.addons.ui_swing.components.text. TextLabel:setMargin
    unanalyzedcall on com.dmdirc.addons.ui_swing.components.text. TextLabel:setOpaque
    unanalyzedcall on com.dmdirc.addons.ui_swing.components.text. TextLabel:setUI
    unanalyzedcall on com.dmdirc.config.prefs.PreferencesCategory :getSubcats
    unanalyzedcall on com.dmdirc.config.prefs.PreferencesCategory :isInline
    unanalyzedcall on com.dmdirc.config.prefs.PreferencesManager: getCategories
    unanalyzedcall on countCategories
    unanalyzedcall on java.awt.Font:getFamily
    unanalyzedcall on java.awt.Font:getSize
    unanalyzedcall on java.awt.Insets
    unanalyzedcall on java.lang.String:isEmpty
    unanalyzedcall on java.lang.String:length
    unanalyzedcall on java.util.Collection:iterator
    unanalyzedcall on java.util.HashMap
    unanalyzedcall on java.util.Map:containsKey
    unanalyzedcall on javax.swing.DefaultListModel:clear
    unanalyzedcall on javax.swing.JLabel
    unanalyzedcall on javax.swing.JList:getModel
    unanalyzedcall on javax.swing.JList:setCellRenderer
    unanalyzedcall on javax.swing.JPanel
    unanalyzedcall on javax.swing.JPanel:add
    unanalyzedcall on javax.swing.JScrollPane:setViewportView
    unanalyzedcall on javax.swing.JTextPane
    unanalyzedcall on javax.swing.JTextPane:getDocument
    unanalyzedcall on javax.swing.JTextPane:setText
    unanalyzedcall on javax.swing.SwingWorker
    unanalyzedcall on javax.swing.SwingWorker:execute
    unanalyzedcall on javax.swing.UIManager:getFont
    unanalyzedcall on javax.swing.plaf.basic.BasicTextPaneUI
    unanalyzedcall on javax.swing.text.DefaultStyledDocument
    unanalyzedcall on javax.swing.text.SimpleAttributeSet
    unanalyzedcall on javax.swing.text.StyleConstants:setAlignmen t
    unanalyzedcall on javax.swing.text.StyledDocument:setParagrap hAttributes
    unanalyzedcall on javax.swing.text.html.HTMLDocument:getStyle Sheet
    unanalyzedcall on javax.swing.text.html.HTMLEditorKit
    unanalyzedcall on javax.swing.text.html.StyleSheet:addRule
    unanalyzedcall on net.miginfocom.layout.PlatformDefaults:getP anelInsets
    unanalyzedcall on net.miginfocom.layout.PlatformDefaults:getU nitValueX
    unanalyzedcall on net.miginfocom.layout.UnitValue:getValue
    unanalyzedcall on net.miginfocom.swing.MigLayout
    test_vectorcom.dmdirc.addons.ui_swing.dialogs.prefs. SwingPreferencesDialog_1:isCancelled(...)@111: {1}, {0}

  • PreferencesCategory getSelectedCategory()

    • Kind Annotation Text
    preinit'ed(this.selected)
    postinit'ed(return_value)
    postreturn_value == this.selected

  • SwingPreferencesDialog getSwingPreferencesDialog(Window)

    • Kind Annotation Text
    preinit'ed(me)
    postinit'ed(new CategoryPanel(initComponents#1). category)
    postinit'ed(new CategoryPanel(initComponents#1). leftPadding)
    postinit'ed(new CategoryPanel(initComponents#1). padding)
    postinit'ed(new CategoryPanel(initComponents#1). rightPadding)
    postinit'ed(new CategoryPanel(initComponents#1). worker)
    postinit'ed(new PrefsCategoryLoader(setCategory#2). category)
    postinit'ed(new PrefsCategoryLoader(setCategory#2). categoryPanel)
    postinit'ed(new PrefsCategoryLoader(setCategory#2). errorCategory)
    postinit'ed(new PrefsCategoryLoader(setCategory#2). leftPadding)
    postinit'ed(new PrefsCategoryLoader(setCategory#2). padding)
    postinit'ed(new PrefsCategoryLoader(setCategory#2). rightPadding)
    postme != null
    postme == One-of{old me, &amp;new SwingPreferencesDialo g(getSwingPreferencesDialog#1)}
    postnew CategoryPanel(initComponents#1) num objects <= 1
    postnew CategoryPanel(initComponents#1).loading == &amp;new JPanel(CategoryPanel#3)
    postnew CategoryPanel(initComponents#1).nullCategory == &amp;new JPanel(CategoryPanel#6)
    postnew CategoryPanel(initComponents#1).panels != null
    postnew CategoryPanel(initComponents#1).parent == &amp;new SwingPreferencesDialog(getSwingPreference sDialog#1)
    postnew CategoryPanel(initComponents#1).scrollPane == &amp;new JScrollPane(CategoryPanel#12)
    postnew CategoryPanel(initComponents#1).title == &amp;new TitlePanel(CategoryPanel#13)
    postnew CategoryPanel(initComponents#1).tooltip == &amp;new ToolTipPanel(CategoryPanel#14)
    postnew CategoryPanel(initComponents#1). waitingCategory == &amp;new JPanel(CategoryPanel#9)
    postnew JList(initComponents#2) num objects <= 1
    postnew JPanel(CategoryPanel#3) num objects <= 1
    postnew JPanel(CategoryPanel#6) num objects <= 1
    postnew JPanel(CategoryPanel#9) num objects <= 1
    postnew JPanel(PrefsCategoryLoader#1) num objects <= 1
    postnew JScrollPane(CategoryPanel#12) num objects <= 1
    postnew PrefsCategoryLoader(setCategory#2) num objects <= 1
    postnew SwingPreferencesDialog$1(SwingPreferencesDialog #1) num objects <= 1
    postnew SwingPreferencesDialog(getSwingPreferencesDialo g#1) num objects <= 1
    postnew SwingPreferencesDialog(getSwingPreferencesDialo g#1).mainPanel == &amp;new CategoryPanel(initCompon ents#1)
    postnew SwingPreferencesDialog(getSwingPreferencesDialo g#1).tabList == &amp;new JList(initComponents#2)
    postnew SwingPreferencesDialog(getSwingPreferencesDialo g#1).worker == &amp;new SwingPreferencesDialog$1(Sw ingPreferencesDialog#1)
    postnew TitlePanel(CategoryPanel#13) num objects <= 1
    postnew ToolTipPanel(CategoryPanel#14) num objects <= 1
    postreturn_value != null
    postreturn_value == One-of{old me, &amp;new SwingPreferencesDialog(getSwingPreferencesDialog#1 )}
    unanalyzedcall on com.dmdirc.addons.ui_swing.UIUtilities:invo keAndWait
    unanalyzedcall on com.dmdirc.addons.ui_swing.components. ListScroller
    unanalyzedcall on com.dmdirc.addons.ui_swing.components. LoggingSwingWorker
    unanalyzedcall on com.dmdirc.addons.ui_swing.components. LoggingSwingWorker:execute
    unanalyzedcall on com.dmdirc.addons.ui_swing.components. StandardDialog
    unanalyzedcall on com.dmdirc.addons.ui_swing.components. TitlePanel
    unanalyzedcall on com.dmdirc.addons.ui_swing.components. ToolTipPanel
    unanalyzedcall on com.dmdirc.addons.ui_swing.components.text. TextLabel:setEditable
    unanalyzedcall on com.dmdirc.addons.ui_swing.components.text. TextLabel:setEditorKit
    unanalyzedcall on com.dmdirc.addons.ui_swing.components.text. TextLabel:setHighlighter
    unanalyzedcall on com.dmdirc.addons.ui_swing.components.text. TextLabel:setMargin
    unanalyzedcall on com.dmdirc.addons.ui_swing.components.text. TextLabel:setOpaque
    unanalyzedcall on com.dmdirc.addons.ui_swing.components.text. TextLabel:setUI
    unanalyzedcall on com.dmdirc.addons.ui_swing.dialogs.prefs. CategoryPanel:add
    unanalyzedcall on com.dmdirc.addons.ui_swing.dialogs.prefs. SwingPreferencesDialog:add
    unanalyzedcall on com.dmdirc.addons.ui_swing.dialogs.prefs. SwingPreferencesDialog:addWindowListener
    unanalyzedcall on com.dmdirc.addons.ui_swing.dialogs.prefs. SwingPreferencesDialog:getCancelButton
    unanalyzedcall on com.dmdirc.addons.ui_swing.dialogs.prefs. SwingPreferencesDialog:getLeftButton
    unanalyzedcall on com.dmdirc.addons.ui_swing.dialogs.prefs. SwingPreferencesDialog:getOkButton
    unanalyzedcall on com.dmdirc.addons.ui_swing.dialogs.prefs. SwingPreferencesDialog:getRightButton
    unanalyzedcall on com.dmdirc.addons.ui_swing.dialogs.prefs. SwingPreferencesDialog:orderButtons
    unanalyzedcall on com.dmdirc.addons.ui_swing.dialogs.prefs. SwingPreferencesDialog:setDefaultCloseOperation
    unanalyzedcall on com.dmdirc.addons.ui_swing.dialogs.prefs. SwingPreferencesDialog:setLayout
    unanalyzedcall on com.dmdirc.addons.ui_swing.dialogs.prefs. SwingPreferencesDialog:setResizable
    unanalyzedcall on com.dmdirc.addons.ui_swing.dialogs.prefs. SwingPreferencesDialog:setTitle
    unanalyzedcall on java.awt.Font:getFamily
    unanalyzedcall on java.awt.Font:getSize
    unanalyzedcall on java.awt.Insets
    unanalyzedcall on java.awt.event.WindowAdapter
    unanalyzedcall on java.lang.String:isEmpty
    unanalyzedcall on java.lang.String:length
    unanalyzedcall on java.util.Collections:synchronizedMap
    unanalyzedcall on java.util.HashMap
    unanalyzedcall on java.util.Map:containsKey
    unanalyzedcall on java.util.Map:put
    unanalyzedcall on javax.swing.BorderFactory:createEtchedBorde r
    unanalyzedcall on javax.swing.DefaultListModel
    unanalyzedcall on javax.swing.JButton
    unanalyzedcall on javax.swing.JButton:addActionListener
    unanalyzedcall on javax.swing.JList
    unanalyzedcall on javax.swing.JList:addListSelectionListener
    unanalyzedcall on javax.swing.JList:setBorder
    unanalyzedcall on javax.swing.JList:setSelectionMode
    unanalyzedcall on javax.swing.JPanel
    unanalyzedcall on javax.swing.JPanel:add
    unanalyzedcall on javax.swing.JScrollPane
    unanalyzedcall on javax.swing.JScrollPane:setHorizontalScroll BarPolicy
    unanalyzedcall on javax.swing.JTextPane
    unanalyzedcall on javax.swing.JTextPane:getDocument
    unanalyzedcall on javax.swing.JTextPane:setText
    unanalyzedcall on javax.swing.SwingWorker
    unanalyzedcall on javax.swing.SwingWorker:execute
    unanalyzedcall on javax.swing.UIManager:getFont
    unanalyzedcall on javax.swing.plaf.basic.BasicTextPaneUI
    unanalyzedcall on javax.swing.text.DefaultStyledDocument
    unanalyzedcall on javax.swing.text.SimpleAttributeSet
    unanalyzedcall on javax.swing.text.StyleConstants:setAlignmen t
    unanalyzedcall on javax.swing.text.StyledDocument:setParagrap hAttributes
    unanalyzedcall on javax.swing.text.html.HTMLDocument:getStyle Sheet
    unanalyzedcall on javax.swing.text.html.HTMLEditorKit
    unanalyzedcall on javax.swing.text.html.StyleSheet:addRule
    unanalyzedcall on net.miginfocom.layout.PlatformDefaults:getP anelInsets
    unanalyzedcall on net.miginfocom.layout.PlatformDefaults:getU nitValueX
    unanalyzedcall on net.miginfocom.layout.UnitValue:getValue
    unanalyzedcall on net.miginfocom.swing.MigLayout

  • void initComponents()

    • Kind Annotation Text
    presumption(int) (net.miginfocom.layout.UnitValue:getValue(... )@58) in {-231..232-1}
    presumption(int) (net.miginfocom.layout.UnitValue:getValue(... )@61) in {-231..232-1}
    presumption(int) (net.miginfocom.layout.UnitValue:getValue(... )@64) in {-231..232-1}
    presumptioncom.dmdirc.addons.ui_swing.dialogs.prefs. SwingPreferencesDialog:getCancelButton(...)@196 != null
    presumptioncom.dmdirc.addons.ui_swing.dialogs.prefs. SwingPreferencesDialog:getOkButton(...)@195 != null
    presumptionjava.util.Collections:synchronizedMap(...)@109 != null
    postinit'ed(new PrefsCategoryLoader(setCategory#2). category)
    postinit'ed(new PrefsCategoryLoader(setCategory#2). categoryPanel)
    postinit'ed(new PrefsCategoryLoader(setCategory#2). errorCategory)
    postinit'ed(new PrefsCategoryLoader(setCategory#2). leftPadding)
    postinit'ed(new PrefsCategoryLoader(setCategory#2). padding)
    postinit'ed(new PrefsCategoryLoader(setCategory#2). rightPadding)
    postinit'ed(this.mainPanel.category)
    postinit'ed(this.mainPanel.leftPadding)
    postinit'ed(this.mainPanel.padding)
    postinit'ed(this.mainPanel.rightPadding)
    postinit'ed(this.mainPanel.worker)
    postnew CategoryPanel(initComponents#1) num objects == 1
    postnew JList(initComponents#2) num objects == 1
    postnew JPanel(CategoryPanel#3) num objects == 1
    postnew JPanel(CategoryPanel#6) num objects == 1
    postnew JPanel(CategoryPanel#9) num objects == 1
    postnew JPanel(PrefsCategoryLoader#1) num objects <= 1
    postnew JScrollPane(CategoryPanel#12) num objects == 1
    postnew PrefsCategoryLoader(setCategory#2) num objects == new JPanel(PrefsCategoryLoader#1) num objects
    postnew TitlePanel(CategoryPanel#13) num objects == 1
    postnew ToolTipPanel(CategoryPanel#14) num objects == 1
    postthis.mainPanel == &amp;new CategoryPanel(initCompon ents#1)
    postthis.mainPanel.loading == &amp;new JPanel(CategoryP anel#3)
    postthis.mainPanel.nullCategory == &amp;new JPanel(CategoryPanel#6)
    postthis.mainPanel.panels != null
    postthis.mainPanel.parent != null
    postthis.mainPanel.parent == this
    postthis.mainPanel.scrollPane == &amp;new JScrollPane(CategoryPanel#12)
    postthis.mainPanel.title == &amp;new TitlePanel(Categor yPanel#13)
    postthis.mainPanel.tooltip == &amp;new ToolTipPanel(Cat egoryPanel#14)
    postthis.mainPanel.waitingCategory == &amp;new JPanel(CategoryPanel#9)
    postthis.tabList == &amp;new JList(initComponents#2)
    unanalyzedcall on com.dmdirc.addons.ui_swing.UIUtilities:invo keAndWait
    unanalyzedcall on com.dmdirc.addons.ui_swing.components. TitlePanel
    unanalyzedcall on com.dmdirc.addons.ui_swing.components. ToolTipPanel
    unanalyzedcall on com.dmdirc.addons.ui_swing.components.text. TextLabel:setEditable
    unanalyzedcall on com.dmdirc.addons.ui_swing.components.text. TextLabel:setEditorKit
    unanalyzedcall on com.dmdirc.addons.ui_swing.components.text. TextLabel:setHighlighter
    unanalyzedcall on com.dmdirc.addons.ui_swing.components.text. TextLabel:setMargin
    unanalyzedcall on com.dmdirc.addons.ui_swing.components.text. TextLabel:setOpaque
    unanalyzedcall on com.dmdirc.addons.ui_swing.components.text. TextLabel:setUI
    unanalyzedcall on com.dmdirc.addons.ui_swing.dialogs.prefs. CategoryPanel:add
    unanalyzedcall on java.awt.Font:getFamily
    unanalyzedcall on java.awt.Font:getSize
    unanalyzedcall on java.awt.Insets
    unanalyzedcall on java.awt.event.WindowAdapter
    unanalyzedcall on java.lang.String:isEmpty
    unanalyzedcall on java.lang.String:length
    unanalyzedcall on java.util.Collections:synchronizedMap
    unanalyzedcall on java.util.HashMap
    unanalyzedcall on java.util.Map:containsKey
    unanalyzedcall on java.util.Map:put
    unanalyzedcall on javax.swing.BorderFactory:createEtchedBorde r
    unanalyzedcall on javax.swing.JPanel
    unanalyzedcall on javax.swing.JPanel:add
    unanalyzedcall on javax.swing.JScrollPane
    unanalyzedcall on javax.swing.JScrollPane:setHorizontalScroll BarPolicy
    unanalyzedcall on javax.swing.JTextPane
    unanalyzedcall on javax.swing.JTextPane:getDocument
    unanalyzedcall on javax.swing.JTextPane:setText
    unanalyzedcall on javax.swing.SwingWorker
    unanalyzedcall on javax.swing.SwingWorker:execute
    unanalyzedcall on javax.swing.UIManager:getFont
    unanalyzedcall on javax.swing.plaf.basic.BasicTextPaneUI
    unanalyzedcall on javax.swing.text.DefaultStyledDocument
    unanalyzedcall on javax.swing.text.SimpleAttributeSet
    unanalyzedcall on javax.swing.text.StyleConstants:setAlignmen t
    unanalyzedcall on javax.swing.text.StyledDocument:setParagrap hAttributes
    unanalyzedcall on javax.swing.text.html.HTMLDocument:getStyle Sheet
    unanalyzedcall on javax.swing.text.html.HTMLEditorKit
    unanalyzedcall on javax.swing.text.html.StyleSheet:addRule
    unanalyzedcall on net.miginfocom.layout.PlatformDefaults:getP anelInsets
    unanalyzedcall on net.miginfocom.layout.PlatformDefaults:getU nitValueX
    unanalyzedcall on net.miginfocom.layout.UnitValue:getValue
    unanalyzedcall on net.miginfocom.swing.MigLayout

  • void restoreActiveCategory()

    • Kind Annotation Text
    prethis.tabList != null
    presumptioncom.dmdirc.config.ConfigManager:getOption(...)@329 != null
    presumptioncom.dmdirc.config.IdentityManager:getGlobalConfig(. ..)@329 != null
    presumptionjavax.swing.DefaultListModel:get(...)@334 != null
    presumptionjavax.swing.JList:getModel(...)@331 != null
    test_vectorjava.lang.String:equals(...)@336: {0}, {1}

  • void run()

    • Kind Annotation Text
    pre(soft) init'ed(this.mainPanel.waitingCategory)
    pre(soft) this.mainPanel != null
    pre(soft) this.mainPanel.scrollPane != null
    prethis.tabList != null
    prethis.val$categories != null
    presumptionjava.util.Iterator:next(...)@215 != null
    presumptionjavax.swing.JList:getModel(...)@217 != null
    unanalyzedcall on com.dmdirc.addons.ui_swing.UIUtilities:invo keLater
    unanalyzedcall on com.dmdirc.config.ConfigManager:getOption
    unanalyzedcall on com.dmdirc.config.IdentityManager:getGlobal Config
    unanalyzedcall on com.dmdirc.config.prefs.PreferencesCategory :getPath
    unanalyzedcall on java.lang.String:equals
    unanalyzedcall on javax.swing.DefaultListModel:get
    unanalyzedcall on javax.swing.DefaultListModel:getSize
    unanalyzedcall on javax.swing.JList:getModel
    unanalyzedcall on javax.swing.JList:setSelectedIndex
    unanalyzedcall on javax.swing.JScrollPane:setViewportView
    test_vectorcom.dmdirc.config.prefs.PreferencesCategory:isInlin e(...)@216: {1}, {0}
    test_vectorjava.util.Iterator:hasNext(...)@215: {0}, {1}

  • void saveOptions()

    • Kind Annotation Text
    pre(soft) init'ed(this.parentWindow)
    preinit'ed(this.manager)
    test_vectorcom.dmdirc.config.prefs.PreferencesManager:save(... )@318: {0}, {1}
    test_vectorthis.manager: Addr_Set{null}, Inverse{null}

  • void setPrefsManager(PreferencesManager)

    • Kind Annotation Text
    preinit'ed(this.mainPanel.waitingCategory)
    premanager != null
    prethis.mainPanel != null
    prethis.mainPanel.panels != null
    prethis.mainPanel.scrollPane != null
    prethis.tabList != null
    presumptioncom.dmdirc.config.prefs.PreferencesManager:getCateg ories(...)@131 != null
    presumptionjavax.swing.JList:getModel(...)@128 != null
    postinit'ed(new PrefsCategoryLoader(setCategory#2). category)
    postinit'ed(new PrefsCategoryLoader(setCategory#2). categoryPanel)
    postinit'ed(new PrefsCategoryLoader(setCategory#2). errorCategory)
    postinit'ed(new PrefsCategoryLoader(setCategory#2). leftPadding)
    postinit'ed(new PrefsCategoryLoader(setCategory#2). padding)
    postinit'ed(new PrefsCategoryLoader(setCategory#2). rightPadding)
    postnew JPanel(PrefsCategoryLoader#1) num objects <= 1
    postnew PrefsCategoryLoader(setCategory#2) num objects == new JPanel(PrefsCategoryLoader#1) num objects
    postthis.mainPanel.category == null
    postthis.mainPanel.waiting == 0
    postthis.mainPanel.worker == One-of{&amp;new PrefsCategoryLoader(setCategory#2), old this.mainPanel.worker}
    postthis.manager != null
    postthis.manager == manager
    unanalyzedcall on com.dmdirc.addons.ui_swing.UIUtilities:invo keAndWait
    unanalyzedcall on com.dmdirc.addons.ui_swing.UIUtilities:invo keLater
    unanalyzedcall on com.dmdirc.addons.ui_swing.components.text. TextLabel:setEditable
    unanalyzedcall on com.dmdirc.addons.ui_swing.components.text. TextLabel:setEditorKit
    unanalyzedcall on com.dmdirc.addons.ui_swing.components.text. TextLabel:setHighlighter
    unanalyzedcall on com.dmdirc.addons.ui_swing.components.text. TextLabel:setMargin
    unanalyzedcall on com.dmdirc.addons.ui_swing.components.text. TextLabel:setOpaque
    unanalyzedcall on com.dmdirc.addons.ui_swing.components.text. TextLabel:setUI
    unanalyzedcall on com.dmdirc.config.prefs.PreferencesCategory :getSubcats
    unanalyzedcall on com.dmdirc.config.prefs.PreferencesCategory :isInline
    unanalyzedcall on countCategories
    unanalyzedcall on java.awt.Font:getFamily
    unanalyzedcall on java.awt.Font:getSize
    unanalyzedcall on java.awt.Insets
    unanalyzedcall on java.lang.String:isEmpty
    unanalyzedcall on java.lang.String:length
    unanalyzedcall on java.util.Collection:iterator
    unanalyzedcall on java.util.HashMap
    unanalyzedcall on java.util.Map:containsKey
    unanalyzedcall on javax.swing.JLabel
    unanalyzedcall on javax.swing.JPanel
    unanalyzedcall on javax.swing.JPanel:add
    unanalyzedcall on javax.swing.JScrollPane:setViewportView
    unanalyzedcall on javax.swing.JTextPane
    unanalyzedcall on javax.swing.JTextPane:getDocument
    unanalyzedcall on javax.swing.JTextPane:setText
    unanalyzedcall on javax.swing.SwingWorker
    unanalyzedcall on javax.swing.SwingWorker:execute
    unanalyzedcall on javax.swing.UIManager:getFont
    unanalyzedcall on javax.swing.plaf.basic.BasicTextPaneUI
    unanalyzedcall on javax.swing.text.DefaultStyledDocument
    unanalyzedcall on javax.swing.text.SimpleAttributeSet
    unanalyzedcall on javax.swing.text.StyleConstants:setAlignmen t
    unanalyzedcall on javax.swing.text.StyledDocument:setParagrap hAttributes
    unanalyzedcall on javax.swing.text.html.HTMLDocument:getStyle Sheet
    unanalyzedcall on javax.swing.text.html.HTMLEditorKit
    unanalyzedcall on javax.swing.text.html.StyleSheet:addRule
    unanalyzedcall on net.miginfocom.layout.PlatformDefaults:getP anelInsets
    unanalyzedcall on net.miginfocom.layout.PlatformDefaults:getU nitValueX
    unanalyzedcall on net.miginfocom.layout.UnitValue:getValue
    unanalyzedcall on net.miginfocom.swing.MigLayout

  • void showSwingPreferencesDialog(Window)

    • Kind Annotation Text
    preinit'ed(me)
    postinit'ed(new CategoryPanel(initComponents#1). category)
    postinit'ed(new CategoryPanel(initComponents#1). leftPadding)
    postinit'ed(new CategoryPanel(initComponents#1). padding)
    postinit'ed(new CategoryPanel(initComponents#1). rightPadding)
    postinit'ed(new CategoryPanel(initComponents#1). worker)
    postinit'ed(new PrefsCategoryLoader(setCategory#2). category)
    postinit'ed(new PrefsCategoryLoader(setCategory#2). categoryPanel)
    postinit'ed(new PrefsCategoryLoader(setCategory#2). errorCategory)
    postinit'ed(new PrefsCategoryLoader(setCategory#2). leftPadding)
    postinit'ed(new PrefsCategoryLoader(setCategory#2). padding)
    postinit'ed(new PrefsCategoryLoader(setCategory#2). rightPadding)
    postme != null
    postme == One-of{old me, &amp;new SwingPreferencesDialo g(getSwingPreferencesDialog#1)}
    postnew CategoryPanel(initComponents#1) num objects <= 1
    postnew CategoryPanel(initComponents#1).loading == &amp;new JPanel(CategoryPanel#3)
    postnew CategoryPanel(initComponents#1).nullCategory == &amp;new JPanel(CategoryPanel#6)
    postnew CategoryPanel(initComponents#1).panels != null
    postnew CategoryPanel(initComponents#1).parent == &amp;new SwingPreferencesDialog(getSwingPreference sDialog#1)
    postnew CategoryPanel(initComponents#1).scrollPane == &amp;new JScrollPane(CategoryPanel#12)
    postnew CategoryPanel(initComponents#1).title == &amp;new TitlePanel(CategoryPanel#13)
    postnew CategoryPanel(initComponents#1).tooltip == &amp;new ToolTipPanel(CategoryPanel#14)
    postnew CategoryPanel(initComponents#1). waitingCategory == &amp;new JPanel(CategoryPanel#9)
    postnew JList(initComponents#2) num objects == new CategoryPanel(initComponents#1) num objects
    postnew JPanel(CategoryPanel#3) num objects == new CategoryPanel(initComponents#1) num objects
    postnew JPanel(CategoryPanel#6) num objects == new CategoryPanel(initComponents#1) num objects
    postnew JPanel(CategoryPanel#9) num objects == new CategoryPanel(initComponents#1) num objects
    postnew JPanel(PrefsCategoryLoader#1) num objects <= 1
    postnew JScrollPane(CategoryPanel#12) num objects == new CategoryPanel(initComponents#1) num objects
    postnew PrefsCategoryLoader(setCategory#2) num objects == new JPanel(PrefsCategoryLoader#1) num objects
    postnew SwingPreferencesDialog$1(SwingPreferencesDialog #1) num objects == new CategoryPanel(initComponents #1) num objects
    postnew SwingPreferencesDialog(getSwingPreferencesDialo g#1) num objects == new CategoryPanel(initComponent s#1) num objects
    postnew SwingPreferencesDialog(getSwingPreferencesDialo g#1).mainPanel == &amp;new CategoryPanel(initCompon ents#1)
    postnew SwingPreferencesDialog(getSwingPreferencesDialo g#1).tabList == &amp;new JList(initComponents#2)
    postnew SwingPreferencesDialog(getSwingPreferencesDialo g#1).worker == &amp;new SwingPreferencesDialog$1(Sw ingPreferencesDialog#1)
    postnew TitlePanel(CategoryPanel#13) num objects == new CategoryPanel(initComponents#1) num objects
    postnew ToolTipPanel(CategoryPanel#14) num objects == new CategoryPanel(initComponents#1) num objects
    unanalyzedcall on com.dmdirc.addons.ui_swing.UIUtilities:invo keAndWait
    unanalyzedcall on com.dmdirc.addons.ui_swing.components. ListScroller
    unanalyzedcall on com.dmdirc.addons.ui_swing.components. LoggingSwingWorker
    unanalyzedcall on com.dmdirc.addons.ui_swing.components. LoggingSwingWorker:execute
    unanalyzedcall on com.dmdirc.addons.ui_swing.components. StandardDialog
    unanalyzedcall on com.dmdirc.addons.ui_swing.components. TitlePanel
    unanalyzedcall on com.dmdirc.addons.ui_swing.components. ToolTipPanel
    unanalyzedcall on com.dmdirc.addons.ui_swing.components.text. TextLabel:setEditable
    unanalyzedcall on com.dmdirc.addons.ui_swing.components.text. TextLabel:setEditorKit
    unanalyzedcall on com.dmdirc.addons.ui_swing.components.text. TextLabel:setHighlighter
    unanalyzedcall on com.dmdirc.addons.ui_swing.components.text. TextLabel:setMargin
    unanalyzedcall on com.dmdirc.addons.ui_swing.components.text. TextLabel:setOpaque
    unanalyzedcall on com.dmdirc.addons.ui_swing.components.text. TextLabel:setUI
    unanalyzedcall on com.dmdirc.addons.ui_swing.dialogs.prefs. CategoryPanel:add
    unanalyzedcall on com.dmdirc.addons.ui_swing.dialogs.prefs. SwingPreferencesDialog:add
    unanalyzedcall on com.dmdirc.addons.ui_swing.dialogs.prefs. SwingPreferencesDialog:addWindowListener
    unanalyzedcall on com.dmdirc.addons.ui_swing.dialogs.prefs. SwingPreferencesDialog:getCancelButton
    unanalyzedcall on com.dmdirc.addons.ui_swing.dialogs.prefs. SwingPreferencesDialog:getLeftButton
    unanalyzedcall on com.dmdirc.addons.ui_swing.dialogs.prefs. SwingPreferencesDialog:getOkButton
    unanalyzedcall on com.dmdirc.addons.ui_swing.dialogs.prefs. SwingPreferencesDialog:getParent
    unanalyzedcall on com.dmdirc.addons.ui_swing.dialogs.prefs. SwingPreferencesDialog:getRightButton
    unanalyzedcall on com.dmdirc.addons.ui_swing.dialogs.prefs. SwingPreferencesDialog:orderButtons
    unanalyzedcall on com.dmdirc.addons.ui_swing.dialogs.prefs. SwingPreferencesDialog:pack
    unanalyzedcall on com.dmdirc.addons.ui_swing.dialogs.prefs. SwingPreferencesDialog:setDefaultCloseOperation
    unanalyzedcall on com.dmdirc.addons.ui_swing.dialogs.prefs. SwingPreferencesDialog:setLayout
    unanalyzedcall on com.dmdirc.addons.ui_swing.dialogs.prefs. SwingPreferencesDialog:setLocationRelativeTo
    unanalyzedcall on com.dmdirc.addons.ui_swing.dialogs.prefs. SwingPreferencesDialog:setResizable
    unanalyzedcall on com.dmdirc.addons.ui_swing.dialogs.prefs. SwingPreferencesDialog:setTitle
    unanalyzedcall on com.dmdirc.addons.ui_swing.dialogs.prefs. SwingPreferencesDialog:setVisible
    unanalyzedcall on java.awt.Font:getFamily
    unanalyzedcall on java.awt.Font:getSize
    unanalyzedcall on java.awt.Insets
    unanalyzedcall on java.awt.event.WindowAdapter
    unanalyzedcall on java.lang.String:isEmpty
    unanalyzedcall on java.lang.String:length
    unanalyzedcall on java.lang.Throwable:__curr_excep_obj
    unanalyzedcall on java.util.Collections:synchronizedMap
    unanalyzedcall on java.util.HashMap
    unanalyzedcall on java.util.Map:containsKey
    unanalyzedcall on java.util.Map:put
    unanalyzedcall on javax.swing.BorderFactory:createEtchedBorde r
    unanalyzedcall on javax.swing.DefaultListModel
    unanalyzedcall on javax.swing.JButton
    unanalyzedcall on javax.swing.JButton:addActionListener
    unanalyzedcall on javax.swing.JList
    unanalyzedcall on javax.swing.JList:addListSelectionListener
    unanalyzedcall on javax.swing.JList:setBorder
    unanalyzedcall on javax.swing.JList:setSelectionMode
    unanalyzedcall on javax.swing.JPanel
    unanalyzedcall on javax.swing.JPanel:add
    unanalyzedcall on javax.swing.JScrollPane
    unanalyzedcall on javax.swing.JScrollPane:setHorizontalScroll BarPolicy
    unanalyzedcall on javax.swing.JTextPane
    unanalyzedcall on javax.swing.JTextPane:getDocument
    unanalyzedcall on javax.swing.JTextPane:setText
    unanalyzedcall on javax.swing.SwingWorker
    unanalyzedcall on javax.swing.SwingWorker:execute
    unanalyzedcall on javax.swing.UIManager:getFont
    unanalyzedcall on javax.swing.plaf.basic.BasicTextPaneUI
    unanalyzedcall on javax.swing.text.DefaultStyledDocument
    unanalyzedcall on javax.swing.text.SimpleAttributeSet
    unanalyzedcall on javax.swing.text.StyleConstants:setAlignmen t
    unanalyzedcall on javax.swing.text.StyledDocument:setParagrap hAttributes
    unanalyzedcall on javax.swing.text.html.HTMLDocument:getStyle Sheet
    unanalyzedcall on javax.swing.text.html.HTMLEditorKit
    unanalyzedcall on javax.swing.text.html.StyleSheet:addRule
    unanalyzedcall on net.miginfocom.layout.PlatformDefaults:getP anelInsets
    unanalyzedcall on net.miginfocom.layout.PlatformDefaults:getU nitValueX
    unanalyzedcall on net.miginfocom.layout.UnitValue:getValue
    unanalyzedcall on net.miginfocom.swing.MigLayout

  • void valueChanged(ListSelectionEvent)

    • Kind Annotation Text
    pre(soft) init'ed(this.selected)
    pre(soft) this.mainPanel != null
    pre(soft) this.mainPanel.panels != null
    pre(soft) this.tabList != null
    pree != null
    postinit'ed(new PrefsCategoryLoader(setCategory#2). category)
    postinit'ed(new PrefsCategoryLoader(setCategory#2). categoryPanel)
    postinit'ed(new PrefsCategoryLoader(setCategory#2). errorCategory)
    postinit'ed(new PrefsCategoryLoader(setCategory#2). leftPadding)
    postinit'ed(new PrefsCategoryLoader(setCategory#2). padding)
    postinit'ed(new PrefsCategoryLoader(setCategory#2). rightPadding)
    postinit'ed(this.selected)
    postnew JPanel(PrefsCategoryLoader#1) num objects <= 1
    postnew PrefsCategoryLoader(setCategory#2) num objects <= 1
    postpossibly_updated(this.mainPanel.category)
    postthis.mainPanel.worker == One-of{old this.mainPanel.worker, &amp;new PrefsCategoryLoade r(setCategory#2)}
    unanalyzedcall on com.dmdirc.addons.ui_swing.UIUtilities:invo keAndWait
    unanalyzedcall on com.dmdirc.addons.ui_swing.components.text. TextLabel:setEditable
    unanalyzedcall on com.dmdirc.addons.ui_swing.components.text. TextLabel:setEditorKit
    unanalyzedcall on com.dmdirc.addons.ui_swing.components.text. TextLabel:setHighlighter
    unanalyzedcall on com.dmdirc.addons.ui_swing.components.text. TextLabel:setMargin
    unanalyzedcall on com.dmdirc.addons.ui_swing.components.text. TextLabel:setOpaque
    unanalyzedcall on com.dmdirc.addons.ui_swing.components.text. TextLabel:setUI
    unanalyzedcall on java.awt.Font:getFamily
    unanalyzedcall on java.awt.Font:getSize
    unanalyzedcall on java.awt.Insets
    unanalyzedcall on java.lang.String:isEmpty
    unanalyzedcall on java.lang.String:length
    unanalyzedcall on java.util.Map:containsKey
    unanalyzedcall on javax.swing.JPanel
    unanalyzedcall on javax.swing.JPanel:add
    unanalyzedcall on javax.swing.JTextPane
    unanalyzedcall on javax.swing.JTextPane:getDocument
    unanalyzedcall on javax.swing.JTextPane:setText
    unanalyzedcall on javax.swing.SwingWorker
    unanalyzedcall on javax.swing.SwingWorker:execute
    unanalyzedcall on javax.swing.UIManager:getFont
    unanalyzedcall on javax.swing.plaf.basic.BasicTextPaneUI
    unanalyzedcall on javax.swing.text.DefaultStyledDocument
    unanalyzedcall on javax.swing.text.SimpleAttributeSet
    unanalyzedcall on javax.swing.text.StyleConstants:setAlignmen t
    unanalyzedcall on javax.swing.text.StyledDocument:setParagrap hAttributes
    unanalyzedcall on javax.swing.text.html.HTMLDocument:getStyle Sheet
    unanalyzedcall on javax.swing.text.html.HTMLEditorKit
    unanalyzedcall on javax.swing.text.html.StyleSheet:addRule
    unanalyzedcall on net.miginfocom.layout.PlatformDefaults:getP anelInsets
    unanalyzedcall on net.miginfocom.layout.PlatformDefaults:getU nitValueX
    unanalyzedcall on net.miginfocom.layout.UnitValue:getValue
    unanalyzedcall on net.miginfocom.swing.MigLayout
    test_vectorjavax.swing.event.ListSelectionEvent:getValueIsAdju sting(...)@283: {1}, {0}
    test_vectorthis.selected: Addr_Set{null}, Inverse{null}

  • void windowClosing(WindowEvent)

    • Kind Annotation Text
    pre(soft) init'ed(this.parentWindow)
    pre(soft) this.tabList != null
    preinit'ed(com/dmdirc/addons/ui_swing/dialogs/prefs/Sw ingPreferencesDialog.me)
    preinit'ed(this.manager)
    preinit'ed(this.selected)
    preinit'ed(this.worker)
    prethis.mainPanel != null
    prethis.mainPanel.panels != null
    postcom/dmdirc/addons/ui_swing/dialogs/prefs/SwingPrefe rencesDialog.me == null
    postinit'ed(new PrefsCategoryLoader(setCategory#2). category)
    postinit'ed(new PrefsCategoryLoader(setCategory#2). categoryPanel)
    postinit'ed(new PrefsCategoryLoader(setCategory#2). errorCategory)
    postinit'ed(new PrefsCategoryLoader(setCategory#2). leftPadding)
    postinit'ed(new PrefsCategoryLoader(setCategory#2). padding)
    postinit'ed(new PrefsCategoryLoader(setCategory#2). rightPadding)
    postinit'ed(this.manager)
    postinit'ed(this.worker)
    postnew JPanel(PrefsCategoryLoader#1) num objects <= 1
    postnew PrefsCategoryLoader(setCategory#2) num objects == new JPanel(PrefsCategoryLoader#1) num objects
    postthis.mainPanel.worker == One-of{&amp;new PrefsCategoryLoader(setCategory#2), old this.mainPanel.worker}
    postthis.manager == One-of{old this.manager, null}
    postthis.worker == One-of{old this.worker, null}
    unanalyzedcall on com.dmdirc.addons.ui_swing.UIUtilities:invo keAndWait
    unanalyzedcall on com.dmdirc.addons.ui_swing.components. LoggingSwingWorker:cancel
    unanalyzedcall on com.dmdirc.addons.ui_swing.components. LoggingSwingWorker:isDone
    unanalyzedcall on com.dmdirc.addons.ui_swing.components. StandardDialog:dispose
    unanalyzedcall on com.dmdirc.addons.ui_swing.components.text. TextLabel:setEditable
    unanalyzedcall on com.dmdirc.addons.ui_swing.components.text. TextLabel:setEditorKit
    unanalyzedcall on com.dmdirc.addons.ui_swing.components.text. TextLabel:setHighlighter
    unanalyzedcall on com.dmdirc.addons.ui_swing.components.text. TextLabel:setMargin
    unanalyzedcall on com.dmdirc.addons.ui_swing.components.text. TextLabel:setOpaque
    unanalyzedcall on com.dmdirc.addons.ui_swing.components.text. TextLabel:setUI
    unanalyzedcall on com.dmdirc.addons.ui_swing.dialogs.prefs. SwingPreferencesDialog:getOkButton
    unanalyzedcall on com.dmdirc.config.Identity:setOption
    unanalyzedcall on com.dmdirc.config.IdentityManager:getConfig Identity
    unanalyzedcall on com.dmdirc.config.prefs.PreferencesCategory :fireCategoryDeselected
    unanalyzedcall on com.dmdirc.config.prefs.PreferencesCategory :getPath
    unanalyzedcall on com.dmdirc.config.prefs.PreferencesManager: close
    unanalyzedcall on com.dmdirc.config.prefs.PreferencesManager: dismiss
    unanalyzedcall on com.dmdirc.config.prefs.PreferencesManager: save
    unanalyzedcall on java.awt.Font:getFamily
    unanalyzedcall on java.awt.Font:getSize
    unanalyzedcall on java.awt.Insets
    unanalyzedcall on java.awt.event.ActionEvent:getSource
    unanalyzedcall on java.lang.Object:equals
    unanalyzedcall on java.lang.String:isEmpty
    unanalyzedcall on java.lang.String:length
    unanalyzedcall on java.lang.Throwable:__curr_excep_obj
    unanalyzedcall on java.util.Map:containsKey
    unanalyzedcall on javax.swing.JList:getSelectedIndex
    unanalyzedcall on javax.swing.JList:getSelectedValue
    unanalyzedcall on javax.swing.JOptionPane:showMessageDialog
    unanalyzedcall on javax.swing.JPanel
    unanalyzedcall on javax.swing.JPanel:add
    unanalyzedcall on javax.swing.JTextPane
    unanalyzedcall on javax.swing.JTextPane:getDocument
    unanalyzedcall on javax.swing.JTextPane:setText
    unanalyzedcall on javax.swing.SwingWorker
    unanalyzedcall on javax.swing.SwingWorker:execute
    unanalyzedcall on javax.swing.UIManager:getFont
    unanalyzedcall on javax.swing.plaf.basic.BasicTextPaneUI
    unanalyzedcall on javax.swing.text.DefaultStyledDocument
    unanalyzedcall on javax.swing.text.SimpleAttributeSet
    unanalyzedcall on javax.swing.text.StyleConstants:setAlignmen t
    unanalyzedcall on javax.swing.text.StyledDocument:setParagrap hAttributes
    unanalyzedcall on javax.swing.text.html.HTMLDocument:getStyle Sheet
    unanalyzedcall on javax.swing.text.html.HTMLEditorKit
    unanalyzedcall on javax.swing.text.html.StyleSheet:addRule
    unanalyzedcall on net.miginfocom.layout.PlatformDefaults:getP anelInsets
    unanalyzedcall on net.miginfocom.layout.PlatformDefaults:getU nitValueX
    unanalyzedcall on net.miginfocom.layout.UnitValue:getValue
    unanalyzedcall on net.miginfocom.swing.MigLayout