Messages

Last Msg First Msg

method

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

method

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

method

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

method	CategoryPanel access$000(SwingPreferencesDialog)
pre	x0 != null
pre	init'ed(x0.mainPanel)
post	return_value == x0.mainPanel
post	init'ed(return_value)

method	void access$100(SwingPreferencesDialog, PreferencesManager)
pre	x0 != null
pre	x0.mainPanel != null
pre	x0.mainPanel.panels != null
pre	x0.mainPanel.scrollPane != null
pre	init'ed(x0.mainPanel.waitingCategory)
pre	x0.tabList != null
pre	x1 != null
post	x0.mainPanel.category == null
post	x0.mainPanel.waiting == 0
post	x0.mainPanel.worker == One-of{&new PrefsCategoryLoader(setCategory#2), old x0.mainPanel.worker}
post	x0.manager == x1
post	x0.manager != null
post	new JPanel(PrefsCategoryLoader#1) num objects <= 1
post	new PrefsCategoryLoader(setCategory#2) num objects == new JPanel(PrefsCategoryLoader#1) num objects
post	init'ed(new PrefsCategoryLoader(setCategory#2). category)
post	init'ed(new PrefsCategoryLoader(setCategory#2). categoryPanel)
post	init'ed(new PrefsCategoryLoader(setCategory#2). errorCategory)
post	init'ed(new PrefsCategoryLoader(setCategory#2). leftPadding)
post	init'ed(new PrefsCategoryLoader(setCategory#2). padding)
post	init'ed(new PrefsCategoryLoader(setCategory#2). rightPadding)
unanalyzed	call on com.dmdirc.addons.ui_swing.UIUtilities:invo keAndWait
unanalyzed	call on java.util.Map:containsKey
unanalyzed	call on javax.swing.SwingWorker
unanalyzed	call on net.miginfocom.layout.PlatformDefaults:getU nitValueX
unanalyzed	call on net.miginfocom.layout.UnitValue:getValue
unanalyzed	call on net.miginfocom.layout.PlatformDefaults:getP anelInsets
unanalyzed	call on net.miginfocom.swing.MigLayout
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 javax.swing.JPanel:add
unanalyzed	call on javax.swing.SwingWorker:execute
unanalyzed	call on java.util.Collection:iterator
unanalyzed	call on com.dmdirc.config.prefs.PreferencesCategory :isInline
unanalyzed	call on com.dmdirc.config.prefs.PreferencesCategory :getSubcats
unanalyzed	call on countCategories
unanalyzed	call on javax.swing.JList:getModel
unanalyzed	call on com.dmdirc.addons.ui_swing.UIUtilities:invo keLater
unanalyzed	call on javax.swing.JScrollPane:setViewportView
unanalyzed	call on javax.swing.DefaultListModel:clear
unanalyzed	call on com.dmdirc.config.prefs.PreferencesManager: getCategories
unanalyzed	call on javax.swing.JLabel
unanalyzed	call on java.util.HashMap
unanalyzed	call on javax.swing.JList:setCellRenderer

method	JList access$200(SwingPreferencesDialog)
pre	x0 != null
pre	init'ed(x0.tabList)
post	return_value == x0.tabList
post	init'ed(return_value)

method	void access$300(SwingPreferencesDialog, List)
pre	x0 != null
pre	x0.mainPanel != null
pre	x0.mainPanel.scrollPane != null
pre	init'ed(x0.mainPanel.waitingCategory)
post	x0.mainPanel.waiting == 0
unanalyzed	call on com.dmdirc.addons.ui_swing.UIUtilities:invo keLater
unanalyzed	call on javax.swing.JScrollPane:setViewportView

method	void access$400(SwingPreferencesDialog)
pre	x0 != null
pre	x0.tabList != null
unanalyzed	call on com.dmdirc.config.IdentityManager:getGlobal Config
unanalyzed	call on com.dmdirc.config.ConfigManager:getOption
unanalyzed	call on javax.swing.JList:getModel
unanalyzed	call on javax.swing.DefaultListModel:getSize
unanalyzed	call on javax.swing.DefaultListModel:get
unanalyzed	call on com.dmdirc.config.prefs.PreferencesCategory :getPath
unanalyzed	call on java.lang.String:equals
unanalyzed	call on javax.swing.JList:setSelectedIndex

method	com.dmdirc.addons.ui_swing.dialogs.prefs. SwingPreferencesDialog__static_init
post	CLIENT_HEIGHT == 375

method	void com.dmdirc.addons.ui_swing.dialogs.prefs. SwingPreferencesDialog(Window)
presumption	(int) (net.miginfocom.layout.UnitValue:getValue(... )@58) in {-2³¹..2³²-1}
presumption	(int) (net.miginfocom.layout.UnitValue:getValue(... )@61) in {-2³¹..2³²-1}
presumption	(int) (net.miginfocom.layout.UnitValue:getValue(... )@64) in {-2³¹..2³²-1}
presumption	init'ed(java.awt.Dialog$ModalityType.MODELESS)
presumption	java.util.Collections:synchronizedMap(...)@109 != null
post	this.mainPanel == &new CategoryPanel(initCompon ents#1)
post	this.tabList == &new JList(initComponents#2)
post	this.worker == &new SwingPreferencesDialog$1(Sw ingPreferencesDialog#1)
post	new CategoryPanel(initComponents#1) num objects == 1
post	new JList(initComponents#2) num objects == 1
post	new JPanel(CategoryPanel#3) num objects == 1
post	new JPanel(CategoryPanel#6) num objects == 1
post	new JPanel(CategoryPanel#9) num objects == 1
post	new JScrollPane(CategoryPanel#12) num objects == 1
post	new SwingPreferencesDialog$1(SwingPreferencesDialog #1) num objects == 1
post	new TitlePanel(CategoryPanel#13) num objects == 1
post	new ToolTipPanel(CategoryPanel#14) num objects == 1
post	init'ed(new CategoryPanel(initComponents#1). category)
post	init'ed(new CategoryPanel(initComponents#1). leftPadding)
post	new CategoryPanel(initComponents#1).loading == &new JPanel(CategoryPanel#3)
post	new CategoryPanel(initComponents#1).nullCategory == &new JPanel(CategoryPanel#6)
post	init'ed(new CategoryPanel(initComponents#1). padding)
post	new CategoryPanel(initComponents#1).panels != null
post	new CategoryPanel(initComponents#1).parent == this
post	new CategoryPanel(initComponents#1).parent != null
post	init'ed(new CategoryPanel(initComponents#1). rightPadding)
post	new CategoryPanel(initComponents#1).scrollPane == &new JScrollPane(CategoryPanel#12)
post	new CategoryPanel(initComponents#1).title == &new TitlePanel(CategoryPanel#13)
post	new CategoryPanel(initComponents#1).tooltip == &new ToolTipPanel(CategoryPanel#14)
post	new CategoryPanel(initComponents#1). waitingCategory == &new JPanel(CategoryPanel#9)
post	init'ed(new CategoryPanel(initComponents#1). worker)
post	new JPanel(PrefsCategoryLoader#1) num objects <= 1
post	new PrefsCategoryLoader(setCategory#2) num objects == new JPanel(PrefsCategoryLoader#1) num objects
post	init'ed(new PrefsCategoryLoader(setCategory#2). category)
post	init'ed(new PrefsCategoryLoader(setCategory#2). categoryPanel)
post	init'ed(new PrefsCategoryLoader(setCategory#2). errorCategory)
post	init'ed(new PrefsCategoryLoader(setCategory#2). leftPadding)
post	init'ed(new PrefsCategoryLoader(setCategory#2). padding)
post	init'ed(new PrefsCategoryLoader(setCategory#2). rightPadding)
unanalyzed	call on com.dmdirc.addons.ui_swing.UIUtilities:invo keAndWait
unanalyzed	call on java.util.Map:containsKey
unanalyzed	call on javax.swing.SwingWorker
unanalyzed	call on net.miginfocom.layout.PlatformDefaults:getU nitValueX
unanalyzed	call on net.miginfocom.layout.UnitValue:getValue
unanalyzed	call on net.miginfocom.layout.PlatformDefaults:getP anelInsets
unanalyzed	call on net.miginfocom.swing.MigLayout
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 javax.swing.JPanel:add
unanalyzed	call on javax.swing.SwingWorker:execute
unanalyzed	call on java.util.Map:put
unanalyzed	call on java.util.HashMap
unanalyzed	call on java.util.Collections:synchronizedMap
unanalyzed	call on javax.swing.JScrollPane
unanalyzed	call on javax.swing.JScrollPane:setHorizontalScroll BarPolicy
unanalyzed	call on javax.swing.BorderFactory:createEtchedBorde r
unanalyzed	call on com.dmdirc.addons.ui_swing.components. TitlePanel
unanalyzed	call on com.dmdirc.addons.ui_swing.components. ToolTipPanel
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs.prefs. CategoryPanel:add
unanalyzed	call on javax.swing.DefaultListModel
unanalyzed	call on javax.swing.JList
unanalyzed	call on javax.swing.JList:setSelectionMode
unanalyzed	call on javax.swing.JList:addListSelectionListener
unanalyzed	call on com.dmdirc.addons.ui_swing.components. ListScroller
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs.prefs. SwingPreferencesDialog:setDefaultCloseOperation
unanalyzed	call on java.awt.event.WindowAdapter
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs.prefs. SwingPreferencesDialog:addWindowListener
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs.prefs. SwingPreferencesDialog:setTitle
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs.prefs. SwingPreferencesDialog:setResizable
unanalyzed	call on javax.swing.JList:setBorder
unanalyzed	call on javax.swing.JButton
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs.prefs. SwingPreferencesDialog:orderButtons
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs.prefs. SwingPreferencesDialog:getOkButton
unanalyzed	call on javax.swing.JButton:addActionListener
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs.prefs. SwingPreferencesDialog:getCancelButton
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs.prefs. SwingPreferencesDialog:setLayout
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs.prefs. SwingPreferencesDialog:add
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs.prefs. SwingPreferencesDialog:getLeftButton
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs.prefs. SwingPreferencesDialog:getRightButton
unanalyzed	call on com.dmdirc.addons.ui_swing.components. LoggingSwingWorker

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.components. StandardDialog(Window, Dialog$ModalityType)

method

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

method	Object doInBackground()
pre	this.mainPanel != null
pre	this.mainPanel.scrollPane != null
pre	init'ed(this.mainPanel.waitingCategory)
post	return_value == &new PreferencesManager(doInBac kground#1*)
post	new PreferencesManager(doInBackground#1*) num objects == 1
unanalyzed	call on access$000
unanalyzed	call on javax.swing.JScrollPane:setViewportView
unanalyzed	call on com.dmdirc.config.prefs.PreferencesManager

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

method	PreferencesManager doInBackground()
pre	this.mainPanel != null
pre	this.mainPanel.scrollPane != null
pre	init'ed(this.mainPanel.waitingCategory)
post	return_value == &new PreferencesManager(doInBac kground#1)
post	new PreferencesManager(doInBackground#1) num objects == 1
unanalyzed	call on javax.swing.JScrollPane:setViewportView

method not available - call not analyzed Info call on void com.dmdirc.config.prefs. PreferencesManager()

method	void done()
pre	(soft) this.mainPanel != null
pre	(soft) this.mainPanel.panels != null
pre	(soft) this.mainPanel.scrollPane != null
pre	(soft) init'ed(this.mainPanel.waitingCategory)
pre	(soft) this.tabList != null
presumption	com.dmdirc.addons.ui_swing.dialogs.prefs. SwingPreferencesDialog_1:get(...)@113 != null
presumption	init'ed(com.dmdirc.logger.ErrorLevel.MEDIUM)
post	this.mainPanel.category == One-of{old this.mainPanel.category, null}
post	this.mainPanel.worker == One-of{old this.mainPanel.worker, &new PrefsCategoryLoade r(setCategory#2)}
post	new JPanel(PrefsCategoryLoader#1) num objects <= 1
post	new PrefsCategoryLoader(setCategory#2) num objects <= 1
post	init'ed(new PrefsCategoryLoader(setCategory#2). category)
post	init'ed(new PrefsCategoryLoader(setCategory#2). categoryPanel)
post	init'ed(new PrefsCategoryLoader(setCategory#2). errorCategory)
post	init'ed(new PrefsCategoryLoader(setCategory#2). leftPadding)
post	init'ed(new PrefsCategoryLoader(setCategory#2). padding)
post	init'ed(new PrefsCategoryLoader(setCategory#2). rightPadding)
unanalyzed	call on javax.swing.JScrollPane:setViewportView
unanalyzed	call on com.dmdirc.addons.ui_swing.UIUtilities:invo keAndWait
unanalyzed	call on java.util.Map:containsKey
unanalyzed	call on javax.swing.SwingWorker
unanalyzed	call on net.miginfocom.layout.PlatformDefaults:getU nitValueX
unanalyzed	call on net.miginfocom.layout.UnitValue:getValue
unanalyzed	call on net.miginfocom.layout.PlatformDefaults:getP anelInsets
unanalyzed	call on net.miginfocom.swing.MigLayout
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 javax.swing.JPanel:add
unanalyzed	call on javax.swing.SwingWorker:execute
unanalyzed	call on java.util.Collection:iterator
unanalyzed	call on com.dmdirc.config.prefs.PreferencesCategory :isInline
unanalyzed	call on com.dmdirc.config.prefs.PreferencesCategory :getSubcats
unanalyzed	call on countCategories
unanalyzed	call on javax.swing.JList:getModel
unanalyzed	call on com.dmdirc.addons.ui_swing.UIUtilities:invo keLater
unanalyzed	call on javax.swing.DefaultListModel:clear
unanalyzed	call on com.dmdirc.config.prefs.PreferencesManager: getCategories
unanalyzed	call on javax.swing.JLabel
unanalyzed	call on java.util.HashMap
unanalyzed	call on javax.swing.JList:setCellRenderer
test_vector	com.dmdirc.addons.ui_swing.dialogs.prefs. SwingPreferencesDialog_1:isCancelled(...)@111: {1}, {0}

method not available - call not analyzed Info call on bool com.dmdirc.addons.ui_swing.dialogs. prefs.SwingPreferencesDialog$1:isCancelled()

method not available - call not analyzed Info call on Object com.dmdirc.addons.ui_swing.dialogs. prefs.SwingPreferencesDialog$1:get()

method not available - call not analyzed Info call on void com.dmdirc.logger.Logger:appError(Erro rLevel, String, Throwable)

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

method	void setPrefsManager(PreferencesManager)
pre	manager != null
pre	this.mainPanel != null
pre	this.mainPanel.panels != null
pre	this.mainPanel.scrollPane != null
pre	init'ed(this.mainPanel.waitingCategory)
pre	this.tabList != null
presumption	com.dmdirc.config.prefs.PreferencesManager:getCateg ories(...)@131 != null
presumption	javax.swing.JList:getModel(...)@128 != null
post	this.mainPanel.category == null
post	this.mainPanel.waiting == 0
post	this.mainPanel.worker == One-of{&new PrefsCategoryLoader(setCategory#2), old this.mainPanel.worker}
post	this.manager == manager
post	this.manager != null
post	new JPanel(PrefsCategoryLoader#1) num objects <= 1
post	new PrefsCategoryLoader(setCategory#2) num objects == new JPanel(PrefsCategoryLoader#1) num objects
post	init'ed(new PrefsCategoryLoader(setCategory#2). category)
post	init'ed(new PrefsCategoryLoader(setCategory#2). categoryPanel)
post	init'ed(new PrefsCategoryLoader(setCategory#2). errorCategory)
post	init'ed(new PrefsCategoryLoader(setCategory#2). leftPadding)
post	init'ed(new PrefsCategoryLoader(setCategory#2). padding)
post	init'ed(new PrefsCategoryLoader(setCategory#2). rightPadding)
unanalyzed	call on com.dmdirc.addons.ui_swing.UIUtilities:invo keAndWait
unanalyzed	call on java.util.Map:containsKey
unanalyzed	call on javax.swing.SwingWorker
unanalyzed	call on net.miginfocom.layout.PlatformDefaults:getU nitValueX
unanalyzed	call on net.miginfocom.layout.UnitValue:getValue
unanalyzed	call on net.miginfocom.layout.PlatformDefaults:getP anelInsets
unanalyzed	call on net.miginfocom.swing.MigLayout
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 javax.swing.JPanel:add
unanalyzed	call on javax.swing.SwingWorker:execute
unanalyzed	call on java.util.Collection:iterator
unanalyzed	call on com.dmdirc.config.prefs.PreferencesCategory :isInline
unanalyzed	call on com.dmdirc.config.prefs.PreferencesCategory :getSubcats
unanalyzed	call on countCategories
unanalyzed	call on com.dmdirc.addons.ui_swing.UIUtilities:invo keLater
unanalyzed	call on javax.swing.JScrollPane:setViewportView
unanalyzed	call on javax.swing.JLabel
unanalyzed	call on java.util.HashMap

method not available - call not analyzed Info call on List com.dmdirc.config.prefs. PreferencesManager:getCategories()

method	void showSwingPreferencesDialog(Window)
pre	init'ed(me)
post	me == One-of{old me, &new SwingPreferencesDialo g(getSwingPreferencesDialog#1)}
post	me != null
post	new CategoryPanel(initComponents#1) num objects <= 1
post	new JList(initComponents#2) num objects == new CategoryPanel(initComponents#1) num objects
post	new JPanel(CategoryPanel#3) num objects == new CategoryPanel(initComponents#1) num objects
post	new JPanel(CategoryPanel#6) num objects == new CategoryPanel(initComponents#1) num objects
post	new JPanel(CategoryPanel#9) num objects == new CategoryPanel(initComponents#1) num objects
post	new JScrollPane(CategoryPanel#12) num objects == new CategoryPanel(initComponents#1) num objects
post	new SwingPreferencesDialog$1(SwingPreferencesDialog #1) num objects == new CategoryPanel(initComponents #1) num objects
post	new SwingPreferencesDialog(getSwingPreferencesDialo g#1) num objects == new CategoryPanel(initComponent s#1) num objects
post	new TitlePanel(CategoryPanel#13) num objects == new CategoryPanel(initComponents#1) num objects
post	new ToolTipPanel(CategoryPanel#14) num objects == new CategoryPanel(initComponents#1) num objects
post	init'ed(new CategoryPanel(initComponents#1). category)
post	init'ed(new CategoryPanel(initComponents#1). leftPadding)
post	new CategoryPanel(initComponents#1).loading == &new JPanel(CategoryPanel#3)
post	new CategoryPanel(initComponents#1).nullCategory == &new JPanel(CategoryPanel#6)
post	init'ed(new CategoryPanel(initComponents#1). padding)
post	new CategoryPanel(initComponents#1).panels != null
post	new CategoryPanel(initComponents#1).parent == &new SwingPreferencesDialog(getSwingPreference sDialog#1)
post	init'ed(new CategoryPanel(initComponents#1). rightPadding)
post	new CategoryPanel(initComponents#1).scrollPane == &new JScrollPane(CategoryPanel#12)
post	new CategoryPanel(initComponents#1).title == &new TitlePanel(CategoryPanel#13)
post	new CategoryPanel(initComponents#1).tooltip == &new ToolTipPanel(CategoryPanel#14)
post	new CategoryPanel(initComponents#1). waitingCategory == &new JPanel(CategoryPanel#9)
post	init'ed(new CategoryPanel(initComponents#1). worker)
post	new JPanel(PrefsCategoryLoader#1) num objects <= 1
post	new PrefsCategoryLoader(setCategory#2) num objects == new JPanel(PrefsCategoryLoader#1) num objects
post	init'ed(new PrefsCategoryLoader(setCategory#2). category)
post	init'ed(new PrefsCategoryLoader(setCategory#2). categoryPanel)
post	init'ed(new PrefsCategoryLoader(setCategory#2). errorCategory)
post	init'ed(new PrefsCategoryLoader(setCategory#2). leftPadding)
post	init'ed(new PrefsCategoryLoader(setCategory#2). padding)
post	init'ed(new PrefsCategoryLoader(setCategory#2). rightPadding)
post	new SwingPreferencesDialog(getSwingPreferencesDialo g#1).mainPanel == &new CategoryPanel(initCompon ents#1)
post	new SwingPreferencesDialog(getSwingPreferencesDialo g#1).tabList == &new JList(initComponents#2)
post	new SwingPreferencesDialog(getSwingPreferencesDialo g#1).worker == &new SwingPreferencesDialog$1(Sw ingPreferencesDialog#1)
unanalyzed	call on com.dmdirc.addons.ui_swing.UIUtilities:invo keAndWait
unanalyzed	call on java.util.Map:containsKey
unanalyzed	call on javax.swing.SwingWorker
unanalyzed	call on net.miginfocom.layout.PlatformDefaults:getU nitValueX
unanalyzed	call on net.miginfocom.layout.UnitValue:getValue
unanalyzed	call on net.miginfocom.layout.PlatformDefaults:getP anelInsets
unanalyzed	call on net.miginfocom.swing.MigLayout
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 javax.swing.JPanel:add
unanalyzed	call on javax.swing.SwingWorker:execute
unanalyzed	call on java.util.Map:put
unanalyzed	call on java.util.HashMap
unanalyzed	call on java.util.Collections:synchronizedMap
unanalyzed	call on javax.swing.JScrollPane
unanalyzed	call on javax.swing.JScrollPane:setHorizontalScroll BarPolicy
unanalyzed	call on javax.swing.BorderFactory:createEtchedBorde r
unanalyzed	call on com.dmdirc.addons.ui_swing.components. TitlePanel
unanalyzed	call on com.dmdirc.addons.ui_swing.components. ToolTipPanel
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs.prefs. CategoryPanel:add
unanalyzed	call on javax.swing.DefaultListModel
unanalyzed	call on javax.swing.JList
unanalyzed	call on javax.swing.JList:setSelectionMode
unanalyzed	call on javax.swing.JList:addListSelectionListener
unanalyzed	call on com.dmdirc.addons.ui_swing.components. ListScroller
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs.prefs. SwingPreferencesDialog:setDefaultCloseOperation
unanalyzed	call on java.awt.event.WindowAdapter
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs.prefs. SwingPreferencesDialog:addWindowListener
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs.prefs. SwingPreferencesDialog:setTitle
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs.prefs. SwingPreferencesDialog:setResizable
unanalyzed	call on javax.swing.JList:setBorder
unanalyzed	call on javax.swing.JButton
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs.prefs. SwingPreferencesDialog:orderButtons
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs.prefs. SwingPreferencesDialog:getOkButton
unanalyzed	call on javax.swing.JButton:addActionListener
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs.prefs. SwingPreferencesDialog:getCancelButton
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs.prefs. SwingPreferencesDialog:setLayout
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs.prefs. SwingPreferencesDialog:add
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs.prefs. SwingPreferencesDialog:getLeftButton
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs.prefs. SwingPreferencesDialog:getRightButton
unanalyzed	call on com.dmdirc.addons.ui_swing.components. StandardDialog
unanalyzed	call on com.dmdirc.addons.ui_swing.components. LoggingSwingWorker
unanalyzed	call on com.dmdirc.addons.ui_swing.components. LoggingSwingWorker:execute
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs.prefs. SwingPreferencesDialog:pack
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs.prefs. SwingPreferencesDialog:getParent
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs.prefs. SwingPreferencesDialog:setLocationRelativeTo
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs.prefs. SwingPreferencesDialog:setVisible
unanalyzed	call on java.lang.Throwable:__curr_excep_obj

method	SwingPreferencesDialog getSwingPreferencesDialog(W indow)
pre	init'ed(me)
post	me == One-of{old me, &new SwingPreferencesDialo g(getSwingPreferencesDialog#1)}
post	me != null
post	return_value == One-of{old me, &new SwingPreferencesDialog(getSwingPreferencesDialog#1 )}
post	return_value != null
post	new CategoryPanel(initComponents#1) num objects <= 1
post	init'ed(new CategoryPanel(initComponents#1). category)
post	init'ed(new CategoryPanel(initComponents#1). leftPadding)
post	new CategoryPanel(initComponents#1).loading == &new JPanel(CategoryPanel#3)
post	new CategoryPanel(initComponents#1).nullCategory == &new JPanel(CategoryPanel#6)
post	init'ed(new CategoryPanel(initComponents#1). padding)
post	new CategoryPanel(initComponents#1).panels != null
post	new CategoryPanel(initComponents#1).parent == &new SwingPreferencesDialog(getSwingPreference sDialog#1)
post	init'ed(new CategoryPanel(initComponents#1). rightPadding)
post	new CategoryPanel(initComponents#1).scrollPane == &new JScrollPane(CategoryPanel#12)
post	new CategoryPanel(initComponents#1).title == &new TitlePanel(CategoryPanel#13)
post	new CategoryPanel(initComponents#1).tooltip == &new ToolTipPanel(CategoryPanel#14)
post	new CategoryPanel(initComponents#1). waitingCategory == &new JPanel(CategoryPanel#9)
post	init'ed(new CategoryPanel(initComponents#1). worker)
post	new JList(initComponents#2) num objects <= 1
post	new JPanel(CategoryPanel#3) num objects <= 1
post	new JPanel(CategoryPanel#6) num objects <= 1
post	new JPanel(CategoryPanel#9) num objects <= 1
post	new JPanel(PrefsCategoryLoader#1) num objects <= 1
post	new JScrollPane(CategoryPanel#12) num objects <= 1
post	new PrefsCategoryLoader(setCategory#2) num objects <= 1
post	init'ed(new PrefsCategoryLoader(setCategory#2). category)
post	init'ed(new PrefsCategoryLoader(setCategory#2). categoryPanel)
post	init'ed(new PrefsCategoryLoader(setCategory#2). errorCategory)
post	init'ed(new PrefsCategoryLoader(setCategory#2). leftPadding)
post	init'ed(new PrefsCategoryLoader(setCategory#2). padding)
post	init'ed(new PrefsCategoryLoader(setCategory#2). rightPadding)
post	new SwingPreferencesDialog$1(SwingPreferencesDialog #1) num objects <= 1
post	new SwingPreferencesDialog(getSwingPreferencesDialo g#1) num objects <= 1
post	new SwingPreferencesDialog(getSwingPreferencesDialo g#1).mainPanel == &new CategoryPanel(initCompon ents#1)
post	new SwingPreferencesDialog(getSwingPreferencesDialo g#1).tabList == &new JList(initComponents#2)
post	new SwingPreferencesDialog(getSwingPreferencesDialo g#1).worker == &new SwingPreferencesDialog$1(Sw ingPreferencesDialog#1)
post	new TitlePanel(CategoryPanel#13) num objects <= 1
post	new ToolTipPanel(CategoryPanel#14) num objects <= 1
unanalyzed	call on com.dmdirc.addons.ui_swing.UIUtilities:invo keAndWait
unanalyzed	call on java.util.Map:containsKey
unanalyzed	call on javax.swing.SwingWorker
unanalyzed	call on net.miginfocom.layout.PlatformDefaults:getU nitValueX
unanalyzed	call on net.miginfocom.layout.UnitValue:getValue
unanalyzed	call on net.miginfocom.layout.PlatformDefaults:getP anelInsets
unanalyzed	call on net.miginfocom.swing.MigLayout
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 javax.swing.JPanel:add
unanalyzed	call on javax.swing.SwingWorker:execute
unanalyzed	call on java.util.Map:put
unanalyzed	call on java.util.HashMap
unanalyzed	call on java.util.Collections:synchronizedMap
unanalyzed	call on javax.swing.JScrollPane
unanalyzed	call on javax.swing.JScrollPane:setHorizontalScroll BarPolicy
unanalyzed	call on javax.swing.BorderFactory:createEtchedBorde r
unanalyzed	call on com.dmdirc.addons.ui_swing.components. TitlePanel
unanalyzed	call on com.dmdirc.addons.ui_swing.components. ToolTipPanel
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs.prefs. CategoryPanel:add
unanalyzed	call on javax.swing.DefaultListModel
unanalyzed	call on javax.swing.JList
unanalyzed	call on javax.swing.JList:setSelectionMode
unanalyzed	call on javax.swing.JList:addListSelectionListener
unanalyzed	call on com.dmdirc.addons.ui_swing.components. ListScroller
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs.prefs. SwingPreferencesDialog:setDefaultCloseOperation
unanalyzed	call on java.awt.event.WindowAdapter
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs.prefs. SwingPreferencesDialog:addWindowListener
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs.prefs. SwingPreferencesDialog:setTitle
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs.prefs. SwingPreferencesDialog:setResizable
unanalyzed	call on javax.swing.JList:setBorder
unanalyzed	call on javax.swing.JButton
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs.prefs. SwingPreferencesDialog:orderButtons
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs.prefs. SwingPreferencesDialog:getOkButton
unanalyzed	call on javax.swing.JButton:addActionListener
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs.prefs. SwingPreferencesDialog:getCancelButton
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs.prefs. SwingPreferencesDialog:setLayout
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs.prefs. SwingPreferencesDialog:add
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs.prefs. SwingPreferencesDialog:getLeftButton
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs.prefs. SwingPreferencesDialog:getRightButton
unanalyzed	call on com.dmdirc.addons.ui_swing.components. StandardDialog
unanalyzed	call on com.dmdirc.addons.ui_swing.components. LoggingSwingWorker
unanalyzed	call on com.dmdirc.addons.ui_swing.components. LoggingSwingWorker:execute

method	void initComponents()
presumption	(int) (net.miginfocom.layout.UnitValue:getValue(... )@58) in {-2³¹..2³²-1}
presumption	(int) (net.miginfocom.layout.UnitValue:getValue(... )@61) in {-2³¹..2³²-1}
presumption	(int) (net.miginfocom.layout.UnitValue:getValue(... )@64) in {-2³¹..2³²-1}
presumption	com.dmdirc.addons.ui_swing.dialogs.prefs. SwingPreferencesDialog:getCancelButton(...)@196 != null
presumption	com.dmdirc.addons.ui_swing.dialogs.prefs. SwingPreferencesDialog:getOkButton(...)@195 != null
presumption	java.util.Collections:synchronizedMap(...)@109 != null
post	this.mainPanel == &new CategoryPanel(initCompon ents#1)
post	this.tabList == &new JList(initComponents#2)
post	new CategoryPanel(initComponents#1) num objects == 1
post	new JList(initComponents#2) num objects == 1
post	new JPanel(CategoryPanel#3) num objects == 1
post	new JPanel(CategoryPanel#6) num objects == 1
post	new JPanel(CategoryPanel#9) num objects == 1
post	new JScrollPane(CategoryPanel#12) num objects == 1
post	new TitlePanel(CategoryPanel#13) num objects == 1
post	new ToolTipPanel(CategoryPanel#14) num objects == 1
post	init'ed(this.mainPanel.category)
post	init'ed(this.mainPanel.leftPadding)
post	this.mainPanel.loading == &new JPanel(CategoryP anel#3)
post	this.mainPanel.nullCategory == &new JPanel(CategoryPanel#6)
post	init'ed(this.mainPanel.padding)
post	this.mainPanel.panels != null
post	this.mainPanel.parent == this
post	this.mainPanel.parent != null
post	init'ed(this.mainPanel.rightPadding)
post	this.mainPanel.scrollPane == &new JScrollPane(CategoryPanel#12)
post	this.mainPanel.title == &new TitlePanel(Categor yPanel#13)
post	this.mainPanel.tooltip == &new ToolTipPanel(Cat egoryPanel#14)
post	this.mainPanel.waitingCategory == &new JPanel(CategoryPanel#9)
post	init'ed(this.mainPanel.worker)
post	new JPanel(PrefsCategoryLoader#1) num objects <= 1
post	new PrefsCategoryLoader(setCategory#2) num objects == new JPanel(PrefsCategoryLoader#1) num objects
post	init'ed(new PrefsCategoryLoader(setCategory#2). category)
post	init'ed(new PrefsCategoryLoader(setCategory#2). categoryPanel)
post	init'ed(new PrefsCategoryLoader(setCategory#2). errorCategory)
post	init'ed(new PrefsCategoryLoader(setCategory#2). leftPadding)
post	init'ed(new PrefsCategoryLoader(setCategory#2). padding)
post	init'ed(new PrefsCategoryLoader(setCategory#2). rightPadding)
unanalyzed	call on com.dmdirc.addons.ui_swing.UIUtilities:invo keAndWait
unanalyzed	call on java.util.Map:containsKey
unanalyzed	call on javax.swing.SwingWorker
unanalyzed	call on net.miginfocom.layout.PlatformDefaults:getU nitValueX
unanalyzed	call on net.miginfocom.layout.UnitValue:getValue
unanalyzed	call on net.miginfocom.layout.PlatformDefaults:getP anelInsets
unanalyzed	call on net.miginfocom.swing.MigLayout
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 javax.swing.JPanel:add
unanalyzed	call on javax.swing.SwingWorker:execute
unanalyzed	call on java.util.Map:put
unanalyzed	call on java.util.HashMap
unanalyzed	call on java.util.Collections:synchronizedMap
unanalyzed	call on javax.swing.JScrollPane
unanalyzed	call on javax.swing.JScrollPane:setHorizontalScroll BarPolicy
unanalyzed	call on javax.swing.BorderFactory:createEtchedBorde r
unanalyzed	call on com.dmdirc.addons.ui_swing.components. TitlePanel
unanalyzed	call on com.dmdirc.addons.ui_swing.components. ToolTipPanel
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs.prefs. CategoryPanel:add
unanalyzed	call on java.awt.event.WindowAdapter

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.components. ListScroller(JList)

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.dialogs. prefs.SwingPreferencesDialog:setDefaultCloseOperati on(int)

method

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

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.dialogs. prefs.SwingPreferencesDialog:addWindowListener(Wind owListener)

method	void windowClosing(WindowEvent)
pre	init'ed(com/dmdirc/addons/ui_swing/dialogs/prefs/Sw ingPreferencesDialog.me)
pre	init'ed(this.manager)
pre	init'ed(this.selected)
pre	init'ed(this.worker)
pre	this.mainPanel != null
pre	this.mainPanel.panels != null
pre	(soft) init'ed(this.parentWindow)
pre	(soft) this.tabList != null
post	com/dmdirc/addons/ui_swing/dialogs/prefs/SwingPrefe rencesDialog.me == null
post	this.mainPanel.worker == One-of{&new PrefsCategoryLoader(setCategory#2), old this.mainPanel.worker}
post	this.manager == One-of{old this.manager, null}
post	init'ed(this.manager)
post	this.worker == One-of{old this.worker, null}
post	init'ed(this.worker)
post	new JPanel(PrefsCategoryLoader#1) num objects <= 1
post	new PrefsCategoryLoader(setCategory#2) num objects == new JPanel(PrefsCategoryLoader#1) num objects
post	init'ed(new PrefsCategoryLoader(setCategory#2). category)
post	init'ed(new PrefsCategoryLoader(setCategory#2). categoryPanel)
post	init'ed(new PrefsCategoryLoader(setCategory#2). errorCategory)
post	init'ed(new PrefsCategoryLoader(setCategory#2). leftPadding)
post	init'ed(new PrefsCategoryLoader(setCategory#2). padding)
post	init'ed(new PrefsCategoryLoader(setCategory#2). rightPadding)
unanalyzed	call on com.dmdirc.addons.ui_swing.UIUtilities:invo keAndWait
unanalyzed	call on java.util.Map:containsKey
unanalyzed	call on javax.swing.SwingWorker
unanalyzed	call on net.miginfocom.layout.PlatformDefaults:getU nitValueX
unanalyzed	call on net.miginfocom.layout.UnitValue:getValue
unanalyzed	call on net.miginfocom.layout.PlatformDefaults:getP anelInsets
unanalyzed	call on net.miginfocom.swing.MigLayout
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 javax.swing.JPanel:add
unanalyzed	call on javax.swing.SwingWorker:execute
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs.prefs. SwingPreferencesDialog:getOkButton
unanalyzed	call on com.dmdirc.config.prefs.PreferencesManager: save
unanalyzed	call on javax.swing.JOptionPane:showMessageDialog
unanalyzed	call on com.dmdirc.addons.ui_swing.components. LoggingSwingWorker:isDone
unanalyzed	call on com.dmdirc.addons.ui_swing.components. LoggingSwingWorker:cancel
unanalyzed	call on com.dmdirc.config.prefs.PreferencesManager: close
unanalyzed	call on com.dmdirc.addons.ui_swing.components. StandardDialog:dispose
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on com.dmdirc.config.prefs.PreferencesCategory :getPath
unanalyzed	call on javax.swing.JList:getSelectedValue
unanalyzed	call on com.dmdirc.config.prefs.PreferencesCategory :fireCategoryDeselected
unanalyzed	call on java.awt.event.ActionEvent:getSource
unanalyzed	call on java.lang.Object:equals
unanalyzed	call on javax.swing.JList:getSelectedIndex
unanalyzed	call on com.dmdirc.config.IdentityManager:getConfig Identity
unanalyzed	call on com.dmdirc.config.Identity:setOption
unanalyzed	call on com.dmdirc.config.prefs.PreferencesManager: dismiss

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.dialogs. prefs.SwingPreferencesDialog:setTitle(String)

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.dialogs. prefs.SwingPreferencesDialog:setResizable(bool)

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.dialogs. prefs.SwingPreferencesDialog:orderButtons(JButton, JButton)

method not available - call not analyzed Info call on JButton com.dmdirc.addons.ui_swing.dialogs. prefs.SwingPreferencesDialog:getOkButton()

method not available - call not analyzed Info call on JButton com.dmdirc.addons.ui_swing.dialogs. prefs.SwingPreferencesDialog:getCancelButton()

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.dialogs. prefs.SwingPreferencesDialog:setLayout(LayoutManage r)

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.dialogs. prefs.SwingPreferencesDialog:add(Component, Object)

method not available - call not analyzed Info call on JButton com.dmdirc.addons.ui_swing.dialogs. prefs.SwingPreferencesDialog:getLeftButton()

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.dialogs. prefs.SwingPreferencesDialog:add(Component, Object)

method not available - call not analyzed Info call on JButton com.dmdirc.addons.ui_swing.dialogs. prefs.SwingPreferencesDialog:getRightButton()

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.dialogs. prefs.SwingPreferencesDialog:add(Component, Object)

method	void com.dmdirc.addons.ui_swing.dialogs.prefs. SwingPreferencesDialog$3(SwingPreferencesDialog, List)
post	this.val$categories == Param_2
post	init'ed(this.val$categories)

method	void addCategories(List)
pre	this.mainPanel != null
pre	this.mainPanel.scrollPane != null
pre	init'ed(this.mainPanel.waitingCategory)
post	this.mainPanel.waiting == 0
unanalyzed	call on javax.swing.JScrollPane:setViewportView

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing. UIUtilities:invokeLater(Runnable)

method	void run()
pre	this.tabList != null
pre	this.val$categories != null
pre	(soft) this.mainPanel != null
pre	(soft) this.mainPanel.scrollPane != null
pre	(soft) init'ed(this.mainPanel.waitingCategory)
presumption	java.util.Iterator:next(...)@215 != null
presumption	javax.swing.JList:getModel(...)@217 != null
unanalyzed	call on com.dmdirc.addons.ui_swing.UIUtilities:invo keLater
unanalyzed	call on javax.swing.JScrollPane:setViewportView
unanalyzed	call on com.dmdirc.config.IdentityManager:getGlobal Config
unanalyzed	call on com.dmdirc.config.ConfigManager:getOption
unanalyzed	call on javax.swing.JList:getModel
unanalyzed	call on javax.swing.DefaultListModel:getSize
unanalyzed	call on javax.swing.DefaultListModel:get
unanalyzed	call on com.dmdirc.config.prefs.PreferencesCategory :getPath
unanalyzed	call on java.lang.String:equals
unanalyzed	call on javax.swing.JList:setSelectedIndex
test_vector	com.dmdirc.config.prefs.PreferencesCategory:isInlin e(...)@216: {1}, {0}
test_vector	java.util.Iterator:hasNext(...)@215: {0}, {1}

method not available - call not analyzed Info call on bool com.dmdirc.config.prefs. PreferencesCategory:isInline()

method not available - call not analyzed Info call on List com.dmdirc.config.prefs. PreferencesCategory:getSubcats()

method	int countCategories(Collection)
pre	categories != null
presumption	com.dmdirc.config.prefs.PreferencesCategory:getSubc ats(...)@241 != null
presumption	java.util.Iterator:next(...)@239 != null
post	init'ed(return_value)
unanalyzed	call on java.util.Collection:iterator
unanalyzed	call on com.dmdirc.config.prefs.PreferencesCategory :isInline
unanalyzed	call on com.dmdirc.config.prefs.PreferencesCategory :getSubcats
unanalyzed	call on countCategories
test_vector	com.dmdirc.config.prefs.PreferencesCategory:isInlin e(...)@240: {1}, {0}
test_vector	java.util.Iterator:hasNext(...)@239: {0}, {1}

method not available - call not analyzed Info call on bool com.dmdirc.config.prefs. PreferencesCategory:isInline()

method not available - call not analyzed Info call on List com.dmdirc.config.prefs. PreferencesCategory:getSubcats()

method	void actionPerformed(ActionEvent)
pre	init'ed(me)
pre	init'ed(this.manager)
pre	init'ed(this.selected)
pre	init'ed(this.worker)
pre	this.mainPanel != null
pre	this.mainPanel.panels != null
pre	(soft) init'ed(this.parentWindow)
pre	(soft) this.tabList != null
presumption	com.dmdirc.addons.ui_swing.dialogs.prefs. SwingPreferencesDialog:getOkButton(...)@261 != null
presumption	com.dmdirc.config.IdentityManager:getConfigIdentity (...)@264 != null
presumption	javax.swing.JList:getSelectedValue(...)@263 != null
post	me == null
post	this.mainPanel.category == null
post	this.mainPanel.worker == One-of{&new PrefsCategoryLoader(setCategory#2), old this.mainPanel.worker}
post	this.manager == One-of{old this.manager, null}
post	init'ed(this.manager)
post	this.selected == null
post	this.worker == One-of{old this.worker, null}
post	init'ed(this.worker)
post	new JPanel(PrefsCategoryLoader#1) num objects <= 1
post	new PrefsCategoryLoader(setCategory#2) num objects == new JPanel(PrefsCategoryLoader#1) num objects
post	init'ed(new PrefsCategoryLoader(setCategory#2). category)
post	init'ed(new PrefsCategoryLoader(setCategory#2). categoryPanel)
post	init'ed(new PrefsCategoryLoader(setCategory#2). errorCategory)
post	init'ed(new PrefsCategoryLoader(setCategory#2). leftPadding)
post	init'ed(new PrefsCategoryLoader(setCategory#2). padding)
post	init'ed(new PrefsCategoryLoader(setCategory#2). rightPadding)
unanalyzed	call on com.dmdirc.addons.ui_swing.UIUtilities:invo keAndWait
unanalyzed	call on java.util.Map:containsKey
unanalyzed	call on javax.swing.SwingWorker
unanalyzed	call on net.miginfocom.layout.PlatformDefaults:getU nitValueX
unanalyzed	call on net.miginfocom.layout.UnitValue:getValue
unanalyzed	call on net.miginfocom.layout.PlatformDefaults:getP anelInsets
unanalyzed	call on net.miginfocom.swing.MigLayout
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 javax.swing.JPanel:add
unanalyzed	call on javax.swing.SwingWorker:execute
unanalyzed	call on com.dmdirc.config.prefs.PreferencesManager: save
unanalyzed	call on javax.swing.JOptionPane:showMessageDialog
unanalyzed	call on com.dmdirc.addons.ui_swing.components. LoggingSwingWorker:isDone
unanalyzed	call on com.dmdirc.addons.ui_swing.components. LoggingSwingWorker:cancel
unanalyzed	call on com.dmdirc.config.prefs.PreferencesManager: close
unanalyzed	call on com.dmdirc.addons.ui_swing.components. StandardDialog:dispose
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
test_vector	actionEvent: Addr_Set{null}, Inverse{null}
test_vector	this.manager: Addr_Set{null}, Inverse{null}
test_vector	this.selected: Addr_Set{null}, Inverse{null}
test_vector	java.lang.Object:equals(...)@261: {0}, {1}
test_vector	javax.swing.JList:getSelectedIndex(...)@262: {-2³¹..-1}, {0..2³²-1}

method not available - call not analyzed Info call on void com.dmdirc.config.prefs. PreferencesCategory:fireCategoryDeselected()

method not available - call not analyzed Info call on JButton com.dmdirc.addons.ui_swing.dialogs. prefs.SwingPreferencesDialog:getOkButton()

method not available - call not analyzed Info call on Identity com.dmdirc.config.IdentityManager: getConfigIdentity()

method not available - call not analyzed Info call on String com.dmdirc.config.prefs. PreferencesCategory:getPath()

method not available - call not analyzed Info call on void com.dmdirc.config.Identity:setOption(S tring, String, String)

method not available - call not analyzed Info call on void com.dmdirc.config.prefs. PreferencesManager:dismiss()

method	void valueChanged(ListSelectionEvent)
pre	e != null
pre	(soft) init'ed(this.selected)
pre	(soft) this.mainPanel != null
pre	(soft) this.mainPanel.panels != null
pre	(soft) this.tabList != null
post	possibly_updated(this.mainPanel.category)
post	this.mainPanel.worker == One-of{old this.mainPanel.worker, &new PrefsCategoryLoade r(setCategory#2)}
post	init'ed(this.selected)
post	new JPanel(PrefsCategoryLoader#1) num objects <= 1
post	new PrefsCategoryLoader(setCategory#2) num objects <= 1
post	init'ed(new PrefsCategoryLoader(setCategory#2). category)
post	init'ed(new PrefsCategoryLoader(setCategory#2). categoryPanel)
post	init'ed(new PrefsCategoryLoader(setCategory#2). errorCategory)
post	init'ed(new PrefsCategoryLoader(setCategory#2). leftPadding)
post	init'ed(new PrefsCategoryLoader(setCategory#2). padding)
post	init'ed(new PrefsCategoryLoader(setCategory#2). rightPadding)
unanalyzed	call on com.dmdirc.addons.ui_swing.UIUtilities:invo keAndWait
unanalyzed	call on java.util.Map:containsKey
unanalyzed	call on javax.swing.SwingWorker
unanalyzed	call on net.miginfocom.layout.PlatformDefaults:getU nitValueX
unanalyzed	call on net.miginfocom.layout.UnitValue:getValue
unanalyzed	call on net.miginfocom.layout.PlatformDefaults:getP anelInsets
unanalyzed	call on net.miginfocom.swing.MigLayout
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 javax.swing.JPanel:add
unanalyzed	call on javax.swing.SwingWorker:execute
test_vector	this.selected: Addr_Set{null}, Inverse{null}
test_vector	javax.swing.event.ListSelectionEvent:getValueIsAdju sting(...)@283: {1}, {0}

method not available - call not analyzed Info call on void com.dmdirc.config.prefs. PreferencesCategory:fireCategoryDeselected()

Prev Msg Next Msg

test always goes same way

click for all messages in this file Low Prob.

Test predetermined because this.selected != null

Prev Msg Next Msg

method not available - call not analyzed Info call on void com.dmdirc.config.prefs. PreferencesCategory:fireCategorySelected()

method	PreferencesCategory getSelectedCategory()
pre	init'ed(this.selected)
post	return_value == this.selected
post	init'ed(return_value)

method	void saveOptions()
pre	init'ed(this.manager)
pre	(soft) init'ed(this.parentWindow)
test_vector	this.manager: Addr_Set{null}, Inverse{null}
test_vector	com.dmdirc.config.prefs.PreferencesManager:save(... )@318: {0}, {1}

method not available - call not analyzed Info call on bool com.dmdirc.config.prefs. PreferencesManager:save()

method	void restoreActiveCategory()
pre	this.tabList != null
presumption	com.dmdirc.config.ConfigManager:getOption(...)@329 != null
presumption	com.dmdirc.config.IdentityManager:getGlobalConfig(. ..)@329 != null
presumption	javax.swing.DefaultListModel:get(...)@334 != null
presumption	javax.swing.JList:getModel(...)@331 != null
test_vector	java.lang.String:equals(...)@336: {0}, {1}

method not available - call not analyzed Info call on ConfigManager com.dmdirc.config. IdentityManager:getGlobalConfig()

method not available - call not analyzed Info call on String com.dmdirc.config.ConfigManager:getO ption(String, String)

method not available - call not analyzed Info call on String com.dmdirc.config.prefs. PreferencesCategory:getPath()

method

void display()

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.dialogs. prefs.SwingPreferencesDialog:pack()

method not available - call not analyzed Info call on Container com.dmdirc.addons.ui_swing. dialogs.prefs.SwingPreferencesDialog:getParent()

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.dialogs. prefs.SwingPreferencesDialog:setLocationRelativeTo( Component)

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.dialogs. prefs.SwingPreferencesDialog:setVisible(bool)

method	void dispose()
pre	init'ed(me)
pre	init'ed(this.manager)
pre	init'ed(this.worker)
post	me == null
post	this.manager == One-of{old this.manager, null}
post	init'ed(this.manager)
post	this.worker == One-of{old this.worker, null}
post	init'ed(this.worker)
test_vector	me: Inverse{null}, Addr_Set{null}
test_vector	this.manager: Addr_Set{null}, Inverse{null}
test_vector	this.worker: Addr_Set{null}, Inverse{null}
test_vector	com.dmdirc.addons.ui_swing.components. LoggingSwingWorker:isDone(...)@356: {1}, {0}

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

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

method not available - call not analyzed Info call on void com.dmdirc.config.prefs. PreferencesManager:close()

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

	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.dialogs. prefs.SwingPreferencesDialog:setLayout(LayoutManage r)

	method not available - call not analyzed	Info	call on JButton com.dmdirc.addons.ui_swing.dialogs. prefs.SwingPreferencesDialog:getLeftButton()
	method not available - call not analyzed	Info	call on void com.dmdirc.addons.ui_swing.dialogs. prefs.SwingPreferencesDialog:add(Component, Object)

method not available - call not analyzed	Info	call on Identity com.dmdirc.config.IdentityManager: getConfigIdentity()
method not available - call not analyzed	Info	call on String com.dmdirc.config.prefs. PreferencesCategory:getPath()
method not available - call not analyzed	Info	call on void com.dmdirc.config.Identity:setOption(S tring, String, String)

	method not available - call not analyzed	Info	call on ConfigManager com.dmdirc.config. IdentityManager:getGlobalConfig()
	method not available - call not analyzed	Info	call on String com.dmdirc.config.ConfigManager:getO ption(String, String)

	method not available - call not analyzed	Info	call on Container com.dmdirc.addons.ui_swing. dialogs.prefs.SwingPreferencesDialog:getParent()
	method not available - call not analyzed	Info	call on void com.dmdirc.addons.ui_swing.dialogs. prefs.SwingPreferencesDialog:setLocationRelativeTo( Component)