Messages

method

com.dmdirc.addons.ui_swing.SwingController$18__ static_init

method

com.dmdirc.addons.ui_swing.SwingController$17__ static_init

method

com.dmdirc.addons.ui_swing.SwingController$16__ static_init

method

com.dmdirc.addons.ui_swing.SwingController$15__ static_init

method

com.dmdirc.addons.ui_swing.SwingController$14__ static_init

method

com.dmdirc.addons.ui_swing.SwingController$13__ static_init

method

com.dmdirc.addons.ui_swing.SwingController$12__ static_init

method

com.dmdirc.addons.ui_swing.SwingController$11__ static_init

method

com.dmdirc.addons.ui_swing.SwingController$10__ static_init

method

com.dmdirc.addons.ui_swing.SwingController$9__ static_init

method

com.dmdirc.addons.ui_swing.SwingController$8__ static_init

method

com.dmdirc.addons.ui_swing.SwingController$7$1__ static_init

method

com.dmdirc.addons.ui_swing.SwingController$7__ static_init

method

com.dmdirc.addons.ui_swing.SwingController$6__ static_init

method

com.dmdirc.addons.ui_swing.SwingController$5__ static_init

method

com.dmdirc.addons.ui_swing.SwingController$4__ static_init

method

com.dmdirc.addons.ui_swing.SwingController$3__ static_init

method

com.dmdirc.addons.ui_swing.SwingController$2__ static_init

method

com.dmdirc.addons.ui_swing.SwingController$1__ static_init

method	UpdaterDialog getUpdaterDialog(List)
post	init'ed(return_value)
unanalyzed	call on invokeAndWait
unanalyzed	call on com.dmdirc.util.ReturnableThread
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

method	MainWindow getMainWindow()
pre	init'ed(this.me)
post	return_value == this.me
post	init'ed(return_value)

method	Logger access$000()
post	init'ed(return_value)

method	MainFrame access$100(SwingController)
pre	x0 != null
pre	init'ed(x0.me)
post	return_value == x0.me
post	init'ed(return_value)

method	ErrorListDialog access$200(SwingController)
pre	x0 != null
pre	init'ed(x0.errorDialog)
post	return_value == x0.errorDialog
post	init'ed(return_value)

method	MainFrame access$102(SwingController, MainFrame)
pre	x0 != null
post	return_value == x1
post	init'ed(return_value)
post	x0.me == return_value

method	AtomicBoolean access$300(SwingController)
pre	x0 != null
pre	init'ed(x0.mainFrameCreated)
post	return_value == x0.mainFrameCreated
post	init'ed(return_value)

method	SwingStatusBar access$402(SwingController, SwingStatusBar)
pre	x0 != null
post	return_value == x1
post	init'ed(return_value)
post	x0.statusBar == return_value

method	ErrorListDialog access$202(SwingController, ErrorListDialog)
pre	x0 != null
post	return_value == x1
post	init'ed(return_value)
post	x0.errorDialog == return_value

method	com.dmdirc.addons.ui_swing.SwingController__ static_init
post	init'ed(LOGGER)

method	void com.dmdirc.addons.ui_swing.SwingController()
post	this.mainFrameCreated == &new AtomicBoolean(Swi ngController#1)
post	this.windows == &new ArrayList(SwingController# 2)
post	new ArrayList(SwingController#2) num objects == 1
post	new AtomicBoolean(SwingController#1) num objects == 1

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

method	bool hasMainFrame()
pre	this.mainFrameCreated != null
post	init'ed(return_value)

method	MainFrame getMainWindow()
pre	init'ed(this.me)
post	return_value == this.me
post	init'ed(return_value)

method	MainFrame getMainFrame()
pre	init'ed(this.me)
post	return_value == this.me
post	init'ed(return_value)

method	StatusBar getStatusBar()
pre	init'ed(this.statusBar)
post	return_value == this.statusBar
post	init'ed(return_value)

method	SwingStatusBar getSwingStatusBar()
pre	init'ed(this.statusBar)
post	return_value == this.statusBar
post	init'ed(return_value)

method	void com.dmdirc.addons.ui_swing.SwingController$1( SwingController, Channel)
post	this.val$channel == Param_2
post	init'ed(this.val$channel)

method	ChannelWindow getChannel(Channel)
post	init'ed(return_value)
unanalyzed	call on com.dmdirc.util.ReturnableThread
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

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

method

void run()

call too complex - analysis skipped Info call on void com.dmdirc.addons.ui_swing.components. frames.ChannelFrame(Channel, SwingController)

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing. SwingController$1:setObject(Object)

method	void com.dmdirc.addons.ui_swing.SwingController$2( SwingController, Server)
post	this.val$server == Param_2
post	init'ed(this.val$server)

method	ServerWindow getServer(Server)
post	init'ed(return_value)
unanalyzed	call on com.dmdirc.util.ReturnableThread
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

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

method	void run()
pre	this.val$server != null
unanalyzed	call on javax.swing.JMenuItem
unanalyzed	call on javax.swing.JMenuItem:addActionListener
unanalyzed	call on com.dmdirc.addons.ui_swing.components. frames.ServerFrame:setTitle
unanalyzed	call on com.dmdirc.addons.ui_swing.components. frames.ServerFrame:getContentPane
unanalyzed	call on net.miginfocom.swing.MigLayout
unanalyzed	call on java.awt.Container:setLayout
unanalyzed	call on com.dmdirc.addons.ui_swing.components. frames.ServerFrame:getTextPane
unanalyzed	call on java.awt.Container:add
unanalyzed	call on com.dmdirc.addons.ui_swing.components. frames.ServerFrame:getSearchBar
unanalyzed	call on com.dmdirc.addons.ui_swing.components. frames.ServerFrame:pack
unanalyzed	call on getContainer
unanalyzed	call on com.dmdirc.addons.ui_swing.components. frames.InputTextFrame
unanalyzed	call on com.dmdirc.commandparser.parsers. ServerCommandParser
unanalyzed	call on getInputField
unanalyzed	call on com.dmdirc.ui.input.InputHandler
unanalyzed	call on setInputHandler
unanalyzed	call on com.dmdirc.addons.ui_swing.components. frames.TextFrame:getContainer
unanalyzed	call on javax.swing.JPopupMenu
unanalyzed	call on javax.swing.JPanel:add
unanalyzed	call on javax.swing.JLabel:setVisible
unanalyzed	call on com.dmdirc.WritableFrameContainer:getServer
unanalyzed	call on net.miginfocom.layout.PlatformDefaults:getU nitValueX
unanalyzed	call on net.miginfocom.layout.UnitValue:getValue
unanalyzed	call on javax.swing.SwingUtilities:isEventDispatchT hread
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
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 javax.swing.undo.UndoManager
unanalyzed	call on javax.swing.text.JTextComponent:getDocument
unanalyzed	call on javax.swing.text.Document:addUndoableEditLi stener
unanalyzed	call on javax.swing.text.JTextComponent:getActionMa p
unanalyzed	call on javax.swing.AbstractAction
unanalyzed	call on javax.swing.ActionMap:put
unanalyzed	call on javax.swing.text.JTextComponent:getInputMap
unanalyzed	call on javax.swing.KeyStroke:getKeyStroke
unanalyzed	call on javax.swing.InputMap:put
unanalyzed	call on com.dmdirc.addons.ui_swing.components. SwingInputField:getActionMap
unanalyzed	call on com.dmdirc.addons.ui_swing.components. SwingInputField:getInputMap
unanalyzed	call on java.lang.Runnable:run
unanalyzed	call on javax.swing.SwingUtilities:invokeLater
unanalyzed	call on com.dmdirc.config.ConfigManager:getOptionCo lour
unanalyzed	call on javax.swing.JPopupMenu:add
unanalyzed	call on javax.swing.JPopupMenu:setOpaque
unanalyzed	call on javax.swing.JPopupMenu:setLightWeightPopupE nabled
unanalyzed	call on javax.swing.JComponent
unanalyzed	call on com.dmdirc.util.ListenerList
unanalyzed	call on javax.swing.JTextField
unanalyzed	call on javax.swing.JTextField:setFocusTraversalKey sEnabled
unanalyzed	call on javax.swing.JTextField:addKeyListener
unanalyzed	call on com.dmdirc.ui.IconManager:getIconManager
unanalyzed	call on com.dmdirc.ui.IconManager:getIcon
unanalyzed	call on javax.swing.JLabel
unanalyzed	call on com.dmdirc.addons.ui_swing.components. SwingInputField:setLayout
unanalyzed	call on com.dmdirc.addons.ui_swing.components. SwingInputField:add
unanalyzed	call on javax.swing.JTextField:getActionMap
unanalyzed	call on com.dmdirc.addons.ui_swing.components. SwingInputField:setActionMap
unanalyzed	call on javax.swing.JTextField:getInputMap
unanalyzed	call on com.dmdirc.addons.ui_swing.components. SwingInputField:setInputMap
unanalyzed	call on com.dmdirc.addons.ui_swing.components. SwingInputField:addMouseListener
unanalyzed	call on javax.swing.JLabel:setText
unanalyzed	call on java.awt.BorderLayout
unanalyzed	call on javax.swing.JPanel
unanalyzed	call on com.dmdirc.addons.ui_swing.components. frames.TextFrame
unanalyzed	call on com.dmdirc.WritableFrameContainer:getConfig Manager
unanalyzed	call on com.dmdirc.config.ConfigManager:addChangeLi stener
unanalyzed	call on com.dmdirc.Server:addAwayStateListener
unanalyzed	call on com.dmdirc.ui.input.InputHandler:addValidat ionListener

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing. SwingController$2:setObject(Object)

method	void com.dmdirc.addons.ui_swing.SwingController$3( SwingController, Query)
post	this.val$query == Param_2
post	init'ed(this.val$query)

method	QueryWindow getQuery(Query)
post	init'ed(return_value)
unanalyzed	call on com.dmdirc.util.ReturnableThread
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

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

method	void run()
pre	this.val$query != null
unanalyzed	call on com.dmdirc.addons.ui_swing.components. frames.QueryFrame:setTitle
unanalyzed	call on com.dmdirc.addons.ui_swing.components. frames.QueryFrame:getContentPane
unanalyzed	call on net.miginfocom.swing.MigLayout
unanalyzed	call on java.awt.Container:setLayout
unanalyzed	call on com.dmdirc.addons.ui_swing.components. frames.QueryFrame:getTextPane
unanalyzed	call on java.awt.Container:add
unanalyzed	call on com.dmdirc.addons.ui_swing.components. frames.QueryFrame:getSearchBar
unanalyzed	call on com.dmdirc.addons.ui_swing.components. frames.QueryFrame:pack
unanalyzed	call on com.dmdirc.addons.ui_swing.components. frames.InputTextFrame
unanalyzed	call on getContainer
unanalyzed	call on com.dmdirc.Query:getServer
unanalyzed	call on com.dmdirc.commandparser.parsers. QueryCommandParser
unanalyzed	call on getInputField
unanalyzed	call on com.dmdirc.ui.input.InputHandler
unanalyzed	call on setInputHandler
unanalyzed	call on com.dmdirc.addons.ui_swing.components. frames.TextFrame:getContainer
unanalyzed	call on javax.swing.JPopupMenu
unanalyzed	call on javax.swing.JPanel:add
unanalyzed	call on javax.swing.JLabel:setVisible
unanalyzed	call on com.dmdirc.WritableFrameContainer:getServer
unanalyzed	call on net.miginfocom.layout.PlatformDefaults:getU nitValueX
unanalyzed	call on net.miginfocom.layout.UnitValue:getValue
unanalyzed	call on javax.swing.SwingUtilities:isEventDispatchT hread
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
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 javax.swing.undo.UndoManager
unanalyzed	call on javax.swing.text.JTextComponent:getDocument
unanalyzed	call on javax.swing.text.Document:addUndoableEditLi stener
unanalyzed	call on javax.swing.text.JTextComponent:getActionMa p
unanalyzed	call on javax.swing.AbstractAction
unanalyzed	call on javax.swing.ActionMap:put
unanalyzed	call on javax.swing.text.JTextComponent:getInputMap
unanalyzed	call on javax.swing.KeyStroke:getKeyStroke
unanalyzed	call on javax.swing.InputMap:put
unanalyzed	call on com.dmdirc.addons.ui_swing.components. SwingInputField:getActionMap
unanalyzed	call on com.dmdirc.addons.ui_swing.components. SwingInputField:getInputMap
unanalyzed	call on java.lang.Runnable:run
unanalyzed	call on javax.swing.SwingUtilities:invokeLater
unanalyzed	call on com.dmdirc.config.ConfigManager:getOptionCo lour
unanalyzed	call on javax.swing.JPopupMenu:add
unanalyzed	call on javax.swing.JPopupMenu:setOpaque
unanalyzed	call on javax.swing.JPopupMenu:setLightWeightPopupE nabled
unanalyzed	call on javax.swing.JComponent
unanalyzed	call on com.dmdirc.util.ListenerList
unanalyzed	call on javax.swing.JTextField
unanalyzed	call on javax.swing.JTextField:setFocusTraversalKey sEnabled
unanalyzed	call on javax.swing.JTextField:addKeyListener
unanalyzed	call on com.dmdirc.ui.IconManager:getIconManager
unanalyzed	call on com.dmdirc.ui.IconManager:getIcon
unanalyzed	call on javax.swing.JLabel
unanalyzed	call on com.dmdirc.addons.ui_swing.components. SwingInputField:setLayout
unanalyzed	call on com.dmdirc.addons.ui_swing.components. SwingInputField:add
unanalyzed	call on javax.swing.JTextField:getActionMap
unanalyzed	call on com.dmdirc.addons.ui_swing.components. SwingInputField:setActionMap
unanalyzed	call on javax.swing.JTextField:getInputMap
unanalyzed	call on com.dmdirc.addons.ui_swing.components. SwingInputField:setInputMap
unanalyzed	call on com.dmdirc.addons.ui_swing.components. SwingInputField:addMouseListener
unanalyzed	call on javax.swing.JLabel:setText
unanalyzed	call on java.awt.BorderLayout
unanalyzed	call on javax.swing.JPanel
unanalyzed	call on com.dmdirc.addons.ui_swing.components. frames.TextFrame
unanalyzed	call on com.dmdirc.WritableFrameContainer:getConfig Manager
unanalyzed	call on com.dmdirc.config.ConfigManager:addChangeLi stener
unanalyzed	call on com.dmdirc.Server:addAwayStateListener
unanalyzed	call on com.dmdirc.ui.input.InputHandler:addValidat ionListener

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing. SwingController$3:setObject(Object)

method	void com.dmdirc.addons.ui_swing.SwingController$4( SwingController, FrameContainer)
post	this.val$owner == Param_2
post	init'ed(this.val$owner)

method	Window getWindow(FrameContainer)
post	init'ed(return_value)
unanalyzed	call on com.dmdirc.util.ReturnableThread
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

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

method	void run()
unanalyzed	call on com.dmdirc.addons.ui_swing.components. frames.CustomFrame:setTitle
unanalyzed	call on com.dmdirc.addons.ui_swing.components. frames.CustomFrame:getContentPane
unanalyzed	call on net.miginfocom.swing.MigLayout
unanalyzed	call on java.awt.Container:setLayout
unanalyzed	call on com.dmdirc.addons.ui_swing.components. frames.CustomFrame:getTextPane
unanalyzed	call on java.awt.Container:add
unanalyzed	call on com.dmdirc.addons.ui_swing.components. frames.CustomFrame:getSearchBar
unanalyzed	call on com.dmdirc.addons.ui_swing.components. frames.CustomFrame:pack
unanalyzed	call on com.dmdirc.addons.ui_swing.components. frames.TextFrame
unanalyzed	call on com.dmdirc.addons.ui_swing.components. frames.CustomFrame:addKeyListener

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing. SwingController$4:setObject(Object)

method	InputWindow getInputWindow(WritableFrameContainer, CommandParser)
presumption	java.util.logging.Logger:getLogger(...)@90 != null
post	init'ed(return_value)
unanalyzed	call on com.dmdirc.util.ReturnableThread
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

method	void com.dmdirc.addons.ui_swing.SwingController$5( SwingController, WritableFrameContainer, CommandParser)
post	this.val$commandParser == Param_3
post	init'ed(this.val$commandParser)
post	this.val$owner == Param_2
post	init'ed(this.val$owner)

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

method	void run()
pre	this.val$owner != null
presumption	java.util.logging.Logger:getLogger(...)@90 != null
unanalyzed	call on com.dmdirc.addons.ui_swing.components. frames.CustomInputFrame:setTitle
unanalyzed	call on com.dmdirc.addons.ui_swing.components. frames.CustomInputFrame:getContentPane
unanalyzed	call on net.miginfocom.swing.MigLayout
unanalyzed	call on java.awt.Container:setLayout
unanalyzed	call on com.dmdirc.addons.ui_swing.components. frames.CustomInputFrame:getTextPane
unanalyzed	call on java.awt.Container:add
unanalyzed	call on com.dmdirc.addons.ui_swing.components. frames.CustomInputFrame:getSearchBar
unanalyzed	call on com.dmdirc.addons.ui_swing.components. frames.CustomInputFrame:pack
unanalyzed	call on com.dmdirc.addons.ui_swing.components. frames.InputTextFrame
unanalyzed	call on getInputField
unanalyzed	call on com.dmdirc.ui.input.InputHandler
unanalyzed	call on setInputHandler
unanalyzed	call on com.dmdirc.addons.ui_swing.components. frames.TextFrame:getContainer
unanalyzed	call on javax.swing.JPopupMenu
unanalyzed	call on javax.swing.JPanel:add
unanalyzed	call on javax.swing.JLabel:setVisible
unanalyzed	call on com.dmdirc.WritableFrameContainer:getServer
unanalyzed	call on net.miginfocom.layout.PlatformDefaults:getU nitValueX
unanalyzed	call on net.miginfocom.layout.UnitValue:getValue
unanalyzed	call on javax.swing.SwingUtilities:isEventDispatchT hread
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
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 javax.swing.undo.UndoManager
unanalyzed	call on javax.swing.text.JTextComponent:getDocument
unanalyzed	call on javax.swing.text.Document:addUndoableEditLi stener
unanalyzed	call on javax.swing.text.JTextComponent:getActionMa p
unanalyzed	call on javax.swing.AbstractAction
unanalyzed	call on javax.swing.ActionMap:put
unanalyzed	call on javax.swing.text.JTextComponent:getInputMap
unanalyzed	call on javax.swing.KeyStroke:getKeyStroke
unanalyzed	call on javax.swing.InputMap:put
unanalyzed	call on com.dmdirc.addons.ui_swing.components. SwingInputField:getActionMap
unanalyzed	call on com.dmdirc.addons.ui_swing.components. SwingInputField:getInputMap
unanalyzed	call on java.lang.Runnable:run
unanalyzed	call on javax.swing.SwingUtilities:invokeLater
unanalyzed	call on com.dmdirc.config.ConfigManager:getOptionCo lour
unanalyzed	call on javax.swing.JPopupMenu:add
unanalyzed	call on javax.swing.JPopupMenu:setOpaque
unanalyzed	call on javax.swing.JPopupMenu:setLightWeightPopupE nabled
unanalyzed	call on javax.swing.JComponent
unanalyzed	call on com.dmdirc.util.ListenerList
unanalyzed	call on javax.swing.JTextField
unanalyzed	call on javax.swing.JTextField:setFocusTraversalKey sEnabled
unanalyzed	call on javax.swing.JTextField:addKeyListener
unanalyzed	call on com.dmdirc.ui.IconManager:getIconManager
unanalyzed	call on com.dmdirc.ui.IconManager:getIcon
unanalyzed	call on javax.swing.JLabel
unanalyzed	call on com.dmdirc.addons.ui_swing.components. SwingInputField:setLayout
unanalyzed	call on com.dmdirc.addons.ui_swing.components. SwingInputField:add
unanalyzed	call on javax.swing.JTextField:getActionMap
unanalyzed	call on com.dmdirc.addons.ui_swing.components. SwingInputField:setActionMap
unanalyzed	call on javax.swing.JTextField:getInputMap
unanalyzed	call on com.dmdirc.addons.ui_swing.components. SwingInputField:setInputMap
unanalyzed	call on com.dmdirc.addons.ui_swing.components. SwingInputField:addMouseListener
unanalyzed	call on javax.swing.JLabel:setText
unanalyzed	call on java.awt.BorderLayout
unanalyzed	call on javax.swing.JPanel
unanalyzed	call on com.dmdirc.addons.ui_swing.components. frames.TextFrame
unanalyzed	call on com.dmdirc.WritableFrameContainer:getConfig Manager
unanalyzed	call on com.dmdirc.config.ConfigManager:addChangeLi stener
unanalyzed	call on com.dmdirc.Server:addAwayStateListener
unanalyzed	call on com.dmdirc.ui.input.InputHandler:addValidat ionListener

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing. SwingController$5:setObject(Object)

method not available - call not analyzed Info call on Object com.dmdirc.addons.ui_swing. SwingController$5:getObject()

method	void com.dmdirc.addons.ui_swing.SwingController$6( SwingController, List)
post	this.val$updates == Param_2
post	init'ed(this.val$updates)

method	SwingUpdaterDialog getUpdaterDialog(List)
post	init'ed(return_value)
unanalyzed	call on com.dmdirc.util.ReturnableThread
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

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

method	void run()
pre	init'ed(this.me)

method not available - call not analyzed Info call on SwingUpdaterDialog com.dmdirc.addons.ui_ swing.dialogs.updater.SwingUpdaterDialog:getSwingUp daterDialog(List, MainFrame)

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing. SwingController$6:setObject(Object)

method	void showFirstRunWizard()
unanalyzed	call on java.util.concurrent.Semaphore
unanalyzed	call on invokeLater
unanalyzed	call on java.util.concurrent.Semaphore:acquireUnint erruptibly
unanalyzed	call on javax.swing.SwingUtilities:isEventDispatchT hread
unanalyzed	call on java.lang.Runnable:run
unanalyzed	call on javax.swing.SwingUtilities:invokeLater

method	void showMigrationWizard()
unanalyzed	call on java.util.concurrent.Semaphore
unanalyzed	call on invokeLater
unanalyzed	call on java.util.concurrent.Semaphore:acquireUnint erruptibly
unanalyzed	call on javax.swing.SwingUtilities:isEventDispatchT hread
unanalyzed	call on java.lang.Runnable:run
unanalyzed	call on javax.swing.SwingUtilities:invokeLater

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

method	void com.dmdirc.addons.ui_swing.SwingController$7( SwingController, Semaphore, bool)
post	this.val$firstRun == Param_3
post	init'ed(this.val$firstRun)
post	this.val$semaphore == Param_2
post	init'ed(this.val$semaphore)

method

void com.dmdirc.addons.ui_swing.SwingController$7$ 1(SwingController$7)

method	void run()
presumption	com.dmdirc.addons.ui_swing.wizard.firstrun. SwingFirstRunWizard:getWizardDialog(...)@271 != null

method	void wizardFinished()
pre	this.val$semaphore != null

method	void wizardCancelled()
pre	this.val$semaphore != null

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.wizard. firstrun.SwingFirstRunWizard(bool)

method not available - call not analyzed Info call on WizardDialog com.dmdirc.addons.ui_swing. wizard.firstrun.SwingFirstRunWizard:getWizardDialog ()

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.wizard. WizardDialog:addWizardListener(WizardListener)

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.wizard. firstrun.SwingFirstRunWizard:display()

method	void com.dmdirc.addons.ui_swing.SwingController$8( SwingController, Channel)
post	this.val$channel == Param_2
post	init'ed(this.val$channel)

method	void showChannelSettingsDialog(Channel)
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.me)

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.dialogs. channelsetting.ChannelSettingsDialog:showChannelSet tingsDialog(Channel, Window)

method	void com.dmdirc.addons.ui_swing.SwingController$9( SwingController, Server)
post	this.val$server == Param_2
post	init'ed(this.val$server)

method	void showServerSettingsDialog(Server)
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.me)

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.dialogs. serversetting.ServerSettingsDialog:showServerSettin gsDialog(Server, Window)

method	void updateLookAndFeel()
pre	(soft) this.windows != null
presumption	com.dmdirc.config.IdentityManager:getGlobalConfig(. ..)@309 != null
presumption	init'ed(com.dmdirc.logger.ErrorLevel.LOW)
presumption	com.dmdirc.util.ReturnableThread:getObject(... )@203 != null
presumption	invokeAndWait(...)@311 init'ed
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on com.dmdirc.util.ReturnableThread
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 java.lang.Runnable:run
unanalyzed	call on javax.swing.SwingUtilities:invokeLater
unanalyzed	call on java.lang.String:equals
unanalyzed	call on javax.swing.UIManager:getSystemLookAndFeelC lassName
unanalyzed	call on java.lang.String:isEmpty
unanalyzed	call on javax.swing.UIManager:getInstalledLookAndFe els
unanalyzed	call on javax.swing.UIManager$LookAndFeelInfo:getNa me
unanalyzed	call on javax.swing.UIManager$LookAndFeelInfo:getCl assName
test_vector	java.util.Iterator:hasNext(...)@327: {0}, {1}

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

void com.dmdirc.addons.ui_swing.SwingController$10 (SwingController)

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

method	void run()
pre	this.me != null

method not available - call not analyzed Info call on int com.dmdirc.addons.ui_swing. MainFrame:getExtendedState()

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing. SwingController$10:setObject(Object)

method

void com.dmdirc.addons.ui_swing.SwingController$11 (SwingController)

method	void run()
pre	init'ed(this.errorDialog)

method	void com.dmdirc.addons.ui_swing.SwingController$12 (SwingController, Window)
post	this.val$window == Param_2
post	init'ed(this.val$window)

method	void run()
pre	init'ed(this.me)
pre	(soft) this.val$window != null
test_vector	this.val$window == this.me: {1}, {0}

method	void com.dmdirc.addons.ui_swing.SwingController$13 (SwingController, int)
post	this.val$state == Param_2
post	init'ed(this.val$state)

method	void run()
pre	this.me != null

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing. MainFrame:setExtendedState(int)

method not available - call not analyzed Info call on void com.dmdirc.logger.Logger:userError(Err orLevel, String)

method	void initUISettings()
pre	(soft) init'ed(com/dmdirc/addons/ui_swing/Apple. me)
presumption	com.dmdirc.config.IdentityManager:getGlobalConfig(. ..)@371 != null
presumption	com.dmdirc.config.IdentityManager:getGlobalConfig(. ..)@401 != null
presumption	init'ed(com.dmdirc.logger.ErrorLevel.LOW)
presumption	com.dmdirc.ui.IconManager:getIconManager(...)@394 != null
presumption	com.dmdirc.ui.IconManager:getIconManager(...)@396 != null
presumption	javax.swing.UIManager:getLookAndFeel(...)@416 != null
post	possibly_updated(com/dmdirc/addons/ui_swing/Apple. application)
post	com/dmdirc/addons/ui_swing/Apple.me == One-of{old com/dmdirc/addons/ui_swing/Apple.me, &new Apple(getApple#1)}
post	init'ed(com/dmdirc/addons/ui_swing/Apple.me)
post	init'ed(com/dmdirc/addons/ui_swing/Apple.me. isListener)
post	new Apple(getApple#1) num objects <= 1
post	init'ed(new Apple(getApple#1).addresses)
post	new Apple(getApple#1).clientOpened == 0
post	init'ed(new Apple(getApple#1).isListener)
post	init'ed(new Apple(getApple#1).menuBar)
post	new ArrayList(Apple#1) num objects <= 1
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on java.lang.String:equals
unanalyzed	call on javax.swing.UIManager:getSystemLookAndFeelC lassName
unanalyzed	call on java.lang.String:isEmpty
unanalyzed	call on javax.swing.UIManager:getInstalledLookAndFe els
unanalyzed	call on javax.swing.UIManager$LookAndFeelInfo:getNa me
unanalyzed	call on javax.swing.UIManager$LookAndFeelInfo:getCl assName
unanalyzed	call on java.lang.System:getProperty
unanalyzed	call on java.util.ArrayList
unanalyzed	call on java.lang.System:loadLibrary
unanalyzed	call on registerOpenURLCallback
unanalyzed	call on com.dmdirc.actions.ActionManager:addListene r
unanalyzed	call on com.dmdirc.logger.Logger:userError
unanalyzed	call on com.dmdirc.config.IdentityManager:getGlobal Config
unanalyzed	call on com.dmdirc.config.ConfigManager:getOptionBo ol
unanalyzed	call on java.lang.System:setProperty
unanalyzed	call on java.lang.Class:forName
unanalyzed	call on java.lang.Class:getMethod
unanalyzed	call on java.lang.reflect.Method:invoke
unanalyzed	call on java.lang.Object:getClass
unanalyzed	call on java.lang.Class:getClassLoader
unanalyzed	call on java.lang.reflect.Proxy:newProxyInstance
unanalyzed	call on javax.swing.UIManager:getLookAndFeel
unanalyzed	call on java.lang.Class:getName
unanalyzed	call on javax.swing.UIManager:setLookAndFeel
unanalyzed	call on java.lang.Boolean:valueOf
unanalyzed	call on javax.swing.UIManager:put
unanalyzed	call on javax.swing.BorderFactory:createEmptyBorder
unanalyzed	call on net.miginfocom.layout.PlatformDefaults:getP anelInsets
unanalyzed	call on net.miginfocom.layout.UnitValue:getValue
unanalyzed	call on java.lang.Integer:valueOf
unanalyzed	call on net.miginfocom.layout.PlatformDefaults:setD efaultRowAlignmentBaseline
unanalyzed	call on java.lang.UnsupportedOperationException
test_vector	java.lang.String:equals(...)@416: {0}, {1}
test_vector	javax.swing.UIManager:getFont(...)@387: Inverse{null}, Addr_Set{null}
test_vector	javax.swing.UIManager:getFont(...)@390: Inverse{null}, Addr_Set{null}

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

method not available - call not analyzed Info call on bool com.dmdirc.config.ConfigManager:getOpt ionBool(String, String)

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:getIcon(Stri ng)

method not available - call not analyzed Info call on void com.dmdirc.logger.Logger:userError(Err orLevel, String)

method not available - call not analyzed Info call on void net.miginfocom.layout.PlatformDefaults :setPlatform(int)

method	Window getActiveWindow()
pre	this.me != null
post	init'ed(return_value)
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

method	Server getActiveServer()
pre	this.mainFrameCreated != null
pre	(soft) this.me != null
presumption	com.dmdirc.ui.interfaces.Window:getContainer(... )@440 != null
presumption	com.dmdirc.util.ReturnableThread:getObject(... )@203 != null
post	init'ed(return_value)
unanalyzed	call on getActiveFrame
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
test_vector	com.dmdirc.util.ReturnableThread:getObject(... )@203: Inverse{null}, Addr_Set{null}
test_vector	java.util.concurrent.atomic.AtomicBoolean:get(... )@433: {1}, {0}

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 Server com.dmdirc.FrameContainer:getServer( )

method	void com.dmdirc.addons.ui_swing.SwingController$14 (SwingController, URI)
post	this.val$url == Param_2
post	init'ed(this.val$url)

method	void showURLDialog(URI)
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.me)

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.dialogs. url.URLDialog:showURLDialog(URI, Window)

method	void com.dmdirc.addons.ui_swing.SwingController$15 (SwingController, SSLCertificateDialogModel)
post	this.val$model == Param_2
post	init'ed(this.val$model)

method	void showSSLCertificateDialog(SSLCertificateDialog Model)
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.me)

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.dialogs. sslcertificate.SSLCertificateDialog(Window, SSLCertificateDialogModel)

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.dialogs. sslcertificate.SSLCertificateDialog:setVisible(bool )

method

void com.dmdirc.addons.ui_swing.SwingController$16 (SwingController)

method	void showFeedbackNag()
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()

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.components. statusbar.FeedbackNag(SwingController)

method	void com.dmdirc.addons.ui_swing.SwingController$17 (SwingController, String, String)
post	this.val$message == Param_2
post	init'ed(this.val$message)
post	this.val$title == Param_3
post	init'ed(this.val$title)

method	void showMessageDialog(String, String)
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()

method	void showErrorDialog()
pre	this.errorDialog != null

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.dialogs. error.ErrorListDialog:display()

method	String getUserInput(String)
post	init'ed(return_value)

method	PreferencesInterface getPluginPrefsPanel()
post	return_value == &new PluginPanel(getPluginPrefs Panel#1)
post	new PluginPanel(getPluginPrefsPanel#1) num objects == 1

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

method	PreferencesInterface getUpdatesPrefsPanel()
post	return_value == &new UpdateConfigPanel(getUpdat esPrefsPanel#1)
post	new UpdateConfigPanel(getUpdatesPrefsPanel#1) num objects == 1

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.dialogs. prefs.UpdateConfigPanel()

method	PreferencesInterface getUrlHandlersPrefsPanel()
pre	init'ed(this.me)
post	return_value == &new URLConfigPanel(getUrlHandl ersPrefsPanel#1)
post	new URLConfigPanel(getUrlHandlersPrefsPanel#1) num objects == 1

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.dialogs. prefs.URLConfigPanel(Window)

method	PreferencesInterface getThemesPrefsPanel()
post	return_value == &new ThemePanel(getThemesPrefsP anel#1)
post	new ThemePanel(getThemesPrefsPanel#1) num objects == 1

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

method	String getLookAndFeel()
presumption	javax.swing.UIManager:getLookAndFeel(...)@542 != null
post	init'ed(return_value)

method	void onLoad()
pre	this.mainFrameCreated != null
presumption	java.awt.GraphicsEnvironment:isHeadless(...)@548 == 0
presumption	java.awt.Toolkit:getDefaultToolkit(...)@553 != null
presumption	java.awt.Toolkit:getSystemEventQueue(...)@553 != null
presumption	java.util.concurrent.atomic.AtomicBoolean:get(... )@569 == 1
unanalyzed	call on java.awt.EventQueue
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 java.lang.Runnable:run

method

void com.dmdirc.addons.ui_swing.SwingController$18 (SwingController)

method	void run()
pre	this.mainFrameCreated != null
pre	(soft) init'ed(com/dmdirc/addons/ui_swing/Apple. me)
post	possibly_updated(com/dmdirc/addons/ui_swing/Apple. application)
post	com/dmdirc/addons/ui_swing/Apple.me == One-of{old com/dmdirc/addons/ui_swing/Apple.me, &new Apple(getApple#1)}
post	init'ed(com/dmdirc/addons/ui_swing/Apple.me)
post	init'ed(com/dmdirc/addons/ui_swing/Apple.me. isListener)
post	init'ed(this.statusBar)
post	new Apple(getApple#1) num objects <= 1
post	new ArrayList(Apple#1) num objects == new Apple(getApple#1) num objects
post	init'ed(new Apple(getApple#1).addresses)
post	new Apple(getApple#1).clientOpened == 0
post	init'ed(new Apple(getApple#1).isListener)
post	init'ed(new Apple(getApple#1).menuBar)
post	new ErrorListDialog(run#2) num objects == 1
post	new ImageIcon(MainFrame#1) num objects == 1
post	new MainFrame(run#1) num objects == 1
post	init'ed(this.me.exitCode)
post	init'ed(this.me.showVersion)
post	init'ed(this.me.statusBar)
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on com.dmdirc.config.IdentityManager:getGlobal Config
unanalyzed	call on com.dmdirc.config.ConfigManager:getOption
unanalyzed	call on getLookAndFeel
unanalyzed	call on javax.swing.UIManager:setLookAndFeel
unanalyzed	call on com.dmdirc.logger.Logger:userError
unanalyzed	call on com.dmdirc.config.ConfigManager:getOptionBo ol
unanalyzed	call on java.lang.Boolean:toString
unanalyzed	call on java.lang.System:setProperty
unanalyzed	call on isApple
unanalyzed	call on getApple
unanalyzed	call on setUISettings
unanalyzed	call on setListener
unanalyzed	call on java.awt.Font
unanalyzed	call on javax.swing.UIManager:getFont
unanalyzed	call on javax.swing.UIManager:put
unanalyzed	call on com.dmdirc.ui.IconManager:getIconManager
unanalyzed	call on com.dmdirc.ui.IconManager:getIcon
unanalyzed	call on initUISettings
unanalyzed	call on javax.swing.UIManager:getLookAndFeel
unanalyzed	call on javax.swing.LookAndFeel:getName
unanalyzed	call on java.lang.String:equals
unanalyzed	call on net.miginfocom.layout.PlatformDefaults:setP latform
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
unanalyzed	call on com.dmdirc.util.ReturnableThread:run
unanalyzed	call on com.dmdirc.util.ReturnableThread:getObject
unanalyzed	call on com.dmdirc.ui.interfaces.Window:isMaximum
unanalyzed	call on javax.swing.JFrame:setTitle
unanalyzed	call on javax.swing.JFrame
unanalyzed	call on initComponents
unanalyzed	call on com.dmdirc.ui.IconManager:getImage
unanalyzed	call on javax.swing.ImageIcon
unanalyzed	call on javax.swing.ImageIcon:getImage
unanalyzed	call on com.dmdirc.addons.ui_swing.MainFrame:setIco nImage
unanalyzed	call on com.dmdirc.ui.CoreUIUtils:centreWindow
unanalyzed	call on com.dmdirc.addons.ui_swing.MainFrame:setVis ible
unanalyzed	call on com.dmdirc.addons.ui_swing.MainFrame:addWin dowListener
unanalyzed	call on com.dmdirc.config.ConfigManager:addChangeLi stener
unanalyzed	call on com.dmdirc.addons.ui_swing.MainFrame:addWin dowFocusListener
unanalyzed	call on javax.swing.UIManager:getSystemLookAndFeelC lassName
unanalyzed	call on java.lang.String:isEmpty
unanalyzed	call on javax.swing.UIManager:getInstalledLookAndFe els
unanalyzed	call on javax.swing.UIManager$LookAndFeelInfo:getNa me
unanalyzed	call on javax.swing.UIManager$LookAndFeelInfo:getCl assName
unanalyzed	call on java.lang.System:getProperty
unanalyzed	call on java.util.ArrayList
unanalyzed	call on java.lang.System:loadLibrary
unanalyzed	call on registerOpenURLCallback
unanalyzed	call on com.dmdirc.actions.ActionManager:addListene r
unanalyzed	call on java.lang.Class:forName
unanalyzed	call on java.lang.Class:getMethod
unanalyzed	call on java.lang.reflect.Method:invoke
unanalyzed	call on java.lang.Object:getClass
unanalyzed	call on java.lang.Class:getClassLoader
unanalyzed	call on java.lang.reflect.Proxy:newProxyInstance
unanalyzed	call on java.lang.Class:getName
unanalyzed	call on java.lang.Boolean:valueOf
unanalyzed	call on javax.swing.BorderFactory:createEmptyBorder
unanalyzed	call on net.miginfocom.layout.PlatformDefaults:getP anelInsets
unanalyzed	call on net.miginfocom.layout.UnitValue:getValue
unanalyzed	call on java.lang.Integer:valueOf
unanalyzed	call on net.miginfocom.layout.PlatformDefaults:setD efaultRowAlignmentBaseline
unanalyzed	call on java.lang.UnsupportedOperationException

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.dialogs. error.ErrorListDialog(MainFrame)

method not available - call not analyzed Info call on void com.dmdirc.Main:setUI(UIController)

method

void onUnload()

method	void addTopLevelWindow(Window)
pre	this.windows != null

method	void delTopLevelWindow(Window)
pre	this.windows != null

method	List getTopLevelWindows()
post	return_value == this.windows
post	init'ed(return_value)

	call too complex - analysis skipped	Info	call on void com.dmdirc.addons.ui_swing.components. frames.ChannelFrame(Channel, SwingController)
	method not available - call not analyzed	Info	call on void com.dmdirc.addons.ui_swing. SwingController$1:setObject(Object)

	method not available - call not analyzed	Info	call on SwingUpdaterDialog com.dmdirc.addons.ui_ swing.dialogs.updater.SwingUpdaterDialog:getSwingUp daterDialog(List, MainFrame)
	method not available - call not analyzed	Info	call on void com.dmdirc.addons.ui_swing. SwingController$6:setObject(Object)

	method not available - call not analyzed	Info	call on WizardDialog com.dmdirc.addons.ui_swing. wizard.firstrun.SwingFirstRunWizard:getWizardDialog ()
	method not available - call not analyzed	Info	call on void com.dmdirc.addons.ui_swing.wizard. WizardDialog:addWizardListener(WizardListener)

	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 int com.dmdirc.addons.ui_swing. MainFrame:getExtendedState()
	method not available - call not analyzed	Info	call on void com.dmdirc.addons.ui_swing. SwingController$10:setObject(Object)

	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:getIcon(Stri ng)

	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 Server com.dmdirc.FrameContainer:getServer( )