DummyController.java

DummyController.java

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

Filter Options

Annotation Kind:

pre

presumption

post

unanalyzed

test_vector

void com.dmdirc.addons.ui_dummy.DummyController()

Kind	Annotation Text
post	new DummyMainWindow(DummyController#1) num objects == 1
post	this.mainWindow == &new DummyMainWindow(DummyCo ntroller#1)
post	this.mainWindow.visible == 1

com.dmdirc.addons.ui_dummy.DummyController__static_init

Kind	Annotation Text

Server getActiveServer()

Kind	Annotation Text

Window getActiveWindow()

Kind	Annotation Text
post	return_value == null

ChannelWindow getChannel(Channel)

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

InputWindow getInputWindow(WritableFrameContainer, CommandParser)

Kind	Annotation Text
post	init'ed(return_value.commandParser)
post	init'ed(return_value.container)
post	new DummyInputWindow(getInputWindow#1) num objects == 1
post	return_value == &new DummyInputWindow(getInputW indow#1)
post	return_value.commandParser == commandParser
post	return_value.container == owner

MainWindow getMainWindow()

Kind	Annotation Text
post	init'ed(return_value)
post	return_value == this.mainWindow

PreferencesInterface getPluginPrefsPanel()

Kind	Annotation Text

QueryWindow getQuery(Query)

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

ServerWindow getServer(Server)

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

StatusBar getStatusBar()

Kind	Annotation Text
post	new DummyStatusBar(getStatusBar#1) num objects == 1
post	return_value == &new DummyStatusBar(getStatusBa r#1)

PreferencesInterface getThemesPrefsPanel()

Kind	Annotation Text

UpdaterDialog getUpdaterDialog(List)

Kind	Annotation Text

PreferencesInterface getUpdatesPrefsPanel()

Kind	Annotation Text

PreferencesInterface getUrlHandlersPrefsPanel()

Kind	Annotation Text

String getUserInput(String)

Kind	Annotation Text

Window getWindow(FrameContainer)

Kind	Annotation Text

void initUISettings()

Kind	Annotation Text

void onLoad()

Kind	Annotation Text

void onUnload()

Kind	Annotation Text

void showChannelSettingsDialog(Channel)

Kind	Annotation Text

void showFeedbackNag()

Kind	Annotation Text

void showFirstRunWizard()

Kind	Annotation Text
presumption	java.lang.System.out != null

void showMessageDialog(String, String)

Kind	Annotation Text
presumption	java.lang.System.out != null

void showMigrationWizard()

Kind	Annotation Text
presumption	java.lang.System.out != null

void showSSLCertificateDialog(SSLCertificateDialogModel)

Kind	Annotation Text

void showServerSettingsDialog(Server)

Kind	Annotation Text

void showURLDialog(URI)

Kind	Annotation Text