Messages

method

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

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

method not available - call not analyzed Info call on void com.dmdirc.util.MapList()

method not available - call not analyzed Info call on FramemanagerPosition com.dmdirc.ui. interfaces.FramemanagerPosition:getPosition(String)

method not available - call not analyzed Info call on bool com.dmdirc.ui.interfaces. FramemanagerPosition:isHorizontal()

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

method	void setParent(JComponent)
pre	parent != null
pre	this.position != null
pre	(soft) this.cells != 0
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	this.buttonWidth in {-2³¹..-11, -9..4_294_967_280}
post	possibly_updated(this.maxButtons)
post	this.parent == parent
post	this.parent != null
test_vector	com.dmdirc.ui.interfaces.FramemanagerPosition:isHor izontal(...)@118: {0}, {1}

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

method not available - call not analyzed Info call on bool com.dmdirc.ui.interfaces. FramemanagerPosition:isHorizontal()

method	void relayout()
pre	this.panel != null
pre	this.windows != null
pre	(soft) init'ed(this.buttonWidth)
pre	(soft) this.buttons != 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}

method not available - call not analyzed Info call on Set com.dmdirc.util.MapList:entrySet()

method not available - call not analyzed Info call on void com.dmdirc.FrameContainerComparator()

method	void addButton(FrameContainer)
pre	source != null
pre	this.buttons != null

method not available - call not analyzed Info call on String com.dmdirc.FrameContainer:toString()

method not available - call not analyzed Info call on Icon com.dmdirc.FrameContainer:getIcon()

method	bool canPositionVertically()
post	return_value == 1

method	bool canPositionHorizontally()
post	return_value == 1

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

method not available - call not analyzed Info call on void com.dmdirc.util.MapList:add(Object)

method not available - call not analyzed Info call on void com.dmdirc.FrameContainer:addNotificat ionListener(NotificationListener)

method not available - call not analyzed Info call on void com.dmdirc.FrameContainer:addSelection Listener(SelectionListener)

method not available - call not analyzed Info call on void com.dmdirc.FrameContainer:addIconChang eListener(IconChangeListener)

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

method not available - call not analyzed Info call on void com.dmdirc.util.MapList:remove(Object)

method not available - call not analyzed Info call on void com.dmdirc.FrameContainer:removeNotifi cationListener(NotificationListener)

method not available - call not analyzed Info call on void com.dmdirc.FrameContainer:removeIconCh angeListener(IconChangeListener)

method not available - call not analyzed Info call on void com.dmdirc.FrameContainer:removeSelect ionListener(SelectionListener)

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

method not available - call not analyzed Info call on void com.dmdirc.util.MapList:add(Object, Object)

method not available - call not analyzed Info call on void com.dmdirc.FrameContainer:addNotificat ionListener(NotificationListener)

method not available - call not analyzed Info call on void com.dmdirc.FrameContainer:addSelection Listener(SelectionListener)

method not available - call not analyzed Info call on void com.dmdirc.FrameContainer:addIconChang eListener(IconChangeListener)

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

method not available - call not analyzed Info call on void com.dmdirc.util.MapList:remove(Object, Object)

method not available - call not analyzed Info call on void com.dmdirc.FrameContainer:removeNotifi cationListener(NotificationListener)

method not available - call not analyzed Info call on void com.dmdirc.FrameContainer:removeIconCh angeListener(IconChangeListener)

method not available - call not analyzed Info call on void com.dmdirc.FrameContainer:removeSelect ionListener(SelectionListener)

method	void actionPerformed(ActionEvent)
pre	this.buttons != null
pre	(soft) e != null
pre	(soft) init'ed(this.activeWindow)
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}

method not available - call not analyzed Info call on Window com.dmdirc.FrameContainer:getFrame()

method not available - call not analyzed Info call on void com.dmdirc.FrameContainer:activateFram e()

method	void componentResized(ComponentEvent)
pre	this.panel != null
pre	this.position != null
pre	this.windows != null
pre	(soft) this.buttons != null
pre	(soft) this.cells != 0
pre	(soft) this.parent != 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	this.buttonWidth in {-2³¹..-11, -9..4_294_967_280}
post	possibly_updated(this.maxButtons)
unanalyzed	call on javax.swing.JPanel:removeAll
unanalyzed	call on com.dmdirc.util.MapList:entrySet
unanalyzed	call on java.util.Set:iterator
unanalyzed	call on java.util.Map$Entry:getKey
unanalyzed	call on java.util.Map:get
unanalyzed	call on java.awt.Dimension
unanalyzed	call on javax.swing.JToggleButton:setPreferredSize
unanalyzed	call on javax.swing.JToggleButton:setMinimumSize
unanalyzed	call on javax.swing.JPanel:add
unanalyzed	call on java.util.Map$Entry:getValue
unanalyzed	call on com.dmdirc.FrameContainerComparator
unanalyzed	call on java.util.Collections:sort
unanalyzed	call on java.util.List:iterator
unanalyzed	call on javax.swing.JPanel:validate
test_vector	com.dmdirc.ui.interfaces.FramemanagerPosition:isHor izontal(...)@248: {0}, {1}

method not available - call not analyzed Info call on bool com.dmdirc.ui.interfaces. FramemanagerPosition:isHorizontal()

method

void componentMoved(ComponentEvent)

method

void componentShown(ComponentEvent)

method

void componentHidden(ComponentEvent)

method	void notificationSet(Window, Color)
pre	this.buttons != null
pre	window != null
presumption	java.util.Map:get(...)@289 != null
test_vector	java.util.Map:containsKey(...)@288: {0}, {1}

method not available - call not analyzed Info call on FrameContainer com.dmdirc.ui.interfaces. Window:getContainer()

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

method not available - call not analyzed Info call on FrameContainer com.dmdirc.ui.interfaces. Window:getContainer()

method not available - call not analyzed Info call on Color com.dmdirc.FrameContainer:getNotifica tion()

method	void selectionChanged(Window)
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	this.activeWindow == window
post	this.activeWindow != null
post	init'ed(this.selected)
test_vector	this.selected: Addr_Set{null}, Inverse{null}
test_vector	java.util.Map:containsKey(...)@303: {0}, {1}
test_vector	java.util.Map:containsKey(...)@309: {0}, {1}

method not available - call not analyzed Info call on FrameContainer com.dmdirc.ui.interfaces. Window:getContainer()

method	void iconChanged(Window, Icon)
pre	this.buttons != null
pre	window != null
presumption	java.util.Map:get(...)@317 != null

method not available - call not analyzed Info call on FrameContainer com.dmdirc.ui.interfaces. Window:getContainer()

	method not available - call not analyzed	Info	call on String com.dmdirc.FrameContainer:toString()
	method not available - call not analyzed	Info	call on Icon com.dmdirc.FrameContainer:getIcon()

	method not available - call not analyzed	Info	call on FrameContainer com.dmdirc.ui.interfaces. Window:getContainer()
	method not available - call not analyzed	Info	call on Color com.dmdirc.FrameContainer:getNotifica tion()