StepConfirm.java

StepConfirm.java

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

Filter Options

Annotation Kind:

pre

presumption

post

unanalyzed

test_vector

TextLabel access$000(StepConfirm)

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.StepConfirm$1(StepConfirm, String)

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

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

Kind	Annotation Text

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

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

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

Kind	Annotation Text

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

Kind	Annotation Text
post	new TextLabel(StepConfirm#1) num objects == 1
post	this.infoLabel == &new TextLabel(StepConfirm#1)
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.StepConfirm__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 == &"Confirm"

Kind	Annotation Text
pre	this.infoLabel != null

Kind	Annotation Text
pre	this.infoLabel != null

void setText(String)

Kind	Annotation Text