//# 0 errors, 59 messages
//#
/*
    //#StepError.java:1:1: class: com.dmdirc.installer.ui.StepError
    //#StepError.java:1:1: method: com.dmdirc.installer.ui.StepError.com.dmdirc.installer.ui.StepError__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 java.awt.BorderLayout;
import java.awt.Image;

/**
 * This step shows an unable to install error
 */
public final class StepError extends SwingStep {

    /**
     * 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;

    /**
     * Creates a new instance of StepError with a default error message.
     */
    public StepError() {
        this("Sorry, it is not possible to install DMDirc on this system at this time.\n\n");
    //#StepError.java:44: method: void com.dmdirc.installer.ui.StepError.com.dmdirc.installer.ui.StepError()
    //#input(void com.dmdirc.installer.ui.StepError()): this
    //#unanalyzed(void com.dmdirc.installer.ui.StepError()): Effects-of-calling:com.dmdirc.installer.ui.SwingStep
    //#unanalyzed(void com.dmdirc.installer.ui.StepError()): Effects-of-calling:java.awt.BorderLayout
    //#unanalyzed(void com.dmdirc.installer.ui.StepError()): Effects-of-calling:com.dmdirc.installer.ui.StepError:setLayout
    //#unanalyzed(void com.dmdirc.installer.ui.StepError()): Effects-of-calling:javax.swing.text.DefaultStyledDocument
    //#unanalyzed(void com.dmdirc.installer.ui.StepError()): Effects-of-calling:javax.swing.JTextPane
    //#unanalyzed(void com.dmdirc.installer.ui.StepError()): Effects-of-calling:com.dmdirc.installer.ui.TextLabel:setOpaque
    //#unanalyzed(void com.dmdirc.installer.ui.StepError()): Effects-of-calling:com.dmdirc.installer.ui.TextLabel:setEditable
    //#unanalyzed(void com.dmdirc.installer.ui.StepError()): Effects-of-calling:com.dmdirc.installer.ui.TextLabel:setHighlighter
    //#unanalyzed(void com.dmdirc.installer.ui.StepError()): Effects-of-calling:java.awt.Insets
    //#unanalyzed(void com.dmdirc.installer.ui.StepError()): Effects-of-calling:com.dmdirc.installer.ui.TextLabel:setMargin
    //#unanalyzed(void com.dmdirc.installer.ui.StepError()): Effects-of-calling:com.dmdirc.installer.ui.TextLabel:setText
    //#unanalyzed(void com.dmdirc.installer.ui.StepError()): Effects-of-calling:com.dmdirc.installer.ui.StepError:add
    //#unanalyzed(void com.dmdirc.installer.ui.StepError()): Effects-of-calling:javax.swing.JPanel
    }
    //#StepError.java:45: end of method: void com.dmdirc.installer.ui.StepError.com.dmdirc.installer.ui.StepError()

    /**
     * Creates a new instance of StepError with a given error message.
     *
     * @param message Error message to show.
     */
    public StepError(final String message) {
        super();
    //#StepError.java:53: method: void com.dmdirc.installer.ui.StepError.com.dmdirc.installer.ui.StepError(String)
    //#input(void com.dmdirc.installer.ui.StepError(String)): message
    //#input(void com.dmdirc.installer.ui.StepError(String)): this
    //#unanalyzed(void com.dmdirc.installer.ui.StepError(String)): Effects-of-calling:javax.swing.text.DefaultStyledDocument
    //#unanalyzed(void com.dmdirc.installer.ui.StepError(String)): Effects-of-calling:javax.swing.JTextPane
    //#unanalyzed(void com.dmdirc.installer.ui.StepError(String)): Effects-of-calling:com.dmdirc.installer.ui.TextLabel:setOpaque
    //#unanalyzed(void com.dmdirc.installer.ui.StepError(String)): Effects-of-calling:com.dmdirc.installer.ui.TextLabel:setEditable
    //#unanalyzed(void com.dmdirc.installer.ui.StepError(String)): Effects-of-calling:com.dmdirc.installer.ui.TextLabel:setHighlighter
    //#unanalyzed(void com.dmdirc.installer.ui.StepError(String)): Effects-of-calling:java.awt.Insets
    //#unanalyzed(void com.dmdirc.installer.ui.StepError(String)): Effects-of-calling:com.dmdirc.installer.ui.TextLabel:setMargin
    //#unanalyzed(void com.dmdirc.installer.ui.StepError(String)): Effects-of-calling:com.dmdirc.installer.ui.TextLabel:setText
    //#unanalyzed(void com.dmdirc.installer.ui.StepError(String)): Effects-of-calling:javax.swing.JPanel
        setLayout(new BorderLayout());
    //#StepError.java:54: Warning: method not available - call not analyzed
    //#    call on void com.dmdirc.installer.ui.StepError:setLayout(LayoutManager)
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.installer.ui.StepError
    //#    method: void com.dmdirc.installer.ui.StepError(String)
    //#    unanalyzed callee: void com.dmdirc.installer.ui.StepError:setLayout(LayoutManager)
        add(new TextLabel(message), BorderLayout.CENTER);
    //#StepError.java:55: Warning: method not available - call not analyzed
    //#    call on void com.dmdirc.installer.ui.StepError:add(Component, Object)
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.installer.ui.StepError
    //#    method: void com.dmdirc.installer.ui.StepError(String)
    //#    unanalyzed callee: void com.dmdirc.installer.ui.StepError:add(Component, Object)
    }
    //#StepError.java:56: end of method: void com.dmdirc.installer.ui.StepError.com.dmdirc.installer.ui.StepError(String)

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

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

    /** {@inheritDoc} */
    @Override
    public String getStepDescription() {
        return "";
    //#StepError.java:73: method: String com.dmdirc.installer.ui.StepError.getStepDescription()
    //#output(String getStepDescription()): return_value
    //#post(String getStepDescription()): return_value == &""
    //#StepError.java:73: end of method: String com.dmdirc.installer.ui.StepError.getStepDescription()
    }
}
    //#output(com.dmdirc.installer.ui.StepError__static_init): __Descendant_Table[com/dmdirc/installer/ui/StepError]
    //#output(com.dmdirc.installer.ui.StepError__static_init): __Dispatch_Table.getIcon()Ljava/awt/Image;
    //#output(com.dmdirc.installer.ui.StepError__static_init): __Dispatch_Table.getStepDescription()Ljava/lang/String;
    //#output(com.dmdirc.installer.ui.StepError__static_init): __Dispatch_Table.getStepName()Ljava/lang/String;
    //#output(com.dmdirc.installer.ui.StepError__static_init): com/dmdirc/installer/Step.__Descendant_Table[com/dmdirc/installer/ui/StepError]
    //#output(com.dmdirc.installer.ui.StepError__static_init): com/dmdirc/installer/ui/SwingStep.__Descendant_Table[com/dmdirc/installer/ui/StepError]
    //#post(com.dmdirc.installer.ui.StepError__static_init): __Descendant_Table[com/dmdirc/installer/ui/StepError] == &__Dispatch_Table
    //#post(com.dmdirc.installer.ui.StepError__static_init): com/dmdirc/installer/Step.__Descendant_Table[com/dmdirc/installer/ui/StepError] == &__Dispatch_Table
    //#post(com.dmdirc.installer.ui.StepError__static_init): com/dmdirc/installer/ui/SwingStep.__Descendant_Table[com/dmdirc/installer/ui/StepError] == &__Dispatch_Table
    //#post(com.dmdirc.installer.ui.StepError__static_init): __Dispatch_Table.getIcon()Ljava/awt/Image; == &getIcon
    //#post(com.dmdirc.installer.ui.StepError__static_init): __Dispatch_Table.getStepDescription()Ljava/lang/String; == &getStepDescription
    //#post(com.dmdirc.installer.ui.StepError__static_init): __Dispatch_Table.getStepName()Ljava/lang/String; == &getStepName
    //#StepError.java:: end of method: com.dmdirc.installer.ui.StepError.com.dmdirc.installer.ui.StepError__static_init
    //#StepError.java:: end of class: com.dmdirc.installer.ui.StepError
