WizardDialog.java

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


Filter Options
Annotation Kind:
pre
presumption
post
unanalyzed
test_vector


  • WizardPanel access$000(WizardDialog)

    • Kind Annotation Text
    prex0 != null
    postinit'ed(return_value)
    postreturn_value == x0.wizard

  • void actionPerformed(ActionEvent)

    • Kind Annotation Text
    pre(soft) this.wizard != null
    pre(soft) this.wizard.stepListeners != null
    pree != null
    postthis.wizard.currentStep == old this.wizard. currentStep
    postthis.wizard.steps.currentStep == old this.wizard.steps.currentStep
    unanalyzedcall on com.dmdirc.addons.ui_swing.wizard. WizardDialog:dispose
    unanalyzedcall on com.dmdirc.util.ListenerList:get
    unanalyzedcall on java.lang.Throwable:__curr_excep_obj
    unanalyzedcall on java.util.List:iterator
    unanalyzedcall on wizardCancelled

  • void addStep(Step)

    • Kind Annotation Text
    prestep != null
    prethis.wizard != null
    prethis.wizard.stepsPanel != null
    unanalyzedcall on com.dmdirc.addons.ui_swing.wizard. Step:toString
    unanalyzedcall on javax.swing.JPanel:add

  • void addStepListener(StepListener)

    • Kind Annotation Text
    prethis.wizard != null
    prethis.wizard.stepListeners != null
    unanalyzedcall on com.dmdirc.util.ListenerList:add
    unanalyzedcall on java.lang.Throwable:__curr_excep_obj

  • void addWizardListener(WizardListener)

    • Kind Annotation Text
    prethis.wizard != null
    prethis.wizard.stepListeners != null
    unanalyzedcall on com.dmdirc.util.ListenerList:add
    unanalyzedcall on java.lang.Throwable:__curr_excep_obj

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

    • Kind Annotation Text

  • com.dmdirc.addons.ui_swing.wizard.WizardDialog$1__static_init

    • Kind Annotation Text

  • void com.dmdirc.addons.ui_swing.wizard.WizardDialog(String, List, WizardListener, Window)

    • Kind Annotation Text
    presteps != null
    presumptioninit'ed(java.awt.Dialog$ModalityType.MODELESS)
    postinit'ed(new StepLayout(WizardPanel#2).currentStep)
    postinit'ed(new StepLayout(WizardPanel#2).hGap)
    postinit'ed(new StepLayout(WizardPanel#2).vGap)
    postinit'ed(this.parentWindow)
    postinit'ed(this.wizard.title)
    postinit'ed(this.wizard.wizard)
    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 WizardPanel(WizardDialog#3) num objects == 1
    postthis.parentWindow == parentWindow
    postthis.wizard == &new WizardPanel(WizardDialog#3)
    postthis.wizard.next == &new JButton(initComponents #5)
    postthis.wizard.prev == &new JButton(initComponents #6)
    postthis.wizard.progressLabel == &new JLabel(initComponents#4)
    postthis.wizard.stepListeners == &new ListenerList(WizardPanel#1)
    postthis.wizard.steps == &new StepLayout(WizardPane l#2)
    postthis.wizard.stepsPanel == &new JPanel(initCompo nents#3)
    postthis.wizard.title == title
    postthis.wizard.titleLabel == &new TitlePanel(initC omponents#1)
    postthis.wizard.wizard == wizard
    unanalyzedcall on com.dmdirc.addons.ui_swing.components. EtchedLineBorder
    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:setContentPane
    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 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.WizardDialog__static_init

    • Kind Annotation Text

  • void display()

    • Kind Annotation Text
    pre(soft) this.wizard.next != null
    pre(soft) this.wizard.prev != null
    pre(soft) this.wizard.progressLabel != null
    pre(soft) this.wizard.stepsPanel != null
    pre(soft) this.wizard.titleLabel != null
    preinit'ed(this.parentWindow)
    prethis.wizard != null
    prethis.wizard.steps != null
    prethis.wizard.steps.steps != null
    postpossibly_updated(this.wizard.steps.currentStep)
    postthis.wizard.currentStep == One-of{old this.wizard.currentStep, 0}
    unanalyzedcall on com.dmdirc.addons.ui_swing.components. TitlePanel:setText
    unanalyzedcall on getTitle
    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.JLabel:setText
    unanalyzedcall on updateProgressLabel
    test_vectorthis.parentWindow: Addr_Set{null}, Inverse{null}

  • void enableNextStep(bool)

    • Kind Annotation Text
    prethis.wizard != null
    prethis.wizard.next != null
    unanalyzedcall on javax.swing.JButton:setEnabled

  • void enablePreviousStep(bool)

    • Kind Annotation Text
    prethis.wizard != null
    prethis.wizard.prev != null
    unanalyzedcall on javax.swing.JButton:setEnabled

  • int getCurrentStep()

    • Kind Annotation Text
    preinit'ed(this.wizard.currentStep)
    prethis.wizard != null
    postinit'ed(return_value)
    postreturn_value == this.wizard.currentStep

  • Step getStep(int)

    • Kind Annotation Text
    prethis.wizard != null
    prethis.wizard.steps != null
    prethis.wizard.steps.steps != null
    postinit'ed(return_value)
    unanalyzedcall on java.util.List:get

  • void layoutComponents()

    • Kind Annotation Text

  • void removeStepListener(StepListener)

    • Kind Annotation Text
    prethis.wizard != null
    prethis.wizard.stepListeners != null
    unanalyzedcall on com.dmdirc.util.ListenerList:remove
    unanalyzedcall on java.lang.Throwable:__curr_excep_obj

  • void removeWizardListener(WizardListener)

    • Kind Annotation Text
    prethis.wizard != null
    prethis.wizard.stepListeners != null
    unanalyzedcall on com.dmdirc.util.ListenerList:remove
    unanalyzedcall on java.lang.Throwable:__curr_excep_obj

  • void validate()

    • Kind Annotation Text
    preinit'ed(this.parentWindow)

  • void windowClosed(WindowEvent)

    • Kind Annotation Text
    prethis.wizard != null
    prethis.wizard.stepListeners != null
    unanalyzedcall on com.dmdirc.addons.ui_swing.wizard. WizardDialog:dispose
    unanalyzedcall on com.dmdirc.util.ListenerList:get
    unanalyzedcall on java.lang.Throwable:__curr_excep_obj
    unanalyzedcall on java.util.List:iterator
    unanalyzedcall on wizardCancelled