Messages

method

com.dmdirc.addons.ui_swing.wizard.WizardFrame__ static_init

method	void com.dmdirc.addons.ui_swing.wizard. WizardFrame(String, List, WizardListener)
pre	steps != null
post	this.wizard == &new WizardPanel(WizardFrame#1)
post	new ArrayList(StepLayout#1) num objects == 1
post	new JButton(initComponents#5) num objects == 1
post	new JButton(initComponents#6) num objects == 1
post	new JLabel(initComponents#4) num objects == 1
post	new JPanel(initComponents#3) num objects == 1
post	new ListenerList(WizardPanel#1) num objects == 1
post	new StepLayout(WizardPanel#2) num objects == 1
post	new TitlePanel(initComponents#1) num objects == 1
post	new WizardPanel(WizardFrame#1) num objects == 1
post	init'ed(new StepLayout(WizardPanel#2).currentStep)
post	init'ed(new StepLayout(WizardPanel#2).hGap)
post	new StepLayout(WizardPanel#2).steps == &new ArrayList(StepLayout#1)
post	init'ed(new StepLayout(WizardPanel#2).vGap)
post	this.wizard.next == &new JButton(initComponents #5)
post	this.wizard.prev == &new JButton(initComponents #6)
post	this.wizard.progressLabel == &new JLabel(initComponents#4)
post	this.wizard.stepListeners == &new ListenerList(WizardPanel#1)
post	this.wizard.steps == &new StepLayout(WizardPane l#2)
post	this.wizard.stepsPanel == &new JPanel(initCompo nents#3)
post	this.wizard.title == title
post	init'ed(this.wizard.title)
post	this.wizard.titleLabel == &new TitlePanel(initC omponents#1)
post	this.wizard.wizard == wizard
post	init'ed(this.wizard.wizard)
unanalyzed	call on com.dmdirc.addons.ui_swing.wizard. WizardFrame:setContentPane
unanalyzed	call on com.dmdirc.addons.ui_swing.components. EtchedLineBorder
unanalyzed	call on com.dmdirc.addons.ui_swing.components. TitlePanel
unanalyzed	call on javax.swing.JPanel
unanalyzed	call on javax.swing.JLabel
unanalyzed	call on javax.swing.JButton
unanalyzed	call on javax.swing.JButton:setText
unanalyzed	call on javax.swing.JButton:addActionListener
unanalyzed	call on net.miginfocom.swing.MigLayout
unanalyzed	call on javax.swing.JPanel:add
unanalyzed	call on javax.swing.BorderFactory:createMatteBorder
unanalyzed	call on javax.swing.JPanel:setBorder
unanalyzed	call on com.dmdirc.addons.ui_swing.wizard. WizardPanel:setLayout
unanalyzed	call on com.dmdirc.addons.ui_swing.wizard. WizardPanel:add
unanalyzed	call on com.dmdirc.addons.ui_swing.wizard. Step:toString
unanalyzed	call on java.util.List:iterator
unanalyzed	call on com.dmdirc.util.ListenerList
unanalyzed	call on java.util.ArrayList

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.wizard. WizardFrame:setTitle(String)

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.wizard. WizardFrame:setDefaultCloseOperation(int)

method

void layoutComponents()

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.wizard. WizardFrame:setContentPane(Container)

method	void display()
pre	this.wizard != null
pre	this.wizard.steps != null
pre	this.wizard.steps.steps != null
pre	(soft) this.wizard.next != null
pre	(soft) this.wizard.prev != null
pre	(soft) this.wizard.progressLabel != null
pre	(soft) this.wizard.stepsPanel != null
pre	(soft) this.wizard.titleLabel != null
post	this.wizard.currentStep == One-of{old this.wizard.currentStep, 0}
post	possibly_updated(this.wizard.steps.currentStep)
unanalyzed	call on javax.swing.JButton:setText
unanalyzed	call on javax.swing.JButton:setEnabled
unanalyzed	call on java.util.List:get
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 getTitle
unanalyzed	call on com.dmdirc.addons.ui_swing.components. TitlePanel:setText
unanalyzed	call on updateProgressLabel
unanalyzed	call on java.util.List:isEmpty
unanalyzed	call on javax.swing.JLabel:setText

method not available - call not analyzed Info call on void com.dmdirc.ui.CoreUIUtils:centreWindow (Window)

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.wizard. WizardFrame:setResizable(bool)

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.wizard. WizardFrame:setVisible(bool)

method

void validate()

method not available - call not analyzed Info call on void com.dmdirc.ui.CoreUIUtils:centreWindow (Window)

method	void addStep(Step)
pre	step != null
pre	this.wizard != null
pre	this.wizard.stepsPanel != null
unanalyzed	call on javax.swing.JPanel:add
unanalyzed	call on com.dmdirc.addons.ui_swing.wizard. Step:toString

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

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

method	void enableNextStep(bool)
pre	this.wizard != null
pre	this.wizard.next != null
unanalyzed	call on javax.swing.JButton:setEnabled

method	void enablePreviousStep(bool)
pre	this.wizard != null
pre	this.wizard.prev != null
unanalyzed	call on javax.swing.JButton:setEnabled

method	void addStepListener(StepListener)
pre	this.wizard != null
pre	this.wizard.stepListeners != null
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on com.dmdirc.util.ListenerList:add

method	void removeStepListener(StepListener)
pre	this.wizard != null
pre	this.wizard.stepListeners != null
unanalyzed	call on com.dmdirc.util.ListenerList:remove
unanalyzed	call on java.lang.Throwable:__curr_excep_obj

method	void addWizardListener(WizardListener)
pre	this.wizard != null
pre	this.wizard.stepListeners != null
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on com.dmdirc.util.ListenerList:add

method	void removeWizardListener(WizardListener)
pre	this.wizard != null
pre	this.wizard.stepListeners != null
unanalyzed	call on com.dmdirc.util.ListenerList:remove
unanalyzed	call on java.lang.Throwable:__curr_excep_obj