SwingController.java

SwingController.java

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

Filter Options

Annotation Kind:

pre

presumption

post

unanalyzed

test_vector

Logger access$000()

Kind	Annotation Text
post	init'ed(return_value)

MainFrame access$100(SwingController)

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

MainFrame access$102(SwingController, MainFrame)

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

ErrorListDialog access$200(SwingController)

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

ErrorListDialog access$202(SwingController, ErrorListDialog)

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

AtomicBoolean access$300(SwingController)

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

SwingStatusBar access$402(SwingController, SwingStatusBar)

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

void addTopLevelWindow(Window)

Kind	Annotation Text
pre	this.windows != null

void com.dmdirc.addons.ui_swing.SwingController$1(SwingController, Channel)

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

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

Kind	Annotation Text

com.dmdirc.addons.ui_swing.SwingController$10__static_init

Kind	Annotation Text

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

Kind	Annotation Text

com.dmdirc.addons.ui_swing.SwingController$11__static_init

Kind	Annotation Text

void com.dmdirc.addons.ui_swing.SwingController$12(SwingController, Window)

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

com.dmdirc.addons.ui_swing.SwingController$12__static_init

Kind	Annotation Text

void com.dmdirc.addons.ui_swing.SwingController$13(SwingController, int)

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

com.dmdirc.addons.ui_swing.SwingController$13__static_init

Kind	Annotation Text

void com.dmdirc.addons.ui_swing.SwingController$14(SwingController, URI)

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

com.dmdirc.addons.ui_swing.SwingController$14__static_init

Kind	Annotation Text

void com.dmdirc.addons.ui_swing.SwingController$15(SwingController, SSLCertificateDialogModel)

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

com.dmdirc.addons.ui_swing.SwingController$15__static_init

Kind	Annotation Text

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

Kind	Annotation Text

com.dmdirc.addons.ui_swing.SwingController$16__static_init

Kind	Annotation Text

void com.dmdirc.addons.ui_swing.SwingController$17(SwingController, String, String)

Kind	Annotation Text
post	init'ed(this.val$message)
post	init'ed(this.val$title)
post	this.val$message == Param_2
post	this.val$title == Param_3

com.dmdirc.addons.ui_swing.SwingController$17__static_init

Kind	Annotation Text

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

Kind	Annotation Text

com.dmdirc.addons.ui_swing.SwingController$18__static_init

Kind	Annotation Text

com.dmdirc.addons.ui_swing.SwingController$1__static_init

Kind	Annotation Text

void com.dmdirc.addons.ui_swing.SwingController$2(SwingController, Server)

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

com.dmdirc.addons.ui_swing.SwingController$2__static_init

Kind	Annotation Text

void com.dmdirc.addons.ui_swing.SwingController$3(SwingController, Query)

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

com.dmdirc.addons.ui_swing.SwingController$3__static_init

Kind	Annotation Text

void com.dmdirc.addons.ui_swing.SwingController$4(SwingController, FrameContainer)

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

com.dmdirc.addons.ui_swing.SwingController$4__static_init

Kind	Annotation Text

void com.dmdirc.addons.ui_swing.SwingController$5(SwingController, WritableFrameContainer, CommandParser)

Kind	Annotation Text
post	init'ed(this.val$commandParser)
post	init'ed(this.val$owner)
post	this.val$commandParser == Param_3
post	this.val$owner == Param_2

com.dmdirc.addons.ui_swing.SwingController$5__static_init

Kind	Annotation Text

void com.dmdirc.addons.ui_swing.SwingController$6(SwingController, List)

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

com.dmdirc.addons.ui_swing.SwingController$6__static_init

Kind	Annotation Text

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

Kind	Annotation Text

com.dmdirc.addons.ui_swing.SwingController$7$1__static_init

Kind	Annotation Text

void com.dmdirc.addons.ui_swing.SwingController$7(SwingController, Semaphore, bool)

Kind	Annotation Text
post	init'ed(this.val$firstRun)
post	init'ed(this.val$semaphore)
post	this.val$firstRun == Param_3
post	this.val$semaphore == Param_2

com.dmdirc.addons.ui_swing.SwingController$7__static_init

Kind	Annotation Text

void com.dmdirc.addons.ui_swing.SwingController$8(SwingController, Channel)

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

com.dmdirc.addons.ui_swing.SwingController$8__static_init

Kind	Annotation Text

void com.dmdirc.addons.ui_swing.SwingController$9(SwingController, Server)

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

com.dmdirc.addons.ui_swing.SwingController$9__static_init

Kind	Annotation Text

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

Kind	Annotation Text
post	new ArrayList(SwingController#2) num objects == 1
post	new AtomicBoolean(SwingController#1) num objects == 1
post	this.mainFrameCreated == &new AtomicBoolean(Swi ngController#1)
post	this.windows == &new ArrayList(SwingController# 2)

com.dmdirc.addons.ui_swing.SwingController__static_init

Kind	Annotation Text
post	init'ed(LOGGER)

void delTopLevelWindow(Window)

Kind	Annotation Text
pre	this.windows != null

Server getActiveServer()

Kind	Annotation Text
pre	(soft) this.me != null
pre	this.mainFrameCreated != 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 com.dmdirc.logger.Logger:appError
unanalyzed	call on com.dmdirc.util.ReturnableThread
unanalyzed	call on com.dmdirc.util.ReturnableThread:getObject
unanalyzed	call on com.dmdirc.util.ReturnableThread:run
unanalyzed	call on getActiveFrame
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on javax.swing.SwingUtilities:invokeAndWait
unanalyzed	call on javax.swing.SwingUtilities:isEventDispatchT hread
test_vector	com.dmdirc.util.ReturnableThread:getObject(... )@203: Inverse{null}, Addr_Set{null}
test_vector	java.util.concurrent.atomic.AtomicBoolean:get(... )@433: {1}, {0}

Window getActiveWindow()

Kind	Annotation Text
pre	this.me != null
post	init'ed(return_value)
unanalyzed	call on com.dmdirc.logger.Logger:appError
unanalyzed	call on com.dmdirc.util.ReturnableThread
unanalyzed	call on com.dmdirc.util.ReturnableThread:getObject
unanalyzed	call on com.dmdirc.util.ReturnableThread:run
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on javax.swing.SwingUtilities:invokeAndWait
unanalyzed	call on javax.swing.SwingUtilities:isEventDispatchT hread

ChannelWindow getChannel(Channel)

Kind	Annotation Text
post	init'ed(return_value)
unanalyzed	call on com.dmdirc.logger.Logger:appError
unanalyzed	call on com.dmdirc.util.ReturnableThread
unanalyzed	call on com.dmdirc.util.ReturnableThread:getObject
unanalyzed	call on com.dmdirc.util.ReturnableThread:run
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on javax.swing.SwingUtilities:invokeAndWait
unanalyzed	call on javax.swing.SwingUtilities:isEventDispatchT hread

InputWindow getInputWindow(WritableFrameContainer, CommandParser)

Kind	Annotation Text
presumption	java.util.logging.Logger:getLogger(...)@90 != null
post	init'ed(return_value)
unanalyzed	call on com.dmdirc.logger.Logger:appError
unanalyzed	call on com.dmdirc.util.ReturnableThread
unanalyzed	call on com.dmdirc.util.ReturnableThread:getObject
unanalyzed	call on com.dmdirc.util.ReturnableThread:run
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on javax.swing.SwingUtilities:invokeAndWait
unanalyzed	call on javax.swing.SwingUtilities:isEventDispatchT hread

String getLookAndFeel()

Kind	Annotation Text
presumption	javax.swing.UIManager:getLookAndFeel(...)@542 != null
post	init'ed(return_value)

MainFrame getMainFrame()

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

MainFrame getMainWindow()

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

MainWindow getMainWindow()

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

PreferencesInterface getPluginPrefsPanel()

Kind	Annotation Text
post	new PluginPanel(getPluginPrefsPanel#1) num objects == 1
post	return_value == &new PluginPanel(getPluginPrefs Panel#1)

QueryWindow getQuery(Query)

Kind	Annotation Text
post	init'ed(return_value)
unanalyzed	call on com.dmdirc.logger.Logger:appError
unanalyzed	call on com.dmdirc.util.ReturnableThread
unanalyzed	call on com.dmdirc.util.ReturnableThread:getObject
unanalyzed	call on com.dmdirc.util.ReturnableThread:run
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on javax.swing.SwingUtilities:invokeAndWait
unanalyzed	call on javax.swing.SwingUtilities:isEventDispatchT hread

ServerWindow getServer(Server)

Kind	Annotation Text
post	init'ed(return_value)
unanalyzed	call on com.dmdirc.logger.Logger:appError
unanalyzed	call on com.dmdirc.util.ReturnableThread
unanalyzed	call on com.dmdirc.util.ReturnableThread:getObject
unanalyzed	call on com.dmdirc.util.ReturnableThread:run
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on javax.swing.SwingUtilities:invokeAndWait
unanalyzed	call on javax.swing.SwingUtilities:isEventDispatchT hread

StatusBar getStatusBar()

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

SwingStatusBar getSwingStatusBar()

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

PreferencesInterface getThemesPrefsPanel()

Kind	Annotation Text
post	new ThemePanel(getThemesPrefsPanel#1) num objects == 1
post	return_value == &new ThemePanel(getThemesPrefsP anel#1)

List getTopLevelWindows()

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

SwingUpdaterDialog getUpdaterDialog(List)

Kind	Annotation Text
post	init'ed(return_value)
unanalyzed	call on com.dmdirc.logger.Logger:appError
unanalyzed	call on com.dmdirc.util.ReturnableThread
unanalyzed	call on com.dmdirc.util.ReturnableThread:getObject
unanalyzed	call on com.dmdirc.util.ReturnableThread:run
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on javax.swing.SwingUtilities:invokeAndWait
unanalyzed	call on javax.swing.SwingUtilities:isEventDispatchT hread

UpdaterDialog getUpdaterDialog(List)

Kind	Annotation Text
post	init'ed(return_value)
unanalyzed	call on com.dmdirc.logger.Logger:appError
unanalyzed	call on com.dmdirc.util.ReturnableThread
unanalyzed	call on com.dmdirc.util.ReturnableThread:getObject
unanalyzed	call on com.dmdirc.util.ReturnableThread:run
unanalyzed	call on invokeAndWait
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on javax.swing.SwingUtilities:invokeAndWait
unanalyzed	call on javax.swing.SwingUtilities:isEventDispatchT hread

PreferencesInterface getUpdatesPrefsPanel()

Kind	Annotation Text
post	new UpdateConfigPanel(getUpdatesPrefsPanel#1) num objects == 1
post	return_value == &new UpdateConfigPanel(getUpdat esPrefsPanel#1)

PreferencesInterface getUrlHandlersPrefsPanel()

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

String getUserInput(String)

Kind	Annotation Text
post	init'ed(return_value)

Window getWindow(FrameContainer)

Kind	Annotation Text
post	init'ed(return_value)
unanalyzed	call on com.dmdirc.logger.Logger:appError
unanalyzed	call on com.dmdirc.util.ReturnableThread
unanalyzed	call on com.dmdirc.util.ReturnableThread:getObject
unanalyzed	call on com.dmdirc.util.ReturnableThread:run
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on javax.swing.SwingUtilities:invokeAndWait
unanalyzed	call on javax.swing.SwingUtilities:isEventDispatchT hread

bool hasMainFrame()

Kind	Annotation Text
pre	this.mainFrameCreated != null
post	init'ed(return_value)

void initUISettings()

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

void onLoad()

Kind	Annotation Text
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 com.dmdirc.logger.Logger:appError
unanalyzed	call on java.awt.EventQueue
unanalyzed	call on java.lang.Runnable:run
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on javax.swing.SwingUtilities:invokeAndWait
unanalyzed	call on javax.swing.SwingUtilities:isEventDispatchT hread

void onUnload()

Kind	Annotation Text

void run()

Kind	Annotation Text
presumption	com.dmdirc.addons.ui_swing.wizard.firstrun. SwingFirstRunWizard:getWizardDialog(...)@271 != null

void run()

Kind	Annotation Text
pre	this.me != null

void run()

Kind	Annotation Text
pre	init'ed(this.errorDialog)

void run()

Kind	Annotation Text
pre	(soft) this.val$window != null
pre	init'ed(this.me)
test_vector	this.val$window == this.me: {1}, {0}

void run()

Kind	Annotation Text

void run()

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

void run()

Kind	Annotation Text
pre	init'ed(this.me)

void run()

Kind	Annotation Text
pre	init'ed(this.me)

void run()

Kind	Annotation Text
pre	this.me != null

void run()

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

void run()

Kind	Annotation Text
pre	init'ed(this.me)

void run()

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

void run()

Kind	Annotation Text
pre	init'ed(this.me)

void run()

Kind	Annotation Text

void run()

Kind	Annotation Text
unanalyzed	call on com.dmdirc.addons.ui_swing.components. frames.CustomFrame:addKeyListener
unanalyzed	call on com.dmdirc.addons.ui_swing.components. frames.CustomFrame:getContentPane
unanalyzed	call on com.dmdirc.addons.ui_swing.components. frames.CustomFrame:getSearchBar
unanalyzed	call on com.dmdirc.addons.ui_swing.components. frames.CustomFrame:getTextPane
unanalyzed	call on com.dmdirc.addons.ui_swing.components. frames.CustomFrame:pack
unanalyzed	call on com.dmdirc.addons.ui_swing.components. frames.CustomFrame:setTitle
unanalyzed	call on com.dmdirc.addons.ui_swing.components. frames.TextFrame
unanalyzed	call on java.awt.Container:add
unanalyzed	call on java.awt.Container:setLayout
unanalyzed	call on net.miginfocom.swing.MigLayout

void run()

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

void run()

Kind	Annotation Text

void run()

Kind	Annotation Text
pre	init'ed(this.me)

void showChannelSettingsDialog(Channel)

Kind	Annotation Text
unanalyzed	call on java.lang.Runnable:run
unanalyzed	call on javax.swing.SwingUtilities:invokeLater
unanalyzed	call on javax.swing.SwingUtilities:isEventDispatchT hread

void showErrorDialog()

Kind	Annotation Text
pre	this.errorDialog != null

void showFeedbackNag()

Kind	Annotation Text
unanalyzed	call on java.lang.Runnable:run
unanalyzed	call on javax.swing.SwingUtilities:invokeLater
unanalyzed	call on javax.swing.SwingUtilities:isEventDispatchT hread

void showFirstRunWizard()

Kind	Annotation Text
unanalyzed	call on invokeLater
unanalyzed	call on java.lang.Runnable:run
unanalyzed	call on java.util.concurrent.Semaphore
unanalyzed	call on java.util.concurrent.Semaphore:acquireUnint erruptibly
unanalyzed	call on javax.swing.SwingUtilities:invokeLater
unanalyzed	call on javax.swing.SwingUtilities:isEventDispatchT hread

void showFirstRunWizard(bool)

Kind	Annotation Text
unanalyzed	call on java.lang.Runnable:run
unanalyzed	call on javax.swing.SwingUtilities:invokeLater
unanalyzed	call on javax.swing.SwingUtilities:isEventDispatchT hread

void showMessageDialog(String, String)

Kind	Annotation Text
unanalyzed	call on java.lang.Runnable:run
unanalyzed	call on javax.swing.SwingUtilities:invokeLater
unanalyzed	call on javax.swing.SwingUtilities:isEventDispatchT hread

void showMigrationWizard()

Kind	Annotation Text
unanalyzed	call on invokeLater
unanalyzed	call on java.lang.Runnable:run
unanalyzed	call on java.util.concurrent.Semaphore
unanalyzed	call on java.util.concurrent.Semaphore:acquireUnint erruptibly
unanalyzed	call on javax.swing.SwingUtilities:invokeLater
unanalyzed	call on javax.swing.SwingUtilities:isEventDispatchT hread

void showSSLCertificateDialog(SSLCertificateDialogModel)

Kind	Annotation Text
unanalyzed	call on java.lang.Runnable:run
unanalyzed	call on javax.swing.SwingUtilities:invokeLater
unanalyzed	call on javax.swing.SwingUtilities:isEventDispatchT hread

void showServerSettingsDialog(Server)

Kind	Annotation Text
unanalyzed	call on java.lang.Runnable:run
unanalyzed	call on javax.swing.SwingUtilities:invokeLater
unanalyzed	call on javax.swing.SwingUtilities:isEventDispatchT hread

void showURLDialog(URI)

Kind	Annotation Text
unanalyzed	call on java.lang.Runnable:run
unanalyzed	call on javax.swing.SwingUtilities:invokeLater
unanalyzed	call on javax.swing.SwingUtilities:isEventDispatchT hread

void updateLookAndFeel()

Kind	Annotation Text
pre	(soft) this.windows != null
presumption	com.dmdirc.config.IdentityManager:getGlobalConfig(. ..)@309 != null
presumption	com.dmdirc.util.ReturnableThread:getObject(... )@203 != null
presumption	init'ed(com.dmdirc.logger.ErrorLevel.LOW)
presumption	invokeAndWait(...)@311 init'ed
unanalyzed	call on com.dmdirc.logger.Logger:appError
unanalyzed	call on com.dmdirc.util.ReturnableThread
unanalyzed	call on com.dmdirc.util.ReturnableThread:getObject
unanalyzed	call on com.dmdirc.util.ReturnableThread:run
unanalyzed	call on java.lang.Runnable:run
unanalyzed	call on java.lang.String:equals
unanalyzed	call on java.lang.String:isEmpty
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on javax.swing.SwingUtilities:invokeAndWait
unanalyzed	call on javax.swing.SwingUtilities:invokeLater
unanalyzed	call on javax.swing.SwingUtilities:isEventDispatchT hread
unanalyzed	call on javax.swing.UIManager$LookAndFeelInfo:getCl assName
unanalyzed	call on javax.swing.UIManager$LookAndFeelInfo:getNa me
unanalyzed	call on javax.swing.UIManager:getInstalledLookAndFe els
unanalyzed	call on javax.swing.UIManager:getSystemLookAndFeelC lassName
test_vector	java.util.Iterator:hasNext(...)@327: {0}, {1}

void wizardCancelled()

Kind	Annotation Text
pre	this.val$semaphore != null

void wizardFinished()

Kind	Annotation Text
pre	this.val$semaphore != null