Messages

method

com.dmdirc.addons.ui_swing.components.MDIBar$1__ static_init

method

com.dmdirc.addons.ui_swing.components.MDIBar__ static_init

method	MainFrame access$000(MDIBar)
pre	x0 != null
pre	init'ed(x0.mainFrame)
post	return_value == x0.mainFrame
post	init'ed(return_value)

method	String access$100(MDIBar)
pre	x0 != null
pre	init'ed(x0.visibility)
post	return_value == x0.visibility
post	init'ed(return_value)

method	void com.dmdirc.addons.ui_swing.components. MDIBar(MainFrame)
presumption	com.dmdirc.config.IdentityManager:getGlobalConfig(. ..)@74 != null
presumption	com.dmdirc.ui.IconManager:getIconManager(...)@77 != null
presumption	com.dmdirc.ui.IconManager:getIconManager(...)@79 != null
presumption	com.dmdirc.ui.IconManager:getIconManager(...)@81 != null
post	this.closeButton == &new NoFocusButton(MDIBar#1 )
post	this.config != null
post	this.mainFrame == mainFrame
post	init'ed(this.mainFrame)
post	this.minimiseButton == &new NoFocusButton(MDIBa r#2)
post	this.restoreButton == &new NoFocusButton(MDIBar #3)
post	init'ed(this.visibility)
post	new NoFocusButton(MDIBar#1) num objects == 1
post	new NoFocusButton(MDIBar#2) num objects == 1
post	new NoFocusButton(MDIBar#3) num objects == 1
unanalyzed	call on javax.swing.SwingUtilities:isEventDispatchT hread
unanalyzed	call on java.lang.Runnable:run
unanalyzed	call on javax.swing.SwingUtilities:invokeLater
unanalyzed	call on javax.swing.JButton
unanalyzed	call on javax.swing.BorderFactory:createEtchedBorde r
unanalyzed	call on com.dmdirc.addons.ui_swing.components. NoFocusButton:setBorder
unanalyzed	call on com.dmdirc.addons.ui_swing.components. NoFocusButton:setContentAreaFilled
unanalyzed	call on com.dmdirc.addons.ui_swing.components. NoFocusButton:setFocusPainted
unanalyzed	call on java.awt.Insets
unanalyzed	call on com.dmdirc.addons.ui_swing.components. NoFocusButton:setMargin
unanalyzed	call on com.dmdirc.addons.ui_swing.components. NoFocusButton:setFocusable

method not available - call not analyzed Info call on ConfigManager com.dmdirc.config. IdentityManager:getGlobalConfig()

method not available - call not analyzed Info call on String com.dmdirc.config.ConfigManager:getO ption(String, String)

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.components. MDIBar:setOpaque(bool)

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. MDIBar:setLayout(LayoutManager)

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

method not available - call not analyzed Info call on void com.dmdirc.ui.WindowManager:addFrameMa nager(FrameManager)

method not available - call not analyzed Info call on void com.dmdirc.ui.WindowManager:addSelecti onListener(SelectionListener)

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.components. NoFocusButton:addActionListener(ActionListener)

method not available - call not analyzed Info call on void com.dmdirc.config.ConfigManager:addCha ngeListener(String, String, ConfigChangeListener)

method	void setEnabled(bool)
pre	this.closeButton != null
pre	this.minimiseButton != null
pre	this.restoreButton != null

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.components. NoFocusButton:setEnabled(bool)

method

void com.dmdirc.addons.ui_swing.components. MDIBar$1(MDIBar)

method	void check()
unanalyzed	call on javax.swing.SwingUtilities:isEventDispatchT hread
unanalyzed	call on java.lang.Runnable:run
unanalyzed	call on javax.swing.SwingUtilities:invokeLater

method	void run()
pre	init'ed(this.mainFrame)
pre	(soft) this.closeButton != null
pre	(soft) this.mainFrame.desktopPane != null
pre	(soft) this.minimiseButton != null
pre	(soft) this.restoreButton != null
pre	(soft) init'ed(this.visibility)
presumption	javax.swing.JDesktopPane:getAllFrames(...)@119 != null
presumption	javax.swing.JDesktopPane:getAllFrames(...)@126 != null
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on javax.swing.SwingUtilities:isEventDispatchT hread
unanalyzed	call on javax.swing.SwingUtilities:invokeAndWait
unanalyzed	call on com.dmdirc.logger.Logger:appError
unanalyzed	call on com.dmdirc.util.ReturnableThread:run
unanalyzed	call on com.dmdirc.util.ReturnableThread:getObject
unanalyzed	call on com.dmdirc.util.ReturnableThread
unanalyzed	call on java.lang.Boolean:booleanValue
unanalyzed	call on com.dmdirc.addons.ui_swing.components. NoFocusButton:setEnabled
test_vector	this.mainFrame: Inverse{null}, Addr_Set{null}
test_vector	java.lang.String:equalsIgnoreCase(...)@118: {0}, {1}
test_vector	java.lang.String:equalsIgnoreCase(...)@120: {0}, {1}
test_vector	java.lang.String:equalsIgnoreCase(...)@122: {0}, {1}

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.components. MDIBar:setVisible(bool)

method

void setParent(JComponent)

method	bool canPositionVertically()
post	return_value == 1

method	bool canPositionHorizontally()
post	return_value == 1

method	void addWindow(FrameContainer)
pre	window != null
presumption	com.dmdirc.FrameContainer:getFrame(...)@153 != null
unanalyzed	call on javax.swing.SwingUtilities:isEventDispatchT hread
unanalyzed	call on java.lang.Runnable:run
unanalyzed	call on javax.swing.SwingUtilities:invokeLater

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

method	void delWindow(FrameContainer)
pre	window != null
presumption	com.dmdirc.FrameContainer:getFrame(...)@163 != null
unanalyzed	call on javax.swing.SwingUtilities:isEventDispatchT hread
unanalyzed	call on java.lang.Runnable:run
unanalyzed	call on javax.swing.SwingUtilities:invokeLater

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

method	void addWindow(FrameContainer, FrameContainer)
pre	window != null
unanalyzed	call on javax.swing.SwingUtilities:isEventDispatchT hread
unanalyzed	call on java.lang.Runnable:run
unanalyzed	call on javax.swing.SwingUtilities:invokeLater
unanalyzed	call on com.dmdirc.FrameContainer:getFrame
unanalyzed	call on javax.swing.JInternalFrame:instanceof
unanalyzed	call on javax.swing.JInternalFrame:addPropertyChang eListener

method	void delWindow(FrameContainer, FrameContainer)
pre	window != null
unanalyzed	call on javax.swing.SwingUtilities:isEventDispatchT hread
unanalyzed	call on java.lang.Runnable:run
unanalyzed	call on javax.swing.SwingUtilities:invokeLater
unanalyzed	call on com.dmdirc.FrameContainer:getFrame
unanalyzed	call on javax.swing.JInternalFrame:instanceof
unanalyzed	call on javax.swing.JInternalFrame:removePropertyCh angeListener

method	void propertyChange(PropertyChangeEvent)
pre	evt != null
pre	this.restoreButton != null
presumption	com.dmdirc.ui.IconManager:getIconManager(...)@187 != null
presumption	com.dmdirc.ui.IconManager:getIconManager(...)@190 != null
presumption	java.beans.PropertyChangeEvent:getNewValue(... )@186 != null
unanalyzed	call on javax.swing.SwingUtilities:isEventDispatchT hread
unanalyzed	call on java.lang.Runnable:run
unanalyzed	call on javax.swing.SwingUtilities:invokeLater
test_vector	java.lang.Boolean:booleanValue(...)@186: {0}, {1}

method not available - call not analyzed Info call on IconManager com.dmdirc.ui.IconManager:getIc onManager()

method not available - call not analyzed Info call on Icon com.dmdirc.ui.IconManager:getScaledIco n(String, int, int)

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.components. NoFocusButton:setIcon(Icon)

method	void actionPerformed(ActionEvent)
pre	init'ed(this.activeFrame)
pre	(soft) e != null
pre	(soft) this.closeButton != null
pre	(soft) this.minimiseButton != null
pre	(soft) this.restoreButton != null
test_vector	this.activeFrame: Inverse{null}, Addr_Set{null}
test_vector	java.lang.Object:equals(...)@206: {0}, {1}
test_vector	java.lang.Object:equals(...)@208: {0}, {1}
test_vector	java.lang.Object:equals(...)@210: {0}, {1}

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

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.components. frames.TextFrame:minimise()

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

method	void configChanged(String, String)
pre	this.config != null
post	init'ed(this.visibility)
unanalyzed	call on javax.swing.SwingUtilities:isEventDispatchT hread
unanalyzed	call on java.lang.Runnable:run
unanalyzed	call on javax.swing.SwingUtilities:invokeLater

method not available - call not analyzed Info call on String com.dmdirc.config.ConfigManager:getO ption(String, String)

method	void selectionChanged(Window)
post	this.activeFrame == window
post	init'ed(this.activeFrame)

	method not available - call not analyzed	Info	call on IconManager com.dmdirc.ui.IconManager:getIc onManager()
	method not available - call not analyzed	Info	call on Icon com.dmdirc.ui.IconManager:getScaledIco n(String, int, int)

	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. MDIBar:setLayout(LayoutManager)