CategoryPanel.java

CategoryPanel.java

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

Filter Options

Annotation Kind:

pre

presumption

post

unanalyzed

test_vector

Map access$000(CategoryPanel)

Kind	Annotation Text
pre	init'ed(x0.panels)
pre	x0 != null
post	init'ed(return_value)
post	return_value == x0.panels

JScrollPane access$100(CategoryPanel)

Kind	Annotation Text
pre	init'ed(x0.scrollPane)
pre	x0 != null
post	init'ed(return_value)
post	return_value == x0.scrollPane

TitlePanel access$200(CategoryPanel)

Kind	Annotation Text
pre	init'ed(x0.title)
pre	x0 != null
post	init'ed(return_value)
post	return_value == x0.title

JPanel access$300(CategoryPanel)

Kind	Annotation Text
pre	init'ed(x0.loading)
pre	x0 != null
post	init'ed(return_value)
post	return_value == x0.loading

void categoryLoaded(PrefsCategoryLoader, PreferencesCategory)

Kind	Annotation Text
pre	(soft) init'ed(loader.errorCategory)
pre	init'ed(this.category)
pre	loader != null
pre	this.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 javax.swing.SwingWorker:get

void categoryLoaded(PreferencesCategory)

Kind	Annotation Text
pre	init'ed(this.category)
test_vector	category == this.category: {0}, {1}

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

Kind	Annotation Text
post	init'ed(this.val$category)
post	this.val$category == Param_2

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

Kind	Annotation Text

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

Kind	Annotation Text

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

Kind	Annotation Text

void com.dmdirc.addons.ui_swing.dialogs.prefs.CategoryPanel(Window)

Kind	Annotation Text
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	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	init'ed(this.leftPadding)
post	init'ed(this.padding)
post	init'ed(this.parent)
post	init'ed(this.rightPadding)
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 JPanel(PrefsCategoryLoader#1) num objects <= 1
post	new JScrollPane(CategoryPanel#12) num objects == 1
post	new PrefsCategoryLoader(setCategory#2) num objects == new JPanel(PrefsCategoryLoader#1) num objects
post	new TitlePanel(CategoryPanel#13) num objects == 1
post	new ToolTipPanel(CategoryPanel#14) num objects == 1
post	this.category == null
post	this.loading == &new JPanel(CategoryPanel#3)
post	this.nullCategory == &new JPanel(CategoryPanel# 6)
post	this.panels != null
post	this.parent == parent
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)
unanalyzed	call on com.dmdirc.addons.ui_swing.UIUtilities:invo keAndWait
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.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 com.dmdirc.addons.ui_swing.dialogs.prefs. CategoryPanel:add
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.Collections:synchronizedMap
unanalyzed	call on java.util.HashMap
unanalyzed	call on java.util.Map:containsKey
unanalyzed	call on java.util.Map:put
unanalyzed	call on javax.swing.BorderFactory:createEtchedBorde r
unanalyzed	call on javax.swing.JPanel
unanalyzed	call on javax.swing.JPanel:add
unanalyzed	call on javax.swing.JScrollPane
unanalyzed	call on javax.swing.JScrollPane:setHorizontalScroll BarPolicy
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.SwingWorker
unanalyzed	call on javax.swing.SwingWorker:execute
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.layout.PlatformDefaults:getP anelInsets
unanalyzed	call on net.miginfocom.layout.PlatformDefaults:getU nitValueX
unanalyzed	call on net.miginfocom.layout.UnitValue:getValue
unanalyzed	call on net.miginfocom.swing.MigLayout

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

Kind	Annotation Text
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	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	init'ed(this.category)
post	init'ed(this.leftPadding)
post	init'ed(this.padding)
post	init'ed(this.parent)
post	init'ed(this.rightPadding)
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 JPanel(PrefsCategoryLoader#1) num objects <= 1
post	new JScrollPane(CategoryPanel#12) num objects == 1
post	new PrefsCategoryLoader(setCategory#2) num objects == new JPanel(PrefsCategoryLoader#1) num objects
post	new TitlePanel(CategoryPanel#13) num objects == 1
post	new ToolTipPanel(CategoryPanel#14) num objects == 1
post	this.category == category
post	this.loading == &new JPanel(CategoryPanel#3)
post	this.nullCategory == &new JPanel(CategoryPanel# 6)
post	this.panels != null
post	this.parent == parent
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)
unanalyzed	call on com.dmdirc.addons.ui_swing.UIUtilities:invo keAndWait
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 java.util.Map:containsKey
unanalyzed	call on javax.swing.JPanel
unanalyzed	call on javax.swing.JPanel:add
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.SwingWorker
unanalyzed	call on javax.swing.SwingWorker:execute
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.layout.PlatformDefaults:getP anelInsets
unanalyzed	call on net.miginfocom.layout.PlatformDefaults:getU nitValueX
unanalyzed	call on net.miginfocom.layout.UnitValue:getValue
unanalyzed	call on net.miginfocom.swing.MigLayout

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

Kind	Annotation Text

Window getParentWindow()

Kind	Annotation Text
pre	init'ed(this.parent)
post	init'ed(return_value)
post	return_value == this.parent

ToolTipPanel getToolTipPanel()

Kind	Annotation Text
pre	init'ed(this.tooltip)
post	init'ed(return_value)
post	return_value == this.tooltip

void run()

Kind	Annotation Text
pre	init'ed(this.loading)
pre	this.scrollPane != null

void run()

Kind	Annotation Text
pre	this.panels != null
pre	this.scrollPane != null
pre	this.title != null
test_vector	this.val$category: Inverse{null}, Addr_Set{null}

void setCategory(PreferencesCategory)

Kind	Annotation Text
pre	this.panels != null
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	init'ed(this.category)
post	new JPanel(PrefsCategoryLoader#1) num objects <= 1
post	new PrefsCategoryLoader(setCategory#2) num objects <= 1
post	this.category == category
post	this.worker == One-of{&new PrefsCategoryLoader( setCategory#2), old this.worker}
unanalyzed	call on com.dmdirc.addons.ui_swing.UIUtilities:invo keAndWait
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.JPanel
unanalyzed	call on javax.swing.JPanel:add
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.SwingWorker
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.layout.PlatformDefaults:getP anelInsets
unanalyzed	call on net.miginfocom.layout.PlatformDefaults:getU nitValueX
unanalyzed	call on net.miginfocom.layout.UnitValue:getValue
unanalyzed	call on net.miginfocom.swing.MigLayout
test_vector	java.util.Map:containsKey(...)@194: {1}, {0}

void setWaiting(bool)

Kind	Annotation Text
pre	init'ed(this.waitingCategory)
pre	this.scrollPane != null
post	init'ed(this.waiting)
post	this.waiting == b