MainFrame.java

MainFrame.java

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

Filter Options

Annotation Kind:

pre

presumption

post

unanalyzed

test_vector

FramemanagerPosition access$000(MainFrame)

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

JPanel access$100(MainFrame)

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

ImageIcon access$200(MainFrame)

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

DMDircDesktopPane access$300(MainFrame)

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

int access$400(MainFrame)

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

FrameManager access$500(MainFrame)

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

FrameManager access$502(MainFrame, FrameManager)

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

void addWindow(FrameContainer)

Kind	Annotation Text
unanalyzed	call on com.dmdirc.logger.Logger:appError
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 addWindow(FrameContainer, int)

Kind	Annotation Text
unanalyzed	call on com.dmdirc.logger.Logger:appError
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 addWindow(FrameContainer, FrameContainer)

Kind	Annotation Text
unanalyzed	call on com.dmdirc.logger.Logger:appError
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

bool canPositionHorizontally()

Kind	Annotation Text
post	return_value == 1

bool canPositionVertically()

Kind	Annotation Text
post	return_value == 1

void com.dmdirc.addons.ui_swing.MainFrame$1(MainFrame)

Kind	Annotation Text

void com.dmdirc.addons.ui_swing.MainFrame$10(MainFrame, FrameContainer, int)

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

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

Kind	Annotation Text

void com.dmdirc.addons.ui_swing.MainFrame$11(MainFrame, FrameContainer)

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

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

Kind	Annotation Text

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

Kind	Annotation Text
presumption	com.dmdirc.ui.interfaces.FramemanagerPosition. BOTTOM != null
presumption	com.dmdirc.ui.interfaces.FramemanagerPosition.LEFT != null
presumption	com.dmdirc.ui.interfaces.FramemanagerPosition. RIGHT != null
presumption	com.dmdirc.ui.interfaces.FramemanagerPosition.TOP != null
presumption	com.dmdirc.ui.interfaces.FramemanagerPosition:ordin al(...)@426 < com.dmdirc.ui.interfaces. FramemanagerPosition:values(...).length@426
presumption	com.dmdirc.ui.interfaces.FramemanagerPosition:ordin al(...)@426 >= 0
presumption	com.dmdirc.ui.interfaces.FramemanagerPosition:value s(...).length@426 >= 1
presumption	com.dmdirc.ui.interfaces.FramemanagerPosition:value s(...)@426 != null
post	new int[](MainFrame$12__static_init#1) num objects == 1

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

Kind	Annotation Text

void com.dmdirc.addons.ui_swing.MainFrame$2(MainFrame)

Kind	Annotation Text

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

Kind	Annotation Text

void com.dmdirc.addons.ui_swing.MainFrame$3(MainFrame)

Kind	Annotation Text

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

Kind	Annotation Text

void com.dmdirc.addons.ui_swing.MainFrame$4(MainFrame)

Kind	Annotation Text

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

Kind	Annotation Text

void com.dmdirc.addons.ui_swing.MainFrame$5(MainFrame)

Kind	Annotation Text

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

Kind	Annotation Text

void com.dmdirc.addons.ui_swing.MainFrame$6(MainFrame)

Kind	Annotation Text

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

Kind	Annotation Text

void com.dmdirc.addons.ui_swing.MainFrame$7(MainFrame)

Kind	Annotation Text

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

Kind	Annotation Text

void com.dmdirc.addons.ui_swing.MainFrame$8(MainFrame)

Kind	Annotation Text
unanalyzed	call on javax.swing.SwingWorker

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

Kind	Annotation Text

void com.dmdirc.addons.ui_swing.MainFrame$9(MainFrame, FrameContainer)

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

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

Kind	Annotation Text

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

Kind	Annotation Text
presumption	com.dmdirc.config.IdentityManager:getGlobalConfig(. ..)@125 != null
presumption	com.dmdirc.config.IdentityManager:getGlobalConfig(. ..)@127 != null
presumption	com.dmdirc.config.IdentityManager:getGlobalConfig(. ..)@129 != null
presumption	com.dmdirc.config.IdentityManager:getGlobalConfig(. ..)@131 != null
presumption	com.dmdirc.ui.IconManager:getIconManager(...)@115 != null
post	init'ed(this.controller)
post	init'ed(this.exitCode)
post	init'ed(this.showVersion)
post	new ImageIcon(MainFrame#1) num objects == 1
post	this.controller == controller
post	this.imageIcon == &new ImageIcon(MainFrame#1)
unanalyzed	call on com.dmdirc.config.ConfigManager:getOption
unanalyzed	call on com.dmdirc.config.IdentityManager:getGlobal Config
unanalyzed	call on com.dmdirc.logger.Logger:appError
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 java.lang.Throwable:__curr_excep_obj
unanalyzed	call on javax.swing.JFrame:setTitle
unanalyzed	call on javax.swing.SwingUtilities:invokeAndWait
unanalyzed	call on javax.swing.SwingUtilities:isEventDispatchT hread

com.dmdirc.addons.ui_swing.MainFrame__static_init

Kind	Annotation Text
post	init'ed(LOGGER)

void configChanged(String, String)

Kind	Annotation Text
pre	(soft) this.controller != null
pre	(soft) this.controller.windows != null
presumption	com.dmdirc.config.IdentityManager:getGlobalConfig(. ..)@525 != null
presumption	com.dmdirc.ui.IconManager:getIconManager(...)@530 != null
post	new ImageIcon(configChanged#1) num objects <= 1
post	possibly_updated(this.showVersion)
post	this.imageIcon == One-of{old this.imageIcon, &new ImageIcon(configChanged#1)}
unanalyzed	call on com.dmdirc.config.ConfigManager:getOption
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.util.ReturnableThread
unanalyzed	call on com.dmdirc.util.ReturnableThread:getObject
unanalyzed	call on com.dmdirc.util.ReturnableThread:run
unanalyzed	call on getLookAndFeel
unanalyzed	call on invokeAndWait
unanalyzed	call on invokeLater
unanalyzed	call on java.lang.ClassNotFoundException:getMessage
unanalyzed	call on java.lang.IllegalAccessException:getMessage
unanalyzed	call on java.lang.InstantiationException:getMessage
unanalyzed	call on java.lang.Integer:intValue
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 java.util.List:iterator
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
unanalyzed	call on javax.swing.UIManager:setLookAndFeel
unanalyzed	call on javax.swing.UnsupportedLookAndFeelException :getMessage
test_vector	java.lang.String:equals(...)@521: {0}, {1}
test_vector	java.lang.String:equals(...)@522: {0}, {1}

void delWindow(FrameContainer)

Kind	Annotation Text
unanalyzed	call on com.dmdirc.logger.Logger:appError
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 delWindow(FrameContainer, FrameContainer)

Kind	Annotation Text
unanalyzed	call on com.dmdirc.logger.Logger:appError
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

Object doInBackground()

Kind	Annotation Text
presumption	com.dmdirc.ServerManager:getServerManager(...)@501 != null
presumption	com.dmdirc.config.IdentityManager:getConfigIdentity (...)@503 != null
presumption	com.dmdirc.config.IdentityManager:getGlobalConfig(. ..)@501 != null
presumption	init'ed(com.dmdirc.actions.CoreActionType.CLIENT_ CLOSING)
post	return_value == null
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.Integer:intValue
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 done()

Kind	Annotation Text
unanalyzed	call on com.dmdirc.addons.ui_swing.components. LoggingSwingWorker:get
unanalyzed	call on com.dmdirc.addons.ui_swing.components. LoggingSwingWorker:isCancelled
unanalyzed	call on com.dmdirc.logger.Logger:appError
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on java.util.concurrent.ExecutionException:get Message

Window getActiveFrame()

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

JDesktopPane getDesktopPane()

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

int getFrameManagerSize()

Kind	Annotation Text
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 java.lang.Throwable:__curr_excep_obj
unanalyzed	call on javax.swing.SwingUtilities:invokeAndWait
unanalyzed	call on javax.swing.SwingUtilities:isEventDispatchT hread

ImageIcon getIcon()

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 getMaximised()

Kind	Annotation Text
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 java.lang.Throwable:__curr_excep_obj
unanalyzed	call on javax.swing.SwingUtilities:invokeAndWait
unanalyzed	call on javax.swing.SwingUtilities:isEventDispatchT hread

SwingStatusBar getStatusBar()

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

String getTitlePrefix()

Kind	Annotation Text
pre	init'ed(this.showVersion)
presumption	com.dmdirc.config.IdentityManager:getGlobalConfig(. ..)@232 != null
post	java.lang.StringBuilder:toString(...)._tainted == 0
post	return_value in Addr_Set{&"DMDirc",&java. lang.StringBuilder:toString(...)}
test_vector	this.showVersion: {0}, {1}

void initComponents()

Kind	Annotation Text
pre	(soft) init'ed(com.dmdirc.addons.ui_swing. MainFrame$12__static_init.new int[](MainFrame$12__s tatic_init#1)[...])
pre	init'ed(com/dmdirc/addons/ui_swing/Apple.me)
pre	init'ed(this.controller)
pre	this.mainFrameManager != null
presumption	com.dmdirc.addons.ui_swing.MainFrame:getContentPane (...)@388 != null
presumption	com.dmdirc.addons.ui_swing.MainFrame:getContentPane (...)@390 != null
presumption	com.dmdirc.addons.ui_swing.MainFrame:getContentPane (...)@391 != null
presumption	com.dmdirc.ui.interfaces.FramemanagerPosition:value s(...).length >= 1
post	com/dmdirc/addons/ui_swing/Apple.me != null
post	com/dmdirc/addons/ui_swing/Apple.me == One-of{old com/dmdirc/addons/ui_swing/Apple.me, &new Apple(getApple#1)}
post	com/dmdirc/addons/ui_swing/Apple.me.menuBar == &new MenuBar(initComponents#4)
post	com/dmdirc/addons/ui_swing/Apple.me.menuBar. controller == this.controller
post	com/dmdirc/addons/ui_swing/Apple.me.menuBar.csd == &new JMenuItem(initChannelMenu#3)
post	com/dmdirc/addons/ui_swing/Apple.me.menuBar. disconnect == &new JMenuItem(initServerMenu#3)
post	com/dmdirc/addons/ui_swing/Apple.me.menuBar.join == &new JMenuItem(initChannelMenu#2)
post	com/dmdirc/addons/ui_swing/Apple.me.menuBar. mainFrame == this.desktopPane.mainFrame
post	com/dmdirc/addons/ui_swing/Apple.me.menuBar.ssd == &new JMenuItem(initServerMenu#4)
post	init'ed(com/dmdirc/addons/ui_swing/Apple.me. menuBar.controller)
post	init'ed(new DMDircDesktopPane$1(DMDircDesktopPane#8 ).rootNode)
post	init'ed(new DMDircDesktopPane$1(DMDircDesktopPane#8 ).rootVisible)
post	new Apple(getApple#1) num objects <= 1
post	new Apple(getApple#1).addresses == &new ArrayList(Apple#1)
post	new Apple(getApple#1).clientOpened == 0
post	new Apple(getApple#1).isListener == 0
post	new Apple(getApple#1).menuBar == &new MenuBar(initComponents#4)
post	new ArrayList(Apple#1) num objects == new Apple(getApple#1) num objects
post	new AtomicBoolean(DMDircDesktopPane#1) num objects == 1
post	new DMDircDesktopPane$1(DMDircDesktopPane#8) num objects == 1
post	new DMDircDesktopPane$1(DMDircDesktopPane#8).model == &new TreeViewModel(DMDircDesktopPane#5)
post	new DMDircDesktopPane$1(DMDircDesktopPane#8). selectionModel == &new DefaultTreeSelectionMode l(DMDircDesktopPane#7)
post	new DMDircDesktopPane(initComponents#3) num objects == 1
post	new DefaultTreeSelectionModel(DMDircDesktopPane#7) num objects == 1
post	new HashMap(DMDircDesktopPane#4) num objects == 1
post	new JMenuItem(initChannelMenu#2) num objects == 1
post	new JMenuItem(initChannelMenu#3) num objects == 1
post	new JMenuItem(initServerMenu#3) num objects == 1
post	new JMenuItem(initServerMenu#4) num objects == 1
post	new JPanel(initComponents#2) num objects == 1
post	new MenuBar(initComponents#4) num objects == 1
post	new SwingStatusBar(initComponents#1) num objects == 1
post	new TreeViewModel(DMDircDesktopPane#5) num objects == 1
post	this.desktopPane == &new DMDircDesktopPane(init Components#3)
post	this.desktopPane.changing == &new AtomicBoolean(DMDircDesktopPane#1)
post	this.desktopPane.mainFrame != null
post	this.desktopPane.mainFrame == this
post	this.desktopPane.model == &new TreeViewModel(DM DircDesktopPane#5)
post	this.desktopPane.nodes == &new HashMap(DMDircDe sktopPane#4)
post	this.desktopPane.selectionModel == &new DefaultTreeSelectionModel(DMDircDesktopPane#7)
post	this.desktopPane.treeScroller == &new DMDircDesktopPane$1(DMDircDesktopPane#8)
post	this.frameManagerPanel == &new JPanel(initCompo nents#2)
post	this.menu == &new MenuBar(initComponents#4)
post	this.position != null
post	this.statusBar == &new SwingStatusBar(initCompo nents#1)
unanalyzed	call on com.dmdirc.actions.ActionManager:addListene r
unanalyzed	call on com.dmdirc.addons.ui_swing.components. MDIBar:add
unanalyzed	call on com.dmdirc.addons.ui_swing.components. MDIBar:setLayout
unanalyzed	call on com.dmdirc.addons.ui_swing.components. MDIBar:setOpaque
unanalyzed	call on com.dmdirc.addons.ui_swing.components. MenuBar:add
unanalyzed	call on com.dmdirc.addons.ui_swing.components. MenuBar:getActionMap
unanalyzed	call on com.dmdirc.addons.ui_swing.components. MenuBar:getMenu
unanalyzed	call on com.dmdirc.addons.ui_swing.components. MenuBar:getMenuCount
unanalyzed	call on com.dmdirc.addons.ui_swing.components. MenuBar:setLayout
unanalyzed	call on com.dmdirc.addons.ui_swing.components. NoFocusButton:addActionListener
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 com.dmdirc.addons.ui_swing.components. NoFocusButton:setFocusable
unanalyzed	call on com.dmdirc.addons.ui_swing.components. NoFocusButton:setMargin
unanalyzed	call on com.dmdirc.addons.ui_swing.components. SnappingJSplitPane$Orientation:equals
unanalyzed	call on com.dmdirc.addons.ui_swing.components. SnappingJSplitPane:getActionMap
unanalyzed	call on com.dmdirc.addons.ui_swing.components. SnappingJSplitPane:setContinuousLayout
unanalyzed	call on com.dmdirc.addons.ui_swing.components. SnappingJSplitPane:setOneTouchExpandable
unanalyzed	call on com.dmdirc.addons.ui_swing.components. desktopPane.DMDircDesktopPane:getUI
unanalyzed	call on com.dmdirc.addons.ui_swing.components. desktopPane.DMDircDesktopPane:setBackground
unanalyzed	call on com.dmdirc.addons.ui_swing.components. desktopPane.DMDircDesktopPane:setBorder
unanalyzed	call on com.dmdirc.addons.ui_swing.framemanager. tree.TreeViewModel
unanalyzed	call on com.dmdirc.addons.ui_swing.framemanager. tree.TreeViewNode
unanalyzed	call on com.dmdirc.addons.ui_swing.framemanager. windowmenu.WindowMenuFrameManager
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.ConfigManager:getOptionIn t
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.IconManager:getIconManager
unanalyzed	call on com.dmdirc.ui.IconManager:getScaledIcon
unanalyzed	call on com.dmdirc.ui.WindowManager:addFrameManager
unanalyzed	call on com.dmdirc.ui.WindowManager:addSelectionLis tener
unanalyzed	call on com.dmdirc.ui.interfaces.FrameManager:canPo sitionHorizontally
unanalyzed	call on com.dmdirc.ui.interfaces.FrameManager:canPo sitionVertically
unanalyzed	call on com.dmdirc.ui.interfaces.FramemanagerPositi on:getPosition
unanalyzed	call on com.dmdirc.ui.interfaces.FramemanagerPositi on:ordinal
unanalyzed	call on java.awt.Color
unanalyzed	call on java.awt.Dimension
unanalyzed	call on java.awt.Insets
unanalyzed	call on java.lang.Class:getName
unanalyzed	call on java.lang.Object:getClass
unanalyzed	call on java.lang.Runnable:run
unanalyzed	call on java.lang.String:equals
unanalyzed	call on java.lang.System:getProperty
unanalyzed	call on java.lang.System:loadLibrary
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on java.util.ArrayList
unanalyzed	call on java.util.HashMap
unanalyzed	call on java.util.concurrent.atomic.AtomicBoolean
unanalyzed	call on javax.swing.AbstractAction
unanalyzed	call on javax.swing.ActionMap
unanalyzed	call on javax.swing.ActionMap:clear
unanalyzed	call on javax.swing.ActionMap:put
unanalyzed	call on javax.swing.ActionMap:setParent
unanalyzed	call on javax.swing.BorderFactory:createEtchedBorde r
unanalyzed	call on javax.swing.Box:createHorizontalGlue
unanalyzed	call on javax.swing.Box:createHorizontalStrut
unanalyzed	call on javax.swing.InputMap
unanalyzed	call on javax.swing.InputMap:put
unanalyzed	call on javax.swing.JButton
unanalyzed	call on javax.swing.JDesktopPane
unanalyzed	call on javax.swing.JDesktopPane:setUI
unanalyzed	call on javax.swing.JMenu
unanalyzed	call on javax.swing.JMenu:add
unanalyzed	call on javax.swing.JMenu:addMenuListener
unanalyzed	call on javax.swing.JMenu:getItem
unanalyzed	call on javax.swing.JMenu:getItemCount
unanalyzed	call on javax.swing.JMenu:setMnemonic
unanalyzed	call on javax.swing.JMenuBar
unanalyzed	call on javax.swing.JMenuItem
unanalyzed	call on javax.swing.JMenuItem:addActionListener
unanalyzed	call on javax.swing.JMenuItem:setActionCommand
unanalyzed	call on javax.swing.JMenuItem:setMnemonic
unanalyzed	call on javax.swing.JMenuItem:setText
unanalyzed	call on javax.swing.JPanel
unanalyzed	call on javax.swing.JPanel:setPreferredSize
unanalyzed	call on javax.swing.JSplitPane
unanalyzed	call on javax.swing.JSplitPane:setBottomComponent
unanalyzed	call on javax.swing.JSplitPane:setLeftComponent
unanalyzed	call on javax.swing.JSplitPane:setOrientation
unanalyzed	call on javax.swing.JSplitPane:setResizeWeight
unanalyzed	call on javax.swing.JSplitPane:setRightComponent
unanalyzed	call on javax.swing.JSplitPane:setTopComponent
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.UIManager:getLookAndFeel
unanalyzed	call on javax.swing.plaf.DesktopPaneUI
unanalyzed	call on javax.swing.tree.DefaultTreeModel:getRoot
unanalyzed	call on javax.swing.tree.DefaultTreeSelectionModel
unanalyzed	call on net.miginfocom.layout.PlatformDefaults:getP anelInsets
unanalyzed	call on net.miginfocom.layout.UnitValue:getUnit
unanalyzed	call on net.miginfocom.swing.MigLayout
unanalyzed	call on registerOpenURLCallback

void initFrameManagers()

Kind	Annotation Text
unanalyzed	call on com.dmdirc.logger.Logger:appError
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

JSplitPane initSplitPane()

Kind	Annotation Text
pre	(soft) init'ed(com.dmdirc.addons.ui_swing. MainFrame$12__static_init.new int[](MainFrame$12__s tatic_init#1)[...])
pre	(soft) init'ed(this.desktopPane)
pre	(soft) this.frameManagerPanel != null
pre	this.mainFrameManager != null
presumption	com.dmdirc.config.IdentityManager:getGlobalConfig(. ..)@229 != null
presumption	com.dmdirc.config.IdentityManager:getGlobalConfig(. ..)@407 != null
presumption	com.dmdirc.config.IdentityManager:getGlobalConfig(. ..)@432 != null
presumption	com.dmdirc.config.IdentityManager:getGlobalConfig(. ..)@442 != null
presumption	com.dmdirc.config.IdentityManager:getGlobalConfig(. ..)@451 != null
presumption	com.dmdirc.config.IdentityManager:getGlobalConfig(. ..)@461 != null
presumption	com.dmdirc.ui.interfaces.FramemanagerPosition. BOTTOM != null
presumption	com.dmdirc.ui.interfaces.FramemanagerPosition.LEFT != null
presumption	com.dmdirc.ui.interfaces.FramemanagerPosition:getPo sition(...)@407 != null
presumption	com.dmdirc.ui.interfaces.FramemanagerPosition:ordin al(...)@426 < com.dmdirc.ui.interfaces. FramemanagerPosition:values(...).length
presumption	com.dmdirc.ui.interfaces.FramemanagerPosition:ordin al(...)@426 >= 0
presumption	com.dmdirc.ui.interfaces.FramemanagerPosition:value s(...).length >= 1
presumption	init'ed(com.dmdirc.ui.interfaces.FramemanagerPositi on.RIGHT)
presumption	init'ed(com.dmdirc.ui.interfaces.FramemanagerPositi on.TOP)
presumption	init'ed(com.dmdirc.ui.interfaces.FramemanagerPositi on.UNKNOWN)
post	init'ed(return_value.useOneTouchExpandable)
post	new SnappingJSplitPane(initSplitPane#1) num objects == 1
post	return_value == &new SnappingJSplitPane(initSpl itPane#1)
post	return_value.config != null
post	return_value.leftComponentSnap == 1
post	return_value.snapDistance == 10
post	this.position != null
unanalyzed	call on com.dmdirc.addons.ui_swing.components. SnappingJSplitPane$Orientation:equals
unanalyzed	call on com.dmdirc.addons.ui_swing.components. SnappingJSplitPane:getActionMap
unanalyzed	call on com.dmdirc.addons.ui_swing.components. SnappingJSplitPane:setContinuousLayout
unanalyzed	call on com.dmdirc.addons.ui_swing.components. SnappingJSplitPane:setOneTouchExpandable
unanalyzed	call on com.dmdirc.config.ConfigManager:addChangeLi stener
unanalyzed	call on com.dmdirc.config.ConfigManager:getOptionBo ol
unanalyzed	call on com.dmdirc.config.IdentityManager:getGlobal Config
unanalyzed	call on javax.swing.ActionMap:clear
unanalyzed	call on javax.swing.ActionMap:setParent
unanalyzed	call on javax.swing.JSplitPane
test_vector	com.dmdirc.addons.ui_swing.MainFrame$12__static_ init.new int[](MainFrame$12__static_init#1)[...]: {1}, {2}, {3}, {4}, {-2³¹..0, 5..2³²-1}
test_vector	com.dmdirc.ui.interfaces.FrameManager:canPositionHo rizontally(...)@420: {1}, {0}
test_vector	com.dmdirc.ui.interfaces.FrameManager:canPositionVe rtically(...)@415: {1}, {0}

void quit()

Kind	Annotation Text
post	this.exitCode == One-of{old this.exitCode, 0}
unanalyzed	call on com.dmdirc.addons.ui_swing.MainFrame$8:exec ute
unanalyzed	call on com.dmdirc.addons.ui_swing.components. LoggingSwingWorker
unanalyzed	call on com.dmdirc.config.ConfigManager:getOptionBo ol
unanalyzed	call on com.dmdirc.config.IdentityManager:getGlobal Config
unanalyzed	call on javax.swing.JOptionPane:showConfirmDialog
unanalyzed	call on javax.swing.SwingWorker

void quit(int)

Kind	Annotation Text
presumption	com.dmdirc.config.IdentityManager:getGlobalConfig(. ..)@484 != null
post	this.exitCode == One-of{old this.exitCode, exitCode}
unanalyzed	call on com.dmdirc.addons.ui_swing.components. LoggingSwingWorker
unanalyzed	call on javax.swing.SwingWorker
test_vector	com.dmdirc.config.ConfigManager:getOptionBool(... )@484: {0}, {1}
test_vector	exitCode: {-2³¹..-1, 1..2³²-1}, {0}
test_vector	javax.swing.JOptionPane:showConfirmDialog(... )@484: {0}, {-2³¹..-1, 1..2³²-1}

void run()

Kind	Annotation Text
pre	this.desktopPane != null
presumption	com.dmdirc.addons.ui_swing.components.desktopPane. DMDircDesktopPane:getAllFrames(...).length@562 <= 2³²
presumption	com.dmdirc.addons.ui_swing.components.desktopPane. DMDircDesktopPane:getAllFrames(...)@562 != null
unanalyzed	call on com.dmdirc.logger.Logger:appError
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 run()

Kind	Annotation Text
pre	init'ed(this.frameManagerPanel)
presumption	com.dmdirc.config.IdentityManager:getGlobalConfig(. ..)@350 != null
presumption	java.lang.Class:forName(...)@355 != null
presumption	java.lang.Class:getConstructor(...)@355 != null
presumption	java.lang.reflect.Constructor:newInstance(...)@355 != null
post	new TreeFrameManager(run#3) num objects <= 1

void run()

Kind	Annotation Text
presumption	com.dmdirc.util.ReturnableThread:getObject(... )@203 != null
presumption	getActiveFrame(...)@251 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.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}

void run()

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

void run()

Kind	Annotation Text
pre	init'ed(this.position)
pre	this.frameManagerPanel != null
presumption	init'ed(com.dmdirc.ui.interfaces.FramemanagerPositi on.LEFT)
presumption	init'ed(com.dmdirc.ui.interfaces.FramemanagerPositi on.RIGHT)

void run()

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

void run()

Kind	Annotation Text
pre	this.desktopPane != null
pre	this.val$window != null
unanalyzed	call on java.lang.Runnable:run
unanalyzed	call on javax.swing.SwingUtilities:invokeLater
unanalyzed	call on javax.swing.SwingUtilities:isEventDispatchT hread

void run()

Kind	Annotation Text
pre	this.desktopPane != null
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

void run()

Kind	Annotation Text
pre	this.desktopPane != null
pre	this.val$window != null

void setMaximised(bool)

Kind	Annotation Text

void setParent(JComponent)

Kind	Annotation Text

void setTitle(String)

Kind	Annotation Text
pre	init'ed(this.showVersion)
presumption	com.dmdirc.util.ReturnableThread:getObject(... )@203 != null
unanalyzed	call on com.dmdirc.config.ConfigManager:getOption
unanalyzed	call on com.dmdirc.config.IdentityManager:getGlobal Config
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
test_vector	com.dmdirc.ui.interfaces.Window:isMaximum(... )@221: {0}, {1}
test_vector	com.dmdirc.util.ReturnableThread:getObject(... )@203: Addr_Set{null}, Inverse{null}
test_vector	title: Addr_Set{null}, Inverse{null}

void windowActivated(WindowEvent)

Kind	Annotation Text

void windowClosed(WindowEvent)

Kind	Annotation Text

void windowClosing(WindowEvent)

Kind	Annotation Text
pre	init'ed(this.exitCode)
post	init'ed(this.exitCode)
post	this.exitCode == old this.exitCode
unanalyzed	call on com.dmdirc.addons.ui_swing.MainFrame$8:exec ute
unanalyzed	call on com.dmdirc.addons.ui_swing.components. LoggingSwingWorker
unanalyzed	call on com.dmdirc.config.ConfigManager:getOptionBo ol
unanalyzed	call on com.dmdirc.config.IdentityManager:getGlobal Config
unanalyzed	call on javax.swing.JOptionPane:showConfirmDialog
unanalyzed	call on javax.swing.SwingWorker

void windowDeactivated(WindowEvent)

Kind	Annotation Text

void windowDeiconified(WindowEvent)

Kind	Annotation Text
presumption	init'ed(com.dmdirc.actions.CoreActionType.CLIENT_ UNMINIMISED)

void windowGainedFocus(WindowEvent)

Kind	Annotation Text

void windowIconified(WindowEvent)

Kind	Annotation Text
presumption	init'ed(com.dmdirc.actions.CoreActionType.CLIENT_ MINIMISED)

void windowLostFocus(WindowEvent)

Kind	Annotation Text
presumption	javax.swing.MenuSelectionManager:defaultManager(... )@146 != null

void windowOpened(WindowEvent)

Kind	Annotation Text