Messages

method

com.dmdirc.addons.ui_dummy.DummyController__ static_init

method	void com.dmdirc.addons.ui_dummy.DummyController()
post	this.mainWindow == &new DummyMainWindow(DummyCo ntroller#1)
post	new DummyMainWindow(DummyController#1) num objects == 1
post	this.mainWindow.visible == 1

method not available - call not analyzed Info call on void com.dmdirc.plugins.Plugin()

method	MainWindow getMainWindow()
post	return_value == this.mainWindow
post	init'ed(return_value)

method	StatusBar getStatusBar()
post	return_value == &new DummyStatusBar(getStatusBa r#1)
post	new DummyStatusBar(getStatusBar#1) num objects == 1

method	ChannelWindow getChannel(Channel)
pre	channel != null
post	return_value == &new DummyChannelWindow(getChan nel#1)
post	new ChannelCommandParser(DummyChannelWindow#1) num objects == 1
post	new DummyChannelWindow(getChannel#1) num objects == 1
post	return_value.commandParser == &new ChannelCommandParser(DummyChannelWindow#1)
post	return_value.container == channel
post	return_value.container != null
post	return_value.parent == return_value.container
unanalyzed	call on com.dmdirc.Channel:getServer
unanalyzed	call on com.dmdirc.commandparser.parsers. ChannelCommandParser

method	ServerWindow getServer(Server)
post	return_value == &new DummyServerWindow(getServe r#1)
post	new DummyServerWindow(getServer#1) num objects == 1
post	new ServerCommandParser(DummyServerWindow#1) num objects == 1
post	return_value.commandParser == &new ServerCommandParser(DummyServerWindow#1)
post	return_value.container == server
post	init'ed(return_value.container)
post	return_value.parent == return_value.container
unanalyzed	call on com.dmdirc.commandparser.parsers. ServerCommandParser
unanalyzed	call on com.dmdirc.addons.ui_dummy.DummyInputWindow

method	QueryWindow getQuery(Query)
pre	query != null
post	return_value == &new DummyQueryWindow(getQuery# 1)
post	new DummyQueryWindow(getQuery#1) num objects == 1
post	init'ed(return_value.commandParser)
post	return_value.container == query
post	return_value.container != null
unanalyzed	call on com.dmdirc.addons.ui_dummy.DummyInputWindow
unanalyzed	call on com.dmdirc.WritableFrameContainer:getServer
unanalyzed	call on com.dmdirc.Server:getFrame
unanalyzed	call on com.dmdirc.ui.interfaces.InputWindow:getCom mandParser

method

Window getWindow(FrameContainer)

method	InputWindow getInputWindow(WritableFrameContainer, CommandParser)
post	return_value == &new DummyInputWindow(getInputW indow#1)
post	new DummyInputWindow(getInputWindow#1) num objects == 1
post	return_value.commandParser == commandParser
post	init'ed(return_value.commandParser)
post	return_value.container == owner
post	init'ed(return_value.container)

method

UpdaterDialog getUpdaterDialog(List)

method	void showFirstRunWizard()
presumption	java.lang.System.out != null

method	void showMigrationWizard()
presumption	java.lang.System.out != null

method

void showChannelSettingsDialog(Channel)

method

void showServerSettingsDialog(Server)

method

void initUISettings()

method	Window getActiveWindow()
post	return_value == null

method

Server getActiveServer()

method

void showURLDialog(URI)

method

void showFeedbackNag()

method	void showMessageDialog(String, String)
presumption	java.lang.System.out != null

method

String getUserInput(String)

method

void showSSLCertificateDialog(SSLCertificateDialog Model)

method

void onLoad()

method not available - call not analyzed Info call on void com.dmdirc.Main:setUI(UIController)

method

void onUnload()

method

PreferencesInterface getPluginPrefsPanel()

method

PreferencesInterface getUpdatesPrefsPanel()

method

PreferencesInterface getUrlHandlersPrefsPanel()

method

PreferencesInterface getThemesPrefsPanel()