Messages

method

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

method

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

method

com.dmdirc.addons.ui_swing.dialogs.prefs. CategoryPanel__static_init

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

method	JScrollPane access$100(CategoryPanel)
pre	x0 != null
pre	init'ed(x0.scrollPane)
post	return_value == x0.scrollPane
post	init'ed(return_value)

method	TitlePanel access$200(CategoryPanel)
pre	x0 != null
pre	init'ed(x0.title)
post	return_value == x0.title
post	init'ed(return_value)

method	JPanel access$300(CategoryPanel)
pre	x0 != null
pre	init'ed(x0.loading)
post	return_value == x0.loading
post	init'ed(return_value)

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. CategoryPanel(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	java.util.Collections:synchronizedMap(...)@109 != null
post	this.category == null
post	init'ed(this.leftPadding)
post	this.loading == &new JPanel(CategoryPanel#3)
post	this.nullCategory == &new JPanel(CategoryPanel# 6)
post	init'ed(this.padding)
post	this.panels != null
post	this.parent == parent
post	init'ed(this.parent)
post	init'ed(this.rightPadding)
post	this.scrollPane == &new JScrollPane(CategoryPan el#12)
post	this.title == &new TitlePanel(CategoryPanel#13)
post	this.tooltip == &new ToolTipPanel(CategoryPanel #14)
post	this.waitingCategory == &new JPanel(CategoryPan el#9)
post	init'ed(this.worker)
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	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

method	void com.dmdirc.addons.ui_swing.dialogs.prefs. CategoryPanel(Window, PreferencesCategory)
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	java.util.Collections:synchronizedMap(...)@109 != null
presumption	net.miginfocom.layout.PlatformDefaults:getPanelInse ts(...)@61 != null
presumption	net.miginfocom.layout.PlatformDefaults:getPanelInse ts(...)@64 != null
presumption	net.miginfocom.layout.PlatformDefaults:getUnitValue X(...)@58 != null
post	this.category == category
post	init'ed(this.category)
post	init'ed(this.leftPadding)
post	this.loading == &new JPanel(CategoryPanel#3)
post	this.nullCategory == &new JPanel(CategoryPanel# 6)
post	init'ed(this.padding)
post	this.panels != null
post	this.parent == parent
post	init'ed(this.parent)
post	init'ed(this.rightPadding)
post	this.scrollPane == &new JScrollPane(CategoryPan el#12)
post	this.title == &new TitlePanel(CategoryPanel#13)
post	this.tooltip == &new ToolTipPanel(CategoryPanel #14)
post	this.waitingCategory == &new JPanel(CategoryPan el#9)
post	init'ed(this.worker)
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	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

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.components. TitlePanel(Border, String)

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

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

method	Window getParentWindow()
pre	init'ed(this.parent)
post	return_value == this.parent
post	init'ed(return_value)

method	ToolTipPanel getToolTipPanel()
pre	init'ed(this.tooltip)
post	return_value == this.tooltip
post	init'ed(return_value)

method	void categoryLoaded(PrefsCategoryLoader, PreferencesCategory)
pre	loader != null
pre	init'ed(this.category)
pre	this.panels != null
pre	(soft) init'ed(loader.errorCategory)
unanalyzed	call on com.dmdirc.addons.ui_swing.UIUtilities:invo keAndWait
unanalyzed	call on javax.swing.SwingWorker:get
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on com.dmdirc.logger.Logger:appError

method	void categoryLoaded(PreferencesCategory)
pre	init'ed(this.category)
test_vector	category == this.category: {0}, {1}

method	void com.dmdirc.addons.ui_swing.dialogs.prefs. CategoryPanel$1(CategoryPanel, PreferencesCategory)
post	this.val$category == Param_2
post	init'ed(this.val$category)

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

method	void run()
pre	this.panels != null
pre	this.scrollPane != null
pre	this.title != null
test_vector	this.val$category: Inverse{null}, Addr_Set{null}

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.components. TitlePanel:setText(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 void com.dmdirc.addons.ui_swing.components. TitlePanel:setText(String)

method	void setCategory(PreferencesCategory)
pre	this.panels != null
post	this.category == category
post	init'ed(this.category)
post	this.worker == One-of{&new PrefsCategoryLoader( setCategory#2), old this.worker}
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 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
test_vector	java.util.Map:containsKey(...)@194: {1}, {0}

method

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

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

method	void run()
pre	init'ed(this.loading)
pre	this.scrollPane != null

method	void setWaiting(bool)
pre	this.scrollPane != null
pre	init'ed(this.waitingCategory)
post	this.waiting == b
post	init'ed(this.waiting)

	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 String com.dmdirc.config.prefs. PreferencesCategory:getPath()
	method not available - call not analyzed	Info	call on void com.dmdirc.addons.ui_swing.components. TitlePanel:setText(String)