MenuBar.java

MenuBar.java

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

Filter Options

Annotation Kind:

pre

presumption

post

unanalyzed

test_vector

SwingController access$000(MenuBar)

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

void actionPerformed(ActionEvent)

Kind	Annotation Text
pre	(soft) this.controller != null
pre	(soft) this.controller.mainFrameCreated != null
pre	(soft) this.controller.me != null
pre	(soft) this.mainFrame != null
pre	e != null
presumption	com.dmdirc.ServerManager:getServerManager(...)@266 != null
presumption	init'ed(java.awt.Dialog$ModalityType.MODELESS)
presumption	java.awt.event.ActionEvent:getActionCommand(... )@255 != null
presumption	java.awt.event.ActionEvent:getActionCommand(... )@257 != null
presumption	java.awt.event.ActionEvent:getActionCommand(... )@259 != null
presumption	java.awt.event.ActionEvent:getActionCommand(... )@261 != null
presumption	java.awt.event.ActionEvent:getActionCommand(... )@263 != null
presumption	java.awt.event.ActionEvent:getActionCommand(... )@265 != null
presumption	java.awt.event.ActionEvent:getActionCommand(... )@267 != null
presumption	java.awt.event.ActionEvent:getActionCommand(... )@269 != null
presumption	java.awt.event.ActionEvent:getActionCommand(... )@275 != null
presumption	java.awt.event.ActionEvent:getActionCommand(... )@277 != null
presumption	java.awt.event.ActionEvent:getActionCommand(... )@279 != null
post	possibly_updated(this.mainFrame.exitCode)
unanalyzed	call on com.dmdirc.FrameContainer:getServer
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. 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.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 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.WindowAdapter
unanalyzed	call on java.lang.Runnable:run
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
test_vector	java.lang.String:equals(...)@251: {0}, {1}
test_vector	java.lang.String:equals(...)@253: {0}, {1}
test_vector	java.lang.String:equals(...)@255: {0}, {1}
test_vector	java.lang.String:equals(...)@257: {0}, {1}
test_vector	java.lang.String:equals(...)@259: {0}, {1}
test_vector	java.lang.String:equals(...)@261: {0}, {1}
test_vector	java.lang.String:equals(...)@263: {0}, {1}
test_vector	java.lang.String:equals(...)@265: {0}, {1}
test_vector	java.lang.String:equals(...)@267: {0}, {1}
test_vector	java.lang.String:equals(...)@269: {0}, {1}
test_vector	java.lang.String:equals(...)@275: {0}, {1}
test_vector	java.lang.String:equals(...)@277: {0}, {1}
test_vector	java.lang.String:equals(...)@279: {0}, {1}

void cancelled()

Kind	Annotation Text

void com.dmdirc.addons.ui_swing.components.MenuBar$1(MenuBar, Window, Dialog$ModalityType, String, String)

Kind	Annotation Text
post	init'ed(this.message)
post	new JButton(initComponents#1) num objects == 1
post	new JButton(initComponents#2) num objects == 1
post	new StandardInputDialog$1(StandardInputDialog#1) num objects == 1
post	new TextLabel(initComponents#4) num objects == 1
post	new ValidatingJTextField(initComponents#3) num objects == 1
post	this.blurb == &new TextLabel(initComponents#4)
post	this.cancelButton == One-of{&new JButton(initComponents#2), &new JButton(initComponents#1)}
post	this.cancelButton in Addr_Set{&new JButton(initComponents#1),&new JButton(initComponents#2)}
post	this.message == x3
post	this.okButton == One-of{&new JButton(initCompon ents#1), &new JButton(initComponents#2)}
post	this.okButton in Addr_Set{&new JButton(initComp onents#1),&new JButton(initComponents#2)}
post	this.textField == &new ValidatingJTextField(ini tComponents#3)
post	this.validator == &new StandardInputDialog$1(St andardInputDialog#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:add
unanalyzed	call on com.dmdirc.addons.ui_swing.components. StandardInputDialog:addWindowListener
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.config.prefs.validator. ValidationResponse:isFailure
unanalyzed	call on com.dmdirc.config.prefs.validator. Validator:validate
unanalyzed	call on getCancelButton
unanalyzed	call on getLeftButton
unanalyzed	call on getOkButton
unanalyzed	call on getRightButton
unanalyzed	call on java.awt.Dimension
unanalyzed	call on java.awt.Window:getIconImages
unanalyzed	call on java.awt.event.WindowAdapter
unanalyzed	call on java.lang.String:startsWith
unanalyzed	call on java.lang.String:toLowerCase
unanalyzed	call on java.lang.System:getProperty
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.JRootPane:registerKeyboardActio n
unanalyzed	call on javax.swing.KeyStroke:getKeyStroke
unanalyzed	call on javax.swing.text.Document:addDocumentListen er
unanalyzed	call on net.miginfocom.swing.MigLayout
unanalyzed	call on orderButtons

com.dmdirc.addons.ui_swing.components.MenuBar$1__static_init

Kind	Annotation Text

void com.dmdirc.addons.ui_swing.components.MenuBar(SwingController, MainFrame)

Kind	Annotation Text
presumption	com.dmdirc.addons.ui_swing.components. MenuBar:getActionMap(...)@101 != null
presumption	com.dmdirc.addons.ui_swing.components. MenuBar:getActionMap(...)@102 != null
presumption	net.miginfocom.layout.PlatformDefaults:getPanelInse ts(...)@99 != null
post	init'ed(this.controller)
post	init'ed(this.mainFrame)
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	this.controller == controller
post	this.csd == &new JMenuItem(initChannelMenu#3)
post	this.disconnect == &new JMenuItem(initServerMen u#3)
post	this.join == &new JMenuItem(initChannelMenu#2)
post	this.mainFrame == mainFrame
post	this.ssd == &new JMenuItem(initServerMenu#4)
unanalyzed	call on com.dmdirc.addons.ui_swing.components. MDIBar:add
unanalyzed	call on com.dmdirc.addons.ui_swing.components. MDIBar:setLayout
unanalyzed	call on com.dmdirc.addons.ui_swing.components. MDIBar:setOpaque
unanalyzed	call on com.dmdirc.addons.ui_swing.components. MenuBar:add
unanalyzed	call on com.dmdirc.addons.ui_swing.components. NoFocusButton:addActionListener
unanalyzed	call on com.dmdirc.addons.ui_swing.components. NoFocusButton:setBorder
unanalyzed	call on com.dmdirc.addons.ui_swing.components. NoFocusButton:setContentAreaFilled
unanalyzed	call on com.dmdirc.addons.ui_swing.components. NoFocusButton:setFocusPainted
unanalyzed	call on com.dmdirc.addons.ui_swing.components. NoFocusButton:setFocusable
unanalyzed	call on com.dmdirc.addons.ui_swing.components. NoFocusButton:setMargin
unanalyzed	call on com.dmdirc.config.ConfigManager:addChangeLi stener
unanalyzed	call on com.dmdirc.config.ConfigManager:getOption
unanalyzed	call on com.dmdirc.config.IdentityManager:getGlobal Config
unanalyzed	call on com.dmdirc.ui.IconManager:getIconManager
unanalyzed	call on com.dmdirc.ui.IconManager:getScaledIcon
unanalyzed	call on com.dmdirc.ui.WindowManager:addFrameManager
unanalyzed	call on com.dmdirc.ui.WindowManager:addSelectionLis tener
unanalyzed	call on java.awt.Insets
unanalyzed	call on java.lang.Class:getName
unanalyzed	call on java.lang.Object:getClass
unanalyzed	call on java.lang.Runnable:run
unanalyzed	call on java.lang.String:equals
unanalyzed	call on java.lang.System:getProperty
unanalyzed	call on javax.swing.BorderFactory:createEtchedBorde r
unanalyzed	call on javax.swing.JButton
unanalyzed	call on javax.swing.JMenu
unanalyzed	call on javax.swing.JMenu:add
unanalyzed	call on javax.swing.JMenu:addMenuListener
unanalyzed	call on javax.swing.JMenu:setMnemonic
unanalyzed	call on javax.swing.JMenuItem
unanalyzed	call on javax.swing.JMenuItem:addActionListener
unanalyzed	call on javax.swing.JMenuItem:setActionCommand
unanalyzed	call on javax.swing.JMenuItem:setMnemonic
unanalyzed	call on javax.swing.JMenuItem:setText
unanalyzed	call on javax.swing.JPanel
unanalyzed	call on javax.swing.SwingUtilities:invokeLater
unanalyzed	call on javax.swing.SwingUtilities:isEventDispatchT hread
unanalyzed	call on javax.swing.UIManager:getLookAndFeel
unanalyzed	call on net.miginfocom.swing.MigLayout

com.dmdirc.addons.ui_swing.components.MenuBar__static_init

Kind	Annotation Text

void initChannelMenu()

Kind	Annotation Text
post	new JMenuItem(initChannelMenu#2) num objects == 1
post	new JMenuItem(initChannelMenu#3) num objects == 1
post	this.csd == &new JMenuItem(initChannelMenu#3)
post	this.join == &new JMenuItem(initChannelMenu#2)

void initHelpMenu()

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

void initServerMenu()

Kind	Annotation Text
post	new JMenuItem(initServerMenu#3) num objects == 1
post	new JMenuItem(initServerMenu#4) num objects == 1
post	this.disconnect == &new JMenuItem(initServerMen u#3)
post	this.ssd == &new JMenuItem(initServerMenu#4)
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

void initSettingsMenu()

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

void menuCanceled(MenuEvent)

Kind	Annotation Text

void menuDeselected(MenuEvent)

Kind	Annotation Text

void menuSelected(MenuEvent)

Kind	Annotation Text
pre	this.controller != null
pre	this.controller.me != null
pre	this.csd != null
pre	this.disconnect != null
pre	this.join != null
pre	this.ssd != null
presumption	com.dmdirc.FrameContainer:getServer(...)@307 != null
presumption	com.dmdirc.FrameContainer:getServer(...)@310 != null
presumption	com.dmdirc.FrameContainer:getServer(...)@313 != null
presumption	com.dmdirc.FrameContainer:getServer(...)@316 != null
presumption	com.dmdirc.ui.interfaces.Window:getContainer(... )@307 != null
presumption	com.dmdirc.ui.interfaces.Window:getContainer(... )@310 != null
presumption	com.dmdirc.ui.interfaces.Window:getContainer(... )@313 != null
presumption	com.dmdirc.ui.interfaces.Window:getContainer(... )@316 != null
presumption	init'ed(com.dmdirc.ServerState.CONNECTED)
unanalyzed	call on com.dmdirc.logger.Logger:appError
unanalyzed	call on com.dmdirc.util.ReturnableThread
unanalyzed	call on com.dmdirc.util.ReturnableThread:getObject
unanalyzed	call on com.dmdirc.util.ReturnableThread:run
unanalyzed	call on getActiveFrame
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on javax.swing.SwingUtilities:invokeAndWait
unanalyzed	call on javax.swing.SwingUtilities:isEventDispatchT hread

bool save()

Kind	Annotation Text
pre	(soft) this.controller.me != null
pre	this.controller != null
pre	this.controller.mainFrameCreated != null
pre	this.textField != null
post	return_value == 1
unanalyzed	call on com.dmdirc.FrameContainer:getServer
unanalyzed	call on com.dmdirc.addons.ui_swing.components. validating.ValidatingJTextField:getText
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 getActiveFrame
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on java.util.concurrent.atomic. AtomicBoolean:get
unanalyzed	call on javax.swing.SwingUtilities:invokeAndWait
unanalyzed	call on javax.swing.SwingUtilities:isEventDispatchT hread