DummyInputWindow.java

DummyInputWindow.java

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

Filter Options

Annotation Kind:

pre

presumption

post

unanalyzed

test_vector

void activateFrame()

Kind	Annotation Text

void addLine(String, bool)

Kind	Annotation Text

void addLine(String, Object[])

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

void addLine(StringBuffer, Object[])

Kind	Annotation Text
pre	messageType != null
unanalyzed	call on java.io.PrintStream:println
unanalyzed	call on java.util.Arrays:toString

Kind	Annotation Text

Kind	Annotation Text
pre	this.container != null

void com.dmdirc.addons.ui_dummy.DummyInputWindow(WritableFrameContainer, CommandParser)

Kind	Annotation Text
post	init'ed(this.commandParser)
post	init'ed(this.container)
post	this.commandParser == commandParser
post	this.container == owner

com.dmdirc.addons.ui_dummy.DummyInputWindow__static_init

Kind	Annotation Text

CommandParser getCommandParser()

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

ConfigManager getConfigManager()

Kind	Annotation Text
post	new ConfigManager(getConfigManager#1) num objects == 1
post	return_value == &new ConfigManager(getConfigMan ager#1)

FrameContainer getContainer()

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

WritableFrameContainer getContainer()

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

InputHandler getInputHandler()

Kind	Annotation Text
post	new DummyInputHandler(getInputHandler#1) num objects == 1
post	return_value == &new DummyInputHandler(getInput Handler#1)
unanalyzed	call on com.dmdirc.ui.input.InputHandler

String getTitle()

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

StringTranscoder getTranscoder()

Kind	Annotation Text
post	new StringTranscoder(getTranscoder#1) num objects == 1
post	return_value == &new StringTranscoder(getTransc oder#1)

bool isMaximum()

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

bool isVisible()

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

void maximise()

Kind	Annotation Text

void minimise()

Kind	Annotation Text

Kind	Annotation Text

Kind	Annotation Text

void setAwayIndicator(bool)

Kind	Annotation Text

void setMaximum(bool)

Kind	Annotation Text
post	init'ed(this.maximised)
post	this.maximised == b

void setTitle(String)

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

void setVisible(bool)

Kind	Annotation Text
post	init'ed(this.visible)
post	this.visible == isVisible

void toggleMaximise()

Kind	Annotation Text