ButtonBar.java

ButtonBar.java

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

Filter Options

Annotation Kind:

pre

presumption

post

unanalyzed

test_vector

void actionPerformed(ActionEvent)

Kind	Annotation Text
pre	(soft) e != null
pre	(soft) init'ed(this.activeWindow)
pre	this.buttons != null
presumption	com.dmdirc.FrameContainer:getFrame(...)@230 != null
presumption	java.util.Iterator:next(...)@228 != null
presumption	java.util.Map:entrySet(...)@228 != null
presumption	java.util.Map_Entry:getKey(...)@230 != null
presumption	java.util.Map_Entry:getKey(...)@234 != null
presumption	java.util.Map_Entry:getValue(...)@229 != null
presumption	java.util.Map_Entry:getValue(...)@231 != null
test_vector	java.lang.Object:equals(...)@229: {0}, {1}
test_vector	java.lang.Object:equals(...)@230: {0}, {1}
test_vector	java.util.Iterator:hasNext(...)@228: {0}, {1}

void addButton(FrameContainer)

Kind	Annotation Text
pre	source != null
pre	this.buttons != null

void addWindow(FrameContainer)

Kind	Annotation Text
pre	(soft) init'ed(this.buttonWidth)
pre	this.buttons != null
pre	this.panel != null
pre	this.windows != null
pre	window != null
unanalyzed	call on com.dmdirc.FrameContainer:getIcon
unanalyzed	call on com.dmdirc.FrameContainer:toString
unanalyzed	call on com.dmdirc.FrameContainerComparator
unanalyzed	call on com.dmdirc.util.MapList:entrySet
unanalyzed	call on java.awt.Dimension
unanalyzed	call on java.awt.Insets
unanalyzed	call on java.util.Collections:sort
unanalyzed	call on java.util.List:iterator
unanalyzed	call on java.util.Map$Entry:getKey
unanalyzed	call on java.util.Map$Entry:getValue
unanalyzed	call on java.util.Map:get
unanalyzed	call on java.util.Map:put
unanalyzed	call on java.util.Set:iterator
unanalyzed	call on javax.swing.JPanel:add
unanalyzed	call on javax.swing.JPanel:removeAll
unanalyzed	call on javax.swing.JPanel:validate
unanalyzed	call on javax.swing.JToggleButton
unanalyzed	call on javax.swing.JToggleButton:addActionListener
unanalyzed	call on javax.swing.JToggleButton:setHorizontalAlig nment
unanalyzed	call on javax.swing.JToggleButton:setMargin
unanalyzed	call on javax.swing.JToggleButton:setMinimumSize
unanalyzed	call on javax.swing.JToggleButton:setPreferredSize

void addWindow(FrameContainer, FrameContainer)

Kind	Annotation Text
pre	(soft) init'ed(this.buttonWidth)
pre	this.buttons != null
pre	this.panel != null
pre	this.windows != null
pre	window != null
unanalyzed	call on com.dmdirc.FrameContainer:getIcon
unanalyzed	call on com.dmdirc.FrameContainer:toString
unanalyzed	call on com.dmdirc.FrameContainerComparator
unanalyzed	call on com.dmdirc.util.MapList:entrySet
unanalyzed	call on java.awt.Dimension
unanalyzed	call on java.awt.Insets
unanalyzed	call on java.util.Collections:sort
unanalyzed	call on java.util.List:iterator
unanalyzed	call on java.util.Map$Entry:getKey
unanalyzed	call on java.util.Map$Entry:getValue
unanalyzed	call on java.util.Map:get
unanalyzed	call on java.util.Map:put
unanalyzed	call on java.util.Set:iterator
unanalyzed	call on javax.swing.JPanel:add
unanalyzed	call on javax.swing.JPanel:removeAll
unanalyzed	call on javax.swing.JPanel:validate
unanalyzed	call on javax.swing.JToggleButton
unanalyzed	call on javax.swing.JToggleButton:addActionListener
unanalyzed	call on javax.swing.JToggleButton:setHorizontalAlig nment
unanalyzed	call on javax.swing.JToggleButton:setMargin
unanalyzed	call on javax.swing.JToggleButton:setMinimumSize
unanalyzed	call on javax.swing.JToggleButton:setPreferredSize

bool canPositionHorizontally()

Kind	Annotation Text
post	return_value == 1

bool canPositionVertically()

Kind	Annotation Text
post	return_value == 1

void com.dmdirc.addons.ui_swing.framemanager.buttonbar.ButtonBar()

Kind	Annotation Text
pre	(soft) init'ed(com.dmdirc.config.ConfigManager$1__ static_init.new int[](ConfigManager$1__static_init# 1)[...])
pre	init'ed(com/dmdirc/config/IdentityManager. globalconfig)
presumption	com.dmdirc.ui.interfaces.FramemanagerPosition:getPo sition(...)@98 != null
presumption	getGlobalConfig(...).sources != null
post	com/dmdirc/config/IdentityManager.globalconfig != null
post	com/dmdirc/config/IdentityManager.globalconfig == One-of{old com/dmdirc/config/IdentityManager. globalconfig, &new ConfigManager(getGlobalConfi g#1)}
post	java.lang.StringBuilder:toString(...)._tainted == 0
post	new ArrayList(getSources#1) num objects <= 1
post	new ConfigManager(getGlobalConfig#1) num objects == new ArrayList(getSources#1) num objects
post	new ConfigManager(getGlobalConfig#1).channel == &java.lang.StringBuilder:toString(...)
post	new ConfigManager(getGlobalConfig#1).ircd == &""
post	new ConfigManager(getGlobalConfig#1).listeners == &new MapList(ConfigManager#1)
post	new ConfigManager(getGlobalConfig#1).network == &""
post	new ConfigManager(getGlobalConfig#1).server == &""
post	new ConfigManager(getGlobalConfig#1).sources == &new ArrayList(getSources#1)
post	new HashMap(ButtonBar#2) num objects == 1
post	new JPanel(ButtonBar#3) num objects <= 1
post	new JPanel(ButtonBar#5) num objects <= 1
post	new MapList(ButtonBar#1) num objects == 1
post	new MapList(ConfigManager#1) num objects == new ArrayList(getSources#1) num objects
post	this.buttons == &new HashMap(ButtonBar#2)
post	this.cells == 1
post	this.maxButtons == 2³¹-1
post	this.panel in Addr_Set{&new JPanel(ButtonBar#5) ,&new JPanel(ButtonBar#3)}
post	this.position != null
post	this.windows == &new MapList(ButtonBar#1)
unanalyzed	call on addConfigManager
unanalyzed	call on addListener
unanalyzed	call on com.dmdirc.config.ConfigSource
unanalyzed	call on com.dmdirc.config.ConfigTarget$TYPE:ordinal
unanalyzed	call on com.dmdirc.logger.Logger:assertTrue
unanalyzed	call on com.dmdirc.util.ConfigFile:getKeyDomain
unanalyzed	call on com.dmdirc.util.ConfigFile:isKeyDomain
unanalyzed	call on com.dmdirc.util.MapList
unanalyzed	call on getOption
unanalyzed	call on getSources
unanalyzed	call on getTarget
unanalyzed	call on hasOption
unanalyzed	call on java.lang.IllegalArgumentException
unanalyzed	call on java.lang.Integer:intValue
unanalyzed	call on java.lang.Integer:valueOf
unanalyzed	call on java.lang.String:equalsIgnoreCase
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on java.util.ArrayList
unanalyzed	call on java.util.Collections:sort
unanalyzed	call on java.util.List:add
unanalyzed	call on java.util.List:iterator
unanalyzed	call on java.util.Map:containsKey
unanalyzed	call on java.util.Map:get
unanalyzed	call on java.util.Map:put
test_vector	com.dmdirc.ui.interfaces.FramemanagerPosition:isHor izontal(...)@101: {0}, {1}

com.dmdirc.addons.ui_swing.framemanager.buttonbar.ButtonBar__static_init

Kind	Annotation Text

void componentHidden(ComponentEvent)

Kind	Annotation Text

void componentMoved(ComponentEvent)

Kind	Annotation Text

void componentResized(ComponentEvent)

Kind	Annotation Text
pre	(soft) this.buttons != null
pre	(soft) this.cells != 0
pre	(soft) this.parent != null
pre	this.panel != null
pre	this.position != null
pre	this.windows != null
presumption	(javax.swing.JComponent:getWidth(...)@246 - 15)/this.cells in {-2³¹..-11, -9..4_294_967_280}
presumption	javax.swing.JComponent:getWidth(...)@249/(150 + 10) in {-2³¹..2³²-1}
post	possibly_updated(this.maxButtons)
post	this.buttonWidth in {-2³¹..-11, -9..4_294_967_280}
unanalyzed	call on com.dmdirc.FrameContainerComparator
unanalyzed	call on com.dmdirc.util.MapList:entrySet
unanalyzed	call on java.awt.Dimension
unanalyzed	call on java.util.Collections:sort
unanalyzed	call on java.util.List:iterator
unanalyzed	call on java.util.Map$Entry:getKey
unanalyzed	call on java.util.Map$Entry:getValue
unanalyzed	call on java.util.Map:get
unanalyzed	call on java.util.Set:iterator
unanalyzed	call on javax.swing.JPanel:add
unanalyzed	call on javax.swing.JPanel:removeAll
unanalyzed	call on javax.swing.JPanel:validate
unanalyzed	call on javax.swing.JToggleButton:setMinimumSize
unanalyzed	call on javax.swing.JToggleButton:setPreferredSize
test_vector	com.dmdirc.ui.interfaces.FramemanagerPosition:isHor izontal(...)@248: {0}, {1}

void componentShown(ComponentEvent)

Kind	Annotation Text

void delWindow(FrameContainer)

Kind	Annotation Text
pre	(soft) init'ed(this.buttonWidth)
pre	(soft) this.buttons != null
pre	this.panel != null
pre	this.windows != null
pre	window != null
unanalyzed	call on com.dmdirc.FrameContainerComparator
unanalyzed	call on com.dmdirc.util.MapList:entrySet
unanalyzed	call on java.awt.Dimension
unanalyzed	call on java.util.Collections:sort
unanalyzed	call on java.util.List:iterator
unanalyzed	call on java.util.Map$Entry:getKey
unanalyzed	call on java.util.Map$Entry:getValue
unanalyzed	call on java.util.Map:get
unanalyzed	call on java.util.Set:iterator
unanalyzed	call on javax.swing.JPanel:add
unanalyzed	call on javax.swing.JPanel:removeAll
unanalyzed	call on javax.swing.JPanel:validate
unanalyzed	call on javax.swing.JToggleButton:setMinimumSize
unanalyzed	call on javax.swing.JToggleButton:setPreferredSize

void delWindow(FrameContainer, FrameContainer)

Kind	Annotation Text
pre	(soft) init'ed(this.buttonWidth)
pre	(soft) this.buttons != null
pre	this.panel != null
pre	this.windows != null
pre	window != null
unanalyzed	call on com.dmdirc.FrameContainerComparator
unanalyzed	call on com.dmdirc.util.MapList:entrySet
unanalyzed	call on java.awt.Dimension
unanalyzed	call on java.util.Collections:sort
unanalyzed	call on java.util.List:iterator
unanalyzed	call on java.util.Map$Entry:getKey
unanalyzed	call on java.util.Map$Entry:getValue
unanalyzed	call on java.util.Map:get
unanalyzed	call on java.util.Set:iterator
unanalyzed	call on javax.swing.JPanel:add
unanalyzed	call on javax.swing.JPanel:removeAll
unanalyzed	call on javax.swing.JPanel:validate
unanalyzed	call on javax.swing.JToggleButton:setMinimumSize
unanalyzed	call on javax.swing.JToggleButton:setPreferredSize

void iconChanged(Window, Icon)

Kind	Annotation Text
pre	this.buttons != null
pre	window != null
presumption	java.util.Map:get(...)@317 != null

void notificationCleared(Window)

Kind	Annotation Text
pre	this.buttons != null
pre	window != null
presumption	com.dmdirc.ui.interfaces.Window:getContainer(... )@296 != null
unanalyzed	call on com.dmdirc.ui.interfaces.Window:getContaine r
unanalyzed	call on java.util.Map:containsKey
unanalyzed	call on java.util.Map:get
unanalyzed	call on javax.swing.JToggleButton:setForeground

void notificationSet(Window, Color)

Kind	Annotation Text
pre	this.buttons != null
pre	window != null
presumption	java.util.Map:get(...)@289 != null
test_vector	java.util.Map:containsKey(...)@288: {0}, {1}

void relayout()

Kind	Annotation Text
pre	(soft) init'ed(this.buttonWidth)
pre	(soft) this.buttons != null
pre	this.panel != null
pre	this.windows != null
presumption	com.dmdirc.util.MapList:entrySet(...)@131 != null
presumption	java.util.Iterator:next(...)@131 != null
presumption	java.util.Map:get(...)@132 != null
presumption	java.util.Map:get(...)@133 != null
presumption	java.util.Map:get(...)@139 != null
presumption	java.util.Map:get(...)@140 != null
presumption	java.util.Map_Entry:getValue(...)@138 != null
test_vector	java.util.Iterator:hasNext(...)@131: {0}, {1}
test_vector	java.util.Iterator:hasNext(...)@138: {0}, {1}

void selectionChanged(Window)

Kind	Annotation Text
pre	init'ed(this.selected)
pre	this.buttons != null
pre	window != null
presumption	java.util.Map:get(...)@304 != null
presumption	java.util.Map:get(...)@310 != null
post	init'ed(this.selected)
post	this.activeWindow != null
post	this.activeWindow == window
test_vector	java.util.Map:containsKey(...)@303: {0}, {1}
test_vector	java.util.Map:containsKey(...)@309: {0}, {1}
test_vector	this.selected: Addr_Set{null}, Inverse{null}

void setParent(JComponent)

Kind	Annotation Text
pre	(soft) this.cells != 0
pre	parent != null
pre	this.position != null
presumption	(javax.swing.JComponent:getWidth(...)@116 - 15)/this.cells in {-2³¹..-11, -9..4_294_967_280}
presumption	javax.swing.JComponent:getWidth(...)@119/(150 + 10) in {-2³¹..2³²-1}
post	possibly_updated(this.maxButtons)
post	this.buttonWidth in {-2³¹..-11, -9..4_294_967_280}
post	this.parent != null
post	this.parent == parent
test_vector	com.dmdirc.ui.interfaces.FramemanagerPosition:isHor izontal(...)@118: {0}, {1}