InstallerDialog.java

InstallerDialog.java

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

Filter Options

Annotation Kind:

pre

presumption

post

unanalyzed

test_vector

void actionPerformed(ActionEvent)

Kind	Annotation Text
pre	(soft) init'ed(this.control.total)
pre	(soft) this.control.next != null
pre	(soft) this.control.prev != null
pre	(soft) this.control.progress != null
pre	(soft) this.listeners != null
pre	(soft) this.title != null
pre	(soft) this.title.image != null
pre	(soft) this.title.title != null
pre	(soft) this.wizard.layout.currentStep in {-2³¹+1..2³²-2}
pre	(soft) this.wizard.layout.steps != null
pre	e != null
pre	this.control != null
pre	this.wizard != null
pre	this.wizard.layout != null
post	possibly_updated(this.control.step)
post	this.wizard.layout.currentStep <= 2³²-2
unanalyzed	call on com.dmdirc.util.ListenerList:get
unanalyzed	call on getIcon
unanalyzed	call on getStepDescription
unanalyzed	call on getStepName
unanalyzed	call on java.awt.Component:isVisible
unanalyzed	call on java.awt.Component:setVisible
unanalyzed	call on java.awt.Container:getComponent
unanalyzed	call on java.awt.Container:getComponentCount
unanalyzed	call on java.awt.Container:getTreeLock
unanalyzed	call on java.awt.Container:validate
unanalyzed	call on java.awt.Toolkit:createImage
unanalyzed	call on java.awt.Toolkit:getDefaultToolkit
unanalyzed	call on java.lang.ClassLoader:getSystemResource
unanalyzed	call on java.lang.String:equals
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on java.util.List:get
unanalyzed	call on java.util.List:iterator
unanalyzed	call on java.util.List:size
unanalyzed	call on javax.swing.ImageIcon
unanalyzed	call on javax.swing.JButton:setEnabled
unanalyzed	call on javax.swing.JButton:setText
unanalyzed	call on javax.swing.JLabel:setIcon
unanalyzed	call on javax.swing.JLabel:setText
unanalyzed	call on stepAboutToDisplay
unanalyzed	call on stepHidden
unanalyzed	call on wizardFinished
test_vector	java.lang.String:equals(...)@342: {0}, {1}

void addStep(SwingStep)

Kind	Annotation Text
pre	step != null
pre	this.wizard != null
unanalyzed	call on com.dmdirc.installer.ui.SwingStep:getStepNa me
unanalyzed	call on com.dmdirc.installer.ui.WizardPanel:add

void addStepListener(StepListener)

Kind	Annotation Text
pre	this.listeners != null

void addWizardListener(WizardListener)

Kind	Annotation Text
pre	this.listeners != null

void com.dmdirc.installer.ui.InstallerDialog$1(InstallerDialog)

Kind	Annotation Text

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

Kind	Annotation Text

void com.dmdirc.installer.ui.InstallerDialog(String)

Kind	Annotation Text
presumption	java.awt.Toolkit:getDefaultToolkit(...)@90 != null
presumption	java.lang.Thread:currentThread(...)@90 != null
presumption	java.lang.Thread:getContextClassLoader(...)@90 != null
post	init'ed(new StepLayout(WizardPanel#1).currentStep)
post	init'ed(new StepLayout(WizardPanel#1).hGap)
post	init'ed(new StepLayout(WizardPanel#1).parent)
post	init'ed(new StepLayout(WizardPanel#1).vGap)
post	init'ed(this.control.step)
post	init'ed(this.control.total)
post	new ArrayList(StepLayout#1) num objects == 1
post	new JButton(WizardControlPanel#1) num objects == 1
post	new JButton(WizardControlPanel#2) num objects == 1
post	new JLabel(TitlePanel#2) num objects == 1
post	new JLabel(TitlePanel#3) num objects == 1
post	new JLabel(WizardControlPanel#3) num objects == 1
post	new ListenerList(InstallerDialog#4) num objects == 1
post	new StepLayout(WizardPanel#1) num objects == 1
post	new StepLayout(WizardPanel#1).steps == &new ArrayList(StepLayout#1)
post	new TitlePanel(InstallerDialog#1) num objects == 1
post	new WizardControlPanel(InstallerDialog#3) num objects == 1
post	new WizardPanel(InstallerDialog#2) num objects == 1
post	this.control == &new WizardControlPanel(Install erDialog#3)
post	this.control.next == &new JButton(WizardControl Panel#2)
post	this.control.prev == &new JButton(WizardControl Panel#1)
post	this.control.progress == &new JLabel(WizardCont rolPanel#3)
post	this.listeners == &new ListenerList(InstallerDi alog#4)
post	this.title == &new TitlePanel(InstallerDialog#1 )
post	this.title.image == &new JLabel(TitlePanel#3)
post	this.title.title == &new JLabel(TitlePanel#2)
post	this.wizard == &new WizardPanel(InstallerDialog #2)
post	this.wizard.dialog != null
post	this.wizard.dialog == this
post	this.wizard.layout == &new StepLayout(WizardPan el#1)
unanalyzed	call on com.dmdirc.installer.ui.TitlePanel:add
unanalyzed	call on com.dmdirc.installer.ui.TitlePanel:setBackg round
unanalyzed	call on com.dmdirc.installer.ui.TitlePanel:setBorde r
unanalyzed	call on com.dmdirc.installer.ui.WizardControlPanel: add
unanalyzed	call on com.dmdirc.installer.ui.WizardControlPanel: setBorder
unanalyzed	call on com.dmdirc.installer.ui.WizardControlPanel: setLayout
unanalyzed	call on com.dmdirc.installer.ui.WizardPanel:setLayo ut
unanalyzed	call on getIcon
unanalyzed	call on getStepDescription
unanalyzed	call on getStepName
unanalyzed	call on java.awt.BorderLayout
unanalyzed	call on java.awt.Dimension
unanalyzed	call on java.awt.Font:deriveFont
unanalyzed	call on java.awt.Font:getSize
unanalyzed	call on java.awt.Toolkit:createImage
unanalyzed	call on java.awt.Toolkit:getDefaultToolkit
unanalyzed	call on java.lang.ClassLoader:getSystemResource
unanalyzed	call on java.lang.String:equals
unanalyzed	call on java.util.ArrayList
unanalyzed	call on javax.swing.Box:createHorizontalGlue
unanalyzed	call on javax.swing.Box:createHorizontalStrut
unanalyzed	call on javax.swing.BoxLayout
unanalyzed	call on javax.swing.ImageIcon
unanalyzed	call on javax.swing.JButton
unanalyzed	call on javax.swing.JButton:getFont
unanalyzed	call on javax.swing.JButton:setPreferredSize
unanalyzed	call on javax.swing.JLabel
unanalyzed	call on javax.swing.JLabel:getFont
unanalyzed	call on javax.swing.JLabel:setFont
unanalyzed	call on javax.swing.JLabel:setIcon
unanalyzed	call on javax.swing.JLabel:setText
unanalyzed	call on javax.swing.JPanel
unanalyzed	call on javax.swing.border.EtchedBorder

com.dmdirc.installer.ui.InstallerDialog__static_init

Kind	Annotation Text

void display()

Kind	Annotation Text
pre	(soft) this.control.next != null
pre	(soft) this.control.prev != null
pre	(soft) this.wizard.layout.steps != null
pre	init'ed(this.control.step)
pre	init'ed(this.wizard.layout.currentStep)
pre	this.control != null
pre	this.control.progress != null
pre	this.listeners != null
pre	this.title != null
pre	this.title.image != null
pre	this.title.title != null
pre	this.wizard != null
pre	this.wizard.layout != null
post	init'ed(this.control.total)
post	this.control.step >= -2³¹+1
post	this.wizard.layout.currentStep <= 2³²-2
unanalyzed	call on com.dmdirc.util.ListenerList:get
unanalyzed	call on getIcon
unanalyzed	call on getStepDescription
unanalyzed	call on getStepName
unanalyzed	call on java.awt.Component:isVisible
unanalyzed	call on java.awt.Component:setVisible
unanalyzed	call on java.awt.Container:getComponent
unanalyzed	call on java.awt.Container:getComponentCount
unanalyzed	call on java.awt.Container:getTreeLock
unanalyzed	call on java.awt.Container:validate
unanalyzed	call on java.awt.GraphicsConfiguration:getBounds
unanalyzed	call on java.awt.GraphicsDevice:getDefaultConfigura tion
unanalyzed	call on java.awt.MouseInfo:getPointerInfo
unanalyzed	call on java.awt.PointerInfo:getDevice
unanalyzed	call on java.awt.Toolkit:createImage
unanalyzed	call on java.awt.Toolkit:getDefaultToolkit
unanalyzed	call on java.awt.Window:getHeight
unanalyzed	call on java.awt.Window:getWidth
unanalyzed	call on java.awt.Window:setLocation
unanalyzed	call on java.awt.event.WindowAdapter
unanalyzed	call on java.lang.ClassLoader:getSystemResource
unanalyzed	call on java.lang.String:equals
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on java.util.List:get
unanalyzed	call on java.util.List:iterator
unanalyzed	call on java.util.List:size
unanalyzed	call on javax.swing.ImageIcon
unanalyzed	call on javax.swing.JButton:setEnabled
unanalyzed	call on javax.swing.JButton:setText
unanalyzed	call on javax.swing.JLabel:setIcon
unanalyzed	call on javax.swing.JLabel:setText
unanalyzed	call on showFirst
unanalyzed	call on stepAboutToDisplay

void display(List)

Kind	Annotation Text
pre	(soft) this.control.next != null
pre	(soft) this.control.prev != null
pre	(soft) this.wizard.layout.steps != null
pre	init'ed(this.control.step)
pre	init'ed(this.wizard.layout.currentStep)
pre	steps != null
pre	this.control != null
pre	this.control.progress != null
pre	this.listeners != null
pre	this.title != null
pre	this.title.image != null
pre	this.title.title != null
pre	this.wizard != null
pre	this.wizard.layout != null
post	init'ed(this.control.total)
post	this.control.step >= -2³¹+1
post	this.wizard.layout.currentStep <= 2³²-2
unanalyzed	call on com.dmdirc.installer.ui.InstallerDialog:add WindowListener
unanalyzed	call on com.dmdirc.installer.ui.InstallerDialog:pac k
unanalyzed	call on com.dmdirc.installer.ui.InstallerDialog:set DefaultCloseOperation
unanalyzed	call on com.dmdirc.installer.ui.InstallerDialog:set Visible
unanalyzed	call on com.dmdirc.util.ListenerList:get
unanalyzed	call on getIcon
unanalyzed	call on getStepDescription
unanalyzed	call on getStepName
unanalyzed	call on java.awt.Component:isVisible
unanalyzed	call on java.awt.Component:setVisible
unanalyzed	call on java.awt.Container:getComponent
unanalyzed	call on java.awt.Container:getComponentCount
unanalyzed	call on java.awt.Container:getTreeLock
unanalyzed	call on java.awt.Container:validate
unanalyzed	call on java.awt.GraphicsConfiguration:getBounds
unanalyzed	call on java.awt.GraphicsDevice:getDefaultConfigura tion
unanalyzed	call on java.awt.MouseInfo:getPointerInfo
unanalyzed	call on java.awt.PointerInfo:getDevice
unanalyzed	call on java.awt.Toolkit:createImage
unanalyzed	call on java.awt.Toolkit:getDefaultToolkit
unanalyzed	call on java.awt.Window:getHeight
unanalyzed	call on java.awt.Window:getWidth
unanalyzed	call on java.awt.Window:setLocation
unanalyzed	call on java.awt.event.WindowAdapter
unanalyzed	call on java.lang.ClassLoader:getSystemResource
unanalyzed	call on java.lang.String:equals
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on java.util.List:get
unanalyzed	call on java.util.List:iterator
unanalyzed	call on java.util.List:size
unanalyzed	call on javax.swing.ImageIcon
unanalyzed	call on javax.swing.JButton:setEnabled
unanalyzed	call on javax.swing.JButton:setText
unanalyzed	call on javax.swing.JLabel:setIcon
unanalyzed	call on javax.swing.JLabel:setText
unanalyzed	call on showFirst
unanalyzed	call on stepAboutToDisplay
test_vector	java.util.Iterator:hasNext(...)@140: {0}, {1}

void enableNextStep(bool)

Kind	Annotation Text
pre	this.control != null
pre	this.control.next != null

void enablePreviousStep(bool)

Kind	Annotation Text
pre	this.control != null
pre	this.control.prev != null

void fireStepAboutToBeDisplayed(Step)

Kind	Annotation Text
pre	this.listeners != null
presumption	com.dmdirc.util.ListenerList:get(...)@232 != null
presumption	java.util.Iterator:next(...)@232 != null
test_vector	java.util.Iterator:hasNext(...)@232: {0}, {1}

void fireStepHidden(Step)

Kind	Annotation Text
pre	this.listeners != null
presumption	com.dmdirc.util.ListenerList:get(...)@243 != null
presumption	java.util.Iterator:next(...)@243 != null
test_vector	java.util.Iterator:hasNext(...)@243: {0}, {1}

void fireWizardCancelled()

Kind	Annotation Text
pre	this.listeners != null
presumption	com.dmdirc.util.ListenerList:get(...)@271 != null
presumption	java.util.Iterator:next(...)@271 != null
test_vector	java.util.Iterator:hasNext(...)@271: {0}, {1}

void fireWizardFinished()

Kind	Annotation Text
pre	this.listeners != null
presumption	com.dmdirc.util.ListenerList:get(...)@280 != null
presumption	java.util.Iterator:next(...)@280 != null
test_vector	java.util.Iterator:hasNext(...)@280: {0}, {1}

Step getCurrentStep()

Kind	Annotation Text
pre	init'ed(this.wizard.layout.currentStep)
pre	this.wizard != null
pre	this.wizard.layout != null
pre	this.wizard.layout.steps != null
post	init'ed(return_value)
unanalyzed	call on java.util.List:get

int getCurrentStepIndex()

Kind	Annotation Text
pre	init'ed(this.wizard.layout.currentStep)
pre	this.wizard != null
pre	this.wizard.layout != null
post	init'ed(return_value)
post	return_value == this.wizard.layout.currentStep

String getCurrentStepName()

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

Step getStep(int)

Kind	Annotation Text
pre	this.wizard != null
pre	this.wizard.layout != null
pre	this.wizard.layout.steps != null
post	init'ed(return_value)
unanalyzed	call on java.util.List:get

Step getStep(String)

Kind	Annotation Text
pre	(soft) name != null
pre	this.wizard != null
pre	this.wizard.layout != null
pre	this.wizard.layout.steps != null
post	init'ed(return_value)
unanalyzed	call on com.dmdirc.installer.ui.SwingStep:getStepNa me
unanalyzed	call on java.lang.String:equals
unanalyzed	call on java.util.List:iterator

void initUISettings()

Kind	Annotation Text

void removeStepListener(StepListener)

Kind	Annotation Text
pre	this.listeners != null

void removeWizardListener(WizardListener)

Kind	Annotation Text
pre	this.listeners != null

bool showCancelConfirmation()

Kind	Annotation Text
post	init'ed(return_value)

void windowClosing(WindowEvent)

Kind	Annotation Text
pre	this.listeners != null
unanalyzed	call on com.dmdirc.util.ListenerList:get
unanalyzed	call on java.util.List:iterator
unanalyzed	call on wizardCancelled