//# 0 errors, 393 messages
//#
/*
    //#WizardPanel.java:1:1: class: com.dmdirc.installer.ui.WizardPanel
    //#WizardPanel.java:1:1: method: com.dmdirc.installer.ui.WizardPanel.com.dmdirc.installer.ui.WizardPanel__static_init
 * 
 * Copyright (c) 2006-2008 Chris Smith, Shane Mc Cormack, Gregory Holmes
 * 
 * Permission is hereby granted, free of charge, to any person obtaining a copy
 * of this software and associated documentation files (the "Software"), to deal
 * in the Software without restriction, including without limitation the rights
 * to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
 * copies of the Software, and to permit persons to whom the Software is
 * furnished to do so, subject to the following conditions:
 * 
 * The above copyright notice and this permission notice shall be included in
 * all copies or substantial portions of the Software.
 * 
 * THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
 * IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
 * FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
 * AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
 * LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
 * OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
 * SOFTWARE.
 */

package com.dmdirc.installer.ui;

import com.dmdirc.installer.Step;

import java.util.List;
import javax.swing.JPanel;

/**
 * Wizard panel, displays and controls the flow of steps.
 */
public class WizardPanel extends JPanel {

    private static final long serialVersionUID = 7903362315297158222L;
    private final StepLayout layout;
    private final InstallerDialog dialog;

    /**
     * Instantiates a new wizard panel.
     *
     * @param dialog Parent installer dialog
     */
    public WizardPanel(final InstallerDialog dialog) {
        super();
    //#WizardPanel.java:46: method: void com.dmdirc.installer.ui.WizardPanel.com.dmdirc.installer.ui.WizardPanel(InstallerDialog)
    //#input(void com.dmdirc.installer.ui.WizardPanel(InstallerDialog)): dialog
    //#input(void com.dmdirc.installer.ui.WizardPanel(InstallerDialog)): this
    //#output(void com.dmdirc.installer.ui.WizardPanel(InstallerDialog)): new ArrayList(StepLayout#1) num objects
    //#output(void com.dmdirc.installer.ui.WizardPanel(InstallerDialog)): new StepLayout(WizardPanel#1) num objects
    //#output(void com.dmdirc.installer.ui.WizardPanel(InstallerDialog)): this.layout.__Tag
    //#output(void com.dmdirc.installer.ui.WizardPanel(InstallerDialog)): this.layout.currentStep
    //#output(void com.dmdirc.installer.ui.WizardPanel(InstallerDialog)): this.layout.hGap
    //#output(void com.dmdirc.installer.ui.WizardPanel(InstallerDialog)): this.layout.parent
    //#output(void com.dmdirc.installer.ui.WizardPanel(InstallerDialog)): this.layout.steps
    //#output(void com.dmdirc.installer.ui.WizardPanel(InstallerDialog)): this.layout.vGap
    //#output(void com.dmdirc.installer.ui.WizardPanel(InstallerDialog)): this.dialog
    //#output(void com.dmdirc.installer.ui.WizardPanel(InstallerDialog)): this.layout
    //#new obj(void com.dmdirc.installer.ui.WizardPanel(InstallerDialog)): new ArrayList(StepLayout#1)
    //#new obj(void com.dmdirc.installer.ui.WizardPanel(InstallerDialog)): new StepLayout(WizardPanel#1)
    //#post(void com.dmdirc.installer.ui.WizardPanel(InstallerDialog)): this.dialog == dialog
    //#post(void com.dmdirc.installer.ui.WizardPanel(InstallerDialog)): init'ed(this.dialog)
    //#post(void com.dmdirc.installer.ui.WizardPanel(InstallerDialog)): this.layout == &new StepLayout(WizardPanel#1)
    //#post(void com.dmdirc.installer.ui.WizardPanel(InstallerDialog)): new ArrayList(StepLayout#1) num objects == 1
    //#post(void com.dmdirc.installer.ui.WizardPanel(InstallerDialog)): new StepLayout(WizardPanel#1) num objects == 1
    //#post(void com.dmdirc.installer.ui.WizardPanel(InstallerDialog)): this.layout.__Tag == com/dmdirc/installer/ui/StepLayout
    //#post(void com.dmdirc.installer.ui.WizardPanel(InstallerDialog)): init'ed(this.layout.currentStep)
    //#post(void com.dmdirc.installer.ui.WizardPanel(InstallerDialog)): init'ed(this.layout.hGap)
    //#post(void com.dmdirc.installer.ui.WizardPanel(InstallerDialog)): init'ed(this.layout.parent)
    //#post(void com.dmdirc.installer.ui.WizardPanel(InstallerDialog)): this.layout.steps == &new ArrayList(StepLayout#1)
    //#post(void com.dmdirc.installer.ui.WizardPanel(InstallerDialog)): init'ed(this.layout.vGap)
    //#unanalyzed(void com.dmdirc.installer.ui.WizardPanel(InstallerDialog)): Effects-of-calling:java.util.ArrayList

        this.dialog = dialog;
        layout = new StepLayout();
        setLayout(layout);
    //#WizardPanel.java:50: Warning: method not available - call not analyzed
    //#    call on void com.dmdirc.installer.ui.WizardPanel:setLayout(LayoutManager)
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.installer.ui.WizardPanel
    //#    method: void com.dmdirc.installer.ui.WizardPanel(InstallerDialog)
    //#    unanalyzed callee: void com.dmdirc.installer.ui.WizardPanel:setLayout(LayoutManager)
    }
    //#WizardPanel.java:51: end of method: void com.dmdirc.installer.ui.WizardPanel.com.dmdirc.installer.ui.WizardPanel(InstallerDialog)

    /**
     * Displays this panel with the specified steps.
     * 
     * @param steps Steps to display
     */
    public void display(final List<SwingStep> steps) {
       for (SwingStep step : steps) {
    //#WizardPanel.java:59: method: void com.dmdirc.installer.ui.WizardPanel.display(List)
    //#input(void display(List)): __Descendant_Table[com/dmdirc/installer/ui/WizardPanel]
    //#input(void display(List)): __Descendant_Table[others]
    //#input(void display(List)): __Dispatch_Table.addStep(Lcom/dmdirc/installer/ui/SwingStep;)V
    //#input(void display(List)): __Dispatch_Table.display()V
    //#input(void display(List)): __Dispatch_Table.showFirst()V
    //#input(void display(List)): com/dmdirc/installer/ui/StepLayout.__Descendant_Table[com/dmdirc/installer/ui/StepLayout]
    //#input(void display(List)): com/dmdirc/installer/ui/StepLayout.__Descendant_Table[others]
    //#input(void display(List)): com/dmdirc/installer/ui/StepLayout.__Dispatch_Table.first(Ljava/awt/Container;)V
    //#input(void display(List)): com/dmdirc/installer/ui/StepLayout.__Dispatch_Table.show(ILjava/awt/Container;)V
    //#input(void display(List)): com/dmdirc/installer/ui/SwingStep.__Descendant_Table[com/dmdirc/installer/ui/StepConfirm]
    //#input(void display(List)): com/dmdirc/installer/ui/SwingStep.__Descendant_Table[com/dmdirc/installer/ui/StepError]
    //#input(void display(List)): com/dmdirc/installer/ui/SwingStep.__Descendant_Table[com/dmdirc/installer/ui/StepInstall]
    //#input(void display(List)): com/dmdirc/installer/ui/SwingStep.__Descendant_Table[com/dmdirc/installer/ui/StepSettings]
    //#input(void display(List)): com/dmdirc/installer/ui/SwingStep.__Descendant_Table[com/dmdirc/installer/ui/StepWelcome]
    //#input(void display(List)): com/dmdirc/installer/ui/SwingStep.__Descendant_Table[com/dmdirc/installer/ui/SwingStep]
    //#input(void display(List)): com/dmdirc/installer/ui/SwingStep.__Descendant_Table[others]
    //#input(void display(List)): steps
    //#input(void display(List)): this
    //#input(void display(List)): this.__Tag
    //#input(void display(List)): this.layout
    //#input(void display(List)): this.layout.__Tag
    //#input(void display(List)): this.layout.steps
    //#output(void display(List)): this.layout.currentStep
    //#pre[2] (void display(List)): steps != null
    //#pre[4] (void display(List)): this.__Tag == com/dmdirc/installer/ui/WizardPanel
    //#pre[5] (void display(List)): this.layout != null
    //#pre[6] (void display(List)): this.layout.__Tag == com/dmdirc/installer/ui/StepLayout
    //#pre[7] (void display(List)): (soft) this.layout.steps != null
    //#presumption(void display(List)): java.util.Iterator:next(...).__Tag@59 in {com/dmdirc/installer/ui/StepConfirm, com/dmdirc/installer/ui/StepError, com/dmdirc/installer/ui/StepInstall, com/dmdirc/installer/ui/StepSettings, com/dmdirc/installer/ui/StepWelcome, com/dmdirc/installer/ui/SwingStep}
    //#presumption(void display(List)): java.util.Iterator:next(...)@59 != null
    //#post(void display(List)): possibly_updated(this.layout.currentStep)
    //#unanalyzed(void display(List)): Effects-of-calling:com.dmdirc.installer.ui.SwingStep:getStepName
    //#unanalyzed(void display(List)): Effects-of-calling:com.dmdirc.installer.ui.WizardPanel:add
    //#unanalyzed(void display(List)): Effects-of-calling:java.util.List:size
    //#unanalyzed(void display(List)): Effects-of-calling:java.awt.Container:getTreeLock
    //#unanalyzed(void display(List)): Effects-of-calling:java.awt.Container:getComponentCount
    //#unanalyzed(void display(List)): Effects-of-calling:java.awt.Container:getComponent
    //#unanalyzed(void display(List)): Effects-of-calling:java.awt.Component:isVisible
    //#unanalyzed(void display(List)): Effects-of-calling:java.awt.Component:setVisible
    //#unanalyzed(void display(List)): Effects-of-calling:java.lang.Throwable:__curr_excep_obj
    //#unanalyzed(void display(List)): Effects-of-calling:java.awt.Container:validate
    //#unanalyzed(void display(List)): Effects-of-calling:showFirst
    //#test_vector(void display(List)): java.util.Iterator:hasNext(...)@59: {0}, {1}
           addStep(step);
       }
       display();
    }
    //#WizardPanel.java:63: end of method: void com.dmdirc.installer.ui.WizardPanel.display(List)

    /**
     * Displays this panel with the existing steps.
     */
    public void display() {
        showFirst();
    //#WizardPanel.java:69: method: void com.dmdirc.installer.ui.WizardPanel.display()
    //#input(void display()): __Descendant_Table[com/dmdirc/installer/ui/WizardPanel]
    //#input(void display()): __Descendant_Table[others]
    //#input(void display()): __Dispatch_Table.showFirst()V
    //#input(void display()): com/dmdirc/installer/ui/StepLayout.__Descendant_Table[com/dmdirc/installer/ui/StepLayout]
    //#input(void display()): com/dmdirc/installer/ui/StepLayout.__Descendant_Table[others]
    //#input(void display()): com/dmdirc/installer/ui/StepLayout.__Dispatch_Table.first(Ljava/awt/Container;)V
    //#input(void display()): com/dmdirc/installer/ui/StepLayout.__Dispatch_Table.show(ILjava/awt/Container;)V
    //#input(void display()): this
    //#input(void display()): this.__Tag
    //#input(void display()): this.layout
    //#input(void display()): this.layout.__Tag
    //#input(void display()): this.layout.steps
    //#output(void display()): this.layout.currentStep
    //#pre[3] (void display()): this.__Tag == com/dmdirc/installer/ui/WizardPanel
    //#pre[4] (void display()): this.layout != null
    //#pre[5] (void display()): this.layout.__Tag == com/dmdirc/installer/ui/StepLayout
    //#pre[6] (void display()): (soft) this.layout.steps != null
    //#post(void display()): possibly_updated(this.layout.currentStep)
    //#unanalyzed(void display()): Effects-of-calling:java.util.List:size
    //#unanalyzed(void display()): Effects-of-calling:java.awt.Container:getTreeLock
    //#unanalyzed(void display()): Effects-of-calling:java.awt.Container:getComponentCount
    //#unanalyzed(void display()): Effects-of-calling:java.awt.Container:getComponent
    //#unanalyzed(void display()): Effects-of-calling:java.awt.Component:isVisible
    //#unanalyzed(void display()): Effects-of-calling:java.awt.Component:setVisible
    //#unanalyzed(void display()): Effects-of-calling:java.lang.Throwable:__curr_excep_obj
    //#unanalyzed(void display()): Effects-of-calling:java.awt.Container:validate
    }
    //#WizardPanel.java:70: end of method: void com.dmdirc.installer.ui.WizardPanel.display()

    /**
     * Returns the step specified.
     *
     * @param step Step index
     * 
     * @return Step
     */
    public Step getStep(final int step) {
        return layout.getStep(step);
    //#WizardPanel.java:80: method: Step com.dmdirc.installer.ui.WizardPanel.getStep(int)
    //#input(Step getStep(int)): com/dmdirc/installer/Step.__Descendant_Table[com/dmdirc/installer/Step]
    //#input(Step getStep(int)): com/dmdirc/installer/Step.__Descendant_Table[com/dmdirc/installer/ui/StepConfirm]
    //#input(Step getStep(int)): com/dmdirc/installer/Step.__Descendant_Table[com/dmdirc/installer/ui/StepError]
    //#input(Step getStep(int)): com/dmdirc/installer/Step.__Descendant_Table[com/dmdirc/installer/ui/StepInstall]
    //#input(Step getStep(int)): com/dmdirc/installer/Step.__Descendant_Table[com/dmdirc/installer/ui/StepSettings]
    //#input(Step getStep(int)): com/dmdirc/installer/Step.__Descendant_Table[com/dmdirc/installer/ui/StepWelcome]
    //#input(Step getStep(int)): com/dmdirc/installer/Step.__Descendant_Table[com/dmdirc/installer/ui/SwingStep]
    //#input(Step getStep(int)): com/dmdirc/installer/Step.__Descendant_Table[others]
    //#input(Step getStep(int)): com/dmdirc/installer/ui/StepLayout.__Descendant_Table[com/dmdirc/installer/ui/StepLayout]
    //#input(Step getStep(int)): com/dmdirc/installer/ui/StepLayout.__Descendant_Table[others]
    //#input(Step getStep(int)): com/dmdirc/installer/ui/StepLayout.__Dispatch_Table.getStep(I)Lcom/dmdirc/installer/Step;
    //#input(Step getStep(int)): step
    //#input(Step getStep(int)): this
    //#input(Step getStep(int)): this.layout
    //#input(Step getStep(int)): this.layout.__Tag
    //#input(Step getStep(int)): this.layout.steps
    //#output(Step getStep(int)): return_value
    //#pre[3] (Step getStep(int)): this.layout != null
    //#pre[4] (Step getStep(int)): this.layout.__Tag == com/dmdirc/installer/ui/StepLayout
    //#pre[5] (Step getStep(int)): this.layout.steps != null
    //#post(Step getStep(int)): init'ed(return_value)
    //#unanalyzed(Step getStep(int)): Effects-of-calling:java.util.List:get
    //#WizardPanel.java:80: end of method: Step com.dmdirc.installer.ui.WizardPanel.getStep(int)
    }

    /**
     * Returns the step specified.
     *
     * @param stepName Step name
     *
     * @return Step
     */
    public Step getStep(final String stepName) {
        Step step = null;
    //#WizardPanel.java:91: method: Step com.dmdirc.installer.ui.WizardPanel.getStep(String)
    //#input(Step getStep(String)): com/dmdirc/installer/ui/StepLayout.__Descendant_Table[com/dmdirc/installer/ui/StepLayout]
    //#input(Step getStep(String)): com/dmdirc/installer/ui/StepLayout.__Descendant_Table[others]
    //#input(Step getStep(String)): com/dmdirc/installer/ui/StepLayout.__Dispatch_Table.getSteps()Ljava/util/List;
    //#input(Step getStep(String)): com/dmdirc/installer/ui/SwingStep.__Descendant_Table[com/dmdirc/installer/ui/StepConfirm]
    //#input(Step getStep(String)): com/dmdirc/installer/ui/SwingStep.__Descendant_Table[com/dmdirc/installer/ui/StepError]
    //#input(Step getStep(String)): com/dmdirc/installer/ui/SwingStep.__Descendant_Table[com/dmdirc/installer/ui/StepInstall]
    //#input(Step getStep(String)): com/dmdirc/installer/ui/SwingStep.__Descendant_Table[com/dmdirc/installer/ui/StepSettings]
    //#input(Step getStep(String)): com/dmdirc/installer/ui/SwingStep.__Descendant_Table[com/dmdirc/installer/ui/StepWelcome]
    //#input(Step getStep(String)): com/dmdirc/installer/ui/SwingStep.__Descendant_Table[com/dmdirc/installer/ui/SwingStep]
    //#input(Step getStep(String)): com/dmdirc/installer/ui/SwingStep.__Descendant_Table[others]
    //#input(Step getStep(String)): stepName
    //#input(Step getStep(String)): this
    //#input(Step getStep(String)): this.layout
    //#input(Step getStep(String)): this.layout.__Tag
    //#input(Step getStep(String)): this.layout.steps
    //#output(Step getStep(String)): return_value
    //#pre[3] (Step getStep(String)): this.layout != null
    //#pre[4] (Step getStep(String)): this.layout.__Tag == com/dmdirc/installer/ui/StepLayout
    //#pre[5] (Step getStep(String)): this.layout.steps != null
    //#pre[1] (Step getStep(String)): (soft) stepName != null
    //#presumption(Step getStep(String)): java.util.Iterator:next(...).__Tag@92 in {com/dmdirc/installer/ui/StepConfirm, com/dmdirc/installer/ui/StepError, com/dmdirc/installer/ui/StepInstall, com/dmdirc/installer/ui/StepSettings, com/dmdirc/installer/ui/StepWelcome, com/dmdirc/installer/ui/SwingStep}
    //#presumption(Step getStep(String)): java.util.Iterator:next(...)@92 != null
    //#post(Step getStep(String)): init'ed(return_value)
    //#test_vector(Step getStep(String)): java.lang.String:equals(...)@93: {0}, {1}
    //#test_vector(Step getStep(String)): java.util.Iterator:hasNext(...)@92: {0}, {1}
        for (SwingStep loopStep : layout.getSteps()) {
            if (stepName.equals(loopStep.getStepName())) {
    //#WizardPanel.java:93: Warning: method not available - call not analyzed
    //#    call on String com.dmdirc.installer.ui.SwingStep:getStepName()
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.installer.ui.WizardPanel
    //#    method: Step getStep(String)
    //#    unanalyzed callee: String com.dmdirc.installer.ui.SwingStep:getStepName()
                return loopStep;
            }
        }
        return step;
    //#WizardPanel.java:97: end of method: Step com.dmdirc.installer.ui.WizardPanel.getStep(String)
    }

    /**
     * Returns the current Step.
     *
     * @return Current step index
     */
    public int getCurrentStepIndex() {
        return layout.getCurrentStepIndex();
    //#WizardPanel.java:106: method: int com.dmdirc.installer.ui.WizardPanel.getCurrentStepIndex()
    //#input(int getCurrentStepIndex()): com/dmdirc/installer/ui/StepLayout.__Descendant_Table[com/dmdirc/installer/ui/StepLayout]
    //#input(int getCurrentStepIndex()): com/dmdirc/installer/ui/StepLayout.__Descendant_Table[others]
    //#input(int getCurrentStepIndex()): com/dmdirc/installer/ui/StepLayout.__Dispatch_Table.getCurrentStepIndex()I
    //#input(int getCurrentStepIndex()): this
    //#input(int getCurrentStepIndex()): this.layout
    //#input(int getCurrentStepIndex()): this.layout.__Tag
    //#input(int getCurrentStepIndex()): this.layout.currentStep
    //#output(int getCurrentStepIndex()): return_value
    //#pre[2] (int getCurrentStepIndex()): this.layout != null
    //#pre[3] (int getCurrentStepIndex()): this.layout.__Tag == com/dmdirc/installer/ui/StepLayout
    //#pre[4] (int getCurrentStepIndex()): init'ed(this.layout.currentStep)
    //#post(int getCurrentStepIndex()): return_value == this.layout.currentStep
    //#post(int getCurrentStepIndex()): init'ed(return_value)
    //#WizardPanel.java:106: end of method: int com.dmdirc.installer.ui.WizardPanel.getCurrentStepIndex()
    }

    /**
     * Returns the current Step.
     *
     * @return Current step index
     */
    public String getCurrentStepName() {
        return layout.getCurrentStepName();
    //#WizardPanel.java:115: method: String com.dmdirc.installer.ui.WizardPanel.getCurrentStepName()
    //#input(String getCurrentStepName()): com/dmdirc/installer/ui/StepLayout.__Descendant_Table[com/dmdirc/installer/ui/StepLayout]
    //#input(String getCurrentStepName()): com/dmdirc/installer/ui/StepLayout.__Descendant_Table[others]
    //#input(String getCurrentStepName()): com/dmdirc/installer/ui/StepLayout.__Dispatch_Table.getCurrentStepName()Ljava/lang/String;
    //#input(String getCurrentStepName()): com/dmdirc/installer/ui/SwingStep.__Descendant_Table[com/dmdirc/installer/ui/StepConfirm]
    //#input(String getCurrentStepName()): com/dmdirc/installer/ui/SwingStep.__Descendant_Table[com/dmdirc/installer/ui/StepError]
    //#input(String getCurrentStepName()): com/dmdirc/installer/ui/SwingStep.__Descendant_Table[com/dmdirc/installer/ui/StepInstall]
    //#input(String getCurrentStepName()): com/dmdirc/installer/ui/SwingStep.__Descendant_Table[com/dmdirc/installer/ui/StepSettings]
    //#input(String getCurrentStepName()): com/dmdirc/installer/ui/SwingStep.__Descendant_Table[com/dmdirc/installer/ui/StepWelcome]
    //#input(String getCurrentStepName()): com/dmdirc/installer/ui/SwingStep.__Descendant_Table[com/dmdirc/installer/ui/SwingStep]
    //#input(String getCurrentStepName()): com/dmdirc/installer/ui/SwingStep.__Descendant_Table[others]
    //#input(String getCurrentStepName()): this
    //#input(String getCurrentStepName()): this.layout
    //#input(String getCurrentStepName()): this.layout.__Tag
    //#input(String getCurrentStepName()): this.layout.currentStep
    //#input(String getCurrentStepName()): this.layout.steps
    //#output(String getCurrentStepName()): return_value
    //#pre[2] (String getCurrentStepName()): this.layout != null
    //#pre[3] (String getCurrentStepName()): this.layout.__Tag == com/dmdirc/installer/ui/StepLayout
    //#pre[4] (String getCurrentStepName()): init'ed(this.layout.currentStep)
    //#pre[5] (String getCurrentStepName()): this.layout.steps != null
    //#post(String getCurrentStepName()): init'ed(return_value)
    //#unanalyzed(String getCurrentStepName()): Effects-of-calling:java.util.List:get
    //#unanalyzed(String getCurrentStepName()): Effects-of-calling:com.dmdirc.installer.ui.SwingStep:getStepName
    //#WizardPanel.java:115: end of method: String com.dmdirc.installer.ui.WizardPanel.getCurrentStepName()
    }

    /**
     * Returns the current Step.
     *
     * @return Current step index
     */
    public Step getCurrentStep() {
        return layout.getCurrentStep();
    //#WizardPanel.java:124: method: Step com.dmdirc.installer.ui.WizardPanel.getCurrentStep()
    //#input(Step getCurrentStep()): com/dmdirc/installer/Step.__Descendant_Table[com/dmdirc/installer/Step]
    //#input(Step getCurrentStep()): com/dmdirc/installer/Step.__Descendant_Table[com/dmdirc/installer/ui/StepConfirm]
    //#input(Step getCurrentStep()): com/dmdirc/installer/Step.__Descendant_Table[com/dmdirc/installer/ui/StepError]
    //#input(Step getCurrentStep()): com/dmdirc/installer/Step.__Descendant_Table[com/dmdirc/installer/ui/StepInstall]
    //#input(Step getCurrentStep()): com/dmdirc/installer/Step.__Descendant_Table[com/dmdirc/installer/ui/StepSettings]
    //#input(Step getCurrentStep()): com/dmdirc/installer/Step.__Descendant_Table[com/dmdirc/installer/ui/StepWelcome]
    //#input(Step getCurrentStep()): com/dmdirc/installer/Step.__Descendant_Table[com/dmdirc/installer/ui/SwingStep]
    //#input(Step getCurrentStep()): com/dmdirc/installer/Step.__Descendant_Table[others]
    //#input(Step getCurrentStep()): com/dmdirc/installer/ui/StepLayout.__Descendant_Table[com/dmdirc/installer/ui/StepLayout]
    //#input(Step getCurrentStep()): com/dmdirc/installer/ui/StepLayout.__Descendant_Table[others]
    //#input(Step getCurrentStep()): com/dmdirc/installer/ui/StepLayout.__Dispatch_Table.getCurrentStep()Lcom/dmdirc/installer/Step;
    //#input(Step getCurrentStep()): this
    //#input(Step getCurrentStep()): this.layout
    //#input(Step getCurrentStep()): this.layout.__Tag
    //#input(Step getCurrentStep()): this.layout.currentStep
    //#input(Step getCurrentStep()): this.layout.steps
    //#output(Step getCurrentStep()): return_value
    //#pre[2] (Step getCurrentStep()): this.layout != null
    //#pre[3] (Step getCurrentStep()): this.layout.__Tag == com/dmdirc/installer/ui/StepLayout
    //#pre[4] (Step getCurrentStep()): init'ed(this.layout.currentStep)
    //#pre[5] (Step getCurrentStep()): this.layout.steps != null
    //#post(Step getCurrentStep()): init'ed(return_value)
    //#unanalyzed(Step getCurrentStep()): Effects-of-calling:java.util.List:get
    //#WizardPanel.java:124: end of method: Step com.dmdirc.installer.ui.WizardPanel.getCurrentStep()
    }

    /**
     * Returns the total number of steps.
     *
     * @return Total number of steps
     */
    public int getTotalSteps() {
        return layout.getSteps().size();
    //#WizardPanel.java:133: method: int com.dmdirc.installer.ui.WizardPanel.getTotalSteps()
    //#input(int getTotalSteps()): com/dmdirc/installer/ui/StepLayout.__Descendant_Table[com/dmdirc/installer/ui/StepLayout]
    //#input(int getTotalSteps()): com/dmdirc/installer/ui/StepLayout.__Descendant_Table[others]
    //#input(int getTotalSteps()): com/dmdirc/installer/ui/StepLayout.__Dispatch_Table.getSteps()Ljava/util/List;
    //#input(int getTotalSteps()): this
    //#input(int getTotalSteps()): this.layout
    //#input(int getTotalSteps()): this.layout.__Tag
    //#input(int getTotalSteps()): this.layout.steps
    //#output(int getTotalSteps()): return_value
    //#pre[2] (int getTotalSteps()): this.layout != null
    //#pre[3] (int getTotalSteps()): this.layout.__Tag == com/dmdirc/installer/ui/StepLayout
    //#pre[4] (int getTotalSteps()): this.layout.steps != null
    //#post(int getTotalSteps()): init'ed(return_value)
    //#WizardPanel.java:133: end of method: int com.dmdirc.installer.ui.WizardPanel.getTotalSteps()
    }

    /**
     * Adds a step to this panel.
     *
     * @param step Step to add
     */
    public void addStep(final SwingStep step) {
        add(step, step.getStepName());
    //#WizardPanel.java:142: method: void com.dmdirc.installer.ui.WizardPanel.addStep(SwingStep)
    //#WizardPanel.java:142: Warning: method not available - call not analyzed
    //#    call on String com.dmdirc.installer.ui.SwingStep:getStepName()
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.installer.ui.WizardPanel
    //#    method: void addStep(SwingStep)
    //#    unanalyzed callee: String com.dmdirc.installer.ui.SwingStep:getStepName()
    //#WizardPanel.java:142: Warning: method not available - call not analyzed
    //#    call on void com.dmdirc.installer.ui.WizardPanel:add(Component, Object)
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.installer.ui.WizardPanel
    //#    method: void addStep(SwingStep)
    //#    unanalyzed callee: void com.dmdirc.installer.ui.WizardPanel:add(Component, Object)
    //#input(void addStep(SwingStep)): step
    //#input(void addStep(SwingStep)): this
    //#pre[1] (void addStep(SwingStep)): step != null
    }
    //#WizardPanel.java:143: end of method: void com.dmdirc.installer.ui.WizardPanel.addStep(SwingStep)

    /**
     * Shows the first step.
     */
    public void showFirst() {
        layout.first(this);
    //#WizardPanel.java:149: method: void com.dmdirc.installer.ui.WizardPanel.showFirst()
    //#input(void showFirst()): com/dmdirc/installer/ui/StepLayout.__Descendant_Table[com/dmdirc/installer/ui/StepLayout]
    //#input(void showFirst()): com/dmdirc/installer/ui/StepLayout.__Descendant_Table[others]
    //#input(void showFirst()): com/dmdirc/installer/ui/StepLayout.__Dispatch_Table.first(Ljava/awt/Container;)V
    //#input(void showFirst()): com/dmdirc/installer/ui/StepLayout.__Dispatch_Table.show(ILjava/awt/Container;)V
    //#input(void showFirst()): this
    //#input(void showFirst()): this.layout
    //#input(void showFirst()): this.layout.__Tag
    //#input(void showFirst()): this.layout.steps
    //#output(void showFirst()): this.layout.currentStep
    //#pre[3] (void showFirst()): this.layout != null
    //#pre[4] (void showFirst()): this.layout.__Tag == com/dmdirc/installer/ui/StepLayout
    //#pre[5] (void showFirst()): (soft) this.layout.steps != null
    //#post(void showFirst()): possibly_updated(this.layout.currentStep)
    //#unanalyzed(void showFirst()): Effects-of-calling:java.util.List:size
    //#unanalyzed(void showFirst()): Effects-of-calling:java.awt.Container:getTreeLock
    //#unanalyzed(void showFirst()): Effects-of-calling:java.awt.Container:getComponentCount
    //#unanalyzed(void showFirst()): Effects-of-calling:java.awt.Container:getComponent
    //#unanalyzed(void showFirst()): Effects-of-calling:java.awt.Component:isVisible
    //#unanalyzed(void showFirst()): Effects-of-calling:java.awt.Component:setVisible
    //#unanalyzed(void showFirst()): Effects-of-calling:java.lang.Throwable:__curr_excep_obj
    //#unanalyzed(void showFirst()): Effects-of-calling:java.awt.Container:validate
    }
    //#WizardPanel.java:150: end of method: void com.dmdirc.installer.ui.WizardPanel.showFirst()

    /**
     * Shows the last step.
     */
    public void showLast() {
        layout.last(this);
    //#WizardPanel.java:156: method: void com.dmdirc.installer.ui.WizardPanel.showLast()
    //#input(void showLast()): com/dmdirc/installer/ui/StepLayout.__Descendant_Table[com/dmdirc/installer/ui/StepLayout]
    //#input(void showLast()): com/dmdirc/installer/ui/StepLayout.__Descendant_Table[others]
    //#input(void showLast()): com/dmdirc/installer/ui/StepLayout.__Dispatch_Table.last(Ljava/awt/Container;)V
    //#input(void showLast()): com/dmdirc/installer/ui/StepLayout.__Dispatch_Table.show(ILjava/awt/Container;)V
    //#input(void showLast()): this
    //#input(void showLast()): this.layout
    //#input(void showLast()): this.layout.__Tag
    //#input(void showLast()): this.layout.steps
    //#output(void showLast()): this.layout.currentStep
    //#pre[3] (void showLast()): this.layout != null
    //#pre[4] (void showLast()): this.layout.__Tag == com/dmdirc/installer/ui/StepLayout
    //#pre[5] (void showLast()): (soft) this.layout.steps != null
    //#post(void showLast()): possibly_updated(this.layout.currentStep)
    //#unanalyzed(void showLast()): Effects-of-calling:java.util.List:size
    //#unanalyzed(void showLast()): Effects-of-calling:java.awt.Container:getTreeLock
    //#unanalyzed(void showLast()): Effects-of-calling:java.awt.Container:getComponentCount
    //#unanalyzed(void showLast()): Effects-of-calling:java.awt.Container:getComponent
    //#unanalyzed(void showLast()): Effects-of-calling:java.awt.Component:isVisible
    //#unanalyzed(void showLast()): Effects-of-calling:java.awt.Component:setVisible
    //#unanalyzed(void showLast()): Effects-of-calling:java.lang.Throwable:__curr_excep_obj
    //#unanalyzed(void showLast()): Effects-of-calling:java.awt.Container:validate
    }
    //#WizardPanel.java:157: end of method: void com.dmdirc.installer.ui.WizardPanel.showLast()

    /**
     * Shows the next step.
     */
    public void nextStep() {
        layout.next(this);
    //#WizardPanel.java:163: method: void com.dmdirc.installer.ui.WizardPanel.nextStep()
    //#input(void nextStep()): com/dmdirc/installer/ui/StepLayout.__Descendant_Table[com/dmdirc/installer/ui/StepLayout]
    //#input(void nextStep()): com/dmdirc/installer/ui/StepLayout.__Descendant_Table[others]
    //#input(void nextStep()): com/dmdirc/installer/ui/StepLayout.__Dispatch_Table.next(Ljava/awt/Container;)V
    //#input(void nextStep()): com/dmdirc/installer/ui/StepLayout.__Dispatch_Table.show(ILjava/awt/Container;)V
    //#input(void nextStep()): this
    //#input(void nextStep()): this.layout
    //#input(void nextStep()): this.layout.__Tag
    //#input(void nextStep()): this.layout.currentStep
    //#input(void nextStep()): this.layout.steps
    //#output(void nextStep()): this.layout.currentStep
    //#pre[1] (void nextStep()): this.layout.currentStep <= 4_294_967_294
    //#pre[3] (void nextStep()): this.layout != null
    //#pre[4] (void nextStep()): this.layout.__Tag == com/dmdirc/installer/ui/StepLayout
    //#pre[5] (void nextStep()): (soft) this.layout.steps != null
    //#post(void nextStep()): init'ed(this.layout.currentStep)
    //#unanalyzed(void nextStep()): Effects-of-calling:java.util.List:size
    //#unanalyzed(void nextStep()): Effects-of-calling:java.awt.Container:getTreeLock
    //#unanalyzed(void nextStep()): Effects-of-calling:java.awt.Container:getComponentCount
    //#unanalyzed(void nextStep()): Effects-of-calling:java.awt.Container:getComponent
    //#unanalyzed(void nextStep()): Effects-of-calling:java.awt.Component:isVisible
    //#unanalyzed(void nextStep()): Effects-of-calling:java.awt.Component:setVisible
    //#unanalyzed(void nextStep()): Effects-of-calling:java.lang.Throwable:__curr_excep_obj
    //#unanalyzed(void nextStep()): Effects-of-calling:java.awt.Container:validate
    }
    //#WizardPanel.java:164: end of method: void com.dmdirc.installer.ui.WizardPanel.nextStep()

    /**
     * Shows the previous step.
     */
    public void previousStep() {
        layout.previous(this);
    //#WizardPanel.java:170: method: void com.dmdirc.installer.ui.WizardPanel.previousStep()
    //#input(void previousStep()): com/dmdirc/installer/ui/StepLayout.__Descendant_Table[com/dmdirc/installer/ui/StepLayout]
    //#input(void previousStep()): com/dmdirc/installer/ui/StepLayout.__Descendant_Table[others]
    //#input(void previousStep()): com/dmdirc/installer/ui/StepLayout.__Dispatch_Table.previous(Ljava/awt/Container;)V
    //#input(void previousStep()): com/dmdirc/installer/ui/StepLayout.__Dispatch_Table.show(ILjava/awt/Container;)V
    //#input(void previousStep()): this
    //#input(void previousStep()): this.layout
    //#input(void previousStep()): this.layout.__Tag
    //#input(void previousStep()): this.layout.currentStep
    //#input(void previousStep()): this.layout.steps
    //#output(void previousStep()): this.layout.currentStep
    //#pre[1] (void previousStep()): this.layout.currentStep >= -2_147_483_647
    //#pre[3] (void previousStep()): this.layout != null
    //#pre[4] (void previousStep()): this.layout.__Tag == com/dmdirc/installer/ui/StepLayout
    //#pre[5] (void previousStep()): (soft) this.layout.steps != null
    //#post(void previousStep()): init'ed(this.layout.currentStep)
    //#unanalyzed(void previousStep()): Effects-of-calling:java.util.List:size
    //#unanalyzed(void previousStep()): Effects-of-calling:java.awt.Container:getTreeLock
    //#unanalyzed(void previousStep()): Effects-of-calling:java.awt.Container:getComponentCount
    //#unanalyzed(void previousStep()): Effects-of-calling:java.awt.Container:getComponent
    //#unanalyzed(void previousStep()): Effects-of-calling:java.awt.Component:isVisible
    //#unanalyzed(void previousStep()): Effects-of-calling:java.awt.Component:setVisible
    //#unanalyzed(void previousStep()): Effects-of-calling:java.lang.Throwable:__curr_excep_obj
    //#unanalyzed(void previousStep()): Effects-of-calling:java.awt.Container:validate
    }
    //#WizardPanel.java:171: end of method: void com.dmdirc.installer.ui.WizardPanel.previousStep()

    /**
     * Shows the specified step.
     * 
     * @param step Step index
     */
    public void showStep(final int step) {
        layout.show(step, this);
    //#WizardPanel.java:179: method: void com.dmdirc.installer.ui.WizardPanel.showStep(int)
    //#input(void showStep(int)): com/dmdirc/installer/ui/StepLayout.__Descendant_Table[com/dmdirc/installer/ui/StepLayout]
    //#input(void showStep(int)): com/dmdirc/installer/ui/StepLayout.__Descendant_Table[others]
    //#input(void showStep(int)): com/dmdirc/installer/ui/StepLayout.__Dispatch_Table.show(ILjava/awt/Container;)V
    //#input(void showStep(int)): step
    //#input(void showStep(int)): this
    //#input(void showStep(int)): this.layout
    //#input(void showStep(int)): this.layout.__Tag
    //#input(void showStep(int)): this.layout.steps
    //#output(void showStep(int)): this.layout.currentStep
    //#pre[4] (void showStep(int)): this.layout != null
    //#pre[5] (void showStep(int)): this.layout.__Tag == com/dmdirc/installer/ui/StepLayout
    //#pre[6] (void showStep(int)): (soft) this.layout.steps != null
    //#post(void showStep(int)): possibly_updated(this.layout.currentStep)
    //#unanalyzed(void showStep(int)): Effects-of-calling:java.util.List:size
    //#unanalyzed(void showStep(int)): Effects-of-calling:java.awt.Container:getTreeLock
    //#unanalyzed(void showStep(int)): Effects-of-calling:java.awt.Container:getComponentCount
    //#unanalyzed(void showStep(int)): Effects-of-calling:java.awt.Container:getComponent
    //#unanalyzed(void showStep(int)): Effects-of-calling:java.awt.Component:isVisible
    //#unanalyzed(void showStep(int)): Effects-of-calling:java.awt.Component:setVisible
    //#unanalyzed(void showStep(int)): Effects-of-calling:java.lang.Throwable:__curr_excep_obj
    //#unanalyzed(void showStep(int)): Effects-of-calling:java.awt.Container:validate
    }
    //#WizardPanel.java:180: end of method: void com.dmdirc.installer.ui.WizardPanel.showStep(int)
}
    //#output(com.dmdirc.installer.ui.WizardPanel__static_init): __Descendant_Table[com/dmdirc/installer/ui/WizardPanel]
    //#output(com.dmdirc.installer.ui.WizardPanel__static_init): __Dispatch_Table.addStep(Lcom/dmdirc/installer/ui/SwingStep;)V
    //#output(com.dmdirc.installer.ui.WizardPanel__static_init): __Dispatch_Table.display()V
    //#output(com.dmdirc.installer.ui.WizardPanel__static_init): __Dispatch_Table.display(Ljava/util/List;)V
    //#output(com.dmdirc.installer.ui.WizardPanel__static_init): __Dispatch_Table.getCurrentStep()Lcom/dmdirc/installer/Step;
    //#output(com.dmdirc.installer.ui.WizardPanel__static_init): __Dispatch_Table.getCurrentStepIndex()I
    //#output(com.dmdirc.installer.ui.WizardPanel__static_init): __Dispatch_Table.getCurrentStepName()Ljava/lang/String;
    //#output(com.dmdirc.installer.ui.WizardPanel__static_init): __Dispatch_Table.getStep(I)Lcom/dmdirc/installer/Step;
    //#output(com.dmdirc.installer.ui.WizardPanel__static_init): __Dispatch_Table.getStep(Ljava/lang/String;)Lcom/dmdirc/installer/Step;
    //#output(com.dmdirc.installer.ui.WizardPanel__static_init): __Dispatch_Table.getTotalSteps()I
    //#output(com.dmdirc.installer.ui.WizardPanel__static_init): __Dispatch_Table.nextStep()V
    //#output(com.dmdirc.installer.ui.WizardPanel__static_init): __Dispatch_Table.previousStep()V
    //#output(com.dmdirc.installer.ui.WizardPanel__static_init): __Dispatch_Table.showFirst()V
    //#output(com.dmdirc.installer.ui.WizardPanel__static_init): __Dispatch_Table.showLast()V
    //#output(com.dmdirc.installer.ui.WizardPanel__static_init): __Dispatch_Table.showStep(I)V
    //#post(com.dmdirc.installer.ui.WizardPanel__static_init): __Descendant_Table[com/dmdirc/installer/ui/WizardPanel] == &__Dispatch_Table
    //#post(com.dmdirc.installer.ui.WizardPanel__static_init): __Dispatch_Table.addStep(Lcom/dmdirc/installer/ui/SwingStep;)V == &addStep
    //#post(com.dmdirc.installer.ui.WizardPanel__static_init): __Dispatch_Table.display()V == &display
    //#post(com.dmdirc.installer.ui.WizardPanel__static_init): __Dispatch_Table.display(Ljava/util/List;)V == &display
    //#post(com.dmdirc.installer.ui.WizardPanel__static_init): __Dispatch_Table.getCurrentStep()Lcom/dmdirc/installer/Step; == &getCurrentStep
    //#post(com.dmdirc.installer.ui.WizardPanel__static_init): __Dispatch_Table.getCurrentStepIndex()I == &getCurrentStepIndex
    //#post(com.dmdirc.installer.ui.WizardPanel__static_init): __Dispatch_Table.getCurrentStepName()Ljava/lang/String; == &getCurrentStepName
    //#post(com.dmdirc.installer.ui.WizardPanel__static_init): __Dispatch_Table.getStep(I)Lcom/dmdirc/installer/Step; == &getStep
    //#post(com.dmdirc.installer.ui.WizardPanel__static_init): __Dispatch_Table.getStep(Ljava/lang/String;)Lcom/dmdirc/installer/Step; == &getStep
    //#post(com.dmdirc.installer.ui.WizardPanel__static_init): __Dispatch_Table.getTotalSteps()I == &getTotalSteps
    //#post(com.dmdirc.installer.ui.WizardPanel__static_init): __Dispatch_Table.nextStep()V == &nextStep
    //#post(com.dmdirc.installer.ui.WizardPanel__static_init): __Dispatch_Table.previousStep()V == &previousStep
    //#post(com.dmdirc.installer.ui.WizardPanel__static_init): __Dispatch_Table.showFirst()V == &showFirst
    //#post(com.dmdirc.installer.ui.WizardPanel__static_init): __Dispatch_Table.showLast()V == &showLast
    //#post(com.dmdirc.installer.ui.WizardPanel__static_init): __Dispatch_Table.showStep(I)V == &showStep
    //#WizardPanel.java:: end of method: com.dmdirc.installer.ui.WizardPanel.com.dmdirc.installer.ui.WizardPanel__static_init
    //#WizardPanel.java:: end of class: com.dmdirc.installer.ui.WizardPanel
