Messages

method

com.dmdirc.addons.ui_swing.wizard.WizardPanel__ static_init

method	void com.dmdirc.addons.ui_swing.wizard. WizardPanel(String, List, WizardListener)
pre	steps != null
presumption	java.util.Iterator:next(...)@95 != null
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.stepsPanel == &new JPanel(initComponents#3 )
post	this.title == title
post	init'ed(this.title)
post	this.titleLabel == &new TitlePanel(initComponen ts#1)
post	this.wizard == wizard
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	init'ed(this.steps.currentStep)
post	init'ed(this.steps.hGap)
post	this.steps.steps == &new ArrayList(StepLayout#1 )
post	init'ed(this.steps.vGap)
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.ArrayList
test_vector	java.util.Iterator:hasNext(...)@95: {0}, {1}

method not available - call not analyzed Info call on void com.dmdirc.util.ListenerList()

method	void initComponents()
presumption	init'ed(com.dmdirc.addons.ui_swing.components. EtchedLineBorder$BorderSide.BOTTOM)
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)
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

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.components. EtchedLineBorder(int, EtchedLineBorder$BorderSide)

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.components. TitlePanel(Border, String)

method	void layoutComponents()
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)

method not available - call not analyzed Info call on void net.miginfocom.swing.MigLayout(String)

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.components. EtchedLineBorder(int, EtchedLineBorder$BorderSide)

method not available - call not analyzed Info call on void net.miginfocom.swing.MigLayout(String)

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.wizard. WizardPanel:setLayout(LayoutManager)

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

method	void display()
pre	this.steps != null
pre	this.steps.steps != null
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
presumption	java.util.List:get(...)@126 != null
post	this.currentStep == One-of{old this.currentStep, 0}
post	possibly_updated(this.steps.currentStep)
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 java.util.List:isEmpty
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}

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.components. TitlePanel:setText(String)

method	void actionPerformed(ActionEvent)
pre	e != null
pre	(soft) this.currentStep >= -2³¹+1
pre	(soft) this.steps.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.steps != null
pre	(soft) this.stepsPanel != null
pre	(soft) this.titleLabel != null
post	this.currentStep == One-of{old this.currentStep, old this.currentStep - 1}
post	init'ed(this.currentStep)
post	init'ed(this.steps.currentStep)
unanalyzed	call on javax.swing.JButton:setText
unanalyzed	call on javax.swing.JButton:setEnabled
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on java.util.List:get
unanalyzed	call on com.dmdirc.util.ListenerList:get
unanalyzed	call on java.util.List:iterator
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.awt.Container:validate
unanalyzed	call on getTitle
unanalyzed	call on com.dmdirc.addons.ui_swing.components. TitlePanel:setText
unanalyzed	call on javax.swing.JLabel:setText
unanalyzed	call on stepHidden
unanalyzed	call on stepAboutToDisplay

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

method	void addStep(Step)
pre	step != null
pre	this.stepsPanel != null

method not available - call not analyzed Info call on String com.dmdirc.addons.ui_swing.wizard. Step:toString()

method	void enableNextStep(bool)
pre	this.next != null

method	void enablePreviousStep(bool)
pre	this.prev != null

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

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.components. TitlePanel:setText(String)

method	void prevStep()
pre	this.currentStep >= -2³¹+1
pre	this.steps.currentStep >= -2³¹+1
pre	this.next != null
pre	this.progressLabel != null
pre	this.stepListeners != null
pre	this.steps != null
pre	this.steps.steps != null
pre	this.stepsPanel != null
pre	this.titleLabel != null
pre	(soft) this.prev != null
presumption	java.util.List:get(...)@126 != null
post	this.currentStep == old this.currentStep - 1
post	this.currentStep <= 2³²-2
post	init'ed(this.steps.currentStep)
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on java.util.List:get
unanalyzed	call on com.dmdirc.util.ListenerList:get
unanalyzed	call on java.util.List:iterator
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.awt.Container:validate
unanalyzed	call on javax.swing.JLabel:setText
unanalyzed	call on stepHidden
unanalyzed	call on stepAboutToDisplay
test_vector	this.currentStep: {-2³¹+1..0, 2..2³²-1}, {1}

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.components. TitlePanel:setText(String)

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

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

method	void updateProgressLabel()
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

method	void addStepListener(StepListener)
pre	this.stepListeners != null

method not available - call not analyzed Info call on void com.dmdirc.util.ListenerList:add(Class , Object)

method	void removeStepListener(StepListener)
pre	this.stepListeners != null

method not available - call not analyzed Info call on void com.dmdirc.util.ListenerList:remove(Cl ass, Object)

method	void addWizardListener(WizardListener)
pre	this.stepListeners != null

method not available - call not analyzed Info call on void com.dmdirc.util.ListenerList:add(Class , Object)

method	void removeWizardListener(WizardListener)
pre	this.stepListeners != null

method not available - call not analyzed Info call on void com.dmdirc.util.ListenerList:remove(Cl ass, Object)

method	void fireStepAboutToBeDisplayed(Step)
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}

method not available - call not analyzed Info call on List com.dmdirc.util.ListenerList:get(Class )

method not available - call not analyzed Info call on void stepAboutToDisplay(Step)

method	void fireStepHidden(Step)
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}

method not available - call not analyzed Info call on List com.dmdirc.util.ListenerList:get(Class )

method not available - call not analyzed Info call on void stepHidden(Step)

method	void fireWizardFinished()
pre	this.stepListeners != null
pre	(soft) init'ed(com/dmdirc/config/IdentityManager. config.globalConfig)
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 == undefined
post	new ArrayList(getSources#1) num objects == 0, if init'ed
post	new ConfigManager(setOption#2*) num objects == new ArrayList(getSources#1) num objects
post	new MapList(ConfigManager#1) num objects == new ArrayList(getSources#1) num objects
post	new ConfigManager(setOption#2*).channel == undefined
post	new ConfigManager(setOption#2*).channel == null
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
test_vector	java.util.Iterator:hasNext(...)@330: {1}, {0}

method not available - call not analyzed Info call on List com.dmdirc.util.ListenerList:get(Class )

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

method	void fireWizardCancelled()
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}

method not available - call not analyzed Info call on List com.dmdirc.util.ListenerList:get(Class )

	method not available - call not analyzed	Info	call on void com.dmdirc.addons.ui_swing.components. EtchedLineBorder(int, EtchedLineBorder$BorderSide)
	method not available - call not analyzed	Info	call on void com.dmdirc.addons.ui_swing.components. TitlePanel(Border, String)

	method not available - call not analyzed	Info	call on void net.miginfocom.swing.MigLayout(String)
	method not available - call not analyzed	Info	call on void com.dmdirc.addons.ui_swing.wizard. WizardPanel:setLayout(LayoutManager)