Messages

method

com.dmdirc.addons.dcc.DCCFrame$EmptyFrame__static_ init

method

com.dmdirc.addons.dcc.DCCFrame$1__static_init

method

com.dmdirc.addons.dcc.DCCFrame__static_init

method	Window getFrame()
pre	init'ed(this.myWindow)
post	return_value == this.myWindow
post	init'ed(return_value)

method	void com.dmdirc.addons.dcc.DCCFrame$EmptyFrame(DCC Frame, WritableFrameContainer)
pre	init'ed(com/dmdirc/Main.controller)

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.components. frames.InputTextFrame(WritableFrameContainer, SwingController)

method not available - call not analyzed Info call on void com.dmdirc.addons.dcc.DCCFrame$EmptyFr ame:setTextPane(TextPane)

method not available - call not analyzed Info call on void com.dmdirc.addons.dcc.DCCFrame$EmptyFr ame:pack()

method	CommandParser getCommandParser()
post	init'ed(return_value)

method not available - call not analyzed Info call on GlobalCommandParser com.dmdirc. commandparser.parsers.GlobalCommandParser:getGlobal CommandParser()

method	PopupType getNicknamePopupType()
post	return_value == null

method	PopupType getChannelPopupType()
post	return_value == null

method	PopupType getHyperlinkPopupType()
post	return_value == null

method	PopupType getNormalPopupType()
post	return_value == null

method

void addCustomPopupItems(JPopupMenu)

method	void com.dmdirc.addons.dcc.DCCFrame(DCCPlugin, String, String)
presumption	com.dmdirc.config.IdentityManager:getGlobalConfig(. ..)@138 != null
presumption	init'ed(com/dmdirc/FrameContainer.java.awt.Color. BLACK)
post	this.changer == &new FrameContainer$IconChanger (FrameContainer#2)
post	this.config != null
post	this.icon == icon
post	init'ed(this.icon)
post	this.listeners == &new ListenerList(FrameContai ner#1)
post	init'ed(this.myWindow)
post	this.notification == com/dmdirc/FrameContainer. java.awt.Color.BLACK
post	init'ed(this.notification)
post	this.plugin == plugin
post	init'ed(this.plugin)
post	this.title == title
post	init'ed(this.title)
post	this.windowClosing == 0
post	new FrameContainer$IconChanger(FrameContainer#2) num objects == 1
post	new ListenerList(FrameContainer#1) num objects == 1
unanalyzed	call on com.dmdirc.config.IdentityManager:getGlobal Config
unanalyzed	call on com.dmdirc.FrameContainer
unanalyzed	call on com.dmdirc.util.ReturnableThread
unanalyzed	call on com.dmdirc.addons.ui_swing.UIUtilities:invo keAndWait
unanalyzed	call on com.dmdirc.ui.IconManager:getIconManager
unanalyzed	call on com.dmdirc.ui.IconManager:getIcon
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on getFrame
unanalyzed	call on com.dmdirc.util.ListenerList:get
unanalyzed	call on java.util.List:iterator
unanalyzed	call on com.dmdirc.interfaces.IconChangeListener:ic onChanged
unanalyzed	call on com.dmdirc.config.ConfigManager:removeListe ner
unanalyzed	call on com.dmdirc.config.ConfigManager:addChangeLi stener
unanalyzed	call on com.dmdirc.util.ListenerList

method	void com.dmdirc.addons.dcc.DCCFrame(DCCPlugin, String, String, bool)
presumption	com.dmdirc.config.IdentityManager:getGlobalConfig(. ..)@138 != null
presumption	init'ed(com/dmdirc/FrameContainer.java.awt.Color. BLACK)
post	this.changer == &new FrameContainer$IconChanger (FrameContainer#2)
post	this.config != null
post	this.icon == icon
post	init'ed(this.icon)
post	this.listeners == &new ListenerList(FrameContai ner#1)
post	init'ed(this.myWindow)
post	this.notification == com/dmdirc/FrameContainer. java.awt.Color.BLACK
post	init'ed(this.notification)
post	this.plugin == plugin
post	init'ed(this.plugin)
post	this.title == title
post	init'ed(this.title)
post	this.windowClosing == 0
post	new FrameContainer$IconChanger(FrameContainer#2) num objects == 1
post	new ListenerList(FrameContainer#1) num objects == 1
unanalyzed	call on com.dmdirc.FrameContainer
unanalyzed	call on com.dmdirc.util.ReturnableThread
unanalyzed	call on com.dmdirc.ui.IconManager:getIconManager
unanalyzed	call on com.dmdirc.ui.IconManager:getIcon
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on getFrame
unanalyzed	call on com.dmdirc.util.ListenerList:get
unanalyzed	call on java.util.List:iterator
unanalyzed	call on com.dmdirc.interfaces.IconChangeListener:ic onChanged
unanalyzed	call on com.dmdirc.config.ConfigManager:removeListe ner
unanalyzed	call on com.dmdirc.config.ConfigManager:addChangeLi stener
unanalyzed	call on com.dmdirc.util.ListenerList
test_vector	defaultWindow: {0}, {1}

method not available - call not analyzed Info call on ConfigManager com.dmdirc.config. IdentityManager:getGlobalConfig()

method	void com.dmdirc.addons.dcc.DCCFrame$1(DCCFrame, String)
post	this.val$title == Param_2
post	init'ed(this.val$title)

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

method not available - call not analyzed Info call on Object com.dmdirc.addons.ui_swing. UIUtilities:invokeAndWait(ReturnableThread)

method	void run()
pre	init'ed(com/dmdirc/Main.controller)
unanalyzed	call on getUI
unanalyzed	call on com.dmdirc.addons.ui_swing.components. frames.InputTextFrame
unanalyzed	call on com.dmdirc.addons.dcc.DCCFrame$EmptyFrame:s etTextPane
unanalyzed	call on com.dmdirc.addons.dcc.DCCFrame$EmptyFrame:p ack

method not available - call not analyzed Info call on void com.dmdirc.addons.dcc.DCCFrame$EmptyFr ame:setTitle(String)

method not available - call not analyzed Info call on void com.dmdirc.addons.dcc.DCCFrame$1:setOb ject(Object)

method

void sendLine(String)

method	int getMaxLineLength()
post	return_value == 512

method	InputWindow getFrame()
pre	init'ed(this.myWindow)
post	return_value == this.myWindow
post	init'ed(return_value)

method	Container getContentPane()
pre	this.myWindow != null
post	init'ed(return_value)

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

method	String toString()
post	return_value == this.title
post	init'ed(return_value)

method	Server getServer()
post	return_value == null

method	bool isWindowClosing()
pre	init'ed(this.windowClosing)
post	return_value == this.windowClosing
post	init'ed(return_value)

method	void windowClosing()
pre	this.myWindow != null
pre	init'ed(this.plugin.container)
pre	this.plugin != null
pre	(soft) this.plugin.childFrames != null
post	this.myWindow == null
post	this.plugin.container == One-of{old this.plugin.container, null}
post	init'ed(this.plugin.container)
post	this.windowClosing == 1
unanalyzed	call on java.util.List:iterator
unanalyzed	call on com.dmdirc.addons.dcc.DCCFrame:close
unanalyzed	call on java.util.List:clear
unanalyzed	call on java.util.List:remove
unanalyzed	call on java.util.List:isEmpty

method not available - call not analyzed Info call on void com.dmdirc.ui.interfaces. InputWindow:setVisible(bool)

method not available - call not analyzed Info call on void com.dmdirc.ui.WindowManager:removeWind ow(Window)

	method not available - call not analyzed	Info	call on void com.dmdirc.util.ReturnableThread()
	method not available - call not analyzed	Info	call on Object com.dmdirc.addons.ui_swing. UIUtilities:invokeAndWait(ReturnableThread)