Apple.java

Apple.java

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

Filter Options

Annotation Kind:

pre

presumption

post

unanalyzed

test_vector

void com.dmdirc.addons.ui_swing.Apple$1(Apple, Object[])

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

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

Kind	Annotation Text

com.dmdirc.addons.ui_swing.Apple$ApplicationEvent__static_init

Kind	Annotation Text

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

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

com.dmdirc.addons.ui_swing.Apple__static_init

Kind	Annotation Text

Apple getApple()

Kind	Annotation Text
pre	init'ed(me)
post	me != null
post	me == One-of{old me, &new Apple(getApple#1)}
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
post	return_value == me
unanalyzed	call on com.dmdirc.actions.ActionManager:addListene r
unanalyzed	call on com.dmdirc.logger.Logger:userError
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 registerOpenURLCallback
test_vector	me: Inverse{null}, Addr_Set{null}

Object getApplication()

Kind	Annotation Text
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}

Object getNSApplication()

Kind	Annotation Text
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}

void handleAbout(Apple$ApplicationEvent)

Kind	Annotation Text
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 actionPerformed
unanalyzed	call on com.dmdirc.FrameContainer:getServer
unanalyzed	call on com.dmdirc.Server:disconnect
unanalyzed	call on com.dmdirc.ServerManager:getServerManager
unanalyzed	call on com.dmdirc.ServerManager:joinDevChat
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.addons.ui_swing.components. MenuBar$1
unanalyzed	call on com.dmdirc.addons.ui_swing.components. StandardDialog
unanalyzed	call on com.dmdirc.addons.ui_swing.components. StandardDialog:setIconImages
unanalyzed	call on com.dmdirc.addons.ui_swing.components. StandardInputDialog
unanalyzed	call on com.dmdirc.addons.ui_swing.components. StandardInputDialog:add
unanalyzed	call on com.dmdirc.addons.ui_swing.components. StandardInputDialog:addWindowListener
unanalyzed	call on com.dmdirc.addons.ui_swing.components. StandardInputDialog:getParent
unanalyzed	call on com.dmdirc.addons.ui_swing.components. StandardInputDialog:getRootPane
unanalyzed	call on com.dmdirc.addons.ui_swing.components. StandardInputDialog:setDefaultCloseOperation
unanalyzed	call on com.dmdirc.addons.ui_swing.components. StandardInputDialog:setLayout
unanalyzed	call on com.dmdirc.addons.ui_swing.components. StandardInputDialog:setTitle
unanalyzed	call on com.dmdirc.addons.ui_swing.components.text. TextLabel
unanalyzed	call on com.dmdirc.addons.ui_swing.components. validating.ValidatingJTextField
unanalyzed	call on com.dmdirc.addons.ui_swing.components. validating.ValidatingJTextField:getDocument
unanalyzed	call on com.dmdirc.addons.ui_swing.components. validating.ValidatingJTextField:getText
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. FeedbackDialog:showFeedbackDialog
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. NewServerDialog:showNewServerDialog
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs.about. AboutDialog:showAboutDialog
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.addons.ui_swing.dialogs.prefs. SwingPreferencesDialog:showSwingPreferencesDialog
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. profiles.ProfileManagerDialog:showProfileManagerDia log
unanalyzed	call on com.dmdirc.config.ConfigManager:getOptionBo ol
unanalyzed	call on com.dmdirc.config.IdentityManager:getGlobal Config
unanalyzed	call on com.dmdirc.config.prefs.validator. ValidationResponse:isFailure
unanalyzed	call on com.dmdirc.config.prefs.validator. Validator:validate
unanalyzed	call on com.dmdirc.logger.Logger:appError
unanalyzed	call on com.dmdirc.ui.interfaces.Window:getContaine r
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 display
unanalyzed	call on getActiveFrame
unanalyzed	call on getCancelButton
unanalyzed	call on getLeftButton
unanalyzed	call on getOkButton
unanalyzed	call on getRightButton
unanalyzed	call on invokeLater
unanalyzed	call on java.awt.Dimension
unanalyzed	call on java.awt.Window:getIconImages
unanalyzed	call on java.awt.event.ActionEvent
unanalyzed	call on java.awt.event.ActionEvent:getActionCommand
unanalyzed	call on java.awt.event.WindowAdapter
unanalyzed	call on java.lang.Runnable:run
unanalyzed	call on java.lang.String:equals
unanalyzed	call on java.lang.String:startsWith
unanalyzed	call on java.lang.String:toLowerCase
unanalyzed	call on java.lang.System:getProperty
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on java.util.concurrent.atomic. AtomicBoolean:get
unanalyzed	call on javax.swing.JButton
unanalyzed	call on javax.swing.JButton:addActionListener
unanalyzed	call on javax.swing.JButton:setDefaultCapable
unanalyzed	call on javax.swing.JButton:setEnabled
unanalyzed	call on javax.swing.JButton:setMinimumSize
unanalyzed	call on javax.swing.JButton:setPreferredSize
unanalyzed	call on javax.swing.JButton:setText
unanalyzed	call on javax.swing.JDialog
unanalyzed	call on javax.swing.JOptionPane:showConfirmDialog
unanalyzed	call on javax.swing.JRootPane:registerKeyboardActio n
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.SwingWorker
unanalyzed	call on javax.swing.text.Document:addDocumentListen er
unanalyzed	call on net.miginfocom.swing.MigLayout
unanalyzed	call on orderButtons
unanalyzed	call on quit
unanalyzed	call on setHandled

void handleMenuBarEvent(String, Apple$ApplicationEvent)

Kind	Annotation Text
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 com.dmdirc.FrameContainer:getServer
unanalyzed	call on com.dmdirc.Server:disconnect
unanalyzed	call on com.dmdirc.ServerManager:getServerManager
unanalyzed	call on com.dmdirc.ServerManager:joinDevChat
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.addons.ui_swing.components. MenuBar$1
unanalyzed	call on com.dmdirc.addons.ui_swing.components. StandardDialog
unanalyzed	call on com.dmdirc.addons.ui_swing.components. StandardDialog:setIconImages
unanalyzed	call on com.dmdirc.addons.ui_swing.components. StandardInputDialog
unanalyzed	call on com.dmdirc.addons.ui_swing.components. StandardInputDialog:add
unanalyzed	call on com.dmdirc.addons.ui_swing.components. StandardInputDialog:addWindowListener
unanalyzed	call on com.dmdirc.addons.ui_swing.components. StandardInputDialog:getParent
unanalyzed	call on com.dmdirc.addons.ui_swing.components. StandardInputDialog:getRootPane
unanalyzed	call on com.dmdirc.addons.ui_swing.components. StandardInputDialog:setDefaultCloseOperation
unanalyzed	call on com.dmdirc.addons.ui_swing.components. StandardInputDialog:setLayout
unanalyzed	call on com.dmdirc.addons.ui_swing.components. StandardInputDialog:setTitle
unanalyzed	call on com.dmdirc.addons.ui_swing.components.text. TextLabel
unanalyzed	call on com.dmdirc.addons.ui_swing.components. validating.ValidatingJTextField
unanalyzed	call on com.dmdirc.addons.ui_swing.components. validating.ValidatingJTextField:getDocument
unanalyzed	call on com.dmdirc.addons.ui_swing.components. validating.ValidatingJTextField:getText
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. FeedbackDialog:showFeedbackDialog
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. NewServerDialog:showNewServerDialog
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs.about. AboutDialog:showAboutDialog
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.addons.ui_swing.dialogs.prefs. SwingPreferencesDialog:showSwingPreferencesDialog
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. profiles.ProfileManagerDialog:showProfileManagerDia log
unanalyzed	call on com.dmdirc.config.ConfigManager:getOptionBo ol
unanalyzed	call on com.dmdirc.config.IdentityManager:getGlobal Config
unanalyzed	call on com.dmdirc.config.prefs.validator. ValidationResponse:isFailure
unanalyzed	call on com.dmdirc.config.prefs.validator. Validator:validate
unanalyzed	call on com.dmdirc.logger.Logger:appError
unanalyzed	call on com.dmdirc.ui.interfaces.Window:getContaine r
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 display
unanalyzed	call on getActiveFrame
unanalyzed	call on getCancelButton
unanalyzed	call on getLeftButton
unanalyzed	call on getOkButton
unanalyzed	call on getRightButton
unanalyzed	call on invokeLater
unanalyzed	call on java.awt.Dimension
unanalyzed	call on java.awt.Window:getIconImages
unanalyzed	call on java.awt.event.ActionEvent:getActionCommand
unanalyzed	call on java.awt.event.WindowAdapter
unanalyzed	call on java.lang.Runnable:run
unanalyzed	call on java.lang.String:equals
unanalyzed	call on java.lang.String:startsWith
unanalyzed	call on java.lang.String:toLowerCase
unanalyzed	call on java.lang.System:getProperty
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on java.util.concurrent.atomic. AtomicBoolean:get
unanalyzed	call on javax.swing.JButton
unanalyzed	call on javax.swing.JButton:addActionListener
unanalyzed	call on javax.swing.JButton:setDefaultCapable
unanalyzed	call on javax.swing.JButton:setEnabled
unanalyzed	call on javax.swing.JButton:setMinimumSize
unanalyzed	call on javax.swing.JButton:setPreferredSize
unanalyzed	call on javax.swing.JButton:setText
unanalyzed	call on javax.swing.JDialog
unanalyzed	call on javax.swing.JOptionPane:showConfirmDialog
unanalyzed	call on javax.swing.JRootPane:registerKeyboardActio n
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.SwingWorker
unanalyzed	call on javax.swing.text.Document:addDocumentListen er
unanalyzed	call on net.miginfocom.swing.MigLayout
unanalyzed	call on orderButtons
unanalyzed	call on quit
test_vector	this.menuBar: Inverse{null}, Addr_Set{null}

void handleOpenApplication(Apple$ApplicationEvent)

Kind	Annotation Text

void handleOpenFile(Apple$ApplicationEvent)

Kind	Annotation Text

void handleOpenURL(String)

Kind	Annotation Text
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}

void handlePreferences(Apple$ApplicationEvent)

Kind	Annotation Text
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 actionPerformed
unanalyzed	call on com.dmdirc.FrameContainer:getServer
unanalyzed	call on com.dmdirc.Server:disconnect
unanalyzed	call on com.dmdirc.ServerManager:getServerManager
unanalyzed	call on com.dmdirc.ServerManager:joinDevChat
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.addons.ui_swing.components. MenuBar$1
unanalyzed	call on com.dmdirc.addons.ui_swing.components. StandardDialog
unanalyzed	call on com.dmdirc.addons.ui_swing.components. StandardDialog:setIconImages
unanalyzed	call on com.dmdirc.addons.ui_swing.components. StandardInputDialog
unanalyzed	call on com.dmdirc.addons.ui_swing.components. StandardInputDialog:add
unanalyzed	call on com.dmdirc.addons.ui_swing.components. StandardInputDialog:addWindowListener
unanalyzed	call on com.dmdirc.addons.ui_swing.components. StandardInputDialog:getParent
unanalyzed	call on com.dmdirc.addons.ui_swing.components. StandardInputDialog:getRootPane
unanalyzed	call on com.dmdirc.addons.ui_swing.components. StandardInputDialog:setDefaultCloseOperation
unanalyzed	call on com.dmdirc.addons.ui_swing.components. StandardInputDialog:setLayout
unanalyzed	call on com.dmdirc.addons.ui_swing.components. StandardInputDialog:setTitle
unanalyzed	call on com.dmdirc.addons.ui_swing.components.text. TextLabel
unanalyzed	call on com.dmdirc.addons.ui_swing.components. validating.ValidatingJTextField
unanalyzed	call on com.dmdirc.addons.ui_swing.components. validating.ValidatingJTextField:getDocument
unanalyzed	call on com.dmdirc.addons.ui_swing.components. validating.ValidatingJTextField:getText
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. FeedbackDialog:showFeedbackDialog
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. NewServerDialog:showNewServerDialog
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs.about. AboutDialog:showAboutDialog
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.addons.ui_swing.dialogs.prefs. SwingPreferencesDialog:showSwingPreferencesDialog
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. profiles.ProfileManagerDialog:showProfileManagerDia log
unanalyzed	call on com.dmdirc.config.ConfigManager:getOptionBo ol
unanalyzed	call on com.dmdirc.config.IdentityManager:getGlobal Config
unanalyzed	call on com.dmdirc.config.prefs.validator. ValidationResponse:isFailure
unanalyzed	call on com.dmdirc.config.prefs.validator. Validator:validate
unanalyzed	call on com.dmdirc.logger.Logger:appError
unanalyzed	call on com.dmdirc.ui.interfaces.Window:getContaine r
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 display
unanalyzed	call on getActiveFrame
unanalyzed	call on getCancelButton
unanalyzed	call on getLeftButton
unanalyzed	call on getOkButton
unanalyzed	call on getRightButton
unanalyzed	call on invokeLater
unanalyzed	call on java.awt.Dimension
unanalyzed	call on java.awt.Window:getIconImages
unanalyzed	call on java.awt.event.ActionEvent
unanalyzed	call on java.awt.event.ActionEvent:getActionCommand
unanalyzed	call on java.awt.event.WindowAdapter
unanalyzed	call on java.lang.Runnable:run
unanalyzed	call on java.lang.String:equals
unanalyzed	call on java.lang.String:startsWith
unanalyzed	call on java.lang.String:toLowerCase
unanalyzed	call on java.lang.System:getProperty
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on java.util.concurrent.atomic. AtomicBoolean:get
unanalyzed	call on javax.swing.JButton
unanalyzed	call on javax.swing.JButton:addActionListener
unanalyzed	call on javax.swing.JButton:setDefaultCapable
unanalyzed	call on javax.swing.JButton:setEnabled
unanalyzed	call on javax.swing.JButton:setMinimumSize
unanalyzed	call on javax.swing.JButton:setPreferredSize
unanalyzed	call on javax.swing.JButton:setText
unanalyzed	call on javax.swing.JDialog
unanalyzed	call on javax.swing.JOptionPane:showConfirmDialog
unanalyzed	call on javax.swing.JRootPane:registerKeyboardActio n
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.SwingWorker
unanalyzed	call on javax.swing.text.Document:addDocumentListen er
unanalyzed	call on net.miginfocom.swing.MigLayout
unanalyzed	call on orderButtons
unanalyzed	call on quit
unanalyzed	call on setHandled

void handlePrintFile(Apple$ApplicationEvent)

Kind	Annotation Text

void handleQuit(Apple$ApplicationEvent)

Kind	Annotation Text
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 actionPerformed
unanalyzed	call on com.dmdirc.FrameContainer:getServer
unanalyzed	call on com.dmdirc.Server:disconnect
unanalyzed	call on com.dmdirc.ServerManager:getServerManager
unanalyzed	call on com.dmdirc.ServerManager:joinDevChat
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.addons.ui_swing.components. MenuBar$1
unanalyzed	call on com.dmdirc.addons.ui_swing.components. StandardDialog
unanalyzed	call on com.dmdirc.addons.ui_swing.components. StandardDialog:setIconImages
unanalyzed	call on com.dmdirc.addons.ui_swing.components. StandardInputDialog
unanalyzed	call on com.dmdirc.addons.ui_swing.components. StandardInputDialog:add
unanalyzed	call on com.dmdirc.addons.ui_swing.components. StandardInputDialog:addWindowListener
unanalyzed	call on com.dmdirc.addons.ui_swing.components. StandardInputDialog:getParent
unanalyzed	call on com.dmdirc.addons.ui_swing.components. StandardInputDialog:getRootPane
unanalyzed	call on com.dmdirc.addons.ui_swing.components. StandardInputDialog:setDefaultCloseOperation
unanalyzed	call on com.dmdirc.addons.ui_swing.components. StandardInputDialog:setLayout
unanalyzed	call on com.dmdirc.addons.ui_swing.components. StandardInputDialog:setTitle
unanalyzed	call on com.dmdirc.addons.ui_swing.components.text. TextLabel
unanalyzed	call on com.dmdirc.addons.ui_swing.components. validating.ValidatingJTextField
unanalyzed	call on com.dmdirc.addons.ui_swing.components. validating.ValidatingJTextField:getDocument
unanalyzed	call on com.dmdirc.addons.ui_swing.components. validating.ValidatingJTextField:getText
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. FeedbackDialog:showFeedbackDialog
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. NewServerDialog:showNewServerDialog
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs.about. AboutDialog:showAboutDialog
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.addons.ui_swing.dialogs.prefs. SwingPreferencesDialog:showSwingPreferencesDialog
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. profiles.ProfileManagerDialog:showProfileManagerDia log
unanalyzed	call on com.dmdirc.config.ConfigManager:getOptionBo ol
unanalyzed	call on com.dmdirc.config.IdentityManager:getGlobal Config
unanalyzed	call on com.dmdirc.config.prefs.validator. ValidationResponse:isFailure
unanalyzed	call on com.dmdirc.config.prefs.validator. Validator:validate
unanalyzed	call on com.dmdirc.logger.Logger:appError
unanalyzed	call on com.dmdirc.ui.interfaces.Window:getContaine r
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 display
unanalyzed	call on getActiveFrame
unanalyzed	call on getCancelButton
unanalyzed	call on getLeftButton
unanalyzed	call on getOkButton
unanalyzed	call on getRightButton
unanalyzed	call on invokeLater
unanalyzed	call on java.awt.Dimension
unanalyzed	call on java.awt.Window:getIconImages
unanalyzed	call on java.awt.event.ActionEvent
unanalyzed	call on java.awt.event.ActionEvent:getActionCommand
unanalyzed	call on java.awt.event.WindowAdapter
unanalyzed	call on java.lang.Runnable:run
unanalyzed	call on java.lang.String:equals
unanalyzed	call on java.lang.String:startsWith
unanalyzed	call on java.lang.String:toLowerCase
unanalyzed	call on java.lang.System:getProperty
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on java.util.concurrent.atomic. AtomicBoolean:get
unanalyzed	call on javax.swing.JButton
unanalyzed	call on javax.swing.JButton:addActionListener
unanalyzed	call on javax.swing.JButton:setDefaultCapable
unanalyzed	call on javax.swing.JButton:setEnabled
unanalyzed	call on javax.swing.JButton:setMinimumSize
unanalyzed	call on javax.swing.JButton:setPreferredSize
unanalyzed	call on javax.swing.JButton:setText
unanalyzed	call on javax.swing.JDialog
unanalyzed	call on javax.swing.JOptionPane:showConfirmDialog
unanalyzed	call on javax.swing.JRootPane:registerKeyboardActio n
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.SwingWorker
unanalyzed	call on javax.swing.text.Document:addDocumentListen er
unanalyzed	call on net.miginfocom.swing.MigLayout
unanalyzed	call on orderButtons
unanalyzed	call on quit
unanalyzed	call on setHandled

void handleReopenApplication(Apple$ApplicationEvent)

Kind	Annotation Text

Object invoke(Object, Method, Object[])

Kind	Annotation Text
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)

Object invoke(Object, Method, Object[])

Kind	Annotation Text
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

bool isApple()

Kind	Annotation Text
post	init'ed(return_value)

bool isAppleUI()

Kind	Annotation Text
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

void processEvent(ActionType, StringBuffer, Object[])

Kind	Annotation Text
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}

void requestUserAttention(bool)

Kind	Annotation Text
presumption	init'ed(java.lang.Integer.TYPE)
presumption	java.lang.Class:getField(...)@248 != null
presumption	java.lang.Class:getMethod(...)@251 != null
presumption	java.lang.Object:getClass(...)@248 != null
presumption	java.lang.Object:getClass(...)@251 != null
post	possibly_updated(nsApplication)
unanalyzed	call on java.lang.Class:forName
unanalyzed	call on java.lang.Class:getMethod
unanalyzed	call on java.lang.System:getProperty
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on java.lang.reflect.Method:invoke
test_vector	isCritical: {0}, {1}

bool setListener()

Kind	Annotation Text
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	init'ed(return_value)
post	init'ed(this.isListener)
post	possibly_updated(application)
unanalyzed	call on java.lang.Class:forName
unanalyzed	call on java.lang.Class:getMethod
unanalyzed	call on java.lang.System:getProperty
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on java.lang.reflect.Method:invoke
test_vector	this.isListener: {0}, {1}

void setMenuBar(MenuBar)

Kind	Annotation Text
pre	(soft) menuBar != null
post	this.menuBar != null
post	this.menuBar == menuBar
unanalyzed	call on java.lang.Class:getName
unanalyzed	call on java.lang.Object:getClass
unanalyzed	call on java.lang.String:equals
unanalyzed	call on java.lang.System:getProperty
unanalyzed	call on javax.swing.UIManager:getLookAndFeel
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}

void setUISettings()

Kind	Annotation Text
presumption	com.dmdirc.config.IdentityManager:getGlobalConfig(. ..)@223 != null
unanalyzed	call on java.lang.System:getProperty