PrefsCategoryLoader.java

PrefsCategoryLoader.java

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

Filter Options

Annotation Kind:

pre

presumption

post

unanalyzed

test_vector

JPanel addCategory(PreferencesCategory)

Kind	Annotation Text
pre	(soft) init'ed(this.categoryPanel.parent)
pre	(soft) this.categoryPanel != null
pre	(soft) this.categoryPanel.tooltip != null
pre	category != null
post	new JPanel(addCategory#1) num objects == 1
post	return_value == &new JPanel(addCategory#1)
unanalyzed	call on addCategory
unanalyzed	call on com.dmdirc.addons.ui_swing.PrefsComponentFa ctory:getComponent
unanalyzed	call on com.dmdirc.addons.ui_swing.components. ColourChooser:instanceof
unanalyzed	call on com.dmdirc.addons.ui_swing.components. ColourChooser:setWindow
unanalyzed	call on com.dmdirc.addons.ui_swing.components. OptionalColourChooser:instanceof
unanalyzed	call on com.dmdirc.addons.ui_swing.components. OptionalColourChooser:setWindow
unanalyzed	call on com.dmdirc.addons.ui_swing.components. ToolTipPanel:registerTooltipHandler
unanalyzed	call on com.dmdirc.addons.ui_swing.components. durationeditor.DurationDisplay:instanceof
unanalyzed	call on com.dmdirc.addons.ui_swing.components. durationeditor.DurationDisplay:setWindow
unanalyzed	call on com.dmdirc.addons.ui_swing.components.text. TextLabel:setEditable
unanalyzed	call on com.dmdirc.addons.ui_swing.components.text. TextLabel:setEditorKit
unanalyzed	call on com.dmdirc.addons.ui_swing.components.text. TextLabel:setHighlighter
unanalyzed	call on com.dmdirc.addons.ui_swing.components.text. TextLabel:setMargin
unanalyzed	call on com.dmdirc.addons.ui_swing.components.text. TextLabel:setOpaque
unanalyzed	call on com.dmdirc.addons.ui_swing.components.text. TextLabel:setToolTipText
unanalyzed	call on com.dmdirc.addons.ui_swing.components.text. TextLabel:setUI
unanalyzed	call on com.dmdirc.config.prefs.PreferencesCategory :getDescription
unanalyzed	call on com.dmdirc.config.prefs.PreferencesCategory :getObject
unanalyzed	call on com.dmdirc.config.prefs.PreferencesCategory :getPath
unanalyzed	call on com.dmdirc.config.prefs.PreferencesCategory :getSettings
unanalyzed	call on com.dmdirc.config.prefs.PreferencesCategory :getSubcats
unanalyzed	call on com.dmdirc.config.prefs.PreferencesCategory :getTitle
unanalyzed	call on com.dmdirc.config.prefs.PreferencesCategory :hasObject
unanalyzed	call on com.dmdirc.config.prefs.PreferencesCategory :isInline
unanalyzed	call on com.dmdirc.config.prefs.PreferencesCategory :isInlineBefore
unanalyzed	call on com.dmdirc.config.prefs.PreferencesSetting: getHelptext
unanalyzed	call on com.dmdirc.config.prefs.PreferencesSetting: getTitle
unanalyzed	call on getParentWindow
unanalyzed	call on getToolTipPanel
unanalyzed	call on initCategory
unanalyzed	call on java.awt.Font:getFamily
unanalyzed	call on java.awt.Font:getSize
unanalyzed	call on java.awt.Insets
unanalyzed	call on java.lang.String:isEmpty
unanalyzed	call on java.lang.String:length
unanalyzed	call on java.util.List:iterator
unanalyzed	call on javax.swing.BorderFactory:createTitledBorde r
unanalyzed	call on javax.swing.JComponent:setToolTipText
unanalyzed	call on javax.swing.JPanel
unanalyzed	call on javax.swing.JPanel:add
unanalyzed	call on javax.swing.JPanel:instanceof
unanalyzed	call on javax.swing.JPanel:setBorder
unanalyzed	call on javax.swing.JTextPane
unanalyzed	call on javax.swing.JTextPane:getDocument
unanalyzed	call on javax.swing.JTextPane:setText
unanalyzed	call on javax.swing.UIManager:getFont
unanalyzed	call on javax.swing.plaf.basic.BasicTextPaneUI
unanalyzed	call on javax.swing.text.DefaultStyledDocument
unanalyzed	call on javax.swing.text.SimpleAttributeSet
unanalyzed	call on javax.swing.text.StyleConstants:setAlignmen t
unanalyzed	call on javax.swing.text.StyledDocument:setParagrap hAttributes
unanalyzed	call on javax.swing.text.html.HTMLDocument:getStyle Sheet
unanalyzed	call on javax.swing.text.html.HTMLEditorKit
unanalyzed	call on javax.swing.text.html.StyleSheet:addRule
unanalyzed	call on net.miginfocom.swing.MigLayout

void addComponent(PreferencesCategory, PreferencesSetting, JPanel)

Kind	Annotation Text
pre	(soft) init'ed(this.categoryPanel.parent)
pre	panel != null
pre	setting != null
pre	this.categoryPanel != null
pre	this.categoryPanel.tooltip != null
presumption	com.dmdirc.addons.ui_swing.PrefsComponentFactory:ge tComponent(...)@179 != null
unanalyzed	call on com.dmdirc.addons.ui_swing.components.text. TextLabel:setEditable
unanalyzed	call on com.dmdirc.addons.ui_swing.components.text. TextLabel:setEditorKit
unanalyzed	call on com.dmdirc.addons.ui_swing.components.text. TextLabel:setHighlighter
unanalyzed	call on com.dmdirc.addons.ui_swing.components.text. TextLabel:setMargin
unanalyzed	call on com.dmdirc.addons.ui_swing.components.text. TextLabel:setOpaque
unanalyzed	call on com.dmdirc.addons.ui_swing.components.text. TextLabel:setToolTipText
unanalyzed	call on com.dmdirc.addons.ui_swing.components.text. TextLabel:setUI
unanalyzed	call on com.dmdirc.config.prefs.PreferencesSetting: getHelptext
unanalyzed	call on com.dmdirc.config.prefs.PreferencesSetting: getTitle
unanalyzed	call on java.awt.Font:getFamily
unanalyzed	call on java.awt.Font:getSize
unanalyzed	call on java.awt.Insets
unanalyzed	call on java.lang.String:isEmpty
unanalyzed	call on java.lang.String:length
unanalyzed	call on javax.swing.JTextPane
unanalyzed	call on javax.swing.JTextPane:getDocument
unanalyzed	call on javax.swing.JTextPane:setText
unanalyzed	call on javax.swing.UIManager:getFont
unanalyzed	call on javax.swing.plaf.basic.BasicTextPaneUI
unanalyzed	call on javax.swing.text.DefaultStyledDocument
unanalyzed	call on javax.swing.text.SimpleAttributeSet
unanalyzed	call on javax.swing.text.StyleConstants:setAlignmen t
unanalyzed	call on javax.swing.text.StyledDocument:setParagrap hAttributes
unanalyzed	call on javax.swing.text.html.HTMLDocument:getStyle Sheet
unanalyzed	call on javax.swing.text.html.HTMLEditorKit
unanalyzed	call on javax.swing.text.html.StyleSheet:addRule
test_vector	com.dmdirc.addons.ui_swing.components. ColourChooser:instanceof(...)@187: {0}, {1}
test_vector	com.dmdirc.addons.ui_swing.components. OptionalColourChooser:instanceof(...)@189: {0}, {1}
test_vector	com.dmdirc.addons.ui_swing.components. durationeditor.DurationDisplay:instanceof(... )@185: {0}, {1}

void addInlineCategory(PreferencesCategory, JPanel)

Kind	Annotation Text
pre	(soft) init'ed(this.categoryPanel.parent)
pre	(soft) this.categoryPanel != null
pre	(soft) this.categoryPanel.tooltip != null
pre	category != null
pre	parent != null
unanalyzed	call on addCategory
unanalyzed	call on com.dmdirc.addons.ui_swing.PrefsComponentFa ctory:getComponent
unanalyzed	call on com.dmdirc.addons.ui_swing.components. ColourChooser:instanceof
unanalyzed	call on com.dmdirc.addons.ui_swing.components. ColourChooser:setWindow
unanalyzed	call on com.dmdirc.addons.ui_swing.components. OptionalColourChooser:instanceof
unanalyzed	call on com.dmdirc.addons.ui_swing.components. OptionalColourChooser:setWindow
unanalyzed	call on com.dmdirc.addons.ui_swing.components. ToolTipPanel:registerTooltipHandler
unanalyzed	call on com.dmdirc.addons.ui_swing.components. durationeditor.DurationDisplay:instanceof
unanalyzed	call on com.dmdirc.addons.ui_swing.components. durationeditor.DurationDisplay:setWindow
unanalyzed	call on com.dmdirc.addons.ui_swing.components.text. TextLabel:setEditable
unanalyzed	call on com.dmdirc.addons.ui_swing.components.text. TextLabel:setEditorKit
unanalyzed	call on com.dmdirc.addons.ui_swing.components.text. TextLabel:setHighlighter
unanalyzed	call on com.dmdirc.addons.ui_swing.components.text. TextLabel:setMargin
unanalyzed	call on com.dmdirc.addons.ui_swing.components.text. TextLabel:setOpaque
unanalyzed	call on com.dmdirc.addons.ui_swing.components.text. TextLabel:setToolTipText
unanalyzed	call on com.dmdirc.addons.ui_swing.components.text. TextLabel:setUI
unanalyzed	call on com.dmdirc.config.prefs.PreferencesCategory :getDescription
unanalyzed	call on com.dmdirc.config.prefs.PreferencesCategory :getObject
unanalyzed	call on com.dmdirc.config.prefs.PreferencesCategory :getPath
unanalyzed	call on com.dmdirc.config.prefs.PreferencesCategory :getSettings
unanalyzed	call on com.dmdirc.config.prefs.PreferencesCategory :getSubcats
unanalyzed	call on com.dmdirc.config.prefs.PreferencesCategory :getTitle
unanalyzed	call on com.dmdirc.config.prefs.PreferencesCategory :hasObject
unanalyzed	call on com.dmdirc.config.prefs.PreferencesCategory :isInline
unanalyzed	call on com.dmdirc.config.prefs.PreferencesCategory :isInlineBefore
unanalyzed	call on com.dmdirc.config.prefs.PreferencesSetting: getHelptext
unanalyzed	call on com.dmdirc.config.prefs.PreferencesSetting: getTitle
unanalyzed	call on getParentWindow
unanalyzed	call on getToolTipPanel
unanalyzed	call on initCategory
unanalyzed	call on java.awt.Font:getFamily
unanalyzed	call on java.awt.Font:getSize
unanalyzed	call on java.awt.Insets
unanalyzed	call on java.lang.String:isEmpty
unanalyzed	call on java.lang.String:length
unanalyzed	call on java.util.List:iterator
unanalyzed	call on javax.swing.BorderFactory:createTitledBorde r
unanalyzed	call on javax.swing.JComponent:setToolTipText
unanalyzed	call on javax.swing.JPanel
unanalyzed	call on javax.swing.JPanel:add
unanalyzed	call on javax.swing.JPanel:instanceof
unanalyzed	call on javax.swing.JPanel:setBorder
unanalyzed	call on javax.swing.JTextPane
unanalyzed	call on javax.swing.JTextPane:getDocument
unanalyzed	call on javax.swing.JTextPane:setText
unanalyzed	call on javax.swing.UIManager:getFont
unanalyzed	call on javax.swing.plaf.basic.BasicTextPaneUI
unanalyzed	call on javax.swing.text.DefaultStyledDocument
unanalyzed	call on javax.swing.text.SimpleAttributeSet
unanalyzed	call on javax.swing.text.StyleConstants:setAlignmen t
unanalyzed	call on javax.swing.text.StyledDocument:setParagrap hAttributes
unanalyzed	call on javax.swing.text.html.HTMLDocument:getStyle Sheet
unanalyzed	call on javax.swing.text.html.HTMLEditorKit
unanalyzed	call on javax.swing.text.html.StyleSheet:addRule
unanalyzed	call on net.miginfocom.swing.MigLayout

void com.dmdirc.addons.ui_swing.dialogs.prefs.PrefsCategoryLoader(CategoryPanel, PreferencesCategory)

Kind	Annotation Text
presumption	(int) (net.miginfocom.layout.UnitValue:getValue(... )@52) in {-2³¹..2³²-1}
presumption	(int) (net.miginfocom.layout.UnitValue:getValue(... )@55) in {-2³¹..2³²-1}
presumption	(int) (net.miginfocom.layout.UnitValue:getValue(... )@58) in {-2³¹..2³²-1}
presumption	net.miginfocom.layout.PlatformDefaults:getPanelInse ts(...)@55 != null
presumption	net.miginfocom.layout.PlatformDefaults:getPanelInse ts(...)@58 != null
presumption	net.miginfocom.layout.PlatformDefaults:getUnitValue X(...)@52 != null
post	init'ed(this.category)
post	init'ed(this.categoryPanel)
post	init'ed(this.leftPadding)
post	init'ed(this.padding)
post	init'ed(this.rightPadding)
post	new JPanel(PrefsCategoryLoader#1) num objects == 1
post	this.category == category
post	this.categoryPanel == categoryPanel
post	this.errorCategory == &new JPanel(PrefsCategory Loader#1)
unanalyzed	call on com.dmdirc.addons.ui_swing.components.text. TextLabel:setEditable
unanalyzed	call on com.dmdirc.addons.ui_swing.components.text. TextLabel:setEditorKit
unanalyzed	call on com.dmdirc.addons.ui_swing.components.text. TextLabel:setHighlighter
unanalyzed	call on com.dmdirc.addons.ui_swing.components.text. TextLabel:setMargin
unanalyzed	call on com.dmdirc.addons.ui_swing.components.text. TextLabel:setOpaque
unanalyzed	call on com.dmdirc.addons.ui_swing.components.text. TextLabel:setUI
unanalyzed	call on java.awt.Font:getFamily
unanalyzed	call on java.awt.Font:getSize
unanalyzed	call on java.awt.Insets
unanalyzed	call on java.lang.String:isEmpty
unanalyzed	call on java.lang.String:length
unanalyzed	call on javax.swing.JTextPane
unanalyzed	call on javax.swing.JTextPane:getDocument
unanalyzed	call on javax.swing.JTextPane:setText
unanalyzed	call on javax.swing.UIManager:getFont
unanalyzed	call on javax.swing.plaf.basic.BasicTextPaneUI
unanalyzed	call on javax.swing.text.DefaultStyledDocument
unanalyzed	call on javax.swing.text.SimpleAttributeSet
unanalyzed	call on javax.swing.text.StyleConstants:setAlignmen t
unanalyzed	call on javax.swing.text.StyledDocument:setParagrap hAttributes
unanalyzed	call on javax.swing.text.html.HTMLDocument:getStyle Sheet
unanalyzed	call on javax.swing.text.html.HTMLEditorKit
unanalyzed	call on javax.swing.text.html.StyleSheet:addRule

com.dmdirc.addons.ui_swing.dialogs.prefs.PrefsCategoryLoader__static_init

Kind	Annotation Text

Object doInBackground()

Kind	Annotation Text
pre	(soft) init'ed(this.categoryPanel.parent)
pre	(soft) this.categoryPanel != null
pre	(soft) this.categoryPanel.tooltip != null
pre	this.category != null
post	new JPanel(addCategory#1) num objects == 1
post	return_value == &new JPanel(addCategory#1)
unanalyzed	call on addCategory
unanalyzed	call on com.dmdirc.addons.ui_swing.PrefsComponentFa ctory:getComponent
unanalyzed	call on com.dmdirc.addons.ui_swing.components. ColourChooser:instanceof
unanalyzed	call on com.dmdirc.addons.ui_swing.components. ColourChooser:setWindow
unanalyzed	call on com.dmdirc.addons.ui_swing.components. OptionalColourChooser:instanceof
unanalyzed	call on com.dmdirc.addons.ui_swing.components. OptionalColourChooser:setWindow
unanalyzed	call on com.dmdirc.addons.ui_swing.components. ToolTipPanel:registerTooltipHandler
unanalyzed	call on com.dmdirc.addons.ui_swing.components. durationeditor.DurationDisplay:instanceof
unanalyzed	call on com.dmdirc.addons.ui_swing.components. durationeditor.DurationDisplay:setWindow
unanalyzed	call on com.dmdirc.addons.ui_swing.components.text. TextLabel:setEditable
unanalyzed	call on com.dmdirc.addons.ui_swing.components.text. TextLabel:setEditorKit
unanalyzed	call on com.dmdirc.addons.ui_swing.components.text. TextLabel:setHighlighter
unanalyzed	call on com.dmdirc.addons.ui_swing.components.text. TextLabel:setMargin
unanalyzed	call on com.dmdirc.addons.ui_swing.components.text. TextLabel:setOpaque
unanalyzed	call on com.dmdirc.addons.ui_swing.components.text. TextLabel:setToolTipText
unanalyzed	call on com.dmdirc.addons.ui_swing.components.text. TextLabel:setUI
unanalyzed	call on com.dmdirc.config.prefs.PreferencesCategory :getDescription
unanalyzed	call on com.dmdirc.config.prefs.PreferencesCategory :getObject
unanalyzed	call on com.dmdirc.config.prefs.PreferencesCategory :getPath
unanalyzed	call on com.dmdirc.config.prefs.PreferencesCategory :getSettings
unanalyzed	call on com.dmdirc.config.prefs.PreferencesCategory :getSubcats
unanalyzed	call on com.dmdirc.config.prefs.PreferencesCategory :getTitle
unanalyzed	call on com.dmdirc.config.prefs.PreferencesCategory :hasObject
unanalyzed	call on com.dmdirc.config.prefs.PreferencesCategory :isInline
unanalyzed	call on com.dmdirc.config.prefs.PreferencesCategory :isInlineBefore
unanalyzed	call on com.dmdirc.config.prefs.PreferencesSetting: getHelptext
unanalyzed	call on com.dmdirc.config.prefs.PreferencesSetting: getTitle
unanalyzed	call on getParentWindow
unanalyzed	call on getToolTipPanel
unanalyzed	call on initCategory
unanalyzed	call on java.awt.Font:getFamily
unanalyzed	call on java.awt.Font:getSize
unanalyzed	call on java.awt.Insets
unanalyzed	call on java.lang.String:isEmpty
unanalyzed	call on java.lang.String:length
unanalyzed	call on java.util.List:iterator
unanalyzed	call on javax.swing.BorderFactory:createTitledBorde r
unanalyzed	call on javax.swing.JComponent:setToolTipText
unanalyzed	call on javax.swing.JPanel
unanalyzed	call on javax.swing.JPanel:add
unanalyzed	call on javax.swing.JPanel:instanceof
unanalyzed	call on javax.swing.JPanel:setBorder
unanalyzed	call on javax.swing.JTextPane
unanalyzed	call on javax.swing.JTextPane:getDocument
unanalyzed	call on javax.swing.JTextPane:setText
unanalyzed	call on javax.swing.UIManager:getFont
unanalyzed	call on javax.swing.plaf.basic.BasicTextPaneUI
unanalyzed	call on javax.swing.text.DefaultStyledDocument
unanalyzed	call on javax.swing.text.SimpleAttributeSet
unanalyzed	call on javax.swing.text.StyleConstants:setAlignmen t
unanalyzed	call on javax.swing.text.StyledDocument:setParagrap hAttributes
unanalyzed	call on javax.swing.text.html.HTMLDocument:getStyle Sheet
unanalyzed	call on javax.swing.text.html.HTMLEditorKit
unanalyzed	call on javax.swing.text.html.StyleSheet:addRule
unanalyzed	call on net.miginfocom.swing.MigLayout

JPanel doInBackground()

Kind	Annotation Text
pre	(soft) init'ed(this.categoryPanel.parent)
pre	(soft) this.categoryPanel != null
pre	(soft) this.categoryPanel.tooltip != null
pre	this.category != null
post	new JPanel(addCategory#1) num objects == 1
post	return_value == &new JPanel(addCategory#1)
unanalyzed	call on addCategory
unanalyzed	call on com.dmdirc.addons.ui_swing.PrefsComponentFa ctory:getComponent
unanalyzed	call on com.dmdirc.addons.ui_swing.components. ColourChooser:instanceof
unanalyzed	call on com.dmdirc.addons.ui_swing.components. ColourChooser:setWindow
unanalyzed	call on com.dmdirc.addons.ui_swing.components. OptionalColourChooser:instanceof
unanalyzed	call on com.dmdirc.addons.ui_swing.components. OptionalColourChooser:setWindow
unanalyzed	call on com.dmdirc.addons.ui_swing.components. ToolTipPanel:registerTooltipHandler
unanalyzed	call on com.dmdirc.addons.ui_swing.components. durationeditor.DurationDisplay:instanceof
unanalyzed	call on com.dmdirc.addons.ui_swing.components. durationeditor.DurationDisplay:setWindow
unanalyzed	call on com.dmdirc.addons.ui_swing.components.text. TextLabel:setEditable
unanalyzed	call on com.dmdirc.addons.ui_swing.components.text. TextLabel:setEditorKit
unanalyzed	call on com.dmdirc.addons.ui_swing.components.text. TextLabel:setHighlighter
unanalyzed	call on com.dmdirc.addons.ui_swing.components.text. TextLabel:setMargin
unanalyzed	call on com.dmdirc.addons.ui_swing.components.text. TextLabel:setOpaque
unanalyzed	call on com.dmdirc.addons.ui_swing.components.text. TextLabel:setToolTipText
unanalyzed	call on com.dmdirc.addons.ui_swing.components.text. TextLabel:setUI
unanalyzed	call on com.dmdirc.config.prefs.PreferencesCategory :getDescription
unanalyzed	call on com.dmdirc.config.prefs.PreferencesCategory :getObject
unanalyzed	call on com.dmdirc.config.prefs.PreferencesCategory :getPath
unanalyzed	call on com.dmdirc.config.prefs.PreferencesCategory :getSettings
unanalyzed	call on com.dmdirc.config.prefs.PreferencesCategory :getSubcats
unanalyzed	call on com.dmdirc.config.prefs.PreferencesCategory :getTitle
unanalyzed	call on com.dmdirc.config.prefs.PreferencesCategory :hasObject
unanalyzed	call on com.dmdirc.config.prefs.PreferencesCategory :isInline
unanalyzed	call on com.dmdirc.config.prefs.PreferencesCategory :isInlineBefore
unanalyzed	call on com.dmdirc.config.prefs.PreferencesSetting: getHelptext
unanalyzed	call on com.dmdirc.config.prefs.PreferencesSetting: getTitle
unanalyzed	call on getParentWindow
unanalyzed	call on getToolTipPanel
unanalyzed	call on initCategory
unanalyzed	call on java.awt.Font:getFamily
unanalyzed	call on java.awt.Font:getSize
unanalyzed	call on java.awt.Insets
unanalyzed	call on java.lang.String:isEmpty
unanalyzed	call on java.lang.String:length
unanalyzed	call on java.util.List:iterator
unanalyzed	call on javax.swing.BorderFactory:createTitledBorde r
unanalyzed	call on javax.swing.JComponent:setToolTipText
unanalyzed	call on javax.swing.JPanel
unanalyzed	call on javax.swing.JPanel:add
unanalyzed	call on javax.swing.JPanel:instanceof
unanalyzed	call on javax.swing.JPanel:setBorder
unanalyzed	call on javax.swing.JTextPane
unanalyzed	call on javax.swing.JTextPane:getDocument
unanalyzed	call on javax.swing.JTextPane:setText
unanalyzed	call on javax.swing.UIManager:getFont
unanalyzed	call on javax.swing.plaf.basic.BasicTextPaneUI
unanalyzed	call on javax.swing.text.DefaultStyledDocument
unanalyzed	call on javax.swing.text.SimpleAttributeSet
unanalyzed	call on javax.swing.text.StyleConstants:setAlignmen t
unanalyzed	call on javax.swing.text.StyledDocument:setParagrap hAttributes
unanalyzed	call on javax.swing.text.html.HTMLDocument:getStyle Sheet
unanalyzed	call on javax.swing.text.html.HTMLEditorKit
unanalyzed	call on javax.swing.text.html.StyleSheet:addRule
unanalyzed	call on net.miginfocom.swing.MigLayout

void done()

Kind	Annotation Text
pre	(soft) init'ed(this.category)
pre	(soft) init'ed(this.categoryPanel.category)
pre	(soft) init'ed(this.errorCategory)
pre	(soft) this.categoryPanel != null
pre	(soft) this.categoryPanel.panels != null
unanalyzed	call on com.dmdirc.addons.ui_swing.UIUtilities:invo keAndWait
unanalyzed	call on com.dmdirc.logger.Logger:appError
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on java.util.Map:put
unanalyzed	call on javax.swing.SwingWorker:get
test_vector	com.dmdirc.addons.ui_swing.dialogs.prefs. PrefsCategoryLoader:isCancelled(...)@93: {0}, {1}

TextLabel getLabel(PreferencesSetting)

Kind	Annotation Text
pre	setting != null
presumption	com.dmdirc.config.prefs.PreferencesSetting:getHelpt ext(...)@207 != null
post	new SimpleAttributeSet(TextLabel#6) num objects == 1
post	new TextLabel(getLabel#1) num objects == 1
post	return_value == &new TextLabel(getLabel#1)
post	return_value.sas == &new SimpleAttributeSet(Tex tLabel#6)
unanalyzed	call on com.dmdirc.addons.ui_swing.components.text. TextLabel:setEditable
unanalyzed	call on com.dmdirc.addons.ui_swing.components.text. TextLabel:setEditorKit
unanalyzed	call on com.dmdirc.addons.ui_swing.components.text. TextLabel:setHighlighter
unanalyzed	call on com.dmdirc.addons.ui_swing.components.text. TextLabel:setMargin
unanalyzed	call on com.dmdirc.addons.ui_swing.components.text. TextLabel:setOpaque
unanalyzed	call on com.dmdirc.addons.ui_swing.components.text. TextLabel:setUI
unanalyzed	call on java.awt.Font:getFamily
unanalyzed	call on java.awt.Font:getSize
unanalyzed	call on java.awt.Insets
unanalyzed	call on java.lang.String:isEmpty
unanalyzed	call on java.lang.String:length
unanalyzed	call on javax.swing.JTextPane
unanalyzed	call on javax.swing.JTextPane:getDocument
unanalyzed	call on javax.swing.JTextPane:setText
unanalyzed	call on javax.swing.UIManager:getFont
unanalyzed	call on javax.swing.plaf.basic.BasicTextPaneUI
unanalyzed	call on javax.swing.text.DefaultStyledDocument
unanalyzed	call on javax.swing.text.SimpleAttributeSet
unanalyzed	call on javax.swing.text.StyleConstants:setAlignmen t
unanalyzed	call on javax.swing.text.StyledDocument:setParagrap hAttributes
unanalyzed	call on javax.swing.text.html.HTMLDocument:getStyle Sheet
unanalyzed	call on javax.swing.text.html.HTMLEditorKit
unanalyzed	call on javax.swing.text.html.StyleSheet:addRule
test_vector	java.lang.String:isEmpty(...)@207: {0}, {1}

JPanel getPanel()

Kind	Annotation Text
pre	(soft) init'ed(this.errorCategory)
presumption	init'ed(com.dmdirc.logger.ErrorLevel.MEDIUM)
post	init'ed(return_value)

void initCategory(PreferencesCategory, JPanel, String)

Kind	Annotation Text
pre	(soft) init'ed(this.categoryPanel.parent)
pre	(soft) panel != null
pre	(soft) this.categoryPanel != null
pre	(soft) this.categoryPanel.tooltip != null
pre	category != null
presumption	com.dmdirc.config.prefs.PreferencesCategory:getDesc ription(...)@128 != null
presumption	com.dmdirc.config.prefs.PreferencesCategory:getSett ings(...)@153 != null
presumption	com.dmdirc.config.prefs.PreferencesCategory:getSubc ats(...)@133 != null
presumption	com.dmdirc.config.prefs.PreferencesCategory:getSubc ats(...)@158 != null
presumption	java.util.Iterator:next(...)@133 != null
presumption	java.util.Iterator:next(...)@153 != null
presumption	java.util.Iterator:next(...)@158 != null
presumption	javax.swing.JPanel:instanceof(...)@142 == 1
unanalyzed	call on addCategory
unanalyzed	call on com.dmdirc.addons.ui_swing.PrefsComponentFa ctory:getComponent
unanalyzed	call on com.dmdirc.addons.ui_swing.components. ColourChooser:instanceof
unanalyzed	call on com.dmdirc.addons.ui_swing.components. ColourChooser:setWindow
unanalyzed	call on com.dmdirc.addons.ui_swing.components. OptionalColourChooser:instanceof
unanalyzed	call on com.dmdirc.addons.ui_swing.components. OptionalColourChooser:setWindow
unanalyzed	call on com.dmdirc.addons.ui_swing.components. ToolTipPanel:registerTooltipHandler
unanalyzed	call on com.dmdirc.addons.ui_swing.components. durationeditor.DurationDisplay:instanceof
unanalyzed	call on com.dmdirc.addons.ui_swing.components. durationeditor.DurationDisplay:setWindow
unanalyzed	call on com.dmdirc.addons.ui_swing.components.text. TextLabel:setEditable
unanalyzed	call on com.dmdirc.addons.ui_swing.components.text. TextLabel:setEditorKit
unanalyzed	call on com.dmdirc.addons.ui_swing.components.text. TextLabel:setHighlighter
unanalyzed	call on com.dmdirc.addons.ui_swing.components.text. TextLabel:setMargin
unanalyzed	call on com.dmdirc.addons.ui_swing.components.text. TextLabel:setOpaque
unanalyzed	call on com.dmdirc.addons.ui_swing.components.text. TextLabel:setToolTipText
unanalyzed	call on com.dmdirc.addons.ui_swing.components.text. TextLabel:setUI
unanalyzed	call on com.dmdirc.config.prefs.PreferencesCategory :getDescription
unanalyzed	call on com.dmdirc.config.prefs.PreferencesCategory :getObject
unanalyzed	call on com.dmdirc.config.prefs.PreferencesCategory :getPath
unanalyzed	call on com.dmdirc.config.prefs.PreferencesCategory :getSettings
unanalyzed	call on com.dmdirc.config.prefs.PreferencesCategory :getSubcats
unanalyzed	call on com.dmdirc.config.prefs.PreferencesCategory :getTitle
unanalyzed	call on com.dmdirc.config.prefs.PreferencesCategory :hasObject
unanalyzed	call on com.dmdirc.config.prefs.PreferencesCategory :isInline
unanalyzed	call on com.dmdirc.config.prefs.PreferencesCategory :isInlineBefore
unanalyzed	call on com.dmdirc.config.prefs.PreferencesSetting: getHelptext
unanalyzed	call on com.dmdirc.config.prefs.PreferencesSetting: getTitle
unanalyzed	call on getParentWindow
unanalyzed	call on getToolTipPanel
unanalyzed	call on initCategory
unanalyzed	call on java.awt.Font:getFamily
unanalyzed	call on java.awt.Font:getSize
unanalyzed	call on java.awt.Insets
unanalyzed	call on java.lang.String:isEmpty
unanalyzed	call on java.lang.String:length
unanalyzed	call on java.util.List:iterator
unanalyzed	call on javax.swing.BorderFactory:createTitledBorde r
unanalyzed	call on javax.swing.JComponent:setToolTipText
unanalyzed	call on javax.swing.JPanel
unanalyzed	call on javax.swing.JPanel:add
unanalyzed	call on javax.swing.JPanel:instanceof
unanalyzed	call on javax.swing.JPanel:setBorder
unanalyzed	call on javax.swing.JTextPane
unanalyzed	call on javax.swing.JTextPane:getDocument
unanalyzed	call on javax.swing.JTextPane:setText
unanalyzed	call on javax.swing.UIManager:getFont
unanalyzed	call on javax.swing.plaf.basic.BasicTextPaneUI
unanalyzed	call on javax.swing.text.DefaultStyledDocument
unanalyzed	call on javax.swing.text.SimpleAttributeSet
unanalyzed	call on javax.swing.text.StyleConstants:setAlignmen t
unanalyzed	call on javax.swing.text.StyledDocument:setParagrap hAttributes
unanalyzed	call on javax.swing.text.html.HTMLDocument:getStyle Sheet
unanalyzed	call on javax.swing.text.html.HTMLEditorKit
unanalyzed	call on javax.swing.text.html.StyleSheet:addRule
unanalyzed	call on net.miginfocom.swing.MigLayout
test_vector	com.dmdirc.config.prefs.PreferencesCategory:hasObje ct(...)@141: {0}, {1}
test_vector	com.dmdirc.config.prefs.PreferencesCategory:isInlin e(...)@134: {0}, {1}
test_vector	com.dmdirc.config.prefs.PreferencesCategory:isInlin e(...)@136: {1}, {0}
test_vector	com.dmdirc.config.prefs.PreferencesCategory:isInlin e(...)@159: {0}, {1}
test_vector	com.dmdirc.config.prefs.PreferencesCategory:isInlin eBefore(...)@134: {0}, {1}
test_vector	com.dmdirc.config.prefs.PreferencesCategory:isInlin eBefore(...)@157: {1}, {0}
test_vector	java.lang.String:isEmpty(...)@128: {1}, {0}
test_vector	java.util.Iterator:hasNext(...)@133: {0}, {1}
test_vector	java.util.Iterator:hasNext(...)@153: {0}, {1}
test_vector	java.util.Iterator:hasNext(...)@158: {0}, {1}