Messages

method

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

method	Object doInBackground()
pre	this.category != null
pre	(soft) this.categoryPanel != null
pre	(soft) init'ed(this.categoryPanel.parent)
pre	(soft) this.categoryPanel.tooltip != null
post	return_value == &new JPanel(addCategory#1)
post	new JPanel(addCategory#1) num objects == 1
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 com.dmdirc.config.prefs.PreferencesSetting: getTitle
unanalyzed	call on com.dmdirc.config.prefs.PreferencesSetting: getHelptext
unanalyzed	call on com.dmdirc.addons.ui_swing.components.text. TextLabel:setToolTipText
unanalyzed	call on com.dmdirc.addons.ui_swing.PrefsComponentFa ctory:getComponent
unanalyzed	call on javax.swing.JComponent:setToolTipText
unanalyzed	call on getToolTipPanel
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 getParentWindow
unanalyzed	call on com.dmdirc.addons.ui_swing.components. durationeditor.DurationDisplay:setWindow
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 javax.swing.JPanel:add
unanalyzed	call on com.dmdirc.config.prefs.PreferencesCategory :getTitle
unanalyzed	call on javax.swing.BorderFactory:createTitledBorde r
unanalyzed	call on javax.swing.JPanel:setBorder
unanalyzed	call on initCategory
unanalyzed	call on com.dmdirc.config.prefs.PreferencesCategory :getDescription
unanalyzed	call on com.dmdirc.config.prefs.PreferencesCategory :getSubcats
unanalyzed	call on java.util.List:iterator
unanalyzed	call on com.dmdirc.config.prefs.PreferencesCategory :isInline
unanalyzed	call on com.dmdirc.config.prefs.PreferencesCategory :isInlineBefore
unanalyzed	call on addCategory
unanalyzed	call on com.dmdirc.config.prefs.PreferencesCategory :hasObject
unanalyzed	call on com.dmdirc.config.prefs.PreferencesCategory :getObject
unanalyzed	call on javax.swing.JPanel:instanceof
unanalyzed	call on com.dmdirc.config.prefs.PreferencesCategory :getSettings
unanalyzed	call on com.dmdirc.config.prefs.PreferencesCategory :getPath

method not available - call not analyzed Info call on UnitValue net.miginfocom.layout. PlatformDefaults:getUnitValueX(String)

method not available - call not analyzed Info call on float net.miginfocom.layout. UnitValue:getValue()

method not available - call not analyzed Info call on UnitValue net.miginfocom.layout. PlatformDefaults:getPanelInsets(int)

method not available - call not analyzed Info call on float net.miginfocom.layout. UnitValue:getValue()

method	void com.dmdirc.addons.ui_swing.dialogs.prefs. PrefsCategoryLoader(CategoryPanel, PreferencesCateg ory)
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	this.category == category
post	init'ed(this.category)
post	this.categoryPanel == categoryPanel
post	init'ed(this.categoryPanel)
post	this.errorCategory == &new JPanel(PrefsCategory Loader#1)
post	init'ed(this.leftPadding)
post	init'ed(this.padding)
post	init'ed(this.rightPadding)
post	new JPanel(PrefsCategoryLoader#1) num objects == 1
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

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

method	JPanel doInBackground()
pre	this.category != null
pre	(soft) this.categoryPanel != null
pre	(soft) init'ed(this.categoryPanel.parent)
pre	(soft) this.categoryPanel.tooltip != null
post	return_value == &new JPanel(addCategory#1)
post	new JPanel(addCategory#1) num objects == 1
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 com.dmdirc.config.prefs.PreferencesSetting: getTitle
unanalyzed	call on com.dmdirc.config.prefs.PreferencesSetting: getHelptext
unanalyzed	call on com.dmdirc.addons.ui_swing.components.text. TextLabel:setToolTipText
unanalyzed	call on com.dmdirc.addons.ui_swing.PrefsComponentFa ctory:getComponent
unanalyzed	call on javax.swing.JComponent:setToolTipText
unanalyzed	call on getToolTipPanel
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 getParentWindow
unanalyzed	call on com.dmdirc.addons.ui_swing.components. durationeditor.DurationDisplay:setWindow
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 javax.swing.JPanel:add
unanalyzed	call on com.dmdirc.config.prefs.PreferencesCategory :getTitle
unanalyzed	call on javax.swing.BorderFactory:createTitledBorde r
unanalyzed	call on javax.swing.JPanel:setBorder
unanalyzed	call on initCategory
unanalyzed	call on com.dmdirc.config.prefs.PreferencesCategory :getDescription
unanalyzed	call on com.dmdirc.config.prefs.PreferencesCategory :getSubcats
unanalyzed	call on java.util.List:iterator
unanalyzed	call on com.dmdirc.config.prefs.PreferencesCategory :isInline
unanalyzed	call on com.dmdirc.config.prefs.PreferencesCategory :isInlineBefore
unanalyzed	call on addCategory
unanalyzed	call on com.dmdirc.config.prefs.PreferencesCategory :hasObject
unanalyzed	call on com.dmdirc.config.prefs.PreferencesCategory :getObject
unanalyzed	call on javax.swing.JPanel:instanceof
unanalyzed	call on com.dmdirc.config.prefs.PreferencesCategory :getSettings
unanalyzed	call on com.dmdirc.config.prefs.PreferencesCategory :getPath

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

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

method	JPanel getPanel()
pre	(soft) init'ed(this.errorCategory)
presumption	init'ed(com.dmdirc.logger.ErrorLevel.MEDIUM)
post	init'ed(return_value)

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

method	void initCategory(PreferencesCategory, JPanel, String)
pre	category != null
pre	(soft) panel != null
pre	(soft) this.categoryPanel != null
pre	(soft) init'ed(this.categoryPanel.parent)
pre	(soft) this.categoryPanel.tooltip != 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 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 com.dmdirc.config.prefs.PreferencesSetting: getTitle
unanalyzed	call on com.dmdirc.config.prefs.PreferencesSetting: getHelptext
unanalyzed	call on com.dmdirc.addons.ui_swing.components.text. TextLabel:setToolTipText
unanalyzed	call on com.dmdirc.addons.ui_swing.PrefsComponentFa ctory:getComponent
unanalyzed	call on javax.swing.JComponent:setToolTipText
unanalyzed	call on getToolTipPanel
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 getParentWindow
unanalyzed	call on com.dmdirc.addons.ui_swing.components. durationeditor.DurationDisplay:setWindow
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 javax.swing.JPanel:add
unanalyzed	call on com.dmdirc.config.prefs.PreferencesCategory :getTitle
unanalyzed	call on javax.swing.BorderFactory:createTitledBorde r
unanalyzed	call on javax.swing.JPanel:setBorder
unanalyzed	call on initCategory
unanalyzed	call on com.dmdirc.config.prefs.PreferencesCategory :getDescription
unanalyzed	call on com.dmdirc.config.prefs.PreferencesCategory :getSubcats
unanalyzed	call on java.util.List:iterator
unanalyzed	call on com.dmdirc.config.prefs.PreferencesCategory :isInline
unanalyzed	call on com.dmdirc.config.prefs.PreferencesCategory :isInlineBefore
unanalyzed	call on addCategory
unanalyzed	call on com.dmdirc.config.prefs.PreferencesCategory :hasObject
unanalyzed	call on com.dmdirc.config.prefs.PreferencesCategory :getObject
unanalyzed	call on javax.swing.JPanel:instanceof
unanalyzed	call on com.dmdirc.config.prefs.PreferencesCategory :getSettings
unanalyzed	call on com.dmdirc.config.prefs.PreferencesCategory :getPath
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}

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

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

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 bool com.dmdirc.config.prefs. PreferencesCategory:isInlineBefore()

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 bool com.dmdirc.config.prefs. PreferencesCategory:hasObject()

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

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

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

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

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

method	void addComponent(PreferencesCategory, PreferencesSetting, JPanel)
pre	panel != null
pre	setting != null
pre	this.categoryPanel != null
pre	this.categoryPanel.tooltip != null
pre	(soft) init'ed(this.categoryPanel.parent)
presumption	com.dmdirc.addons.ui_swing.PrefsComponentFactory:ge tComponent(...)@179 != null
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 com.dmdirc.config.prefs.PreferencesSetting: getTitle
unanalyzed	call on com.dmdirc.config.prefs.PreferencesSetting: getHelptext
unanalyzed	call on com.dmdirc.addons.ui_swing.components.text. TextLabel:setToolTipText
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}

method not available - call not analyzed Info call on JComponent com.dmdirc.addons.ui_swing. PrefsComponentFactory:getComponent(PreferencesSetti ng)

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.components. ToolTipPanel:registerTooltipHandler(JComponent)

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

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.components. ToolTipPanel:registerTooltipHandler(JComponent, String)

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.components. durationeditor.DurationDisplay:setWindow(Window)

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.components. ColourChooser:setWindow(Window)

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.components. OptionalColourChooser:setWindow(Window)

method	TextLabel getLabel(PreferencesSetting)
pre	setting != null
presumption	com.dmdirc.config.prefs.PreferencesSetting:getHelpt ext(...)@207 != null
post	return_value == &new TextLabel(getLabel#1)
post	new SimpleAttributeSet(TextLabel#6) num objects == 1
post	new TextLabel(getLabel#1) num objects == 1
post	return_value.sas == &new SimpleAttributeSet(Tex tLabel#6)
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
test_vector	java.lang.String:isEmpty(...)@207: {0}, {1}

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

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

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.components. text.TextLabel:setToolTipText(String)

method	void addInlineCategory(PreferencesCategory, JPanel)
pre	category != null
pre	parent != null
pre	(soft) this.categoryPanel != null
pre	(soft) init'ed(this.categoryPanel.parent)
pre	(soft) this.categoryPanel.tooltip != null
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 com.dmdirc.config.prefs.PreferencesSetting: getTitle
unanalyzed	call on com.dmdirc.config.prefs.PreferencesSetting: getHelptext
unanalyzed	call on com.dmdirc.addons.ui_swing.components.text. TextLabel:setToolTipText
unanalyzed	call on com.dmdirc.addons.ui_swing.PrefsComponentFa ctory:getComponent
unanalyzed	call on javax.swing.JComponent:setToolTipText
unanalyzed	call on getToolTipPanel
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 getParentWindow
unanalyzed	call on com.dmdirc.addons.ui_swing.components. durationeditor.DurationDisplay:setWindow
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 javax.swing.JPanel:add
unanalyzed	call on com.dmdirc.config.prefs.PreferencesCategory :getTitle
unanalyzed	call on javax.swing.BorderFactory:createTitledBorde r
unanalyzed	call on javax.swing.JPanel:setBorder
unanalyzed	call on initCategory
unanalyzed	call on com.dmdirc.config.prefs.PreferencesCategory :getDescription
unanalyzed	call on com.dmdirc.config.prefs.PreferencesCategory :getSubcats
unanalyzed	call on java.util.List:iterator
unanalyzed	call on com.dmdirc.config.prefs.PreferencesCategory :isInline
unanalyzed	call on com.dmdirc.config.prefs.PreferencesCategory :isInlineBefore
unanalyzed	call on addCategory
unanalyzed	call on com.dmdirc.config.prefs.PreferencesCategory :hasObject
unanalyzed	call on com.dmdirc.config.prefs.PreferencesCategory :getObject
unanalyzed	call on javax.swing.JPanel:instanceof
unanalyzed	call on com.dmdirc.config.prefs.PreferencesCategory :getSettings
unanalyzed	call on com.dmdirc.config.prefs.PreferencesCategory :getPath

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

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

method	JPanel addCategory(PreferencesCategory)
pre	category != null
pre	(soft) this.categoryPanel != null
pre	(soft) init'ed(this.categoryPanel.parent)
pre	(soft) this.categoryPanel.tooltip != null
post	return_value == &new JPanel(addCategory#1)
post	new JPanel(addCategory#1) num objects == 1
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 com.dmdirc.config.prefs.PreferencesSetting: getTitle
unanalyzed	call on com.dmdirc.config.prefs.PreferencesSetting: getHelptext
unanalyzed	call on com.dmdirc.addons.ui_swing.components.text. TextLabel:setToolTipText
unanalyzed	call on com.dmdirc.addons.ui_swing.PrefsComponentFa ctory:getComponent
unanalyzed	call on javax.swing.JComponent:setToolTipText
unanalyzed	call on getToolTipPanel
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 getParentWindow
unanalyzed	call on com.dmdirc.addons.ui_swing.components. durationeditor.DurationDisplay:setWindow
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 javax.swing.JPanel:add
unanalyzed	call on com.dmdirc.config.prefs.PreferencesCategory :getTitle
unanalyzed	call on javax.swing.BorderFactory:createTitledBorde r
unanalyzed	call on javax.swing.JPanel:setBorder
unanalyzed	call on initCategory
unanalyzed	call on com.dmdirc.config.prefs.PreferencesCategory :getDescription
unanalyzed	call on com.dmdirc.config.prefs.PreferencesCategory :getSubcats
unanalyzed	call on java.util.List:iterator
unanalyzed	call on com.dmdirc.config.prefs.PreferencesCategory :isInline
unanalyzed	call on com.dmdirc.config.prefs.PreferencesCategory :isInlineBefore
unanalyzed	call on addCategory
unanalyzed	call on com.dmdirc.config.prefs.PreferencesCategory :hasObject
unanalyzed	call on com.dmdirc.config.prefs.PreferencesCategory :getObject
unanalyzed	call on javax.swing.JPanel:instanceof
unanalyzed	call on com.dmdirc.config.prefs.PreferencesCategory :getSettings
unanalyzed	call on com.dmdirc.config.prefs.PreferencesCategory :getPath

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

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 UnitValue net.miginfocom.layout. PlatformDefaults:getUnitValueX(String)
	method not available - call not analyzed	Info	call on float net.miginfocom.layout. UnitValue:getValue()

	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 bool com.dmdirc.config.prefs. PreferencesCategory:isInlineBefore()

	method not available - call not analyzed	Info	call on String com.dmdirc.config.prefs. PreferencesSetting:getHelptext()
	method not available - call not analyzed	Info	call on void com.dmdirc.addons.ui_swing.components. ToolTipPanel:registerTooltipHandler(JComponent, String)