StepInstall.java

StepInstall.java

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

Filter Options

Annotation Kind:

pre

presumption

post

unanalyzed

test_vector

TextLabel access$000(StepInstall)

Kind	Annotation Text
pre	x0 != null
post	init'ed(return_value)
post	return_value == x0.infoLabel

void addText(String)

Kind	Annotation Text

void com.dmdirc.installer.ui.StepInstall$1(StepInstall, String)

Kind	Annotation Text
post	init'ed(this.val$text)
post	this.val$text == Param_2

com.dmdirc.installer.ui.StepInstall$1__static_init

Kind	Annotation Text

void com.dmdirc.installer.ui.StepInstall$2(StepInstall, String)

Kind	Annotation Text
post	init'ed(this.val$text)
post	this.val$text == Param_2

com.dmdirc.installer.ui.StepInstall$2__static_init

Kind	Annotation Text

void com.dmdirc.installer.ui.StepInstall()

Kind	Annotation Text
post	new JScrollPane(StepInstall#3) num objects == 1
post	new TextLabel(StepInstall#1) num objects == 1
post	this.infoLabel == &new TextLabel(StepInstall#1)
post	this.scrollPane == &new JScrollPane(StepInstall #3)
unanalyzed	call on com.dmdirc.installer.ui.TextLabel:setEditab le
unanalyzed	call on com.dmdirc.installer.ui.TextLabel:setHighli ghter
unanalyzed	call on com.dmdirc.installer.ui.TextLabel:setMargin
unanalyzed	call on com.dmdirc.installer.ui.TextLabel:setOpaque
unanalyzed	call on com.dmdirc.installer.ui.TextLabel:setText
unanalyzed	call on java.awt.Insets
unanalyzed	call on javax.swing.JPanel
unanalyzed	call on javax.swing.JTextPane
unanalyzed	call on javax.swing.text.DefaultStyledDocument

com.dmdirc.installer.ui.StepInstall__static_init

Kind	Annotation Text

Image getIcon()

Kind	Annotation Text
post	return_value == null

String getStepDescription()

Kind	Annotation Text
post	return_value == &""

String getStepName()

Kind	Annotation Text
post	return_value == &"Install"

Kind	Annotation Text
pre	this.infoLabel != null

Kind	Annotation Text
pre	this.infoLabel != null

void setText(String)

Kind	Annotation Text