WizardPanel.java

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


Filter Options
Annotation Kind:
pre
presumption
post
unanalyzed
test_vector


  • void addStep(SwingStep)

    • Kind Annotation Text
    prestep != null

  • void com.dmdirc.installer.ui.WizardPanel(InstallerDialog)

    • Kind Annotation Text
    postinit'ed(this.dialog)
    postinit'ed(this.layout.currentStep)
    postinit'ed(this.layout.hGap)
    postinit'ed(this.layout.parent)
    postinit'ed(this.layout.vGap)
    postnew ArrayList(StepLayout#1) num objects == 1
    postnew StepLayout(WizardPanel#1) num objects == 1
    postthis.dialog == dialog
    postthis.layout == &new StepLayout(WizardPanel#1)
    postthis.layout.steps == &new ArrayList(StepLayout# 1)
    unanalyzedcall on java.util.ArrayList

  • com.dmdirc.installer.ui.WizardPanel__static_init

    • Kind Annotation Text

  • void display()

    • Kind Annotation Text
    pre(soft) this.layout.steps != null
    prethis.layout != null
    postpossibly_updated(this.layout.currentStep)
    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.lang.Throwable:__curr_excep_obj
    unanalyzedcall on java.util.List:size

  • void display(List)

    • Kind Annotation Text
    pre(soft) this.layout.steps != null
    presteps != null
    prethis.layout != null
    presumptionjava.util.Iterator:next(...)@59 != null
    postpossibly_updated(this.layout.currentStep)
    unanalyzedcall on com.dmdirc.installer.ui.SwingStep:getStepNa me
    unanalyzedcall on com.dmdirc.installer.ui.WizardPanel:add
    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.lang.Throwable:__curr_excep_obj
    unanalyzedcall on java.util.List:size
    unanalyzedcall on showFirst
    test_vectorjava.util.Iterator:hasNext(...)@59: {0}, {1}

  • Step getCurrentStep()

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

  • int getCurrentStepIndex()

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

  • String getCurrentStepName()

    • Kind Annotation Text
    preinit'ed(this.layout.currentStep)
    prethis.layout != null
    prethis.layout.steps != null
    postinit'ed(return_value)
    unanalyzedcall on com.dmdirc.installer.ui.SwingStep:getStepNa me
    unanalyzedcall on java.util.List:get

  • Step getStep(int)

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

  • Step getStep(String)

    • Kind Annotation Text
    pre(soft) stepName != null
    prethis.layout != null
    prethis.layout.steps != null
    presumptionjava.util.Iterator:next(...)@92 != null
    postinit'ed(return_value)
    test_vectorjava.lang.String:equals(...)@93: {0}, {1}
    test_vectorjava.util.Iterator:hasNext(...)@92: {0}, {1}

  • int getTotalSteps()

    • Kind Annotation Text
    prethis.layout != null
    prethis.layout.steps != null
    postinit'ed(return_value)

  • void nextStep()

    • Kind Annotation Text
    pre(soft) this.layout.steps != null
    prethis.layout != null
    prethis.layout.currentStep <= 232-2
    postinit'ed(this.layout.currentStep)
    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.lang.Throwable:__curr_excep_obj
    unanalyzedcall on java.util.List:size

  • void previousStep()

    • Kind Annotation Text
    pre(soft) this.layout.steps != null
    prethis.layout != null
    prethis.layout.currentStep >= -231+1
    postinit'ed(this.layout.currentStep)
    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.lang.Throwable:__curr_excep_obj
    unanalyzedcall on java.util.List:size

  • void showFirst()

    • Kind Annotation Text
    pre(soft) this.layout.steps != null
    prethis.layout != null
    postpossibly_updated(this.layout.currentStep)
    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.lang.Throwable:__curr_excep_obj
    unanalyzedcall on java.util.List:size

  • void showLast()

    • Kind Annotation Text
    pre(soft) this.layout.steps != null
    prethis.layout != null
    postpossibly_updated(this.layout.currentStep)
    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.lang.Throwable:__curr_excep_obj
    unanalyzedcall on java.util.List:size

  • void showStep(int)

    • Kind Annotation Text
    pre(soft) this.layout.steps != null
    prethis.layout != null
    postpossibly_updated(this.layout.currentStep)
    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.lang.Throwable:__curr_excep_obj
    unanalyzedcall on java.util.List:size