Messages

Last Msg First Msg

method

com.dmdirc.addons.ui_swing.components.MenuBar__ static_init

method

com.dmdirc.addons.ui_swing.components.MenuBar$1__ static_init

method	SwingController access$000(MenuBar)
pre	x0 != null
pre	init'ed(x0.controller)
post	return_value == x0.controller
post	init'ed(return_value)

method	void com.dmdirc.addons.ui_swing.components. MenuBar(SwingController, MainFrame)
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	this.controller == controller
post	init'ed(this.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	init'ed(this.mainFrame)
post	this.ssd == &new JMenuItem(initServerMenu#4)
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
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.SwingUtilities:isEventDispatchT hread
unanalyzed	call on java.lang.Runnable:run
unanalyzed	call on javax.swing.SwingUtilities:invokeLater
unanalyzed	call on javax.swing.JPanel
unanalyzed	call on com.dmdirc.config.IdentityManager:getGlobal Config
unanalyzed	call on com.dmdirc.config.ConfigManager:getOption
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 javax.swing.BorderFactory:createEtchedBorde r
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 net.miginfocom.swing.MigLayout
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:addFrameManager
unanalyzed	call on com.dmdirc.ui.WindowManager:addSelectionLis tener
unanalyzed	call on com.dmdirc.addons.ui_swing.components. NoFocusButton:addActionListener
unanalyzed	call on com.dmdirc.config.ConfigManager:addChangeLi stener

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

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.components. MenuBar:setLayout(LayoutManager)

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

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

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.components. MenuBar:add(Component, Object)

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

method not available - call not analyzed Info call on UnitValue net.miginfocom.layout. PlatformDefaults:getPanelInsets(int)

method not available - call not analyzed Info call on int net.miginfocom.layout.UnitValue:getUnit ()

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

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

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

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

method	void initChannelMenu()
post	this.csd == &new JMenuItem(initChannelMenu#3)
post	this.join == &new JMenuItem(initChannelMenu#2)
post	new JMenuItem(initChannelMenu#2) num objects == 1
post	new JMenuItem(initChannelMenu#3) num objects == 1

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

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

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

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

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

method	void actionPerformed(ActionEvent)
pre	e != null
pre	(soft) this.controller != null
pre	(soft) this.controller.mainFrameCreated != null
pre	(soft) this.controller.me != null
pre	(soft) this.mainFrame != 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 javax.swing.SwingUtilities:isEventDispatchT hread
unanalyzed	call on java.lang.Runnable:run
unanalyzed	call on javax.swing.SwingUtilities:invokeLater
unanalyzed	call on invokeLater
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.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.System:getProperty
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	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}

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

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.dialogs. prefs.SwingPreferencesDialog:showSwingPreferencesDi alog(Window)

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.dialogs. about.AboutDialog:showAboutDialog(Window)

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.dialogs. profiles.ProfileManagerDialog:showProfileManagerDia log(MainFrame)

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.dialogs. actionsmanager.ActionsManagerDialog:showActionsMana gerDialog(Window)

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.dialogs. aliases.AliasManagerDialog:showAliasManagerDialog(W indow)

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

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

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.dialogs. FeedbackDialog:showFeedbackDialog(Window)

Prev Msg Next Msg

null dereference

click for all messages in this file Medium Prob.

check that getActiveServer(...) != null

method not available - call not analyzed Info call on void com.dmdirc.Server:disconnect()

Prev Msg Next Msg

method	void com.dmdirc.addons.ui_swing.components. MenuBar$1(MenuBar, Window, Dialog$ModalityType, String, String)
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	init'ed(this.message)
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)
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
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.System:getProperty
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	bool save()
pre	this.textField != null
pre	this.controller != null
pre	this.controller.mainFrameCreated != null
pre	(soft) this.controller.me != null
post	return_value == 1
unanalyzed	call on java.util.concurrent.atomic. AtomicBoolean:get
unanalyzed	call on getActiveFrame
unanalyzed	call on com.dmdirc.ui.interfaces.Window:getContaine r
unanalyzed	call on com.dmdirc.FrameContainer:getServer
unanalyzed	call on com.dmdirc.addons.ui_swing.components. validating.ValidatingJTextField:getText
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

void cancelled()

method	void menuSelected(MenuEvent)
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	init'ed(com.dmdirc.ServerState.CONNECTED)
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
unanalyzed	call on javax.swing.SwingUtilities:isEventDispatchT hread
unanalyzed	call on getActiveFrame
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

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

method not available - call not analyzed Info call on Server com.dmdirc.FrameContainer:getServer( )

method not available - call not analyzed Info call on ServerState com.dmdirc.Server:getState()

method

void menuDeselected(MenuEvent)

method

void menuCanceled(MenuEvent)

	method not available - call not analyzed	Info	call on void net.miginfocom.swing.MigLayout(String)
	method not available - call not analyzed	Info	call on void com.dmdirc.addons.ui_swing.components. MenuBar:setLayout(LayoutManager)

method not available - call not analyzed	Info	call on UnitValue net.miginfocom.layout. PlatformDefaults:getPanelInsets(int)
method not available - call not analyzed	Info	call on int net.miginfocom.layout.UnitValue:getUnit ()
method not available - call not analyzed	Info	call on Component com.dmdirc.addons.ui_swing. components.MenuBar:add(Component)

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

method not available - call not analyzed	Info	call on FrameContainer com.dmdirc.ui.interfaces. Window:getContainer()
method not available - call not analyzed	Info	call on Server com.dmdirc.FrameContainer:getServer( )
method not available - call not analyzed	Info	call on ServerState com.dmdirc.Server:getState()