Messages

method

com.dmdirc.addons.ui_swing.wizard.firstrun. SwingFirstRunWizard$1__static_init

method

com.dmdirc.addons.ui_swing.wizard.firstrun. SwingFirstRunWizard__static_init

method	void com.dmdirc.addons.ui_swing.wizard.firstrun. SwingFirstRunWizard()
post	java.lang.StringBuilder:toString(...)._tainted == 0
post	this.firstRun == 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 WizardDialog(SwingFirstRunWizard#1) num objects == 1
post	new WizardPanel(WizardDialog#3) num objects == 1
post	this.wizardDialog == &new WizardDialog(SwingFir stRunWizard#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	init'ed(new WizardDialog(SwingFirstRunWizard#1). parentWindow)
post	new WizardDialog(SwingFirstRunWizard#1).wizard == &new WizardPanel(WizardDialog#3)
post	new WizardPanel(WizardDialog#3).next == &new JButton(initComponents#5)
post	new WizardPanel(WizardDialog#3).prev == &new JButton(initComponents#6)
post	new WizardPanel(WizardDialog#3).progressLabel == &new JLabel(initComponents#4)
post	new WizardPanel(WizardDialog#3).stepListeners == &new ListenerList(WizardPanel#1)
post	new WizardPanel(WizardDialog#3).steps == &new StepLayout(WizardPanel#2)
post	new WizardPanel(WizardDialog#3).stepsPanel == &new JPanel(initComponents#3)
post	new WizardPanel(WizardDialog#3).title == &java.lang.StringBuilder:toString(...)
post	new WizardPanel(WizardDialog#3).titleLabel == &new TitlePanel(initComponents#1)
post	new WizardPanel(WizardDialog#3).wizard == this
post	new WizardPanel(WizardDialog#3).wizard != null
unanalyzed	call on java.util.ArrayList
unanalyzed	call on com.dmdirc.addons.ui_swing.wizard. WizardDialog
unanalyzed	call on com.dmdirc.ui.IconManager:getIconManager
unanalyzed	call on com.dmdirc.ui.IconManager:getImage
unanalyzed	call on com.dmdirc.addons.ui_swing.wizard. WizardDialog:setIconImage
unanalyzed	call on addWizardListener
unanalyzed	call on java.awt.Dimension
unanalyzed	call on com.dmdirc.addons.ui_swing.wizard. WizardDialog:setMinimumSize
unanalyzed	call on com.dmdirc.addons.ui_swing.wizard. WizardDialog:setContentPane
unanalyzed	call on com.dmdirc.addons.ui_swing.components. StandardDialog
unanalyzed	call on com.dmdirc.addons.ui_swing.wizard. WizardDialog:setTitle
unanalyzed	call on com.dmdirc.addons.ui_swing.wizard. WizardDialog:setDefaultCloseOperation
unanalyzed	call on javax.swing.JButton
unanalyzed	call on com.dmdirc.addons.ui_swing.wizard. WizardDialog:orderButtons
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: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.lang.Throwable:__curr_excep_obj
unanalyzed	call on com.dmdirc.util.ListenerList:add

method	void com.dmdirc.addons.ui_swing.wizard.firstrun. SwingFirstRunWizard(bool)
presumption	com.dmdirc.ui.IconManager:getIconManager(...)@74 != null
post	java.lang.StringBuilder:toString(...)._tainted == 0
post	this.firstRun == firstRun
post	init'ed(this.firstRun)
post	this.wizardDialog == &new WizardDialog(SwingFir stRunWizard#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 WizardDialog(SwingFirstRunWizard#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	init'ed(this.wizardDialog.parentWindow)
post	this.wizardDialog.wizard == &new WizardPanel(WizardDialog#3)
post	new WizardPanel(WizardDialog#3).next == &new JButton(initComponents#5)
post	new WizardPanel(WizardDialog#3).prev == &new JButton(initComponents#6)
post	new WizardPanel(WizardDialog#3).progressLabel == &new JLabel(initComponents#4)
post	new WizardPanel(WizardDialog#3).stepListeners == &new ListenerList(WizardPanel#1)
post	new WizardPanel(WizardDialog#3).steps == &new StepLayout(WizardPanel#2)
post	new WizardPanel(WizardDialog#3).stepsPanel == &new JPanel(initComponents#3)
post	new WizardPanel(WizardDialog#3).title == &java.lang.StringBuilder:toString(...)
post	new WizardPanel(WizardDialog#3).titleLabel == &new TitlePanel(initComponents#1)
post	new WizardPanel(WizardDialog#3).wizard == this
post	new WizardPanel(WizardDialog#3).wizard != null
unanalyzed	call on com.dmdirc.addons.ui_swing.wizard. WizardDialog:setContentPane
unanalyzed	call on com.dmdirc.addons.ui_swing.components. StandardDialog
unanalyzed	call on com.dmdirc.addons.ui_swing.wizard. WizardDialog:setTitle
unanalyzed	call on com.dmdirc.addons.ui_swing.wizard. WizardDialog:setDefaultCloseOperation
unanalyzed	call on javax.swing.JButton
unanalyzed	call on com.dmdirc.addons.ui_swing.wizard. WizardDialog:orderButtons
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: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
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on com.dmdirc.util.ListenerList:add

method not available - call not analyzed Info call on IconManager com.dmdirc.ui.IconManager:getIc onManager()

method not available - call not analyzed Info call on Image com.dmdirc.ui.IconManager:getImage(St ring)

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

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

method	void wizardFinished()
pre	(soft) init'ed(com.dmdirc.config.ConfigManager$1__ static_init.new int[](ConfigManager$1__static_init# 1)[...])
pre	(soft) com/dmdirc/config/IdentityManager.config != null
pre	(soft) com/dmdirc/config/IdentityManager.config. file != null
pre	(soft) com/dmdirc/config/IdentityManager.config. listeners != null
pre	(soft) com/dmdirc/config/IdentityManager.config. myTarget != null
pre	(soft) init'ed(com/dmdirc/config/IdentityManager. config.myTarget.type)
pre	(soft) init'ed(com/dmdirc/config/IdentityManager. config.globalConfig)
pre	(soft) init'ed(this.firstRun)
pre	(soft) this.wizardDialog != null
pre	(soft) this.wizardDialog.wizard != null
pre	(soft) this.wizardDialog.wizard.steps != null
pre	(soft) this.wizardDialog.wizard.steps.steps != null
presumption	init'ed(com.dmdirc.actions.CoreActionType.CLIENT_ OPENED)
presumption	getStep(...).actions != null
presumption	getStep(...).plugins != null
presumption	getStep(...).profile != null
presumption	getStep(...).updates != null
presumption	getStep(...)@85 init'ed
presumption	java.util.List:get(...)@126 != null
post	com/dmdirc/config/IdentityManager.config. globalConfig == One-of{old com/dmdirc/config/Identi tyManager.config.globalConfig, &new ConfigManager(setOption#2*)}
post	init'ed(com/dmdirc/config/IdentityManager.config. globalConfig)
post	possibly_updated(com/dmdirc/config/IdentityManager. config.needSave)
post	java.lang.StringBuilder:toString(...)._tainted == 0
post	new ArrayList(getSources#1) num objects <= 1
post	new ConfigManager(setOption#2*) num objects <= 1
post	init'ed(new ConfigManager(setOption#2*).channel)
post	init'ed(new ConfigManager(setOption#2*).ircd)
post	init'ed(new ConfigManager(setOption#2*).listeners)
post	init'ed(new ConfigManager(setOption#2*).network)
post	init'ed(new ConfigManager(setOption#2*).server)
post	init'ed(new ConfigManager(setOption#2*).sources)
post	new MapList(ConfigManager#1) num objects <= 1
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 java.lang.Throwable:__curr_excep_obj
unanalyzed	call on com.dmdirc.logger.Logger:userError
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 java.util.List:iterator
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 java.util.List:get
test_vector	this.firstRun: {0}, {1}
test_vector	com.dmdirc.util.resourcemanager.ResourceManager:get ResourceManager(...)@82: Inverse{null}, Addr_Set{null}
test_vector	javax.swing.JCheckBox:isSelected(...)@63: {0}, {1}
test_vector	javax.swing.JCheckBox:isSelected(...)@70: {0}, {1}
test_vector	javax.swing.JCheckBox:isSelected(...)@72: {0}, {1}

method not available - call not analyzed Info call on ResourceManager com.dmdirc.util. resourcemanager.ResourceManager:getResourceManager( )

method

void com.dmdirc.addons.ui_swing.wizard.firstrun. SwingFirstRunWizard$1(SwingFirstRunWizard)

method not available - call not analyzed Info call on void com.dmdirc.actions.ActionManager:addLi stener(ActionListener, ActionType[])

method	void processEvent(ActionType, StringBuffer, Object[])
presumption	com.dmdirc.Main:getUI(...)@109 != null

method not available - call not analyzed Info call on UIController com.dmdirc.Main:getUI()

method not available - call not analyzed Info call on MainWindow com.dmdirc.ui.interfaces. UIController:getMainWindow()

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.dialogs. profiles.ProfileManagerDialog:showProfileManagerDia log(MainFrame)

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

method	void wizardCancelled()
pre	this.wizardDialog != null

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

method	void extractPlugins()
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 java.lang.Throwable:__curr_excep_obj
unanalyzed	call on com.dmdirc.logger.Logger:userError

method	void extractCorePlugins()
presumption	init'ed(com.dmdirc.logger.ErrorLevel.LOW)
presumption	com.dmdirc.util.resourcemanager.ResourceManager:get ResourceManager(...)@132 != null
presumption	com.dmdirc.util.resourcemanager.ResourceManager:get ResourceManager(...)@155 != null
presumption	com.dmdirc.util.resourcemanager.ResourceManager:get ResourcesStartingWithAsBytes(...)@132 != null
presumption	java.lang.String:lastIndexOf(...)@149 <= 2³²-2
presumption	java.util.Iterator:next(...)@135 != null
presumption	java.util.Map:entrySet(...)@135 != null
presumption	java.util.Map_Entry:getKey(...)@137 != null
test_vector	java.io.File:exists(...)@145: {1}, {0}
test_vector	java.io.File:isDirectory(...)@154: {1}, {0}
test_vector	java.util.Iterator:hasNext(...)@135: {0}, {1}

method not available - call not analyzed Info call on ResourceManager com.dmdirc.util. resourcemanager.ResourceManager:getResourceManager( )

method not available - call not analyzed Info call on Map com.dmdirc.util.resourcemanager. ResourceManager:getResourcesStartingWithAsBytes(Str ing)

method not available - call not analyzed Info call on String com.dmdirc.Main:getConfigDir()

method not available - call not analyzed Info call on ResourceManager com.dmdirc.util. resourcemanager.ResourceManager:getResourceManager( )

method not available - call not analyzed Info call on void com.dmdirc.util.resourcemanager. ResourceManager:resourceToFile(byte[], File)

method not available - call not analyzed Info call on void com.dmdirc.logger.Logger:userError(Err orLevel, String)

method	void extractActions()
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 java.lang.Throwable:__curr_excep_obj
unanalyzed	call on com.dmdirc.logger.Logger:userError

method	void extractCoreActions()
presumption	init'ed(com.dmdirc.logger.ErrorLevel.LOW)
presumption	com.dmdirc.util.resourcemanager.ResourceManager:get ResourceManager(...)@173 != null
presumption	com.dmdirc.util.resourcemanager.ResourceManager:get ResourceManager(...)@196 != null
presumption	com.dmdirc.util.resourcemanager.ResourceManager:get ResourcesStartingWithAsBytes(...)@173 != null
presumption	java.lang.String:lastIndexOf(...)@190 <= 2³²-2
presumption	java.util.Iterator:next(...)@176 != null
presumption	java.util.Map:entrySet(...)@176 != null
presumption	java.util.Map_Entry:getKey(...)@178 != null
test_vector	java.io.File:exists(...)@186: {1}, {0}
test_vector	java.io.File:isDirectory(...)@195: {1}, {0}
test_vector	java.util.Iterator:hasNext(...)@176: {0}, {1}

method not available - call not analyzed Info call on String com.dmdirc.Main:getConfigDir()

method not available - call not analyzed Info call on ResourceManager com.dmdirc.util. resourcemanager.ResourceManager:getResourceManager( )

method not available - call not analyzed Info call on void com.dmdirc.util.resourcemanager. ResourceManager:resourceToFile(byte[], File)

method not available - call not analyzed Info call on void com.dmdirc.logger.Logger:userError(Err orLevel, String)

method	void display()
pre	init'ed(this.firstRun)
pre	this.wizardDialog != null
pre	init'ed(this.wizardDialog.parentWindow)
pre	this.wizardDialog.wizard != null
pre	this.wizardDialog.wizard.steps != null
pre	this.wizardDialog.wizard.steps.steps != null
pre	this.wizardDialog.wizard.stepsPanel != null
pre	(soft) this.wizardDialog.wizard.next != null
pre	(soft) this.wizardDialog.wizard.prev != null
pre	(soft) this.wizardDialog.wizard.progressLabel != null
pre	(soft) this.wizardDialog.wizard.titleLabel != null
post	this.wizardDialog.wizard.currentStep == One-of{old this.wizardDialog.wizard.currentStep, 0}
post	possibly_updated(this.wizardDialog.wizard.steps. currentStep)
unanalyzed	call on com.dmdirc.addons.ui_swing.wizard.firstrun. ExtractionStep
unanalyzed	call on net.miginfocom.swing.MigLayout
unanalyzed	call on com.dmdirc.addons.ui_swing.wizard.firstrun. FirstRunExtractionStep:setLayout
unanalyzed	call on com.dmdirc.addons.ui_swing.components.text. TextLabel
unanalyzed	call on com.dmdirc.addons.ui_swing.wizard.firstrun. FirstRunExtractionStep:add
unanalyzed	call on com.dmdirc.addons.ui_swing.wizard.Step
unanalyzed	call on javax.swing.JCheckBox
unanalyzed	call on javax.swing.JCheckBox:setSelected
unanalyzed	call on initComponents
unanalyzed	call on com.dmdirc.addons.ui_swing.wizard.firstrun. MigrationExtrationStep:setLayout
unanalyzed	call on com.dmdirc.addons.ui_swing.wizard.firstrun. MigrationExtrationStep:add
unanalyzed	call on javax.swing.JPanel
unanalyzed	call on com.dmdirc.addons.ui_swing.wizard.firstrun. CommunicationStep:setLayout
unanalyzed	call on com.dmdirc.addons.ui_swing.wizard.firstrun. CommunicationStep:add
unanalyzed	call on com.dmdirc.addons.ui_swing.wizard.firstrun. ProfileStep:setLayout
unanalyzed	call on com.dmdirc.addons.ui_swing.wizard.firstrun. ProfileStep:add
unanalyzed	call on javax.swing.JButton:setText
unanalyzed	call on javax.swing.JPanel:add
unanalyzed	call on com.dmdirc.addons.ui_swing.wizard. Step:toString
unanalyzed	call on com.dmdirc.addons.ui_swing.wizard. WizardDialog:setLocationRelativeTo
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 com.dmdirc.ui.CoreUIUtils:centreWindow
unanalyzed	call on java.awt.event.WindowAdapter
unanalyzed	call on com.dmdirc.addons.ui_swing.wizard. WizardDialog:addWindowListener
unanalyzed	call on com.dmdirc.addons.ui_swing.wizard. WizardDialog:setResizable
unanalyzed	call on com.dmdirc.addons.ui_swing.wizard. WizardDialog:setVisible
test_vector	this.firstRun: {0}, {1}

method	WizardDialog getWizardDialog()
pre	init'ed(this.wizardDialog)
post	return_value == this.wizardDialog
post	init'ed(return_value)

method not available - call not analyzed	Info	call on IconManager com.dmdirc.ui.IconManager:getIc onManager()
method not available - call not analyzed	Info	call on Image com.dmdirc.ui.IconManager:getImage(St ring)
method not available - call not analyzed	Info	call on void com.dmdirc.addons.ui_swing.wizard. WizardDialog:setIconImage(Image)

method not available - call not analyzed	Info	call on UIController com.dmdirc.Main:getUI()
method not available - call not analyzed	Info	call on MainWindow com.dmdirc.ui.interfaces. UIController:getMainWindow()
method not available - call not analyzed	Info	call on void com.dmdirc.addons.ui_swing.dialogs. profiles.ProfileManagerDialog:showProfileManagerDia log(MainFrame)

	method not available - call not analyzed	Info	call on ResourceManager com.dmdirc.util. resourcemanager.ResourceManager:getResourceManager( )
	method not available - call not analyzed	Info	call on Map com.dmdirc.util.resourcemanager. ResourceManager:getResourcesStartingWithAsBytes(Str ing)