Messages

method

com.dmdirc.installer.ui.WizardPanel__static_init

method	void com.dmdirc.installer.ui.WizardPanel(Installer Dialog)
post	this.dialog == dialog
post	init'ed(this.dialog)
post	this.layout == &new StepLayout(WizardPanel#1)
post	new ArrayList(StepLayout#1) num objects == 1
post	new StepLayout(WizardPanel#1) num objects == 1
post	init'ed(this.layout.currentStep)
post	init'ed(this.layout.hGap)
post	init'ed(this.layout.parent)
post	this.layout.steps == &new ArrayList(StepLayout# 1)
post	init'ed(this.layout.vGap)
unanalyzed	call on java.util.ArrayList

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

method	void display(List)
pre	steps != null
pre	this.layout != null
pre	(soft) this.layout.steps != null
presumption	java.util.Iterator:next(...)@59 != null
post	possibly_updated(this.layout.currentStep)
unanalyzed	call on com.dmdirc.installer.ui.SwingStep:getStepNa me
unanalyzed	call on com.dmdirc.installer.ui.WizardPanel:add
unanalyzed	call on java.util.List:size
unanalyzed	call on java.awt.Container:getTreeLock
unanalyzed	call on java.awt.Container:getComponentCount
unanalyzed	call on java.awt.Container:getComponent
unanalyzed	call on java.awt.Component:isVisible
unanalyzed	call on java.awt.Component:setVisible
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on java.awt.Container:validate
unanalyzed	call on showFirst
test_vector	java.util.Iterator:hasNext(...)@59: {0}, {1}

method	void display()
pre	this.layout != null
pre	(soft) this.layout.steps != null
post	possibly_updated(this.layout.currentStep)
unanalyzed	call on java.util.List:size
unanalyzed	call on java.awt.Container:getTreeLock
unanalyzed	call on java.awt.Container:getComponentCount
unanalyzed	call on java.awt.Container:getComponent
unanalyzed	call on java.awt.Component:isVisible
unanalyzed	call on java.awt.Component:setVisible
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on java.awt.Container:validate

method	Step getStep(int)
pre	this.layout != null
pre	this.layout.steps != null
post	init'ed(return_value)
unanalyzed	call on java.util.List:get

method	Step getStep(String)
pre	this.layout != null
pre	this.layout.steps != null
pre	(soft) stepName != null
presumption	java.util.Iterator:next(...)@92 != null
post	init'ed(return_value)
test_vector	java.lang.String:equals(...)@93: {0}, {1}
test_vector	java.util.Iterator:hasNext(...)@92: {0}, {1}

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

method	int getCurrentStepIndex()
pre	this.layout != null
pre	init'ed(this.layout.currentStep)
post	return_value == this.layout.currentStep
post	init'ed(return_value)

method	String getCurrentStepName()
pre	this.layout != null
pre	init'ed(this.layout.currentStep)
pre	this.layout.steps != null
post	init'ed(return_value)
unanalyzed	call on java.util.List:get
unanalyzed	call on com.dmdirc.installer.ui.SwingStep:getStepNa me

method	Step getCurrentStep()
pre	this.layout != null
pre	init'ed(this.layout.currentStep)
pre	this.layout.steps != null
post	init'ed(return_value)
unanalyzed	call on java.util.List:get

method	int getTotalSteps()
pre	this.layout != null
pre	this.layout.steps != null
post	init'ed(return_value)

method	void addStep(SwingStep)
pre	step != null

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

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

method	void showFirst()
pre	this.layout != null
pre	(soft) this.layout.steps != null
post	possibly_updated(this.layout.currentStep)
unanalyzed	call on java.util.List:size
unanalyzed	call on java.awt.Container:getTreeLock
unanalyzed	call on java.awt.Container:getComponentCount
unanalyzed	call on java.awt.Container:getComponent
unanalyzed	call on java.awt.Component:isVisible
unanalyzed	call on java.awt.Component:setVisible
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on java.awt.Container:validate

method	void showLast()
pre	this.layout != null
pre	(soft) this.layout.steps != null
post	possibly_updated(this.layout.currentStep)
unanalyzed	call on java.util.List:size
unanalyzed	call on java.awt.Container:getTreeLock
unanalyzed	call on java.awt.Container:getComponentCount
unanalyzed	call on java.awt.Container:getComponent
unanalyzed	call on java.awt.Component:isVisible
unanalyzed	call on java.awt.Component:setVisible
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on java.awt.Container:validate

method	void nextStep()
pre	this.layout.currentStep <= 2³²-2
pre	this.layout != null
pre	(soft) this.layout.steps != null
post	init'ed(this.layout.currentStep)
unanalyzed	call on java.util.List:size
unanalyzed	call on java.awt.Container:getTreeLock
unanalyzed	call on java.awt.Container:getComponentCount
unanalyzed	call on java.awt.Container:getComponent
unanalyzed	call on java.awt.Component:isVisible
unanalyzed	call on java.awt.Component:setVisible
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on java.awt.Container:validate

method	void previousStep()
pre	this.layout.currentStep >= -2³¹+1
pre	this.layout != null
pre	(soft) this.layout.steps != null
post	init'ed(this.layout.currentStep)
unanalyzed	call on java.util.List:size
unanalyzed	call on java.awt.Container:getTreeLock
unanalyzed	call on java.awt.Container:getComponentCount
unanalyzed	call on java.awt.Container:getComponent
unanalyzed	call on java.awt.Component:isVisible
unanalyzed	call on java.awt.Component:setVisible
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on java.awt.Container:validate

method	void showStep(int)
pre	this.layout != null
pre	(soft) this.layout.steps != null
post	possibly_updated(this.layout.currentStep)
unanalyzed	call on java.util.List:size
unanalyzed	call on java.awt.Container:getTreeLock
unanalyzed	call on java.awt.Container:getComponentCount
unanalyzed	call on java.awt.Container:getComponent
unanalyzed	call on java.awt.Component:isVisible
unanalyzed	call on java.awt.Component:setVisible
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on java.awt.Container:validate

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