Messages

method

com.dmdirc.installer.ui.StepConfirm$2__static_ init

method

com.dmdirc.installer.ui.StepConfirm$1__static_ init

method

com.dmdirc.installer.ui.StepConfirm__static_init

method	TextLabel access$000(StepConfirm)
pre	x0 != null
post	return_value == x0.infoLabel
post	init'ed(return_value)

method	void com.dmdirc.installer.ui.StepConfirm()
post	this.infoLabel == &new TextLabel(StepConfirm#1)
post	new TextLabel(StepConfirm#1) num objects == 1
unanalyzed	call on javax.swing.JPanel
unanalyzed	call on javax.swing.text.DefaultStyledDocument
unanalyzed	call on javax.swing.JTextPane
unanalyzed	call on com.dmdirc.installer.ui.TextLabel:setOpaque
unanalyzed	call on com.dmdirc.installer.ui.TextLabel:setEditab le
unanalyzed	call on com.dmdirc.installer.ui.TextLabel:setHighli ghter
unanalyzed	call on java.awt.Insets
unanalyzed	call on com.dmdirc.installer.ui.TextLabel:setMargin
unanalyzed	call on com.dmdirc.installer.ui.TextLabel:setText

method not available - call not analyzed Info call on void com.dmdirc.installer.ui. StepConfirm:setLayout(LayoutManager)

method not available - call not analyzed Info call on void com.dmdirc.installer.ui. StepConfirm:add(Component, Object)

method	String getStepName()
post	return_value == &"Confirm"

method	Image getIcon()
post	return_value == null

method	String getStepDescription()
post	return_value == &""

method	void com.dmdirc.installer.ui.StepConfirm$1(StepCon firm, String)
post	this.val$text == Param_2
post	init'ed(this.val$text)

method

void addText(String)

method	void run()
pre	this.infoLabel != null

method not available - call not analyzed Info call on String com.dmdirc.installer.ui. TextLabel:getText()

method not available - call not analyzed Info call on void com.dmdirc.installer.ui. TextLabel:setText(String)

method	void com.dmdirc.installer.ui.StepConfirm$2(StepCon firm, String)
post	this.val$text == Param_2
post	init'ed(this.val$text)

method

void setText(String)

method	void run()
pre	this.infoLabel != null

method not available - call not analyzed Info call on void com.dmdirc.installer.ui. TextLabel:setText(String)

	method not available - call not analyzed	Info	call on String com.dmdirc.installer.ui. TextLabel:getText()
	method not available - call not analyzed	Info	call on void com.dmdirc.installer.ui. TextLabel:setText(String)