Messages

Last Msg First Msg

method

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

method

com.dmdirc.addons.ui_swing.Apple$ApplicationEvent_ _static_init

method

com.dmdirc.addons.ui_swing.Apple__static_init

method	Apple getApple()
pre	init'ed(me)
post	me == One-of{old me, &new Apple(getApple#1)}
post	me != null
post	return_value == me
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 == null
post	new ArrayList(Apple#1) num objects <= 1
unanalyzed	call on java.lang.System:getProperty
unanalyzed	call on java.util.ArrayList
unanalyzed	call on java.lang.System:loadLibrary
unanalyzed	call on registerOpenURLCallback
unanalyzed	call on com.dmdirc.actions.ActionManager:addListene r
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on com.dmdirc.logger.Logger:userError
test_vector	me: Inverse{null}, Addr_Set{null}

method	void com.dmdirc.addons.ui_swing.Apple()
presumption	init'ed(com.dmdirc.actions.CoreActionType.CLIENT_ OPENED)
presumption	init'ed(com.dmdirc.logger.ErrorLevel.MEDIUM)
post	this.addresses == &new ArrayList(Apple#1)
post	this.clientOpened == 0
post	this.isListener == 0
post	this.menuBar == null
post	new ArrayList(Apple#1) num objects == 1
unanalyzed	call on java.lang.System:getProperty

method not available - call not analyzed Info call on int registerOpenURLCallback()

method not available - call not analyzed Info call on void com.dmdirc.actions.ActionManager:addLi stener(ActionListener, ActionType[])

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

method	Object getApplication()
pre	init'ed(application)
presumption	java.lang.Class:forName(...)@158 != null
presumption	java.lang.Class:getMethod(...)@159 != null
post	init'ed(application)
post	return_value == application
unanalyzed	call on java.lang.System:getProperty
test_vector	application: Inverse{null}, Addr_Set{null}

method	Object getNSApplication()
pre	init'ed(nsApplication)
presumption	java.lang.Class:forName(...)@181 != null
presumption	java.lang.Class:getMethod(...)@183 != null
post	init'ed(nsApplication)
post	return_value == nsApplication
unanalyzed	call on java.lang.System:getProperty
test_vector	nsApplication: Inverse{null}, Addr_Set{null}

method	bool isApple()
post	init'ed(return_value)

method	bool isAppleUI()
presumption	java.lang.Class:getName(...)@210 != null
presumption	java.lang.Object:getClass(...)@210 != null
presumption	javax.swing.UIManager:getLookAndFeel(...)@210 != null
post	init'ed(return_value)
unanalyzed	call on java.lang.System:getProperty

method	void setUISettings()
presumption	com.dmdirc.config.IdentityManager:getGlobalConfig(. ..)@223 != null
unanalyzed	call on java.lang.System:getProperty

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	void requestUserAttention(bool)
presumption	java.lang.Class:getField(...)@248 != null
presumption	java.lang.Class:getMethod(...)@251 != null
presumption	init'ed(java.lang.Integer.TYPE)
presumption	java.lang.Object:getClass(...)@248 != null
presumption	java.lang.Object:getClass(...)@251 != null
post	possibly_updated(nsApplication)
unanalyzed	call on java.lang.System:getProperty
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on java.lang.Class:forName
unanalyzed	call on java.lang.Class:getMethod
unanalyzed	call on java.lang.reflect.Method:invoke
test_vector	isCritical: {0}, {1}

Prev Msg Next Msg

null dereference

click for all messages in this file Medium Prob.

check that getNSApplication(...) != null

Prev Msg Next Msg

method	bool setListener()
pre	(soft) init'ed(this.isListener)
presumption	init'ed(java.lang.Boolean.TRUE)
presumption	init'ed(java.lang.Boolean.TYPE)
presumption	java.lang.Class:getMethod(...)@277 != null
presumption	java.lang.Class:getMethod(...)@283 != null
presumption	java.lang.Class:getMethod(...)@287 != null
presumption	java.lang.Object:getClass(...)@274 != null
presumption	java.lang.Object:getClass(...)@277 != null
presumption	java.lang.Object:getClass(...)@283 != null
presumption	java.lang.Object:getClass(...)@287 != null
post	possibly_updated(application)
post	init'ed(return_value)
post	init'ed(this.isListener)
unanalyzed	call on java.lang.System:getProperty
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on java.lang.Class:forName
unanalyzed	call on java.lang.Class:getMethod
unanalyzed	call on java.lang.reflect.Method:invoke
test_vector	this.isListener: {0}, {1}

Prev Msg Next Msg

null dereference

click for all messages in this file Medium Prob.

check that getApplication(...) != null

Prev Msg Next Msg

method	Object invoke(Object, Method, Object[])
pre	(soft) args != null
pre	(soft) init'ed(args[0])
pre	(soft) method != null
presumption	java.lang.Class:getMethod(...)@325 != null
presumption	java.lang.Object:getClass(...)@313 != null
presumption	java.lang.Object:getClass(...)@325 != null
presumption	java.lang.reflect.Method:getName(...)@329 != null
post	init'ed(return_value)
unanalyzed	call on java.lang.System:getProperty

method	void com.dmdirc.addons.ui_swing.Apple$1(Apple, Object[])
post	this.val$args == Param_2
post	init'ed(this.val$args)

method	Object invoke(Object, Method, Object[])
pre	m != null
pre	this.val$args != null
pre	this.val$args.length >= 1
pre	this.val$args[0] != null
presumption	java.lang.Class:getMethod(...)@321 != null
presumption	java.lang.Object:getClass(...)@321 != null
post	init'ed(return_value)

method	void setMenuBar(MenuBar)
pre	(soft) menuBar != null
post	this.menuBar == menuBar
post	this.menuBar != null
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
test_vector	com.dmdirc.addons.ui_swing.components. MenuBar:getMenu(...)@347: Addr_Set{null}, Inverse{null}
test_vector	javax.swing.JMenu:getItem(...)@351: Addr_Set{null}, Inverse{null}

method not available - call not analyzed Info call on int com.dmdirc.addons.ui_swing.components. MenuBar:getMenuCount()

method not available - call not analyzed Info call on JMenu com.dmdirc.addons.ui_swing. components.MenuBar:getMenu(int)

method	void handleMenuBarEvent(String, Apple$ApplicationE vent)
pre	(soft) event != null
pre	(soft) init'ed(this.menuBar)
pre	(soft) this.menuBar.controller != null
pre	(soft) this.menuBar.controller.mainFrameCreated != null
pre	(soft) this.menuBar.controller.me != null
pre	(soft) this.menuBar.mainFrame != null
post	possibly_updated(this.menuBar.mainFrame.exitCode)
unanalyzed	call on java.lang.System:getProperty
unanalyzed	call on invokeLater
unanalyzed	call on java.awt.event.ActionEvent:getActionCommand
unanalyzed	call on java.lang.String:equals
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. NewServerDialog:showNewServerDialog
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs.prefs. SwingPreferencesDialog:showSwingPreferencesDialog
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs.about. AboutDialog:showAboutDialog
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. profiles.ProfileManagerDialog:showProfileManagerDia log
unanalyzed	call on quit
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actionsmanager.ActionsManagerDialog:showActionsMana gerDialog
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs.aliases. AliasManagerDialog:showAliasManagerDialog
unanalyzed	call on com.dmdirc.ServerManager:getServerManager
unanalyzed	call on com.dmdirc.ServerManager:joinDevChat
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. FeedbackDialog:showFeedbackDialog
unanalyzed	call on getActiveFrame
unanalyzed	call on java.util.concurrent.atomic. AtomicBoolean:get
unanalyzed	call on com.dmdirc.ui.interfaces.Window:getContaine r
unanalyzed	call on com.dmdirc.FrameContainer:getServer
unanalyzed	call on com.dmdirc.Server:disconnect
unanalyzed	call on com.dmdirc.addons.ui_swing.components. MenuBar$1
unanalyzed	call on display
unanalyzed	call on javax.swing.SwingUtilities:isEventDispatchT hread
unanalyzed	call on java.lang.Runnable:run
unanalyzed	call on javax.swing.SwingUtilities:invokeLater
unanalyzed	call on com.dmdirc.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 java.lang.Throwable:__curr_excep_obj
unanalyzed	call on javax.swing.SwingUtilities:invokeAndWait
unanalyzed	call on com.dmdirc.logger.Logger:appError
unanalyzed	call on com.dmdirc.util.ReturnableThread:run
unanalyzed	call on com.dmdirc.util.ReturnableThread:getObject
unanalyzed	call on com.dmdirc.util.ReturnableThread
unanalyzed	call on com.dmdirc.addons.ui_swing.components. StandardInputDialog
unanalyzed	call on com.dmdirc.addons.ui_swing.components. StandardInputDialog:getParent
unanalyzed	call on javax.swing.SwingWorker
unanalyzed	call on com.dmdirc.addons.ui_swing.components. validating.ValidatingJTextField:getText
unanalyzed	call on getOkButton
unanalyzed	call on com.dmdirc.config.prefs.validator. Validator:validate
unanalyzed	call on com.dmdirc.config.prefs.validator. ValidationResponse:isFailure
unanalyzed	call on javax.swing.JButton:setEnabled
unanalyzed	call on javax.swing.JButton
unanalyzed	call on orderButtons
unanalyzed	call on com.dmdirc.addons.ui_swing.components. validating.ValidatingJTextField
unanalyzed	call on com.dmdirc.addons.ui_swing.components.text. TextLabel
unanalyzed	call on javax.swing.JButton:addActionListener
unanalyzed	call on getCancelButton
unanalyzed	call on java.awt.event.WindowAdapter
unanalyzed	call on com.dmdirc.addons.ui_swing.components. StandardInputDialog:addWindowListener
unanalyzed	call on com.dmdirc.addons.ui_swing.components. validating.ValidatingJTextField:getDocument
unanalyzed	call on javax.swing.text.Document:addDocumentListen er
unanalyzed	call on javax.swing.KeyStroke:getKeyStroke
unanalyzed	call on com.dmdirc.addons.ui_swing.components. StandardInputDialog:getRootPane
unanalyzed	call on javax.swing.JRootPane:registerKeyboardActio n
unanalyzed	call on net.miginfocom.swing.MigLayout
unanalyzed	call on com.dmdirc.addons.ui_swing.components. StandardInputDialog:setLayout
unanalyzed	call on com.dmdirc.addons.ui_swing.components. StandardInputDialog:add
unanalyzed	call on getLeftButton
unanalyzed	call on getRightButton
unanalyzed	call on com.dmdirc.addons.ui_swing.components. StandardDialog
unanalyzed	call on com.dmdirc.addons.ui_swing.components. StandardInputDialog:setTitle
unanalyzed	call on com.dmdirc.addons.ui_swing.components. StandardInputDialog:setDefaultCloseOperation
unanalyzed	call on javax.swing.JButton:setText
unanalyzed	call on javax.swing.JButton:setDefaultCapable
unanalyzed	call on java.lang.String:toLowerCase
unanalyzed	call on java.lang.String:startsWith
unanalyzed	call on java.awt.Dimension
unanalyzed	call on javax.swing.JButton:setPreferredSize
unanalyzed	call on javax.swing.JButton:setMinimumSize
unanalyzed	call on com.dmdirc.addons.ui_swing.components. StandardDialog:setIconImages
unanalyzed	call on javax.swing.JDialog
unanalyzed	call on java.awt.Window:getIconImages
test_vector	this.menuBar: Inverse{null}, Addr_Set{null}

method not available - call not analyzed Info call on void setHandled(bool)

method	void handleQuit(Apple$ApplicationEvent)
pre	(soft) event != null
pre	(soft) init'ed(this.menuBar)
pre	(soft) this.menuBar.controller != null
pre	(soft) this.menuBar.controller.mainFrameCreated != null
pre	(soft) this.menuBar.controller.me != null
pre	(soft) this.menuBar.mainFrame != null
post	possibly_updated(this.menuBar.mainFrame.exitCode)
unanalyzed	call on java.lang.System:getProperty
unanalyzed	call on java.awt.event.ActionEvent
unanalyzed	call on actionPerformed
unanalyzed	call on setHandled
unanalyzed	call on invokeLater
unanalyzed	call on java.awt.event.ActionEvent:getActionCommand
unanalyzed	call on java.lang.String:equals
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. NewServerDialog:showNewServerDialog
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs.prefs. SwingPreferencesDialog:showSwingPreferencesDialog
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs.about. AboutDialog:showAboutDialog
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. profiles.ProfileManagerDialog:showProfileManagerDia log
unanalyzed	call on quit
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actionsmanager.ActionsManagerDialog:showActionsMana gerDialog
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs.aliases. AliasManagerDialog:showAliasManagerDialog
unanalyzed	call on com.dmdirc.ServerManager:getServerManager
unanalyzed	call on com.dmdirc.ServerManager:joinDevChat
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. FeedbackDialog:showFeedbackDialog
unanalyzed	call on getActiveFrame
unanalyzed	call on java.util.concurrent.atomic. AtomicBoolean:get
unanalyzed	call on com.dmdirc.ui.interfaces.Window:getContaine r
unanalyzed	call on com.dmdirc.FrameContainer:getServer
unanalyzed	call on com.dmdirc.Server:disconnect
unanalyzed	call on com.dmdirc.addons.ui_swing.components. MenuBar$1
unanalyzed	call on display
unanalyzed	call on javax.swing.SwingUtilities:isEventDispatchT hread
unanalyzed	call on java.lang.Runnable:run
unanalyzed	call on javax.swing.SwingUtilities:invokeLater
unanalyzed	call on com.dmdirc.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 java.lang.Throwable:__curr_excep_obj
unanalyzed	call on javax.swing.SwingUtilities:invokeAndWait
unanalyzed	call on com.dmdirc.logger.Logger:appError
unanalyzed	call on com.dmdirc.util.ReturnableThread:run
unanalyzed	call on com.dmdirc.util.ReturnableThread:getObject
unanalyzed	call on com.dmdirc.util.ReturnableThread
unanalyzed	call on com.dmdirc.addons.ui_swing.components. StandardInputDialog
unanalyzed	call on com.dmdirc.addons.ui_swing.components. StandardInputDialog:getParent
unanalyzed	call on javax.swing.SwingWorker
unanalyzed	call on com.dmdirc.addons.ui_swing.components. validating.ValidatingJTextField:getText
unanalyzed	call on getOkButton
unanalyzed	call on com.dmdirc.config.prefs.validator. Validator:validate
unanalyzed	call on com.dmdirc.config.prefs.validator. ValidationResponse:isFailure
unanalyzed	call on javax.swing.JButton:setEnabled
unanalyzed	call on javax.swing.JButton
unanalyzed	call on orderButtons
unanalyzed	call on com.dmdirc.addons.ui_swing.components. validating.ValidatingJTextField
unanalyzed	call on com.dmdirc.addons.ui_swing.components.text. TextLabel
unanalyzed	call on javax.swing.JButton:addActionListener
unanalyzed	call on getCancelButton
unanalyzed	call on java.awt.event.WindowAdapter
unanalyzed	call on com.dmdirc.addons.ui_swing.components. StandardInputDialog:addWindowListener
unanalyzed	call on com.dmdirc.addons.ui_swing.components. validating.ValidatingJTextField:getDocument
unanalyzed	call on javax.swing.text.Document:addDocumentListen er
unanalyzed	call on javax.swing.KeyStroke:getKeyStroke
unanalyzed	call on com.dmdirc.addons.ui_swing.components. StandardInputDialog:getRootPane
unanalyzed	call on javax.swing.JRootPane:registerKeyboardActio n
unanalyzed	call on net.miginfocom.swing.MigLayout
unanalyzed	call on com.dmdirc.addons.ui_swing.components. StandardInputDialog:setLayout
unanalyzed	call on com.dmdirc.addons.ui_swing.components. StandardInputDialog:add
unanalyzed	call on getLeftButton
unanalyzed	call on getRightButton
unanalyzed	call on com.dmdirc.addons.ui_swing.components. StandardDialog
unanalyzed	call on com.dmdirc.addons.ui_swing.components. StandardInputDialog:setTitle
unanalyzed	call on com.dmdirc.addons.ui_swing.components. StandardInputDialog:setDefaultCloseOperation
unanalyzed	call on javax.swing.JButton:setText
unanalyzed	call on javax.swing.JButton:setDefaultCapable
unanalyzed	call on java.lang.String:toLowerCase
unanalyzed	call on java.lang.String:startsWith
unanalyzed	call on java.awt.Dimension
unanalyzed	call on javax.swing.JButton:setPreferredSize
unanalyzed	call on javax.swing.JButton:setMinimumSize
unanalyzed	call on com.dmdirc.addons.ui_swing.components. StandardDialog:setIconImages
unanalyzed	call on javax.swing.JDialog
unanalyzed	call on java.awt.Window:getIconImages

method	void handleAbout(Apple$ApplicationEvent)
pre	(soft) event != null
pre	(soft) init'ed(this.menuBar)
pre	(soft) this.menuBar.controller != null
pre	(soft) this.menuBar.controller.mainFrameCreated != null
pre	(soft) this.menuBar.controller.me != null
pre	(soft) this.menuBar.mainFrame != null
post	possibly_updated(this.menuBar.mainFrame.exitCode)
unanalyzed	call on java.lang.System:getProperty
unanalyzed	call on java.awt.event.ActionEvent
unanalyzed	call on actionPerformed
unanalyzed	call on setHandled
unanalyzed	call on invokeLater
unanalyzed	call on java.awt.event.ActionEvent:getActionCommand
unanalyzed	call on java.lang.String:equals
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. NewServerDialog:showNewServerDialog
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs.prefs. SwingPreferencesDialog:showSwingPreferencesDialog
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs.about. AboutDialog:showAboutDialog
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. profiles.ProfileManagerDialog:showProfileManagerDia log
unanalyzed	call on quit
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actionsmanager.ActionsManagerDialog:showActionsMana gerDialog
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs.aliases. AliasManagerDialog:showAliasManagerDialog
unanalyzed	call on com.dmdirc.ServerManager:getServerManager
unanalyzed	call on com.dmdirc.ServerManager:joinDevChat
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. FeedbackDialog:showFeedbackDialog
unanalyzed	call on getActiveFrame
unanalyzed	call on java.util.concurrent.atomic. AtomicBoolean:get
unanalyzed	call on com.dmdirc.ui.interfaces.Window:getContaine r
unanalyzed	call on com.dmdirc.FrameContainer:getServer
unanalyzed	call on com.dmdirc.Server:disconnect
unanalyzed	call on com.dmdirc.addons.ui_swing.components. MenuBar$1
unanalyzed	call on display
unanalyzed	call on javax.swing.SwingUtilities:isEventDispatchT hread
unanalyzed	call on java.lang.Runnable:run
unanalyzed	call on javax.swing.SwingUtilities:invokeLater
unanalyzed	call on com.dmdirc.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 java.lang.Throwable:__curr_excep_obj
unanalyzed	call on javax.swing.SwingUtilities:invokeAndWait
unanalyzed	call on com.dmdirc.logger.Logger:appError
unanalyzed	call on com.dmdirc.util.ReturnableThread:run
unanalyzed	call on com.dmdirc.util.ReturnableThread:getObject
unanalyzed	call on com.dmdirc.util.ReturnableThread
unanalyzed	call on com.dmdirc.addons.ui_swing.components. StandardInputDialog
unanalyzed	call on com.dmdirc.addons.ui_swing.components. StandardInputDialog:getParent
unanalyzed	call on javax.swing.SwingWorker
unanalyzed	call on com.dmdirc.addons.ui_swing.components. validating.ValidatingJTextField:getText
unanalyzed	call on getOkButton
unanalyzed	call on com.dmdirc.config.prefs.validator. Validator:validate
unanalyzed	call on com.dmdirc.config.prefs.validator. ValidationResponse:isFailure
unanalyzed	call on javax.swing.JButton:setEnabled
unanalyzed	call on javax.swing.JButton
unanalyzed	call on orderButtons
unanalyzed	call on com.dmdirc.addons.ui_swing.components. validating.ValidatingJTextField
unanalyzed	call on com.dmdirc.addons.ui_swing.components.text. TextLabel
unanalyzed	call on javax.swing.JButton:addActionListener
unanalyzed	call on getCancelButton
unanalyzed	call on java.awt.event.WindowAdapter
unanalyzed	call on com.dmdirc.addons.ui_swing.components. StandardInputDialog:addWindowListener
unanalyzed	call on com.dmdirc.addons.ui_swing.components. validating.ValidatingJTextField:getDocument
unanalyzed	call on javax.swing.text.Document:addDocumentListen er
unanalyzed	call on javax.swing.KeyStroke:getKeyStroke
unanalyzed	call on com.dmdirc.addons.ui_swing.components. StandardInputDialog:getRootPane
unanalyzed	call on javax.swing.JRootPane:registerKeyboardActio n
unanalyzed	call on net.miginfocom.swing.MigLayout
unanalyzed	call on com.dmdirc.addons.ui_swing.components. StandardInputDialog:setLayout
unanalyzed	call on com.dmdirc.addons.ui_swing.components. StandardInputDialog:add
unanalyzed	call on getLeftButton
unanalyzed	call on getRightButton
unanalyzed	call on com.dmdirc.addons.ui_swing.components. StandardDialog
unanalyzed	call on com.dmdirc.addons.ui_swing.components. StandardInputDialog:setTitle
unanalyzed	call on com.dmdirc.addons.ui_swing.components. StandardInputDialog:setDefaultCloseOperation
unanalyzed	call on javax.swing.JButton:setText
unanalyzed	call on javax.swing.JButton:setDefaultCapable
unanalyzed	call on java.lang.String:toLowerCase
unanalyzed	call on java.lang.String:startsWith
unanalyzed	call on java.awt.Dimension
unanalyzed	call on javax.swing.JButton:setPreferredSize
unanalyzed	call on javax.swing.JButton:setMinimumSize
unanalyzed	call on com.dmdirc.addons.ui_swing.components. StandardDialog:setIconImages
unanalyzed	call on javax.swing.JDialog
unanalyzed	call on java.awt.Window:getIconImages

method	void handlePreferences(Apple$ApplicationEvent)
pre	(soft) event != null
pre	(soft) init'ed(this.menuBar)
pre	(soft) this.menuBar.controller != null
pre	(soft) this.menuBar.controller.mainFrameCreated != null
pre	(soft) this.menuBar.controller.me != null
pre	(soft) this.menuBar.mainFrame != null
post	possibly_updated(this.menuBar.mainFrame.exitCode)
unanalyzed	call on java.lang.System:getProperty
unanalyzed	call on java.awt.event.ActionEvent
unanalyzed	call on actionPerformed
unanalyzed	call on setHandled
unanalyzed	call on invokeLater
unanalyzed	call on java.awt.event.ActionEvent:getActionCommand
unanalyzed	call on java.lang.String:equals
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. NewServerDialog:showNewServerDialog
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs.prefs. SwingPreferencesDialog:showSwingPreferencesDialog
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs.about. AboutDialog:showAboutDialog
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. profiles.ProfileManagerDialog:showProfileManagerDia log
unanalyzed	call on quit
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. actionsmanager.ActionsManagerDialog:showActionsMana gerDialog
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs.aliases. AliasManagerDialog:showAliasManagerDialog
unanalyzed	call on com.dmdirc.ServerManager:getServerManager
unanalyzed	call on com.dmdirc.ServerManager:joinDevChat
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. FeedbackDialog:showFeedbackDialog
unanalyzed	call on getActiveFrame
unanalyzed	call on java.util.concurrent.atomic. AtomicBoolean:get
unanalyzed	call on com.dmdirc.ui.interfaces.Window:getContaine r
unanalyzed	call on com.dmdirc.FrameContainer:getServer
unanalyzed	call on com.dmdirc.Server:disconnect
unanalyzed	call on com.dmdirc.addons.ui_swing.components. MenuBar$1
unanalyzed	call on display
unanalyzed	call on javax.swing.SwingUtilities:isEventDispatchT hread
unanalyzed	call on java.lang.Runnable:run
unanalyzed	call on javax.swing.SwingUtilities:invokeLater
unanalyzed	call on com.dmdirc.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 java.lang.Throwable:__curr_excep_obj
unanalyzed	call on javax.swing.SwingUtilities:invokeAndWait
unanalyzed	call on com.dmdirc.logger.Logger:appError
unanalyzed	call on com.dmdirc.util.ReturnableThread:run
unanalyzed	call on com.dmdirc.util.ReturnableThread:getObject
unanalyzed	call on com.dmdirc.util.ReturnableThread
unanalyzed	call on com.dmdirc.addons.ui_swing.components. StandardInputDialog
unanalyzed	call on com.dmdirc.addons.ui_swing.components. StandardInputDialog:getParent
unanalyzed	call on javax.swing.SwingWorker
unanalyzed	call on com.dmdirc.addons.ui_swing.components. validating.ValidatingJTextField:getText
unanalyzed	call on getOkButton
unanalyzed	call on com.dmdirc.config.prefs.validator. Validator:validate
unanalyzed	call on com.dmdirc.config.prefs.validator. ValidationResponse:isFailure
unanalyzed	call on javax.swing.JButton:setEnabled
unanalyzed	call on javax.swing.JButton
unanalyzed	call on orderButtons
unanalyzed	call on com.dmdirc.addons.ui_swing.components. validating.ValidatingJTextField
unanalyzed	call on com.dmdirc.addons.ui_swing.components.text. TextLabel
unanalyzed	call on javax.swing.JButton:addActionListener
unanalyzed	call on getCancelButton
unanalyzed	call on java.awt.event.WindowAdapter
unanalyzed	call on com.dmdirc.addons.ui_swing.components. StandardInputDialog:addWindowListener
unanalyzed	call on com.dmdirc.addons.ui_swing.components. validating.ValidatingJTextField:getDocument
unanalyzed	call on javax.swing.text.Document:addDocumentListen er
unanalyzed	call on javax.swing.KeyStroke:getKeyStroke
unanalyzed	call on com.dmdirc.addons.ui_swing.components. StandardInputDialog:getRootPane
unanalyzed	call on javax.swing.JRootPane:registerKeyboardActio n
unanalyzed	call on net.miginfocom.swing.MigLayout
unanalyzed	call on com.dmdirc.addons.ui_swing.components. StandardInputDialog:setLayout
unanalyzed	call on com.dmdirc.addons.ui_swing.components. StandardInputDialog:add
unanalyzed	call on getLeftButton
unanalyzed	call on getRightButton
unanalyzed	call on com.dmdirc.addons.ui_swing.components. StandardDialog
unanalyzed	call on com.dmdirc.addons.ui_swing.components. StandardInputDialog:setTitle
unanalyzed	call on com.dmdirc.addons.ui_swing.components. StandardInputDialog:setDefaultCloseOperation
unanalyzed	call on javax.swing.JButton:setText
unanalyzed	call on javax.swing.JButton:setDefaultCapable
unanalyzed	call on java.lang.String:toLowerCase
unanalyzed	call on java.lang.String:startsWith
unanalyzed	call on java.awt.Dimension
unanalyzed	call on javax.swing.JButton:setPreferredSize
unanalyzed	call on javax.swing.JButton:setMinimumSize
unanalyzed	call on com.dmdirc.addons.ui_swing.components. StandardDialog:setIconImages
unanalyzed	call on javax.swing.JDialog
unanalyzed	call on java.awt.Window:getIconImages

method

void handleOpenApplication(Apple$ApplicationEvent)

method

void handleOpenFile(Apple$ApplicationEvent)

method

void handlePrintFile(Apple$ApplicationEvent)

method

void handleReopenApplication(Apple$ApplicationEven t)

method	void processEvent(ActionType, StringBuffer, Object[])
pre	(soft) this.addresses != null
presumption	init'ed(com.dmdirc.actions.CoreActionType.CLIENT_ OPENED)
presumption	java.util.ArrayList:iterator(...)@445 != null
presumption	java.util.Iterator:next(...)@445 != null
post	possibly_updated(this.clientOpened)
test_vector	java.util.Iterator:hasNext(...)@445: {0}, {1}

method not available - call not analyzed Info call on void com.dmdirc.util.IrcAddress:connect()

method	void handleOpenURL(String)
pre	(soft) this.addresses != null
presumption	java.lang.Thread:currentThread(...)@472 != null
presumption	java.lang.Thread:currentThread(...)@474 != null
unanalyzed	call on java.lang.System:getProperty
test_vector	java.lang.Thread:getContextClassLoader(...)@472: Inverse{null}, Addr_Set{null}
test_vector	this.clientOpened: {1}, {0}

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

method not available - call not analyzed Info call on void com.dmdirc.util.IrcAddress:connect()

	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)