SwingFirstRunWizard.java

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


Filter Options
Annotation Kind:
pre
presumption
post
unanalyzed
test_vector


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

    • Kind Annotation Text

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

    • Kind Annotation Text

  • void com.dmdirc.addons.ui_swing.wizard.firstrun.SwingFirstRunWizard()

    • Kind Annotation Text
    postinit'ed(new StepLayout(WizardPanel#2).currentStep)
    postinit'ed(new StepLayout(WizardPanel#2).hGap)
    postinit'ed(new StepLayout(WizardPanel#2).vGap)
    postinit'ed(new WizardDialog(SwingFirstRunWizard#1). parentWindow)
    postjava.lang.StringBuilder:toString(...)._tainted == 0
    postnew ArrayList(StepLayout#1) num objects == 1
    postnew JButton(initComponents#5) num objects == 1
    postnew JButton(initComponents#6) num objects == 1
    postnew JLabel(initComponents#4) num objects == 1
    postnew JPanel(initComponents#3) num objects == 1
    postnew ListenerList(WizardPanel#1) num objects == 1
    postnew StepLayout(WizardPanel#2) num objects == 1
    postnew StepLayout(WizardPanel#2).steps == &new ArrayList(StepLayout#1)
    postnew TitlePanel(initComponents#1) num objects == 1
    postnew WizardDialog(SwingFirstRunWizard#1) num objects == 1
    postnew WizardDialog(SwingFirstRunWizard#1).wizard == &new WizardPanel(WizardDialog#3)
    postnew WizardPanel(WizardDialog#3) num objects == 1
    postnew WizardPanel(WizardDialog#3).next == &new JButton(initComponents#5)
    postnew WizardPanel(WizardDialog#3).prev == &new JButton(initComponents#6)
    postnew WizardPanel(WizardDialog#3).progressLabel == &new JLabel(initComponents#4)
    postnew WizardPanel(WizardDialog#3).stepListeners == &new ListenerList(WizardPanel#1)
    postnew WizardPanel(WizardDialog#3).steps == &new StepLayout(WizardPanel#2)
    postnew WizardPanel(WizardDialog#3).stepsPanel == &new JPanel(initComponents#3)
    postnew WizardPanel(WizardDialog#3).title == &java.lang.StringBuilder:toString(...)
    postnew WizardPanel(WizardDialog#3).titleLabel == &new TitlePanel(initComponents#1)
    postnew WizardPanel(WizardDialog#3).wizard != null
    postnew WizardPanel(WizardDialog#3).wizard == this
    postthis.firstRun == 1
    postthis.wizardDialog == &new WizardDialog(SwingFir stRunWizard#1)
    unanalyzedcall on addWizardListener
    unanalyzedcall on com.dmdirc.addons.ui_swing.components. EtchedLineBorder
    unanalyzedcall on com.dmdirc.addons.ui_swing.components. StandardDialog
    unanalyzedcall on com.dmdirc.addons.ui_swing.components. TitlePanel
    unanalyzedcall on com.dmdirc.addons.ui_swing.wizard. Step:toString
    unanalyzedcall on com.dmdirc.addons.ui_swing.wizard. WizardDialog
    unanalyzedcall on com.dmdirc.addons.ui_swing.wizard. WizardDialog:orderButtons
    unanalyzedcall on com.dmdirc.addons.ui_swing.wizard. WizardDialog:setContentPane
    unanalyzedcall on com.dmdirc.addons.ui_swing.wizard. WizardDialog:setDefaultCloseOperation
    unanalyzedcall on com.dmdirc.addons.ui_swing.wizard. WizardDialog:setIconImage
    unanalyzedcall on com.dmdirc.addons.ui_swing.wizard. WizardDialog:setMinimumSize
    unanalyzedcall on com.dmdirc.addons.ui_swing.wizard. WizardDialog:setTitle
    unanalyzedcall on com.dmdirc.addons.ui_swing.wizard. WizardPanel:add
    unanalyzedcall on com.dmdirc.addons.ui_swing.wizard. WizardPanel:setLayout
    unanalyzedcall on com.dmdirc.ui.IconManager:getIconManager
    unanalyzedcall on com.dmdirc.ui.IconManager:getImage
    unanalyzedcall on com.dmdirc.util.ListenerList
    unanalyzedcall on com.dmdirc.util.ListenerList:add
    unanalyzedcall on java.awt.Dimension
    unanalyzedcall on java.lang.Throwable:__curr_excep_obj
    unanalyzedcall on java.util.ArrayList
    unanalyzedcall on java.util.List:iterator
    unanalyzedcall on javax.swing.BorderFactory:createMatteBorder
    unanalyzedcall on javax.swing.JButton
    unanalyzedcall on javax.swing.JButton:addActionListener
    unanalyzedcall on javax.swing.JButton:setText
    unanalyzedcall on javax.swing.JLabel
    unanalyzedcall on javax.swing.JPanel
    unanalyzedcall on javax.swing.JPanel:add
    unanalyzedcall on javax.swing.JPanel:setBorder
    unanalyzedcall on net.miginfocom.swing.MigLayout

  • void com.dmdirc.addons.ui_swing.wizard.firstrun.SwingFirstRunWizard(bool)

    • Kind Annotation Text
    presumptioncom.dmdirc.ui.IconManager:getIconManager(...)@74 != null
    postinit'ed(new StepLayout(WizardPanel#2).currentStep)
    postinit'ed(new StepLayout(WizardPanel#2).hGap)
    postinit'ed(new StepLayout(WizardPanel#2).vGap)
    postinit'ed(this.firstRun)
    postinit'ed(this.wizardDialog.parentWindow)
    postjava.lang.StringBuilder:toString(...)._tainted == 0
    postnew ArrayList(StepLayout#1) num objects == 1
    postnew JButton(initComponents#5) num objects == 1
    postnew JButton(initComponents#6) num objects == 1
    postnew JLabel(initComponents#4) num objects == 1
    postnew JPanel(initComponents#3) num objects == 1
    postnew ListenerList(WizardPanel#1) num objects == 1
    postnew StepLayout(WizardPanel#2) num objects == 1
    postnew StepLayout(WizardPanel#2).steps == &new ArrayList(StepLayout#1)
    postnew TitlePanel(initComponents#1) num objects == 1
    postnew WizardDialog(SwingFirstRunWizard#1) num objects == 1
    postnew WizardPanel(WizardDialog#3) num objects == 1
    postnew WizardPanel(WizardDialog#3).next == &new JButton(initComponents#5)
    postnew WizardPanel(WizardDialog#3).prev == &new JButton(initComponents#6)
    postnew WizardPanel(WizardDialog#3).progressLabel == &new JLabel(initComponents#4)
    postnew WizardPanel(WizardDialog#3).stepListeners == &new ListenerList(WizardPanel#1)
    postnew WizardPanel(WizardDialog#3).steps == &new StepLayout(WizardPanel#2)
    postnew WizardPanel(WizardDialog#3).stepsPanel == &new JPanel(initComponents#3)
    postnew WizardPanel(WizardDialog#3).title == &java.lang.StringBuilder:toString(...)
    postnew WizardPanel(WizardDialog#3).titleLabel == &new TitlePanel(initComponents#1)
    postnew WizardPanel(WizardDialog#3).wizard != null
    postnew WizardPanel(WizardDialog#3).wizard == this
    postthis.firstRun == firstRun
    postthis.wizardDialog == &new WizardDialog(SwingFir stRunWizard#1)
    postthis.wizardDialog.wizard == &new WizardPanel(WizardDialog#3)
    unanalyzedcall on com.dmdirc.addons.ui_swing.components. EtchedLineBorder
    unanalyzedcall on com.dmdirc.addons.ui_swing.components. StandardDialog
    unanalyzedcall on com.dmdirc.addons.ui_swing.components. TitlePanel
    unanalyzedcall on com.dmdirc.addons.ui_swing.wizard. Step:toString
    unanalyzedcall on com.dmdirc.addons.ui_swing.wizard. WizardDialog:orderButtons
    unanalyzedcall on com.dmdirc.addons.ui_swing.wizard. WizardDialog:setContentPane
    unanalyzedcall on com.dmdirc.addons.ui_swing.wizard. WizardDialog:setDefaultCloseOperation
    unanalyzedcall on com.dmdirc.addons.ui_swing.wizard. WizardDialog:setTitle
    unanalyzedcall on com.dmdirc.addons.ui_swing.wizard. WizardPanel:add
    unanalyzedcall on com.dmdirc.addons.ui_swing.wizard. WizardPanel:setLayout
    unanalyzedcall on com.dmdirc.util.ListenerList
    unanalyzedcall on com.dmdirc.util.ListenerList:add
    unanalyzedcall on java.lang.Throwable:__curr_excep_obj
    unanalyzedcall on java.util.ArrayList
    unanalyzedcall on java.util.List:iterator
    unanalyzedcall on javax.swing.BorderFactory:createMatteBorder
    unanalyzedcall on javax.swing.JButton
    unanalyzedcall on javax.swing.JButton:addActionListener
    unanalyzedcall on javax.swing.JButton:setText
    unanalyzedcall on javax.swing.JLabel
    unanalyzedcall on javax.swing.JPanel
    unanalyzedcall on javax.swing.JPanel:add
    unanalyzedcall on javax.swing.JPanel:setBorder
    unanalyzedcall on net.miginfocom.swing.MigLayout

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

    • Kind Annotation Text

  • void display()

    • Kind Annotation Text
    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
    preinit'ed(this.firstRun)
    preinit'ed(this.wizardDialog.parentWindow)
    prethis.wizardDialog != null
    prethis.wizardDialog.wizard != null
    prethis.wizardDialog.wizard.steps != null
    prethis.wizardDialog.wizard.steps.steps != null
    prethis.wizardDialog.wizard.stepsPanel != null
    postpossibly_updated(this.wizardDialog.wizard.steps. currentStep)
    postthis.wizardDialog.wizard.currentStep == One-of{old this.wizardDialog.wizard.currentStep, 0}
    unanalyzedcall on com.dmdirc.addons.ui_swing.components. TitlePanel:setText
    unanalyzedcall on com.dmdirc.addons.ui_swing.components.text. TextLabel
    unanalyzedcall on com.dmdirc.addons.ui_swing.wizard.Step
    unanalyzedcall on com.dmdirc.addons.ui_swing.wizard. Step:toString
    unanalyzedcall on com.dmdirc.addons.ui_swing.wizard. WizardDialog:addWindowListener
    unanalyzedcall on com.dmdirc.addons.ui_swing.wizard. WizardDialog:setLocationRelativeTo
    unanalyzedcall on com.dmdirc.addons.ui_swing.wizard. WizardDialog:setResizable
    unanalyzedcall on com.dmdirc.addons.ui_swing.wizard. WizardDialog:setVisible
    unanalyzedcall on com.dmdirc.addons.ui_swing.wizard.firstrun. CommunicationStep:add
    unanalyzedcall on com.dmdirc.addons.ui_swing.wizard.firstrun. CommunicationStep:setLayout
    unanalyzedcall on com.dmdirc.addons.ui_swing.wizard.firstrun. ExtractionStep
    unanalyzedcall on com.dmdirc.addons.ui_swing.wizard.firstrun. FirstRunExtractionStep:add
    unanalyzedcall on com.dmdirc.addons.ui_swing.wizard.firstrun. FirstRunExtractionStep:setLayout
    unanalyzedcall on com.dmdirc.addons.ui_swing.wizard.firstrun. MigrationExtrationStep:add
    unanalyzedcall on com.dmdirc.addons.ui_swing.wizard.firstrun. MigrationExtrationStep:setLayout
    unanalyzedcall on com.dmdirc.addons.ui_swing.wizard.firstrun. ProfileStep:add
    unanalyzedcall on com.dmdirc.addons.ui_swing.wizard.firstrun. ProfileStep:setLayout
    unanalyzedcall on com.dmdirc.ui.CoreUIUtils:centreWindow
    unanalyzedcall on getTitle
    unanalyzedcall on initComponents
    unanalyzedcall on java.awt.Component:isVisible
    unanalyzedcall on java.awt.Component:setVisible
    unanalyzedcall on java.awt.Container:getComponent
    unanalyzedcall on java.awt.Container:getComponentCount
    unanalyzedcall on java.awt.Container:getTreeLock
    unanalyzedcall on java.awt.Container:validate
    unanalyzedcall on java.awt.event.WindowAdapter
    unanalyzedcall on java.lang.Throwable:__curr_excep_obj
    unanalyzedcall on java.util.List:get
    unanalyzedcall on java.util.List:isEmpty
    unanalyzedcall on java.util.List:size
    unanalyzedcall on javax.swing.JButton:setEnabled
    unanalyzedcall on javax.swing.JButton:setText
    unanalyzedcall on javax.swing.JCheckBox
    unanalyzedcall on javax.swing.JCheckBox:setSelected
    unanalyzedcall on javax.swing.JLabel:setText
    unanalyzedcall on javax.swing.JPanel
    unanalyzedcall on javax.swing.JPanel:add
    unanalyzedcall on net.miginfocom.swing.MigLayout
    unanalyzedcall on updateProgressLabel
    test_vectorthis.firstRun: {0}, {1}

  • void extractActions()

    • Kind Annotation Text
    unanalyzedcall on com.dmdirc.Main:getConfigDir
    unanalyzedcall on com.dmdirc.logger.Logger:userError
    unanalyzedcall on com.dmdirc.util.resourcemanager. ResourceManager:getResourceManager
    unanalyzedcall on com.dmdirc.util.resourcemanager. ResourceManager:getResourcesStartingWithAsBytes
    unanalyzedcall on com.dmdirc.util.resourcemanager. ResourceManager:resourceToFile
    unanalyzedcall on java.io.File
    unanalyzedcall on java.io.File:exists
    unanalyzedcall on java.io.File:isDirectory
    unanalyzedcall on java.io.File:mkdirs
    unanalyzedcall on java.lang.String:lastIndexOf
    unanalyzedcall on java.lang.String:length
    unanalyzedcall on java.lang.String:substring
    unanalyzedcall on java.lang.Throwable:__curr_excep_obj
    unanalyzedcall on java.util.Map$Entry:getKey
    unanalyzedcall on java.util.Map$Entry:getValue
    unanalyzedcall on java.util.Map:entrySet
    unanalyzedcall on java.util.Set:iterator

  • void extractCoreActions()

    • Kind Annotation Text
    presumptioncom.dmdirc.util.resourcemanager.ResourceManager:get ResourceManager(...)@173 != null
    presumptioncom.dmdirc.util.resourcemanager.ResourceManager:get ResourceManager(...)@196 != null
    presumptioncom.dmdirc.util.resourcemanager.ResourceManager:get ResourcesStartingWithAsBytes(...)@173 != null
    presumptioninit'ed(com.dmdirc.logger.ErrorLevel.LOW)
    presumptionjava.lang.String:lastIndexOf(...)@190 <= 232-2
    presumptionjava.util.Iterator:next(...)@176 != null
    presumptionjava.util.Map:entrySet(...)@176 != null
    presumptionjava.util.Map_Entry:getKey(...)@178 != null
    test_vectorjava.io.File:exists(...)@186: {1}, {0}
    test_vectorjava.io.File:isDirectory(...)@195: {1}, {0}
    test_vectorjava.util.Iterator:hasNext(...)@176: {0}, {1}

  • void extractCorePlugins()

    • Kind Annotation Text
    presumptioncom.dmdirc.util.resourcemanager.ResourceManager:get ResourceManager(...)@132 != null
    presumptioncom.dmdirc.util.resourcemanager.ResourceManager:get ResourceManager(...)@155 != null
    presumptioncom.dmdirc.util.resourcemanager.ResourceManager:get ResourcesStartingWithAsBytes(...)@132 != null
    presumptioninit'ed(com.dmdirc.logger.ErrorLevel.LOW)
    presumptionjava.lang.String:lastIndexOf(...)@149 <= 232-2
    presumptionjava.util.Iterator:next(...)@135 != null
    presumptionjava.util.Map:entrySet(...)@135 != null
    presumptionjava.util.Map_Entry:getKey(...)@137 != null
    test_vectorjava.io.File:exists(...)@145: {1}, {0}
    test_vectorjava.io.File:isDirectory(...)@154: {1}, {0}
    test_vectorjava.util.Iterator:hasNext(...)@135: {0}, {1}

  • void extractPlugins()

    • Kind Annotation Text
    unanalyzedcall on com.dmdirc.Main:getConfigDir
    unanalyzedcall on com.dmdirc.logger.Logger:userError
    unanalyzedcall on com.dmdirc.util.resourcemanager. ResourceManager:getResourceManager
    unanalyzedcall on com.dmdirc.util.resourcemanager. ResourceManager:getResourcesStartingWithAsBytes
    unanalyzedcall on com.dmdirc.util.resourcemanager. ResourceManager:resourceToFile
    unanalyzedcall on java.io.File
    unanalyzedcall on java.io.File:exists
    unanalyzedcall on java.io.File:isDirectory
    unanalyzedcall on java.io.File:mkdirs
    unanalyzedcall on java.lang.String:lastIndexOf
    unanalyzedcall on java.lang.String:length
    unanalyzedcall on java.lang.String:substring
    unanalyzedcall on java.lang.Throwable:__curr_excep_obj
    unanalyzedcall on java.util.Map$Entry:getKey
    unanalyzedcall on java.util.Map$Entry:getValue
    unanalyzedcall on java.util.Map:entrySet
    unanalyzedcall on java.util.Set:iterator

  • WizardDialog getWizardDialog()

    • Kind Annotation Text
    preinit'ed(this.wizardDialog)
    postinit'ed(return_value)
    postreturn_value == this.wizardDialog

  • void processEvent(ActionType, StringBuffer, Object[])

    • Kind Annotation Text
    presumptioncom.dmdirc.Main:getUI(...)@109 != null

  • void wizardCancelled()

    • Kind Annotation Text
    prethis.wizardDialog != null

  • void wizardFinished()

    • Kind Annotation Text
    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.ConfigManager$1__ static_init.new int[](ConfigManager$1__static_init# 1)[...])
    pre(soft) init'ed(com/dmdirc/config/IdentityManager. config.globalConfig)
    pre(soft) init'ed(com/dmdirc/config/IdentityManager. config.myTarget.type)
    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
    presumptiongetStep(...).actions != null
    presumptiongetStep(...).plugins != null
    presumptiongetStep(...).profile != null
    presumptiongetStep(...).updates != null
    presumptiongetStep(...)@85 init'ed
    presumptioninit'ed(com.dmdirc.actions.CoreActionType.CLIENT_ OPENED)
    presumptionjava.util.List:get(...)@126 != null
    postcom/dmdirc/config/IdentityManager.config. globalConfig == One-of{old com/dmdirc/config/Identi tyManager.config.globalConfig, &amp;new ConfigManager(setOption#2*)}
    postinit'ed(com/dmdirc/config/IdentityManager.config. globalConfig)
    postinit'ed(new ConfigManager(setOption#2*).channel)
    postinit'ed(new ConfigManager(setOption#2*).ircd)
    postinit'ed(new ConfigManager(setOption#2*).listeners)
    postinit'ed(new ConfigManager(setOption#2*).network)
    postinit'ed(new ConfigManager(setOption#2*).server)
    postinit'ed(new ConfigManager(setOption#2*).sources)
    postjava.lang.StringBuilder:toString(...)._tainted == 0
    postnew ArrayList(getSources#1) num objects <= 1
    postnew ConfigManager(setOption#2*) num objects <= 1
    postnew MapList(ConfigManager#1) num objects <= 1
    postpossibly_updated(com/dmdirc/config/IdentityManager. config.needSave)
    unanalyzedcall on addConfigManager
    unanalyzedcall on addListener
    unanalyzedcall on com.dmdirc.Main:getConfigDir
    unanalyzedcall on com.dmdirc.config.ConfigSource
    unanalyzedcall on com.dmdirc.config.ConfigTarget$TYPE:ordinal
    unanalyzedcall on com.dmdirc.interfaces.ConfigChangeListener: configChanged
    unanalyzedcall on com.dmdirc.logger.Logger:assertTrue
    unanalyzedcall on com.dmdirc.logger.Logger:userError
    unanalyzedcall on com.dmdirc.util.ConfigFile:getKeyDomain
    unanalyzedcall on com.dmdirc.util.ConfigFile:getKeyDomains
    unanalyzedcall on com.dmdirc.util.ConfigFile:isKeyDomain
    unanalyzedcall on com.dmdirc.util.MapList
    unanalyzedcall on com.dmdirc.util.MapList:containsKey
    unanalyzedcall on com.dmdirc.util.MapList:get
    unanalyzedcall on com.dmdirc.util.resourcemanager. ResourceManager:getResourceManager
    unanalyzedcall on com.dmdirc.util.resourcemanager. ResourceManager:getResourcesStartingWithAsBytes
    unanalyzedcall on com.dmdirc.util.resourcemanager. ResourceManager:resourceToFile
    unanalyzedcall on equals
    unanalyzedcall on getDomains
    unanalyzedcall on getOption
    unanalyzedcall on getOptions
    unanalyzedcall on getSources
    unanalyzedcall on getTarget
    unanalyzedcall on hasOption
    unanalyzedcall on java.io.File
    unanalyzedcall on java.io.File:exists
    unanalyzedcall on java.io.File:isDirectory
    unanalyzedcall on java.io.File:mkdirs
    unanalyzedcall on java.lang.IllegalArgumentException
    unanalyzedcall on java.lang.Integer:intValue
    unanalyzedcall on java.lang.Integer:valueOf
    unanalyzedcall on java.lang.String:equals
    unanalyzedcall on java.lang.String:equalsIgnoreCase
    unanalyzedcall on java.lang.String:lastIndexOf
    unanalyzedcall on java.lang.String:length
    unanalyzedcall on java.lang.String:substring
    unanalyzedcall on java.lang.String:valueOf
    unanalyzedcall on java.lang.Throwable:__curr_excep_obj
    unanalyzedcall on java.util.ArrayList
    unanalyzedcall on java.util.ArrayList:iterator
    unanalyzedcall on java.util.Collections:sort
    unanalyzedcall on java.util.HashMap
    unanalyzedcall on java.util.HashSet
    unanalyzedcall on java.util.List:add
    unanalyzedcall on java.util.List:addAll
    unanalyzedcall on java.util.List:contains
    unanalyzedcall on java.util.List:get
    unanalyzedcall on java.util.List:iterator
    unanalyzedcall on java.util.List:remove
    unanalyzedcall on java.util.Map$Entry:getKey
    unanalyzedcall on java.util.Map$Entry:getValue
    unanalyzedcall on java.util.Map:containsKey
    unanalyzedcall on java.util.Map:entrySet
    unanalyzedcall on java.util.Map:get
    unanalyzedcall on java.util.Map:keySet
    unanalyzedcall on java.util.Map:put
    unanalyzedcall on java.util.Map:remove
    unanalyzedcall on java.util.Set:iterator
    unanalyzedcall on java.util.logging.Logger:finer
    unanalyzedcall on javax.swing.JCheckBox:isSelected
    unanalyzedcall on removeListener
    unanalyzedcall on setOption
    test_vectorcom.dmdirc.util.resourcemanager.ResourceManager:get ResourceManager(...)@82: Inverse{null}, Addr_Set{null}
    test_vectorjavax.swing.JCheckBox:isSelected(...)@63: {0}, {1}
    test_vectorjavax.swing.JCheckBox:isSelected(...)@70: {0}, {1}
    test_vectorjavax.swing.JCheckBox:isSelected(...)@72: {0}, {1}
    test_vectorthis.firstRun: {0}, {1}