Messages

method

com.dmdirc.addons.ui_swing.components.frames. ServerFrame__static_init

method	void com.dmdirc.addons.ui_swing.components.frames. ServerFrame(Server, SwingController)
pre	owner != null
post	this.awayLabel == &new JLabel(initComponents#3)
post	this.commandParser == &new ServerCommandParser( ServerFrame#1)
post	this.inputField == &new SwingInputField(initCom ponents#1)
post	this.inputFieldPopup == &new JPopupMenu(initPop upMenu#1)
post	this.inputHandler == &new SwingInputHandler(Ser verFrame#2)
post	this.inputPanel == &new JPanel(initComponents#4 )
post	this.nickPopup == &new JPopupMenu(initComponent s#2)
post	this.settingsMI == &new JMenuItem(initComponent s#1)
post	new JLabel(SwingInputField#3) num objects == 1
post	new JLabel(SwingInputField#4) num objects == 1
post	new JLabel(initComponents#3) num objects == 1
post	new JMenuItem(initComponents#1) num objects == 1
post	new JPanel(initComponents#4) num objects == 1
post	new JPopupMenu(initComponents#2) num objects == 1
post	new JPopupMenu(initPopupMenu#1) num objects == 1
post	new JTextField(SwingInputField#2) num objects == 1
post	new ListenerList(SwingInputField#1) num objects == 1
post	new ServerCommandParser(ServerFrame#1) num objects == 1
post	new SwingInputField(initComponents#1) num objects == 1
post	new SwingInputHandler(ServerFrame#2) num objects == 1
post	new SwingInputField(initComponents#1). errorIndicator == &new JLabel(SwingInputField#4 )
post	new SwingInputField(initComponents#1).listeners == &new ListenerList(SwingInputField#1)
post	new SwingInputField(initComponents#1).textField == &new JTextField(SwingInputField#2)
post	new SwingInputField(initComponents#1). wrapIndicator == &new JLabel(SwingInputField#3)
unanalyzed	call on javax.swing.JMenuItem
unanalyzed	call on javax.swing.JMenuItem:addActionListener
unanalyzed	call on com.dmdirc.addons.ui_swing.components. frames.ServerFrame:setTitle
unanalyzed	call on com.dmdirc.addons.ui_swing.components. frames.ServerFrame:getContentPane
unanalyzed	call on net.miginfocom.swing.MigLayout
unanalyzed	call on java.awt.Container:setLayout
unanalyzed	call on com.dmdirc.addons.ui_swing.components. frames.ServerFrame:getTextPane
unanalyzed	call on java.awt.Container:add
unanalyzed	call on com.dmdirc.addons.ui_swing.components. frames.ServerFrame:getSearchBar
unanalyzed	call on com.dmdirc.addons.ui_swing.components. frames.ServerFrame:pack
unanalyzed	call on com.dmdirc.ui.input.InputHandler
unanalyzed	call on com.dmdirc.addons.ui_swing.components. frames.TextFrame:getContainer
unanalyzed	call on javax.swing.JPopupMenu
unanalyzed	call on javax.swing.JPanel:add
unanalyzed	call on javax.swing.JLabel:setVisible
unanalyzed	call on com.dmdirc.WritableFrameContainer:getServer
unanalyzed	call on net.miginfocom.layout.PlatformDefaults:getU nitValueX
unanalyzed	call on net.miginfocom.layout.UnitValue:getValue
unanalyzed	call on javax.swing.SwingUtilities:isEventDispatchT hread
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on javax.swing.SwingUtilities:invokeAndWait
unanalyzed	call on com.dmdirc.logger.Logger:appError
unanalyzed	call on com.dmdirc.util.ReturnableThread:run
unanalyzed	call on com.dmdirc.util.ReturnableThread:getObject
unanalyzed	call on com.dmdirc.util.ReturnableThread
unanalyzed	call on javax.swing.undo.UndoManager
unanalyzed	call on javax.swing.text.JTextComponent:getDocument
unanalyzed	call on javax.swing.text.Document:addUndoableEditLi stener
unanalyzed	call on javax.swing.text.JTextComponent:getActionMa p
unanalyzed	call on javax.swing.AbstractAction
unanalyzed	call on javax.swing.ActionMap:put
unanalyzed	call on javax.swing.text.JTextComponent:getInputMap
unanalyzed	call on javax.swing.KeyStroke:getKeyStroke
unanalyzed	call on javax.swing.InputMap:put
unanalyzed	call on com.dmdirc.addons.ui_swing.components. SwingInputField:getActionMap
unanalyzed	call on com.dmdirc.addons.ui_swing.components. SwingInputField:getInputMap
unanalyzed	call on java.lang.Runnable:run
unanalyzed	call on javax.swing.SwingUtilities:invokeLater
unanalyzed	call on com.dmdirc.config.ConfigManager:getOptionCo lour
unanalyzed	call on javax.swing.JPopupMenu:add
unanalyzed	call on javax.swing.JPopupMenu:setOpaque
unanalyzed	call on javax.swing.JPopupMenu:setLightWeightPopupE nabled
unanalyzed	call on javax.swing.JComponent
unanalyzed	call on com.dmdirc.util.ListenerList
unanalyzed	call on javax.swing.JTextField
unanalyzed	call on javax.swing.JTextField:setFocusTraversalKey sEnabled
unanalyzed	call on javax.swing.JTextField:addKeyListener
unanalyzed	call on com.dmdirc.ui.IconManager:getIconManager
unanalyzed	call on com.dmdirc.ui.IconManager:getIcon
unanalyzed	call on javax.swing.JLabel
unanalyzed	call on com.dmdirc.addons.ui_swing.components. SwingInputField:setLayout
unanalyzed	call on com.dmdirc.addons.ui_swing.components. SwingInputField:add
unanalyzed	call on javax.swing.JTextField:getActionMap
unanalyzed	call on com.dmdirc.addons.ui_swing.components. SwingInputField:setActionMap
unanalyzed	call on javax.swing.JTextField:getInputMap
unanalyzed	call on com.dmdirc.addons.ui_swing.components. SwingInputField:setInputMap
unanalyzed	call on com.dmdirc.addons.ui_swing.components. SwingInputField:addMouseListener
unanalyzed	call on javax.swing.JLabel:setText
unanalyzed	call on java.awt.BorderLayout
unanalyzed	call on javax.swing.JPanel
unanalyzed	call on com.dmdirc.addons.ui_swing.components. frames.TextFrame
unanalyzed	call on com.dmdirc.WritableFrameContainer:getConfig Manager
unanalyzed	call on com.dmdirc.config.ConfigManager:addChangeLi stener
unanalyzed	call on com.dmdirc.Server:addAwayStateListener
unanalyzed	call on com.dmdirc.ui.input.InputHandler:addValidat ionListener

method not available - call not analyzed Info call on void com.dmdirc.commandparser.parsers. ServerCommandParser(Server)

method	CommandParser getCommandParser()
post	return_value == this.commandParser
post	init'ed(return_value)

method	void initComponents()
pre	init'ed(this.inputPanel)
presumption	com.dmdirc.addons.ui_swing.components.frames. ServerFrame:getContentPane(...)@94 != null
presumption	com.dmdirc.addons.ui_swing.components.frames. ServerFrame:getContentPane(...)@95 != null
presumption	com.dmdirc.addons.ui_swing.components.frames. ServerFrame:getContentPane(...)@96 != null
presumption	com.dmdirc.addons.ui_swing.components.frames. ServerFrame:getContentPane(...)@97 != null
post	this.settingsMI == &new JMenuItem(initComponent s#1)
post	new JMenuItem(initComponents#1) num objects == 1

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.components. frames.ServerFrame:setTitle(String)

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

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

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

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

method	void actionPerformed(ActionEvent)
pre	actionEvent != null
pre	init'ed(this.settingsMI)
presumption	com.dmdirc.addons.ui_swing.components.frames. ServerFrame:getController(...)@110 != null
presumption	com.dmdirc.addons.ui_swing.components.frames. TextFrame:getContainer(...)@187 != null
unanalyzed	call on com.dmdirc.addons.ui_swing.components. frames.TextFrame:getContainer

method not available - call not analyzed Info call on Server com.dmdirc.WritableFrameContainer:ge tServer()

method not available - call not analyzed Info call on SwingController com.dmdirc.addons.ui_swing. components.frames.ServerFrame:getController()

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.dialogs. serversetting.ServerSettingsDialog:showServerSettin gsDialog(Server, Window)

method	PopupType getNicknamePopupType()
presumption	init'ed(com.dmdirc.commandparser.PopupType.CHAN_ NICK)
post	return_value == com.dmdirc.commandparser.PopupType. CHAN_NICK
post	init'ed(return_value)

method	PopupType getChannelPopupType()
presumption	init'ed(com.dmdirc.commandparser.PopupType.CHAN_ NORMAL)
post	return_value == com.dmdirc.commandparser.PopupType. CHAN_NORMAL
post	init'ed(return_value)

method	PopupType getHyperlinkPopupType()
presumption	init'ed(com.dmdirc.commandparser.PopupType.CHAN_ HYPERLINK)
post	return_value == com.dmdirc.commandparser.PopupType. CHAN_HYPERLINK
post	init'ed(return_value)

method	PopupType getNormalPopupType()
presumption	init'ed(com.dmdirc.commandparser.PopupType.CHAN_ NORMAL)
post	return_value == com.dmdirc.commandparser.PopupType. CHAN_NORMAL
post	init'ed(return_value)

method	void addCustomPopupItems(JPopupMenu)
pre	popupMenu != null
pre	this.settingsMI != null
presumption	com.dmdirc.Server:getState(...)@142 != null
presumption	init'ed(com.dmdirc.ServerState.CONNECTED)
presumption	com.dmdirc.WritableFrameContainer:getServer(... )@142 != null
presumption	com.dmdirc.addons.ui_swing.components.frames. TextFrame:getContainer(...)@187 != null
unanalyzed	call on com.dmdirc.addons.ui_swing.components. frames.TextFrame:getContainer
test_vector	com.dmdirc.ServerState:equals(...)@142: {0}, {1}
test_vector	javax.swing.JPopupMenu:getComponentCount(...)@148: {-2³¹..0}, {1..2³²-1}

method not available - call not analyzed Info call on Server com.dmdirc.WritableFrameContainer:ge tServer()

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

method not available - call not analyzed Info call on bool com.dmdirc.ServerState:equals(Object)

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

method not available - call not analyzed	Info	call on Server com.dmdirc.WritableFrameContainer:ge tServer()
method not available - call not analyzed	Info	call on SwingController com.dmdirc.addons.ui_swing. components.frames.ServerFrame:getController()
method not available - call not analyzed	Info	call on void com.dmdirc.addons.ui_swing.dialogs. serversetting.ServerSettingsDialog:showServerSettin gsDialog(Server, Window)