WizardPanel.java

WizardPanel.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) this.currentStep >= -2³¹+1
pre	(soft) this.next != null
pre	(soft) this.prev != null
pre	(soft) this.progressLabel != null
pre	(soft) this.stepListeners != null
pre	(soft) this.steps != null
pre	(soft) this.steps.currentStep >= -2³¹+1
pre	(soft) this.steps.steps != null
pre	(soft) this.stepsPanel != null
pre	(soft) this.titleLabel != null
pre	e != null
post	init'ed(this.currentStep)
post	init'ed(this.steps.currentStep)
post	this.currentStep == One-of{old this.currentStep, old this.currentStep - 1}
unanalyzed	call on com.dmdirc.addons.ui_swing.components. TitlePanel:setText
unanalyzed	call on com.dmdirc.util.ListenerList:get
unanalyzed	call on getTitle
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.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.JButton:setEnabled
unanalyzed	call on javax.swing.JButton:setText
unanalyzed	call on javax.swing.JLabel:setText
unanalyzed	call on stepAboutToDisplay
unanalyzed	call on stepHidden

void addStep(Step)

Kind	Annotation Text
pre	step != null
pre	this.stepsPanel != null

void addStepListener(StepListener)

Kind	Annotation Text
pre	this.stepListeners != null

void addWizardListener(WizardListener)

Kind	Annotation Text
pre	this.stepListeners != null

void com.dmdirc.addons.ui_swing.wizard.WizardPanel(String, List, WizardListener)

Kind	Annotation Text
pre	steps != null
presumption	java.util.Iterator:next(...)@95 != null
post	init'ed(this.steps.currentStep)
post	init'ed(this.steps.hGap)
post	init'ed(this.steps.vGap)
post	init'ed(this.title)
post	init'ed(this.wizard)
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	this.next == &new JButton(initComponents#5)
post	this.prev == &new JButton(initComponents#6)
post	this.progressLabel == &new JLabel(initComponent s#4)
post	this.stepListeners == &new ListenerList(WizardP anel#1)
post	this.steps == &new StepLayout(WizardPanel#2)
post	this.steps.steps == &new ArrayList(StepLayout#1 )
post	this.stepsPanel == &new JPanel(initComponents#3 )
post	this.title == title
post	this.titleLabel == &new TitlePanel(initComponen ts#1)
post	this.wizard == wizard
unanalyzed	call on com.dmdirc.addons.ui_swing.components. EtchedLineBorder
unanalyzed	call on com.dmdirc.addons.ui_swing.components. TitlePanel
unanalyzed	call on com.dmdirc.addons.ui_swing.wizard. Step:toString
unanalyzed	call on com.dmdirc.addons.ui_swing.wizard. WizardPanel:add
unanalyzed	call on com.dmdirc.addons.ui_swing.wizard. WizardPanel:setLayout
unanalyzed	call on java.util.ArrayList
unanalyzed	call on javax.swing.BorderFactory:createMatteBorder
unanalyzed	call on javax.swing.JButton
unanalyzed	call on javax.swing.JButton:addActionListener
unanalyzed	call on javax.swing.JButton:setText
unanalyzed	call on javax.swing.JLabel
unanalyzed	call on javax.swing.JPanel
unanalyzed	call on javax.swing.JPanel:add
unanalyzed	call on javax.swing.JPanel:setBorder
unanalyzed	call on net.miginfocom.swing.MigLayout
test_vector	java.util.Iterator:hasNext(...)@95: {0}, {1}

com.dmdirc.addons.ui_swing.wizard.WizardPanel__static_init

Kind	Annotation Text

void display()

Kind	Annotation Text
pre	(soft) this.next != null
pre	(soft) this.prev != null
pre	(soft) this.progressLabel != null
pre	(soft) this.stepsPanel != null
pre	(soft) this.titleLabel != null
pre	this.steps != null
pre	this.steps.steps != null
presumption	java.util.List:get(...)@126 != null
post	possibly_updated(this.steps.currentStep)
post	this.currentStep == One-of{old this.currentStep, 0}
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.lang.Throwable:__curr_excep_obj
unanalyzed	call on java.util.List:get
unanalyzed	call on java.util.List:isEmpty
unanalyzed	call on java.util.List:size
unanalyzed	call on javax.swing.JLabel:setText
test_vector	java.util.List:isEmpty(...)@115: {1}, {0}
test_vector	java.util.List:size(...)@106: {-2³¹..0, 2..2³²-1}, {1}

void enableNextStep(bool)

Kind	Annotation Text
pre	this.next != null

void enablePreviousStep(bool)

Kind	Annotation Text
pre	this.prev != null

void fireStepAboutToBeDisplayed(Step)

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

void fireStepHidden(Step)

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

void fireWizardCancelled()

Kind	Annotation Text
pre	this.stepListeners != null
presumption	com.dmdirc.util.ListenerList:get(...)@341 != null
presumption	java.util.Iterator:next(...)@343 != null
presumption	listener.wizardDialog@343 != null
unanalyzed	call on com.dmdirc.addons.ui_swing.wizard. WizardDialog:dispose
test_vector	java.util.Iterator:hasNext(...)@343: {1}, {0}

void fireWizardFinished()

Kind	Annotation Text
pre	(soft) init'ed(com/dmdirc/config/IdentityManager. config.globalConfig)
pre	this.stepListeners != null
presumption	com.dmdirc.util.ListenerList:get(...)@328 != null
presumption	java.util.Iterator:next(...)@330 != null
post	com/dmdirc/config/IdentityManager.config. globalConfig == old com/dmdirc/config/IdentityManag er.config.globalConfig
post	com/dmdirc/config/IdentityManager.config.needSave == old com/dmdirc/config/IdentityManager.config. needSave
post	java.lang.StringBuilder:toString(...)._tainted == 0
post	new ArrayList(getSources#1) num objects == 0, if init'ed
post	new ArrayList(getSources#1) num objects == undefined
post	new ConfigManager(setOption#2*) num objects == new ArrayList(getSources#1) num objects
post	new ConfigManager(setOption#2*).channel == null
post	new ConfigManager(setOption#2*).channel == undefined
post	new ConfigManager(setOption#2).ircd == new ConfigManager(setOption#2).channel
post	new ConfigManager(setOption#2).listeners == new ConfigManager(setOption#2).channel
post	new ConfigManager(setOption#2).network == new ConfigManager(setOption#2).channel
post	new ConfigManager(setOption#2).server == new ConfigManager(setOption#2).channel
post	new ConfigManager(setOption#2).sources == new ConfigManager(setOption#2).channel
post	new MapList(ConfigManager#1) num objects == new ArrayList(getSources#1) num objects
test_vector	java.util.Iterator:hasNext(...)@330: {1}, {0}

int getCurrentStep()

Kind	Annotation Text
pre	init'ed(this.currentStep)
post	init'ed(return_value)
post	return_value == this.currentStep

Step getStep(int)

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

void initComponents()

Kind	Annotation Text
presumption	init'ed(com.dmdirc.addons.ui_swing.components. EtchedLineBorder$BorderSide.BOTTOM)
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 TitlePanel(initComponents#1) num objects == 1
post	this.next == &new JButton(initComponents#5)
post	this.prev == &new JButton(initComponents#6)
post	this.progressLabel == &new JLabel(initComponent s#4)
post	this.stepsPanel == &new JPanel(initComponents#3 )
post	this.titleLabel == &new TitlePanel(initComponen ts#1)

void layoutComponents()

Kind	Annotation Text
pre	init'ed(this.next)
pre	init'ed(this.prev)
pre	init'ed(this.progressLabel)
pre	init'ed(this.stepsPanel)
pre	init'ed(this.titleLabel)
presumption	init'ed(com.dmdirc.addons.ui_swing.components. EtchedLineBorder$BorderSide.TOP)
presumption	init'ed(java.awt.Color.BLACK)

void nextStep()

Kind	Annotation Text
pre	(soft) init'ed(com/dmdirc/config/IdentityManager. config.globalConfig)
pre	(soft) this.currentStep <= 2³²-3
pre	(soft) this.prev != null
pre	(soft) this.progressLabel != null
pre	(soft) this.stepListeners != null
pre	(soft) this.steps != null
pre	(soft) this.steps.currentStep <= 2³²-2
pre	(soft) this.steps.steps != null
pre	(soft) this.stepsPanel != null
pre	(soft) this.titleLabel != null
pre	this.next != null
presumption	java.util.List:get(...)@126 != null
post	com/dmdirc/config/IdentityManager.config. globalConfig == old com/dmdirc/config/IdentityManag er.config.globalConfig
post	init'ed(this.steps.currentStep)
post	java.lang.StringBuilder:toString(...)._tainted == 0
post	new ArrayList(getSources#1) num objects == 0, if init'ed
post	new ConfigManager(setOption#2*) num objects == 0, if init'ed
post	new ConfigManager(setOption#2*).channel == null
post	new ConfigManager(setOption#2*).ircd == null
post	new ConfigManager(setOption#2*).listeners == null
post	new ConfigManager(setOption#2*).network == null
post	new ConfigManager(setOption#2*).server == null
post	new ConfigManager(setOption#2*).sources == null
post	new MapList(ConfigManager#1) num objects == 0, if init'ed
post	possibly_updated(com/dmdirc/config/IdentityManager. config.needSave)
post	this.currentStep <= 2³²-2
post	this.currentStep == One-of{old this.currentStep + 1, old this.currentStep}
unanalyzed	call on addConfigManager
unanalyzed	call on addListener
unanalyzed	call on com.dmdirc.Main:getConfigDir
unanalyzed	call on com.dmdirc.actions.ActionManager:addListene r
unanalyzed	call on com.dmdirc.addons.ui_swing.wizard. WizardDialog:dispose
unanalyzed	call on com.dmdirc.config.ConfigSource
unanalyzed	call on com.dmdirc.config.ConfigTarget$TYPE:ordinal
unanalyzed	call on com.dmdirc.interfaces.ConfigChangeListener: configChanged
unanalyzed	call on com.dmdirc.logger.Logger:assertTrue
unanalyzed	call on com.dmdirc.logger.Logger:userError
unanalyzed	call on com.dmdirc.util.ConfigFile:getKeyDomain
unanalyzed	call on com.dmdirc.util.ConfigFile:getKeyDomains
unanalyzed	call on com.dmdirc.util.ConfigFile:isKeyDomain
unanalyzed	call on com.dmdirc.util.ListenerList:get
unanalyzed	call on com.dmdirc.util.MapList
unanalyzed	call on com.dmdirc.util.MapList:containsKey
unanalyzed	call on com.dmdirc.util.MapList:get
unanalyzed	call on com.dmdirc.util.resourcemanager. ResourceManager:getResourceManager
unanalyzed	call on com.dmdirc.util.resourcemanager. ResourceManager:getResourcesStartingWithAsBytes
unanalyzed	call on com.dmdirc.util.resourcemanager. ResourceManager:resourceToFile
unanalyzed	call on equals
unanalyzed	call on getDomains
unanalyzed	call on getOption
unanalyzed	call on getOptions
unanalyzed	call on getSources
unanalyzed	call on getStep
unanalyzed	call on getTarget
unanalyzed	call on hasOption
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.io.File
unanalyzed	call on java.io.File:exists
unanalyzed	call on java.io.File:isDirectory
unanalyzed	call on java.io.File:mkdirs
unanalyzed	call on java.lang.IllegalArgumentException
unanalyzed	call on java.lang.Integer:intValue
unanalyzed	call on java.lang.Integer:valueOf
unanalyzed	call on java.lang.String:equals
unanalyzed	call on java.lang.String:equalsIgnoreCase
unanalyzed	call on java.lang.String:lastIndexOf
unanalyzed	call on java.lang.String:length
unanalyzed	call on java.lang.String:substring
unanalyzed	call on java.lang.String:valueOf
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on java.util.ArrayList
unanalyzed	call on java.util.ArrayList:iterator
unanalyzed	call on java.util.Collections:sort
unanalyzed	call on java.util.HashMap
unanalyzed	call on java.util.HashSet
unanalyzed	call on java.util.List:add
unanalyzed	call on java.util.List:addAll
unanalyzed	call on java.util.List:contains
unanalyzed	call on java.util.List:get
unanalyzed	call on java.util.List:iterator
unanalyzed	call on java.util.List:remove
unanalyzed	call on java.util.List:size
unanalyzed	call on java.util.Map$Entry:getKey
unanalyzed	call on java.util.Map$Entry:getValue
unanalyzed	call on java.util.Map:containsKey
unanalyzed	call on java.util.Map:entrySet
unanalyzed	call on java.util.Map:get
unanalyzed	call on java.util.Map:keySet
unanalyzed	call on java.util.Map:put
unanalyzed	call on java.util.Map:remove
unanalyzed	call on java.util.Set:iterator
unanalyzed	call on java.util.logging.Logger:finer
unanalyzed	call on javax.swing.JCheckBox:isSelected
unanalyzed	call on javax.swing.JLabel:setText
unanalyzed	call on removeListener
unanalyzed	call on setOption
unanalyzed	call on stepAboutToDisplay
unanalyzed	call on stepHidden
unanalyzed	call on wizardFinished
test_vector	java.lang.String:equals(...)@193: {0}, {1}
test_vector	java.lang.String:equals(...)@204: {0}, {1}

void prevStep()

Kind	Annotation Text
pre	(soft) this.prev != null
pre	this.currentStep >= -2³¹+1
pre	this.next != null
pre	this.progressLabel != null
pre	this.stepListeners != null
pre	this.steps != null
pre	this.steps.currentStep >= -2³¹+1
pre	this.steps.steps != null
pre	this.stepsPanel != null
pre	this.titleLabel != null
presumption	java.util.List:get(...)@126 != null
post	init'ed(this.steps.currentStep)
post	this.currentStep <= 2³²-2
post	this.currentStep == old this.currentStep - 1
unanalyzed	call on com.dmdirc.util.ListenerList:get
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.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.JLabel:setText
unanalyzed	call on stepAboutToDisplay
unanalyzed	call on stepHidden
test_vector	this.currentStep: {-2³¹+1..0, 2..2³²-1}, {1}

void removeStepListener(StepListener)

Kind	Annotation Text
pre	this.stepListeners != null

void removeWizardListener(WizardListener)

Kind	Annotation Text
pre	this.stepListeners != null

void updateProgressLabel()

Kind	Annotation Text
pre	this.currentStep <= 2³²-2
pre	this.progressLabel != null
pre	this.steps != null
pre	this.steps.steps != null
unanalyzed	call on java.util.List:size