//# 0 errors, 67 messages
//#
/*
    //#ExtractionStep.java:1:1: class: com.dmdirc.addons.ui_swing.wizard.firstrun.ExtractionStep
    //#ExtractionStep.java:1:1: method: com.dmdirc.addons.ui_swing.wizard.firstrun.ExtractionStep.com.dmdirc.addons.ui_swing.wizard.firstrun.ExtractionStep__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.addons.ui_swing.wizard.firstrun;

import com.dmdirc.addons.ui_swing.wizard.Step;

import javax.swing.JCheckBox;

/**
 * Queries the user for which core actions they wish to extract.
 */
public abstract class ExtractionStep extends Step {
    
    /** Plugins checkbox. */
    protected final JCheckBox plugins;
    /** Actions checkbox. */
    protected final JCheckBox actions;
    
    /** Creates a new instance of StepOne. */
    public ExtractionStep() {
        super();
    //#ExtractionStep.java:41: method: void com.dmdirc.addons.ui_swing.wizard.firstrun.ExtractionStep.com.dmdirc.addons.ui_swing.wizard.firstrun.ExtractionStep()
    //#ExtractionStep.java:41: Warning: suspicious precondition
    //#    The precondition for this.__Tag is not a contiguous range of values
    //#    severity: SUPPRESSED
    //#    class: com.dmdirc.addons.ui_swing.wizard.firstrun.ExtractionStep
    //#    method: void com.dmdirc.addons.ui_swing.wizard.firstrun.ExtractionStep()
    //#    suspicious precondition index: [1]
    //#input(void com.dmdirc.addons.ui_swing.wizard.firstrun.ExtractionStep()): __Descendant_Table[com/dmdirc/addons/ui_swing/wizard/firstrun/ExtractionStep]
    //#input(void com.dmdirc.addons.ui_swing.wizard.firstrun.ExtractionStep()): __Descendant_Table[com/dmdirc/addons/ui_swing/wizard/firstrun/FirstRunExtractionStep]
    //#input(void com.dmdirc.addons.ui_swing.wizard.firstrun.ExtractionStep()): __Descendant_Table[com/dmdirc/addons/ui_swing/wizard/firstrun/MigrationExtrationStep]
    //#input(void com.dmdirc.addons.ui_swing.wizard.firstrun.ExtractionStep()): __Descendant_Table[others]
    //#input(void com.dmdirc.addons.ui_swing.wizard.firstrun.ExtractionStep()): __Dispatch_Table.initComponents()V
    //#input(void com.dmdirc.addons.ui_swing.wizard.firstrun.ExtractionStep()): com/dmdirc/addons/ui_swing/wizard/firstrun/FirstRunExtractionStep.__Dispatch_Table.initComponents()V
    //#input(void com.dmdirc.addons.ui_swing.wizard.firstrun.ExtractionStep()): com/dmdirc/addons/ui_swing/wizard/firstrun/MigrationExtrationStep.__Dispatch_Table.initComponents()V
    //#input(void com.dmdirc.addons.ui_swing.wizard.firstrun.ExtractionStep()): this
    //#input(void com.dmdirc.addons.ui_swing.wizard.firstrun.ExtractionStep()): this.__Tag
    //#output(void com.dmdirc.addons.ui_swing.wizard.firstrun.ExtractionStep()): new JCheckBox(ExtractionStep#1) num objects
    //#output(void com.dmdirc.addons.ui_swing.wizard.firstrun.ExtractionStep()): new JCheckBox(ExtractionStep#2) num objects
    //#output(void com.dmdirc.addons.ui_swing.wizard.firstrun.ExtractionStep()): this.__Tag
    //#output(void com.dmdirc.addons.ui_swing.wizard.firstrun.ExtractionStep()): this.actions
    //#output(void com.dmdirc.addons.ui_swing.wizard.firstrun.ExtractionStep()): this.plugins
    //#new obj(void com.dmdirc.addons.ui_swing.wizard.firstrun.ExtractionStep()): new JCheckBox(ExtractionStep#1)
    //#new obj(void com.dmdirc.addons.ui_swing.wizard.firstrun.ExtractionStep()): new JCheckBox(ExtractionStep#2)
    //#pre[1] (void com.dmdirc.addons.ui_swing.wizard.firstrun.ExtractionStep()): this.__Tag in {com/dmdirc/addons/ui_swing/wizard/firstrun/ExtractionStep, com/dmdirc/addons/ui_swing/wizard/firstrun/FirstRunExtractionStep, com/dmdirc/addons/ui_swing/wizard/firstrun/MigrationExtrationStep}
    //#post(void com.dmdirc.addons.ui_swing.wizard.firstrun.ExtractionStep()): this.__Tag == old this.__Tag
    //#post(void com.dmdirc.addons.ui_swing.wizard.firstrun.ExtractionStep()): this.__Tag in {com/dmdirc/addons/ui_swing/wizard/firstrun/ExtractionStep, com/dmdirc/addons/ui_swing/wizard/firstrun/FirstRunExtractionStep, com/dmdirc/addons/ui_swing/wizard/firstrun/MigrationExtrationStep}
    //#post(void com.dmdirc.addons.ui_swing.wizard.firstrun.ExtractionStep()): this.actions == &new JCheckBox(ExtractionStep#2)
    //#post(void com.dmdirc.addons.ui_swing.wizard.firstrun.ExtractionStep()): this.plugins == &new JCheckBox(ExtractionStep#1)
    //#post(void com.dmdirc.addons.ui_swing.wizard.firstrun.ExtractionStep()): new JCheckBox(ExtractionStep#1) num objects == 1
    //#post(void com.dmdirc.addons.ui_swing.wizard.firstrun.ExtractionStep()): new JCheckBox(ExtractionStep#2) num objects == 1
    //#unanalyzed(void com.dmdirc.addons.ui_swing.wizard.firstrun.ExtractionStep()): Effects-of-calling:net.miginfocom.swing.MigLayout
    //#unanalyzed(void com.dmdirc.addons.ui_swing.wizard.firstrun.ExtractionStep()): Effects-of-calling:com.dmdirc.addons.ui_swing.wizard.firstrun.MigrationExtrationStep:setLayout
    //#unanalyzed(void com.dmdirc.addons.ui_swing.wizard.firstrun.ExtractionStep()): Effects-of-calling:com.dmdirc.addons.ui_swing.components.text.TextLabel
    //#unanalyzed(void com.dmdirc.addons.ui_swing.wizard.firstrun.ExtractionStep()): Effects-of-calling:com.dmdirc.addons.ui_swing.wizard.firstrun.MigrationExtrationStep:add
    //#unanalyzed(void com.dmdirc.addons.ui_swing.wizard.firstrun.ExtractionStep()): Effects-of-calling:com.dmdirc.addons.ui_swing.wizard.firstrun.FirstRunExtractionStep:setLayout
    //#unanalyzed(void com.dmdirc.addons.ui_swing.wizard.firstrun.ExtractionStep()): Effects-of-calling:com.dmdirc.addons.ui_swing.wizard.firstrun.FirstRunExtractionStep:add
    //#unanalyzed(void com.dmdirc.addons.ui_swing.wizard.firstrun.ExtractionStep()): Effects-of-calling:javax.swing.JPanel
        
        plugins = new JCheckBox("Install core plugins?");
        actions = new JCheckBox("Install core actions?");
        
        plugins.setSelected(true);
        actions.setSelected(true);
        
        initComponents();
    }
    //#ExtractionStep.java:50: end of method: void com.dmdirc.addons.ui_swing.wizard.firstrun.ExtractionStep.com.dmdirc.addons.ui_swing.wizard.firstrun.ExtractionStep()
    
    /**
     * Initialises the components.
     */
    protected abstract void initComponents();
    
    /**
     * Returns the state of the plugins checkbox.
     *
     * @return Plugins checkbox state
     */
    public final boolean getPluginsState() {
        return plugins.isSelected();
    //#ExtractionStep.java:63: method: bool com.dmdirc.addons.ui_swing.wizard.firstrun.ExtractionStep.getPluginsState()
    //#input(bool getPluginsState()): this
    //#input(bool getPluginsState()): this.plugins
    //#output(bool getPluginsState()): return_value
    //#pre[2] (bool getPluginsState()): this.plugins != null
    //#post(bool getPluginsState()): init'ed(return_value)
    //#ExtractionStep.java:63: end of method: bool com.dmdirc.addons.ui_swing.wizard.firstrun.ExtractionStep.getPluginsState()
    }

    /**
     * Returns the state of the actions checkbox.
     *
     * @return Actions checkbox state
     */
    public final boolean getActionsState() {
        return actions.isSelected();
    //#ExtractionStep.java:72: method: bool com.dmdirc.addons.ui_swing.wizard.firstrun.ExtractionStep.getActionsState()
    //#input(bool getActionsState()): this
    //#input(bool getActionsState()): this.actions
    //#output(bool getActionsState()): return_value
    //#pre[2] (bool getActionsState()): this.actions != null
    //#post(bool getActionsState()): init'ed(return_value)
    //#ExtractionStep.java:72: end of method: bool com.dmdirc.addons.ui_swing.wizard.firstrun.ExtractionStep.getActionsState()
    }

    /** {@inheritDoc} */
    @Override
    public String getTitle() {
        return "Core addon extraction";
    //#ExtractionStep.java:78: method: String com.dmdirc.addons.ui_swing.wizard.firstrun.ExtractionStep.getTitle()
    //#output(String getTitle()): return_value
    //#post(String getTitle()): return_value == &"Core addon extraction"
    //#ExtractionStep.java:78: end of method: String com.dmdirc.addons.ui_swing.wizard.firstrun.ExtractionStep.getTitle()
    }
    
}
    //#output(com.dmdirc.addons.ui_swing.wizard.firstrun.ExtractionStep__static_init): __Descendant_Table[com/dmdirc/addons/ui_swing/wizard/firstrun/ExtractionStep]
    //#output(com.dmdirc.addons.ui_swing.wizard.firstrun.ExtractionStep__static_init): __Dispatch_Table.getActionsState()Z
    //#output(com.dmdirc.addons.ui_swing.wizard.firstrun.ExtractionStep__static_init): __Dispatch_Table.getPluginsState()Z
    //#output(com.dmdirc.addons.ui_swing.wizard.firstrun.ExtractionStep__static_init): __Dispatch_Table.getTitle()Ljava/lang/String;
    //#output(com.dmdirc.addons.ui_swing.wizard.firstrun.ExtractionStep__static_init): __Dispatch_Table.initComponents()V
    //#output(com.dmdirc.addons.ui_swing.wizard.firstrun.ExtractionStep__static_init): com/dmdirc/addons/ui_swing/wizard/Step.__Descendant_Table[com/dmdirc/addons/ui_swing/wizard/firstrun/ExtractionStep]
    //#post(com.dmdirc.addons.ui_swing.wizard.firstrun.ExtractionStep__static_init): __Descendant_Table[com/dmdirc/addons/ui_swing/wizard/firstrun/ExtractionStep] == &__Dispatch_Table
    //#post(com.dmdirc.addons.ui_swing.wizard.firstrun.ExtractionStep__static_init): com/dmdirc/addons/ui_swing/wizard/Step.__Descendant_Table[com/dmdirc/addons/ui_swing/wizard/firstrun/ExtractionStep] == &__Dispatch_Table
    //#post(com.dmdirc.addons.ui_swing.wizard.firstrun.ExtractionStep__static_init): __Dispatch_Table.getActionsState()Z == &getActionsState
    //#post(com.dmdirc.addons.ui_swing.wizard.firstrun.ExtractionStep__static_init): __Dispatch_Table.getPluginsState()Z == &getPluginsState
    //#post(com.dmdirc.addons.ui_swing.wizard.firstrun.ExtractionStep__static_init): __Dispatch_Table.getTitle()Ljava/lang/String; == &getTitle
    //#post(com.dmdirc.addons.ui_swing.wizard.firstrun.ExtractionStep__static_init): __Dispatch_Table.initComponents()V == &initComponents
    //#ExtractionStep.java:: end of method: com.dmdirc.addons.ui_swing.wizard.firstrun.ExtractionStep.com.dmdirc.addons.ui_swing.wizard.firstrun.ExtractionStep__static_init
    //#ExtractionStep.java:: end of class: com.dmdirc.addons.ui_swing.wizard.firstrun.ExtractionStep
