Messages

method

com.dmdirc.addons.ui_swing.wizard.WizardDialog$1__ static_init

method

com.dmdirc.addons.ui_swing.wizard.WizardDialog__ static_init

method	WizardPanel access$000(WizardDialog)
pre	x0 != null
post	return_value == x0.wizard
post	init'ed(return_value)

method	void com.dmdirc.addons.ui_swing.wizard. WizardDialog(String, List, WizardListener, Window)
pre	steps != null
presumption	init'ed(java.awt.Dialog$ModalityType.MODELESS)
post	this.parentWindow == parentWindow
post	init'ed(this.parentWindow)
post	this.wizard == &new WizardPanel(WizardDialog#3)
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(WizardDialog#3) 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. WizardDialog: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.components. StandardDialog(Window, Dialog$ModalityType)

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

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

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.wizard. WizardDialog:orderButtons(JButton, JButton)

method

void layoutComponents()

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

method	void display()
pre	init'ed(this.parentWindow)
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 javax.swing.JLabel:setText
unanalyzed	call on java.util.List:isEmpty
unanalyzed	call on java.awt.event.WindowAdapter
test_vector	this.parentWindow: Addr_Set{null}, Inverse{null}

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.wizard. WizardDialog:setLocationRelativeTo(Component)

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

method

void com.dmdirc.addons.ui_swing.wizard. WizardDialog$1(WizardDialog)

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.wizard. WizardDialog:addWindowListener(WindowListener)

method	void windowClosed(WindowEvent)
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:get
unanalyzed	call on java.util.List:iterator
unanalyzed	call on wizardCancelled
unanalyzed	call on com.dmdirc.addons.ui_swing.wizard. WizardDialog:dispose

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.wizard. WizardDialog:removeWindowListener(WindowListener)

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

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

method	void validate()
pre	init'ed(this.parentWindow)

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.components. StandardDialog:validate()

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.wizard. WizardDialog:setLocationRelativeTo(Component)

method	void actionPerformed(ActionEvent)
pre	e != null
pre	(soft) this.wizard != null
pre	(soft) this.wizard.stepListeners != null
post	this.wizard.currentStep == old this.wizard. currentStep
post	this.wizard.steps.currentStep == old this.wizard.steps.currentStep
unanalyzed	call on java.util.List:iterator
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on com.dmdirc.util.ListenerList:get
unanalyzed	call on wizardCancelled
unanalyzed	call on com.dmdirc.addons.ui_swing.wizard. WizardDialog:dispose

method not available - call not analyzed Info call on JButton com.dmdirc.addons.ui_swing.wizard. WizardDialog:getOkButton()

call too complex - analysis skipped Info call on void nextStep()

method not available - call not analyzed Info call on JButton com.dmdirc.addons.ui_swing.wizard. WizardDialog:getCancelButton()

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