Messages

method

com.dmdirc.addons.ui_swing.MainFrame$11__static_ init

method

com.dmdirc.addons.ui_swing.MainFrame$10__static_ init

method

com.dmdirc.addons.ui_swing.MainFrame$9__static_ init

method

com.dmdirc.addons.ui_swing.MainFrame$7__static_ init

method

com.dmdirc.addons.ui_swing.MainFrame$6__static_ init

method

com.dmdirc.addons.ui_swing.MainFrame$5__static_ init

method

com.dmdirc.addons.ui_swing.MainFrame$8__static_ init

method

com.dmdirc.addons.ui_swing.MainFrame$4__static_ init

method

com.dmdirc.addons.ui_swing.MainFrame$3__static_ init

method

com.dmdirc.addons.ui_swing.MainFrame$2__static_ init

method

com.dmdirc.addons.ui_swing.MainFrame$1__static_ init

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

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

method	ImageIcon access$200(MainFrame)
pre	x0 != null
pre	init'ed(x0.imageIcon)
post	return_value == x0.imageIcon
post	init'ed(return_value)

method	DMDircDesktopPane access$300(MainFrame)
pre	x0 != null
pre	init'ed(x0.desktopPane)
post	return_value == x0.desktopPane
post	init'ed(return_value)

method	int access$400(MainFrame)
pre	x0 != null
pre	init'ed(x0.exitCode)
post	return_value == x0.exitCode
post	init'ed(return_value)

method	FrameManager access$502(MainFrame, FrameManager)
pre	x0 != null
post	return_value == x1
post	init'ed(return_value)
post	x0.mainFrameManager == return_value

method	FrameManager access$500(MainFrame)
pre	x0 != null
pre	init'ed(x0.mainFrameManager)
post	return_value == x0.mainFrameManager
post	init'ed(return_value)

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

method	void com.dmdirc.addons.ui_swing.MainFrame(SwingCon troller)
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	this.controller == controller
post	init'ed(this.controller)
post	init'ed(this.exitCode)
post	this.imageIcon == &new ImageIcon(MainFrame#1)
post	init'ed(this.showVersion)
post	new ImageIcon(MainFrame#1) num objects == 1
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.config.IdentityManager:getGlobal Config
unanalyzed	call on com.dmdirc.config.ConfigManager:getOption
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

call too complex - analysis skipped Info call on void initComponents()

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 Image com.dmdirc.ui.IconManager:getImage(St ring)

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

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

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

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

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

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

method

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

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing. MainFrame:addWindowFocusListener(WindowFocusListene r)

method

void windowGainedFocus(WindowEvent)

method	void windowLostFocus(WindowEvent)
presumption	javax.swing.MenuSelectionManager:defaultManager(... )@146 != null

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

method

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

method	int getFrameManagerSize()
presumption	com.dmdirc.util.ReturnableThread:getObject(... )@203 != 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 not available - call not analyzed Info call on void com.dmdirc.util.ReturnableThread()

method	void run()
pre	this.frameManagerPanel != null
pre	init'ed(this.position)
presumption	init'ed(com.dmdirc.ui.interfaces.FramemanagerPositi on.LEFT)
presumption	init'ed(com.dmdirc.ui.interfaces.FramemanagerPositi on.RIGHT)

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

method

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

method	ImageIcon getIcon()
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 not available - call not analyzed Info call on void com.dmdirc.util.ReturnableThread()

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

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

method

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

method	Window getActiveFrame()
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
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.desktopPane != null
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
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.addons.ui_swing. MainFrame$4:setObject(Object)

method

void setMaximised(bool)

method	void setTitle(String)
pre	init'ed(this.showVersion)
presumption	com.dmdirc.util.ReturnableThread:getObject(... )@203 != null
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on javax.swing.SwingUtilities:isEventDispatchT hread
unanalyzed	call on javax.swing.SwingUtilities:invokeAndWait
unanalyzed	call on com.dmdirc.logger.Logger:appError
unanalyzed	call on com.dmdirc.config.IdentityManager:getGlobal Config
unanalyzed	call on com.dmdirc.config.ConfigManager:getOption
unanalyzed	call on com.dmdirc.util.ReturnableThread
unanalyzed	call on com.dmdirc.util.ReturnableThread:run
unanalyzed	call on com.dmdirc.util.ReturnableThread:getObject
test_vector	title: Addr_Set{null}, Inverse{null}
test_vector	com.dmdirc.ui.interfaces.Window:isMaximum(... )@221: {0}, {1}
test_vector	com.dmdirc.util.ReturnableThread:getObject(... )@203: Addr_Set{null}, Inverse{null}

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

method	String getTitlePrefix()
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}

method

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

method	bool getMaximised()
presumption	com.dmdirc.util.ReturnableThread:getObject(... )@203 != 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 not available - call not analyzed Info call on void com.dmdirc.util.ReturnableThread()

method	void run()
presumption	com.dmdirc.util.ReturnableThread:getObject(... )@203 != null
presumption	getActiveFrame(...)@251 init'ed
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
unanalyzed	call on com.dmdirc.util.ReturnableThread:run
unanalyzed	call on com.dmdirc.util.ReturnableThread:getObject
test_vector	com.dmdirc.util.ReturnableThread:getObject(... )@203: Inverse{null}, Addr_Set{null}

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

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

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

method	JDesktopPane getDesktopPane()
pre	init'ed(this.desktopPane)
post	return_value == this.desktopPane
post	init'ed(return_value)

method

void windowOpened(WindowEvent)

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

method

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

method

void windowClosed(WindowEvent)

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

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

method	void windowIconified(WindowEvent)
presumption	init'ed(com.dmdirc.actions.CoreActionType.CLIENT_ MINIMISED)

method not available - call not analyzed Info call on void com.dmdirc.actions.ActionManager:proce ssEvent(ActionType, StringBuffer, Object[])

method	void windowDeiconified(WindowEvent)
presumption	init'ed(com.dmdirc.actions.CoreActionType.CLIENT_ UNMINIMISED)

method not available - call not analyzed Info call on void com.dmdirc.actions.ActionManager:proce ssEvent(ActionType, StringBuffer, Object[])

method

void windowActivated(WindowEvent)

method

void windowDeactivated(WindowEvent)

method

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

method	void initFrameManagers()
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on javax.swing.SwingUtilities:isEventDispatchT hread
unanalyzed	call on java.lang.Runnable:run
unanalyzed	call on javax.swing.SwingUtilities:invokeAndWait
unanalyzed	call on com.dmdirc.logger.Logger:appError

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

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing. framemanager.tree.TreeFrameManager()

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

method not available - call not analyzed Info call on void com.dmdirc.ui.interfaces. FrameManager:setParent(JComponent)

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

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

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

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

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

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

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

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

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

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

method	JSplitPane initSplitPane()
pre	this.mainFrameManager != null
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
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	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)
presumption	com.dmdirc.ui.interfaces.FramemanagerPosition:getPo sition(...)@407 != null
presumption	com.dmdirc.ui.interfaces.FramemanagerPosition:ordin al(...)@426 >= 0
presumption	com.dmdirc.ui.interfaces.FramemanagerPosition:value s(...).length >= 1
presumption	com.dmdirc.ui.interfaces.FramemanagerPosition:ordin al(...)@426 < com.dmdirc.ui.interfaces. FramemanagerPosition:values(...).length
post	return_value == &new SnappingJSplitPane(initSpl itPane#1)
post	this.position != null
post	new SnappingJSplitPane(initSplitPane#1) num objects == 1
post	return_value.leftComponentSnap == 1
post	return_value.config != null
post	return_value.snapDistance == 10
post	init'ed(return_value.useOneTouchExpandable)
unanalyzed	call on com.dmdirc.addons.ui_swing.components. SnappingJSplitPane$Orientation:equals
unanalyzed	call on javax.swing.JSplitPane
unanalyzed	call on com.dmdirc.config.IdentityManager:getGlobal Config
unanalyzed	call on com.dmdirc.config.ConfigManager:getOptionBo ol
unanalyzed	call on com.dmdirc.addons.ui_swing.components. SnappingJSplitPane:setOneTouchExpandable
unanalyzed	call on com.dmdirc.addons.ui_swing.components. SnappingJSplitPane:setContinuousLayout
unanalyzed	call on com.dmdirc.addons.ui_swing.components. SnappingJSplitPane:getActionMap
unanalyzed	call on javax.swing.ActionMap:setParent
unanalyzed	call on javax.swing.ActionMap:clear
unanalyzed	call on com.dmdirc.config.ConfigManager:addChangeLi stener
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}

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 FramemanagerPosition com.dmdirc.ui. interfaces.FramemanagerPosition:getPosition(String)

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

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

method	com.dmdirc.addons.ui_swing.MainFrame$12__static_ init
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 >= 0
presumption	com.dmdirc.ui.interfaces.FramemanagerPosition:ordin al(...)@426 < com.dmdirc.ui.interfaces. FramemanagerPosition:values(...).length@426
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

method not available - call not analyzed Info call on FramemanagerPosition[] com.dmdirc.ui. interfaces.FramemanagerPosition:values()

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

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

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

method	void quit(int)
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	exitCode: {-2³¹..-1, 1..2³²-1}, {0}
test_vector	com.dmdirc.config.ConfigManager:getOptionBool(... )@484: {0}, {1}
test_vector	javax.swing.JOptionPane:showConfirmDialog(... )@484: {0}, {-2³¹..-1, 1..2³²-1}

method	void com.dmdirc.addons.ui_swing.MainFrame$8(MainFr ame)
unanalyzed	call on javax.swing.SwingWorker

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing. MainFrame$8:execute()

method	Object doInBackground()
presumption	com.dmdirc.ServerManager:getServerManager(...)@501 != null
presumption	init'ed(com.dmdirc.actions.CoreActionType.CLIENT_ CLOSING)
presumption	com.dmdirc.config.IdentityManager:getConfigIdentity (...)@503 != null
presumption	com.dmdirc.config.IdentityManager:getGlobalConfig(. ..)@501 != null
post	return_value == null
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on javax.swing.SwingUtilities:isEventDispatchT hread
unanalyzed	call on javax.swing.SwingUtilities:invokeAndWait
unanalyzed	call on com.dmdirc.logger.Logger:appError
unanalyzed	call on com.dmdirc.util.ReturnableThread:run
unanalyzed	call on com.dmdirc.util.ReturnableThread:getObject
unanalyzed	call on com.dmdirc.util.ReturnableThread
unanalyzed	call on java.lang.Integer:intValue

method not available - call not analyzed Info call on void com.dmdirc.actions.ActionManager:proce ssEvent(ActionType, StringBuffer, Object[])

method not available - call not analyzed Info call on ServerManager com.dmdirc.ServerManager:getS erverManager()

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

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

method not available - call not analyzed Info call on void com.dmdirc.ServerManager:closeAll(Stri ng)

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

method not available - call not analyzed Info call on void com.dmdirc.config.Identity:setOption(S tring, String, String)

method	void done()
unanalyzed	call on com.dmdirc.addons.ui_swing.components. LoggingSwingWorker:isCancelled
unanalyzed	call on com.dmdirc.addons.ui_swing.components. LoggingSwingWorker:get
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on java.util.concurrent.ExecutionException:get Message
unanalyzed	call on com.dmdirc.logger.Logger:appError

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

method	void configChanged(String, String)
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	this.imageIcon == One-of{old this.imageIcon, &new ImageIcon(configChanged#1)}
post	possibly_updated(this.showVersion)
post	new ImageIcon(configChanged#1) num objects <= 1
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on javax.swing.SwingUtilities:isEventDispatchT hread
unanalyzed	call on java.lang.Runnable:run
unanalyzed	call on javax.swing.SwingUtilities:invokeAndWait
unanalyzed	call on com.dmdirc.logger.Logger:appError
unanalyzed	call on javax.swing.SwingUtilities:invokeLater
unanalyzed	call on invokeLater
unanalyzed	call on com.dmdirc.util.ReturnableThread:run
unanalyzed	call on com.dmdirc.util.ReturnableThread:getObject
unanalyzed	call on invokeAndWait
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.util.ReturnableThread
unanalyzed	call on java.lang.Integer:intValue
unanalyzed	call on java.util.List:iterator
unanalyzed	call on java.lang.ClassNotFoundException:getMessage
unanalyzed	call on com.dmdirc.logger.Logger:userError
unanalyzed	call on java.lang.InstantiationException:getMessage
unanalyzed	call on java.lang.IllegalAccessException:getMessage
unanalyzed	call on javax.swing.UnsupportedLookAndFeelException :getMessage
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.lang.String:equals(...)@521: {0}, {1}
test_vector	java.lang.String:equals(...)@522: {0}, {1}

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

method

void setParent(JComponent)

method	bool canPositionVertically()
post	return_value == 1

method	bool canPositionHorizontally()
post	return_value == 1

method	void com.dmdirc.addons.ui_swing.MainFrame$9(MainFr ame, FrameContainer)
post	this.val$window == Param_2
post	init'ed(this.val$window)

method	void addWindow(FrameContainer)
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on javax.swing.SwingUtilities:isEventDispatchT hread
unanalyzed	call on java.lang.Runnable:run
unanalyzed	call on javax.swing.SwingUtilities:invokeAndWait
unanalyzed	call on com.dmdirc.logger.Logger:appError

method	void run()
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 java.lang.Throwable:__curr_excep_obj
unanalyzed	call on javax.swing.SwingUtilities:isEventDispatchT hread
unanalyzed	call on java.lang.Runnable:run
unanalyzed	call on javax.swing.SwingUtilities:invokeAndWait
unanalyzed	call on com.dmdirc.logger.Logger:appError

method not available - call not analyzed Info call on JInternalFrame[] com.dmdirc.addons.ui_ swing.components.desktopPane.DMDircDesktopPane:getA llFrames()

method	void com.dmdirc.addons.ui_swing.MainFrame$10(MainF rame, FrameContainer, int)
post	this.val$index == Param_3
post	init'ed(this.val$index)
post	this.val$window == Param_2
post	init'ed(this.val$window)

method	void addWindow(FrameContainer, int)
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on javax.swing.SwingUtilities:isEventDispatchT hread
unanalyzed	call on java.lang.Runnable:run
unanalyzed	call on javax.swing.SwingUtilities:invokeAndWait
unanalyzed	call on com.dmdirc.logger.Logger:appError

method	void run()
pre	this.desktopPane != null
pre	this.val$window != null
unanalyzed	call on javax.swing.SwingUtilities:isEventDispatchT hread
unanalyzed	call on java.lang.Runnable:run
unanalyzed	call on javax.swing.SwingUtilities:invokeLater

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

method	void com.dmdirc.addons.ui_swing.MainFrame$11(MainF rame, FrameContainer)
post	this.val$window == Param_2
post	init'ed(this.val$window)

method	void delWindow(FrameContainer)
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on javax.swing.SwingUtilities:isEventDispatchT hread
unanalyzed	call on java.lang.Runnable:run
unanalyzed	call on javax.swing.SwingUtilities:invokeAndWait
unanalyzed	call on com.dmdirc.logger.Logger:appError

method	void run()
pre	this.desktopPane != null
pre	this.val$window != null

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

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.components. desktopPane.DMDircDesktopPane:remove(Component)

method	void addWindow(FrameContainer, FrameContainer)
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on javax.swing.SwingUtilities:isEventDispatchT hread
unanalyzed	call on java.lang.Runnable:run
unanalyzed	call on javax.swing.SwingUtilities:invokeAndWait
unanalyzed	call on com.dmdirc.logger.Logger:appError

method	void delWindow(FrameContainer, FrameContainer)
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on javax.swing.SwingUtilities:isEventDispatchT hread
unanalyzed	call on java.lang.Runnable:run
unanalyzed	call on javax.swing.SwingUtilities:invokeAndWait
unanalyzed	call on com.dmdirc.logger.Logger:appError

	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 Image com.dmdirc.ui.IconManager:getImage(St ring)

	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 bool com.dmdirc.ui.interfaces. Window:isMaximum()
	method not available - call not analyzed	Info	call on void com.dmdirc.addons.ui_swing. MainFrame$5:setObject(Object)

	method not available - call not analyzed	Info	call on Container com.dmdirc.addons.ui_swing. MainFrame:getContentPane()
	method not available - call not analyzed	Info	call on void net.miginfocom.swing.MigLayout(String)

method not available - call not analyzed	Info	call on FramemanagerPosition[] com.dmdirc.ui. interfaces.FramemanagerPosition:values()
method not available - call not analyzed	Info	call on int com.dmdirc.ui.interfaces. FramemanagerPosition:ordinal()
method not available - call not analyzed	Info	call on int com.dmdirc.ui.interfaces. FramemanagerPosition:ordinal()

method not available - call not analyzed	Info	call on ServerManager com.dmdirc.ServerManager:getS erverManager()
method not available - call not analyzed	Info	call on ConfigManager com.dmdirc.config. IdentityManager:getGlobalConfig()
method not available - call not analyzed	Info	call on String com.dmdirc.config.ConfigManager:getO ption(String, String)
method not available - call not analyzed	Info	call on void com.dmdirc.ServerManager:closeAll(Stri ng)

	method not available - call not analyzed	Info	call on Identity com.dmdirc.config.IdentityManager: getConfigIdentity()
	method not available - call not analyzed	Info	call on void com.dmdirc.config.Identity:setOption(S tring, String, String)