//# 0 errors, 129 messages
//#
/*
    //#StepConfirm.java:1:1: class: com.dmdirc.installer.ui.StepConfirm$2
    //#StepConfirm.java:1:1: method: com.dmdirc.installer.ui.StepConfirm$2.com.dmdirc.installer.ui.StepConfirm$2__static_init
    //#StepConfirm.java:1:1: class: com.dmdirc.installer.ui.StepConfirm$1
    //#StepConfirm.java:1:1: method: com.dmdirc.installer.ui.StepConfirm$1.com.dmdirc.installer.ui.StepConfirm$1__static_init
    //#StepConfirm.java:1:1: class: com.dmdirc.installer.ui.StepConfirm
    //#StepConfirm.java:1:1: method: com.dmdirc.installer.ui.StepConfirm.com.dmdirc.installer.ui.StepConfirm__static_init
 * Copyright (c) 2006-2009 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.TextStep;

import java.awt.BorderLayout;
import java.awt.Image;
import javax.swing.SwingUtilities;

/**
 * This confirms the settings chosen in the previous step
 */
public final class StepConfirm extends SwingStep implements TextStep {
    //#StepConfirm.java:34: method: TextLabel com.dmdirc.installer.ui.StepConfirm.access$000(StepConfirm)
    //#input(TextLabel access$000(StepConfirm)): x0
    //#input(TextLabel access$000(StepConfirm)): x0.infoLabel
    //#output(TextLabel access$000(StepConfirm)): return_value
    //#pre[1] (TextLabel access$000(StepConfirm)): x0 != null
    //#post(TextLabel access$000(StepConfirm)): return_value == x0.infoLabel
    //#post(TextLabel access$000(StepConfirm)): init'ed(return_value)
    //#StepConfirm.java:34: end of method: TextLabel com.dmdirc.installer.ui.StepConfirm.access$000(StepConfirm)

    /**
     * A version number for this class. It should be changed whenever the class
     * structure is changed (or anything else that would prevent serialized
     * objects being unserialized with the new class).
     */
    private static final long serialVersionUID = 2;
    /** Text area showing the install information */
    private final TextLabel infoLabel = new TextLabel("");

    /**
     * Creates a new instance of StepConfirm.
     */
    public StepConfirm() {
        super();
    //#StepConfirm.java:49: method: void com.dmdirc.installer.ui.StepConfirm.com.dmdirc.installer.ui.StepConfirm()
    //#input(void com.dmdirc.installer.ui.StepConfirm()): this
    //#output(void com.dmdirc.installer.ui.StepConfirm()): new TextLabel(StepConfirm#1) num objects
    //#output(void com.dmdirc.installer.ui.StepConfirm()): this.infoLabel.__Tag
    //#output(void com.dmdirc.installer.ui.StepConfirm()): this.infoLabel
    //#new obj(void com.dmdirc.installer.ui.StepConfirm()): new TextLabel(StepConfirm#1)
    //#post(void com.dmdirc.installer.ui.StepConfirm()): this.infoLabel == &new TextLabel(StepConfirm#1)
    //#post(void com.dmdirc.installer.ui.StepConfirm()): new TextLabel(StepConfirm#1) num objects == 1
    //#post(void com.dmdirc.installer.ui.StepConfirm()): this.infoLabel.__Tag == com/dmdirc/installer/ui/TextLabel
    //#unanalyzed(void com.dmdirc.installer.ui.StepConfirm()): Effects-of-calling:javax.swing.JPanel
    //#unanalyzed(void com.dmdirc.installer.ui.StepConfirm()): Effects-of-calling:javax.swing.text.DefaultStyledDocument
    //#unanalyzed(void com.dmdirc.installer.ui.StepConfirm()): Effects-of-calling:javax.swing.JTextPane
    //#unanalyzed(void com.dmdirc.installer.ui.StepConfirm()): Effects-of-calling:com.dmdirc.installer.ui.TextLabel:setOpaque
    //#unanalyzed(void com.dmdirc.installer.ui.StepConfirm()): Effects-of-calling:com.dmdirc.installer.ui.TextLabel:setEditable
    //#unanalyzed(void com.dmdirc.installer.ui.StepConfirm()): Effects-of-calling:com.dmdirc.installer.ui.TextLabel:setHighlighter
    //#unanalyzed(void com.dmdirc.installer.ui.StepConfirm()): Effects-of-calling:java.awt.Insets
    //#unanalyzed(void com.dmdirc.installer.ui.StepConfirm()): Effects-of-calling:com.dmdirc.installer.ui.TextLabel:setMargin
    //#unanalyzed(void com.dmdirc.installer.ui.StepConfirm()): Effects-of-calling:com.dmdirc.installer.ui.TextLabel:setText
        setLayout(new BorderLayout());
    //#StepConfirm.java:50: Warning: method not available - call not analyzed
    //#    call on void com.dmdirc.installer.ui.StepConfirm:setLayout(LayoutManager)
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.installer.ui.StepConfirm
    //#    method: void com.dmdirc.installer.ui.StepConfirm()
    //#    unanalyzed callee: void com.dmdirc.installer.ui.StepConfirm:setLayout(LayoutManager)
        add(infoLabel, BorderLayout.CENTER);
    //#StepConfirm.java:51: Warning: method not available - call not analyzed
    //#    call on void com.dmdirc.installer.ui.StepConfirm:add(Component, Object)
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.installer.ui.StepConfirm
    //#    method: void com.dmdirc.installer.ui.StepConfirm()
    //#    unanalyzed callee: void com.dmdirc.installer.ui.StepConfirm:add(Component, Object)
    }
    //#StepConfirm.java:52: end of method: void com.dmdirc.installer.ui.StepConfirm.com.dmdirc.installer.ui.StepConfirm()

    /** {@inheritDoc} */
    @Override
    public String getStepName() {
        return "Confirm";
    //#StepConfirm.java:57: method: String com.dmdirc.installer.ui.StepConfirm.getStepName()
    //#output(String getStepName()): return_value
    //#post(String getStepName()): return_value == &"Confirm"
    //#StepConfirm.java:57: end of method: String com.dmdirc.installer.ui.StepConfirm.getStepName()
    }

    /** {@inheritDoc} */
    @Override
    public Image getIcon() {
        return null;
    //#StepConfirm.java:63: method: Image com.dmdirc.installer.ui.StepConfirm.getIcon()
    //#output(Image getIcon()): return_value
    //#post(Image getIcon()): return_value == null
    //#StepConfirm.java:63: end of method: Image com.dmdirc.installer.ui.StepConfirm.getIcon()
    }

    /** {@inheritDoc} */
    @Override
    public String getStepDescription() {
        return "";
    //#StepConfirm.java:69: method: String com.dmdirc.installer.ui.StepConfirm.getStepDescription()
    //#output(String getStepDescription()): return_value
    //#post(String getStepDescription()): return_value == &""
    //#StepConfirm.java:69: end of method: String com.dmdirc.installer.ui.StepConfirm.getStepDescription()
    }

    /** {@inheritDoc} */
    @Override
    public void addText(final String text) {
        SwingUtilities.invokeLater(new Runnable() {
    //#StepConfirm.java:75: method: void com.dmdirc.installer.ui.StepConfirm$1.com.dmdirc.installer.ui.StepConfirm$1(StepConfirm, String)
    //#input(void com.dmdirc.installer.ui.StepConfirm$1(StepConfirm, String)): Param_1
    //#input(void com.dmdirc.installer.ui.StepConfirm$1(StepConfirm, String)): Param_2
    //#input(void com.dmdirc.installer.ui.StepConfirm$1(StepConfirm, String)): this
    //#output(void com.dmdirc.installer.ui.StepConfirm$1(StepConfirm, String)): this.this$0
    //#output(void com.dmdirc.installer.ui.StepConfirm$1(StepConfirm, String)): this.val$text
    //#post(void com.dmdirc.installer.ui.StepConfirm$1(StepConfirm, String)): this.this$0 == Param_1
    //#post(void com.dmdirc.installer.ui.StepConfirm$1(StepConfirm, String)): init'ed(this.this$0)
    //#post(void com.dmdirc.installer.ui.StepConfirm$1(StepConfirm, String)): this.val$text == Param_2
    //#post(void com.dmdirc.installer.ui.StepConfirm$1(StepConfirm, String)): init'ed(this.val$text)
    //#StepConfirm.java:75: end of method: void com.dmdirc.installer.ui.StepConfirm$1.com.dmdirc.installer.ui.StepConfirm$1(StepConfirm, String)
    //#StepConfirm.java:75: method: void com.dmdirc.installer.ui.StepConfirm.addText(String)
    //#input(void addText(String)): text
    //#input(void addText(String)): this

            @Override
            public void run() {
                infoLabel.setText(infoLabel.getText() + text);
    //#StepConfirm.java:79: method: void com.dmdirc.installer.ui.StepConfirm$1.run()
    //#StepConfirm.java:79: Warning: method not available - call not analyzed
    //#    call on String com.dmdirc.installer.ui.TextLabel:getText()
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.installer.ui.StepConfirm$1
    //#    method: void run()
    //#    unanalyzed callee: String com.dmdirc.installer.ui.TextLabel:getText()
    //#StepConfirm.java:79: Warning: method not available - call not analyzed
    //#    call on void com.dmdirc.installer.ui.TextLabel:setText(String)
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.installer.ui.StepConfirm$1
    //#    method: void run()
    //#    unanalyzed callee: void com.dmdirc.installer.ui.TextLabel:setText(String)
    //#input(void run()): this
    //#input(void run()): this.this$0
    //#input(void run()): this.this$0.infoLabel
    //#input(void run()): this.val$text
    //#input(void run()): this.val$text._tainted
    //#pre[2] (void run()): this.this$0 != null
    //#pre[3] (void run()): this.infoLabel != null
            }
    //#StepConfirm.java:80: end of method: void com.dmdirc.installer.ui.StepConfirm$1.run()
        });
    }
    //#StepConfirm.java:82: end of method: void com.dmdirc.installer.ui.StepConfirm.addText(String)

    /** {@inheritDoc} */
    @Override
    public void setText(final String text) {
        SwingUtilities.invokeLater(new Runnable() {
    //#StepConfirm.java:87: method: void com.dmdirc.installer.ui.StepConfirm$2.com.dmdirc.installer.ui.StepConfirm$2(StepConfirm, String)
    //#input(void com.dmdirc.installer.ui.StepConfirm$2(StepConfirm, String)): Param_1
    //#input(void com.dmdirc.installer.ui.StepConfirm$2(StepConfirm, String)): Param_2
    //#input(void com.dmdirc.installer.ui.StepConfirm$2(StepConfirm, String)): this
    //#output(void com.dmdirc.installer.ui.StepConfirm$2(StepConfirm, String)): this.this$0
    //#output(void com.dmdirc.installer.ui.StepConfirm$2(StepConfirm, String)): this.val$text
    //#post(void com.dmdirc.installer.ui.StepConfirm$2(StepConfirm, String)): this.this$0 == Param_1
    //#post(void com.dmdirc.installer.ui.StepConfirm$2(StepConfirm, String)): init'ed(this.this$0)
    //#post(void com.dmdirc.installer.ui.StepConfirm$2(StepConfirm, String)): this.val$text == Param_2
    //#post(void com.dmdirc.installer.ui.StepConfirm$2(StepConfirm, String)): init'ed(this.val$text)
    //#StepConfirm.java:87: end of method: void com.dmdirc.installer.ui.StepConfirm$2.com.dmdirc.installer.ui.StepConfirm$2(StepConfirm, String)
    //#StepConfirm.java:87: method: void com.dmdirc.installer.ui.StepConfirm.setText(String)
    //#input(void setText(String)): text
    //#input(void setText(String)): this

            @Override
            public void run() {
                infoLabel.setText(text);
    //#StepConfirm.java:91: method: void com.dmdirc.installer.ui.StepConfirm$2.run()
    //#StepConfirm.java:91: Warning: method not available - call not analyzed
    //#    call on void com.dmdirc.installer.ui.TextLabel:setText(String)
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.installer.ui.StepConfirm$2
    //#    method: void run()
    //#    unanalyzed callee: void com.dmdirc.installer.ui.TextLabel:setText(String)
    //#input(void run()): this
    //#input(void run()): this.this$0
    //#input(void run()): this.this$0.infoLabel
    //#input(void run()): this.val$text
    //#pre[2] (void run()): this.this$0 != null
    //#pre[3] (void run()): this.infoLabel != null
            }
    //#StepConfirm.java:92: end of method: void com.dmdirc.installer.ui.StepConfirm$2.run()
        });
    }
    //#StepConfirm.java:94: end of method: void com.dmdirc.installer.ui.StepConfirm.setText(String)
}
    //#output(com.dmdirc.installer.ui.StepConfirm$2__static_init): __Descendant_Table[com/dmdirc/installer/ui/StepConfirm$2]
    //#output(com.dmdirc.installer.ui.StepConfirm$2__static_init): __Dispatch_Table.run()V
    //#post(com.dmdirc.installer.ui.StepConfirm$2__static_init): __Descendant_Table[com/dmdirc/installer/ui/StepConfirm$2] == &__Dispatch_Table
    //#post(com.dmdirc.installer.ui.StepConfirm$2__static_init): __Dispatch_Table.run()V == &run
    //#StepConfirm.java:: end of method: com.dmdirc.installer.ui.StepConfirm$2.com.dmdirc.installer.ui.StepConfirm$2__static_init
    //#StepConfirm.java:: end of class: com.dmdirc.installer.ui.StepConfirm$2
    //#output(com.dmdirc.installer.ui.StepConfirm$1__static_init): __Descendant_Table[com/dmdirc/installer/ui/StepConfirm$1]
    //#output(com.dmdirc.installer.ui.StepConfirm$1__static_init): __Dispatch_Table.run()V
    //#post(com.dmdirc.installer.ui.StepConfirm$1__static_init): __Descendant_Table[com/dmdirc/installer/ui/StepConfirm$1] == &__Dispatch_Table
    //#post(com.dmdirc.installer.ui.StepConfirm$1__static_init): __Dispatch_Table.run()V == &run
    //#StepConfirm.java:: end of method: com.dmdirc.installer.ui.StepConfirm$1.com.dmdirc.installer.ui.StepConfirm$1__static_init
    //#StepConfirm.java:: end of class: com.dmdirc.installer.ui.StepConfirm$1
    //#output(com.dmdirc.installer.ui.StepConfirm__static_init): __Descendant_Table[com/dmdirc/installer/ui/StepConfirm]
    //#output(com.dmdirc.installer.ui.StepConfirm__static_init): __Dispatch_Table.addText(Ljava/lang/String;)V
    //#output(com.dmdirc.installer.ui.StepConfirm__static_init): __Dispatch_Table.getIcon()Ljava/awt/Image;
    //#output(com.dmdirc.installer.ui.StepConfirm__static_init): __Dispatch_Table.getStepDescription()Ljava/lang/String;
    //#output(com.dmdirc.installer.ui.StepConfirm__static_init): __Dispatch_Table.getStepName()Ljava/lang/String;
    //#output(com.dmdirc.installer.ui.StepConfirm__static_init): __Dispatch_Table.setText(Ljava/lang/String;)V
    //#output(com.dmdirc.installer.ui.StepConfirm__static_init): com/dmdirc/installer/Step.__Descendant_Table[com/dmdirc/installer/ui/StepConfirm]
    //#output(com.dmdirc.installer.ui.StepConfirm__static_init): com/dmdirc/installer/TextStep.__Descendant_Table[com/dmdirc/installer/ui/StepConfirm]
    //#output(com.dmdirc.installer.ui.StepConfirm__static_init): com/dmdirc/installer/ui/SwingStep.__Descendant_Table[com/dmdirc/installer/ui/StepConfirm]
    //#post(com.dmdirc.installer.ui.StepConfirm__static_init): __Descendant_Table[com/dmdirc/installer/ui/StepConfirm] == &__Dispatch_Table
    //#post(com.dmdirc.installer.ui.StepConfirm__static_init): com/dmdirc/installer/Step.__Descendant_Table[com/dmdirc/installer/ui/StepConfirm] == &__Dispatch_Table
    //#post(com.dmdirc.installer.ui.StepConfirm__static_init): com/dmdirc/installer/TextStep.__Descendant_Table[com/dmdirc/installer/ui/StepConfirm] == &__Dispatch_Table
    //#post(com.dmdirc.installer.ui.StepConfirm__static_init): com/dmdirc/installer/ui/SwingStep.__Descendant_Table[com/dmdirc/installer/ui/StepConfirm] == &__Dispatch_Table
    //#post(com.dmdirc.installer.ui.StepConfirm__static_init): __Dispatch_Table.addText(Ljava/lang/String;)V == &addText
    //#post(com.dmdirc.installer.ui.StepConfirm__static_init): __Dispatch_Table.getIcon()Ljava/awt/Image; == &getIcon
    //#post(com.dmdirc.installer.ui.StepConfirm__static_init): __Dispatch_Table.getStepDescription()Ljava/lang/String; == &getStepDescription
    //#post(com.dmdirc.installer.ui.StepConfirm__static_init): __Dispatch_Table.getStepName()Ljava/lang/String; == &getStepName
    //#post(com.dmdirc.installer.ui.StepConfirm__static_init): __Dispatch_Table.setText(Ljava/lang/String;)V == &setText
    //#StepConfirm.java:: end of method: com.dmdirc.installer.ui.StepConfirm.com.dmdirc.installer.ui.StepConfirm__static_init
    //#StepConfirm.java:: end of class: com.dmdirc.installer.ui.StepConfirm
