//# 0 errors, 37 messages
//#
/*
    //#ProfileStep.java:1:1: class: com.dmdirc.addons.ui_swing.wizard.firstrun.ProfileStep
    //#ProfileStep.java:1:1: method: com.dmdirc.addons.ui_swing.wizard.firstrun.ProfileStep.com.dmdirc.addons.ui_swing.wizard.firstrun.ProfileStep__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.components.text.TextLabel;
import com.dmdirc.addons.ui_swing.wizard.Step;

import javax.swing.JCheckBox;

import net.miginfocom.swing.MigLayout;

/**
 * Queries the user for which core actions they wish to extract.
 */
public final class ProfileStep extends Step {
    
    /**
     * 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;
    
    /** Profile manager checkbox. */
    private final JCheckBox profile;
    
    /**
     * Creates a new instance of StepOne.
     */
    public ProfileStep() {
        super();
    //#ProfileStep.java:51: method: void com.dmdirc.addons.ui_swing.wizard.firstrun.ProfileStep.com.dmdirc.addons.ui_swing.wizard.firstrun.ProfileStep()
    //#input(void com.dmdirc.addons.ui_swing.wizard.firstrun.ProfileStep()): this
    //#output(void com.dmdirc.addons.ui_swing.wizard.firstrun.ProfileStep()): new JCheckBox(ProfileStep#2) num objects
    //#output(void com.dmdirc.addons.ui_swing.wizard.firstrun.ProfileStep()): this.profile
    //#new obj(void com.dmdirc.addons.ui_swing.wizard.firstrun.ProfileStep()): new JCheckBox(ProfileStep#2)
    //#post(void com.dmdirc.addons.ui_swing.wizard.firstrun.ProfileStep()): this.profile == &new JCheckBox(ProfileStep#2)
    //#post(void com.dmdirc.addons.ui_swing.wizard.firstrun.ProfileStep()): new JCheckBox(ProfileStep#2) num objects == 1
    //#unanalyzed(void com.dmdirc.addons.ui_swing.wizard.firstrun.ProfileStep()): Effects-of-calling:javax.swing.JPanel
        setLayout(new MigLayout("fillx, wrap 1"));
    //#ProfileStep.java:52: Warning: method not available - call not analyzed
    //#    call on void net.miginfocom.swing.MigLayout(String)
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.addons.ui_swing.wizard.firstrun.ProfileStep
    //#    method: void com.dmdirc.addons.ui_swing.wizard.firstrun.ProfileStep()
    //#    unanalyzed callee: void net.miginfocom.swing.MigLayout(String)
    //#ProfileStep.java:52: Warning: method not available - call not analyzed
    //#    call on void com.dmdirc.addons.ui_swing.wizard.firstrun.ProfileStep:setLayout(LayoutManager)
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.addons.ui_swing.wizard.firstrun.ProfileStep
    //#    method: void com.dmdirc.addons.ui_swing.wizard.firstrun.ProfileStep()
    //#    unanalyzed callee: void com.dmdirc.addons.ui_swing.wizard.firstrun.ProfileStep:setLayout(LayoutManager)
        
        profile = new JCheckBox("Launch profile manager?");
        
        final TextLabel infoLabel = new TextLabel("DMDirc uses a set of 'profiles' to determine"
    //#ProfileStep.java:56: Warning: method not available - call not analyzed
    //#    call on void com.dmdirc.addons.ui_swing.components.text.TextLabel(String)
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.addons.ui_swing.wizard.firstrun.ProfileStep
    //#    method: void com.dmdirc.addons.ui_swing.wizard.firstrun.ProfileStep()
    //#    unanalyzed callee: void com.dmdirc.addons.ui_swing.components.text.TextLabel(String)
                + " your nickname, realname, etc when connecting to a server. "
                + "If you would like the wizard to open the profile manager "
                + "for you, tick the box below.");
        add(infoLabel, "growx, pushx");
    //#ProfileStep.java:60: Warning: method not available - call not analyzed
    //#    call on void com.dmdirc.addons.ui_swing.wizard.firstrun.ProfileStep:add(Component, Object)
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.addons.ui_swing.wizard.firstrun.ProfileStep
    //#    method: void com.dmdirc.addons.ui_swing.wizard.firstrun.ProfileStep()
    //#    unanalyzed callee: void com.dmdirc.addons.ui_swing.wizard.firstrun.ProfileStep:add(Component, Object)
        add(profile, "");
    //#ProfileStep.java:61: Warning: method not available - call not analyzed
    //#    call on void com.dmdirc.addons.ui_swing.wizard.firstrun.ProfileStep:add(Component, Object)
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.addons.ui_swing.wizard.firstrun.ProfileStep
    //#    method: void com.dmdirc.addons.ui_swing.wizard.firstrun.ProfileStep()
    //#    unanalyzed callee: void com.dmdirc.addons.ui_swing.wizard.firstrun.ProfileStep:add(Component, Object)
    }
    //#ProfileStep.java:62: end of method: void com.dmdirc.addons.ui_swing.wizard.firstrun.ProfileStep.com.dmdirc.addons.ui_swing.wizard.firstrun.ProfileStep()
    
    /**
     * Returns the state of the profile manager checkbox.
     *
     * @return Profile manager checkbox state
     */
    public boolean getProfileManagerState() {
        return profile.isSelected();
    //#ProfileStep.java:70: method: bool com.dmdirc.addons.ui_swing.wizard.firstrun.ProfileStep.getProfileManagerState()
    //#input(bool getProfileManagerState()): this
    //#input(bool getProfileManagerState()): this.profile
    //#output(bool getProfileManagerState()): return_value
    //#pre[2] (bool getProfileManagerState()): this.profile != null
    //#post(bool getProfileManagerState()): init'ed(return_value)
    //#ProfileStep.java:70: end of method: bool com.dmdirc.addons.ui_swing.wizard.firstrun.ProfileStep.getProfileManagerState()
    }

    /** {@inheritDoc} */
    @Override
    public String getTitle() {
        return "Profile setup";
    //#ProfileStep.java:76: method: String com.dmdirc.addons.ui_swing.wizard.firstrun.ProfileStep.getTitle()
    //#output(String getTitle()): return_value
    //#post(String getTitle()): return_value == &"Profile setup"
    //#ProfileStep.java:76: end of method: String com.dmdirc.addons.ui_swing.wizard.firstrun.ProfileStep.getTitle()
    }
    
}
    //#output(com.dmdirc.addons.ui_swing.wizard.firstrun.ProfileStep__static_init): __Descendant_Table[com/dmdirc/addons/ui_swing/wizard/firstrun/ProfileStep]
    //#output(com.dmdirc.addons.ui_swing.wizard.firstrun.ProfileStep__static_init): __Dispatch_Table.getProfileManagerState()Z
    //#output(com.dmdirc.addons.ui_swing.wizard.firstrun.ProfileStep__static_init): __Dispatch_Table.getTitle()Ljava/lang/String;
    //#output(com.dmdirc.addons.ui_swing.wizard.firstrun.ProfileStep__static_init): com/dmdirc/addons/ui_swing/wizard/Step.__Descendant_Table[com/dmdirc/addons/ui_swing/wizard/firstrun/ProfileStep]
    //#post(com.dmdirc.addons.ui_swing.wizard.firstrun.ProfileStep__static_init): __Descendant_Table[com/dmdirc/addons/ui_swing/wizard/firstrun/ProfileStep] == &__Dispatch_Table
    //#post(com.dmdirc.addons.ui_swing.wizard.firstrun.ProfileStep__static_init): com/dmdirc/addons/ui_swing/wizard/Step.__Descendant_Table[com/dmdirc/addons/ui_swing/wizard/firstrun/ProfileStep] == &__Dispatch_Table
    //#post(com.dmdirc.addons.ui_swing.wizard.firstrun.ProfileStep__static_init): __Dispatch_Table.getProfileManagerState()Z == &getProfileManagerState
    //#post(com.dmdirc.addons.ui_swing.wizard.firstrun.ProfileStep__static_init): __Dispatch_Table.getTitle()Ljava/lang/String; == &getTitle
    //#ProfileStep.java:: end of method: com.dmdirc.addons.ui_swing.wizard.firstrun.ProfileStep.com.dmdirc.addons.ui_swing.wizard.firstrun.ProfileStep__static_init
    //#ProfileStep.java:: end of class: com.dmdirc.addons.ui_swing.wizard.firstrun.ProfileStep
