//# 0 errors, 417 messages
//#
    /*
    //#AliasPanel.java:1:1: class: com.dmdirc.addons.ui_swing.dialogs.aliases.AliasPanel$1
    //#AliasPanel.java:1:1: class: com.dmdirc.addons.ui_swing.dialogs.aliases.AliasPanel
    //#AliasPanel.java:1:1: method: com.dmdirc.addons.ui_swing.dialogs.aliases.AliasPanel.com.dmdirc.addons.ui_swing.dialogs.aliases.AliasPanel__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.dialogs.aliases;

import com.dmdirc.addons.ui_swing.components.renderers.ActionComparisonCellRenderer;
import com.dmdirc.actions.wrappers.Alias;
import com.dmdirc.actions.ActionCondition;
import com.dmdirc.actions.CoreActionComparison;
import com.dmdirc.actions.CoreActionComponent;
import com.dmdirc.config.prefs.validator.FileNameValidator;
import com.dmdirc.addons.ui_swing.UIUtilities;
import com.dmdirc.addons.ui_swing.components.validating.ValidatingJTextField;

import com.dmdirc.config.prefs.validator.CommandNameValidator;
import com.dmdirc.config.prefs.validator.ValidatorChain;
import java.awt.event.ActionEvent;
import java.awt.event.ActionListener;
import java.util.ArrayList;
import java.util.List;

import javax.swing.JComboBox;
import javax.swing.JLabel;
import javax.swing.JPanel;
import javax.swing.JScrollPane;
import javax.swing.JSpinner;
import javax.swing.JTextArea;
import javax.swing.SpinnerNumberModel;

import net.miginfocom.swing.MigLayout;

/**
 * Panel to display an alias.
 */
public final class AliasPanel extends JPanel implements ActionListener {

    /**
     * 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;
    /** Name field. */
    private final ValidatingJTextField command;
    /** argument component combo box. */
    private final JComboBox argumentComponent;
    /** Argument number spinner. */
    private final JSpinner argumentNumber;
    /** Response field. */
    private final JTextArea response;
    /** Alias. */
    private Alias alias;

    /** Creates a new instance of AliasPanel. */
    @SuppressWarnings("unchecked")
    public AliasPanel() {
        super();
    //#AliasPanel.java:76: method: void com.dmdirc.addons.ui_swing.dialogs.aliases.AliasPanel.com.dmdirc.addons.ui_swing.dialogs.aliases.AliasPanel()
    //#input(void com.dmdirc.addons.ui_swing.dialogs.aliases.AliasPanel()): com.dmdirc.actions.CoreActionComparison.INT_EQUALS
    //#input(void com.dmdirc.addons.ui_swing.dialogs.aliases.AliasPanel()): com.dmdirc.actions.CoreActionComparison.INT_GREATER
    //#input(void com.dmdirc.addons.ui_swing.dialogs.aliases.AliasPanel()): com.dmdirc.actions.CoreActionComparison.INT_LESS
    //#input(void com.dmdirc.addons.ui_swing.dialogs.aliases.AliasPanel()): com/dmdirc/addons/ui_swing/components/validating/ValidatingJTextField.__Descendant_Table[com/dmdirc/addons/ui_swing/components/validating/ValidatingJTextField]
    //#input(void com.dmdirc.addons.ui_swing.dialogs.aliases.AliasPanel()): com/dmdirc/addons/ui_swing/components/validating/ValidatingJTextField.__Descendant_Table[others]
    //#input(void com.dmdirc.addons.ui_swing.dialogs.aliases.AliasPanel()): com/dmdirc/addons/ui_swing/components/validating/ValidatingJTextField.__Dispatch_Table.checkError()V
    //#input(void com.dmdirc.addons.ui_swing.dialogs.aliases.AliasPanel()): com/dmdirc/addons/ui_swing/components/validating/ValidatingJTextField.__Dispatch_Table.setEnabled(Z)V
    //#input(void com.dmdirc.addons.ui_swing.dialogs.aliases.AliasPanel()): com/dmdirc/addons/ui_swing/components/validating/ValidatingJTextField.__Dispatch_Table.setText(Ljava/lang/String;)V
    //#input(void com.dmdirc.addons.ui_swing.dialogs.aliases.AliasPanel()): java.lang.Boolean.TRUE
    //#input(void com.dmdirc.addons.ui_swing.dialogs.aliases.AliasPanel()): this
    //#output(void com.dmdirc.addons.ui_swing.dialogs.aliases.AliasPanel()): new JComboBox(AliasPanel#6) num objects
    //#output(void com.dmdirc.addons.ui_swing.dialogs.aliases.AliasPanel()): new JLabel(ValidatingJTextField#1) num objects
    //#output(void com.dmdirc.addons.ui_swing.dialogs.aliases.AliasPanel()): new JSpinner(AliasPanel#8) num objects
    //#output(void com.dmdirc.addons.ui_swing.dialogs.aliases.AliasPanel()): new JTextArea(AliasPanel#10) num objects
    //#output(void com.dmdirc.addons.ui_swing.dialogs.aliases.AliasPanel()): new JTextField(ValidatingJTextField#1) num objects
    //#output(void com.dmdirc.addons.ui_swing.dialogs.aliases.AliasPanel()): new ValidatingJTextField(AliasPanel#1) num objects
    //#output(void com.dmdirc.addons.ui_swing.dialogs.aliases.AliasPanel()): this.command.__Tag
    //#output(void com.dmdirc.addons.ui_swing.dialogs.aliases.AliasPanel()): this.command.errorIcon
    //#output(void com.dmdirc.addons.ui_swing.dialogs.aliases.AliasPanel()): this.command.textField
    //#output(void com.dmdirc.addons.ui_swing.dialogs.aliases.AliasPanel()): this.command.validator
    //#output(void com.dmdirc.addons.ui_swing.dialogs.aliases.AliasPanel()): new ValidatorChain(AliasPanel#2) num objects
    //#output(void com.dmdirc.addons.ui_swing.dialogs.aliases.AliasPanel()): this.alias
    //#output(void com.dmdirc.addons.ui_swing.dialogs.aliases.AliasPanel()): this.argumentComponent
    //#output(void com.dmdirc.addons.ui_swing.dialogs.aliases.AliasPanel()): this.argumentNumber
    //#output(void com.dmdirc.addons.ui_swing.dialogs.aliases.AliasPanel()): this.command
    //#output(void com.dmdirc.addons.ui_swing.dialogs.aliases.AliasPanel()): this.response
    //#new obj(void com.dmdirc.addons.ui_swing.dialogs.aliases.AliasPanel()): new JComboBox(AliasPanel#6)
    //#new obj(void com.dmdirc.addons.ui_swing.dialogs.aliases.AliasPanel()): new JLabel(ValidatingJTextField#1)
    //#new obj(void com.dmdirc.addons.ui_swing.dialogs.aliases.AliasPanel()): new JSpinner(AliasPanel#8)
    //#new obj(void com.dmdirc.addons.ui_swing.dialogs.aliases.AliasPanel()): new JTextArea(AliasPanel#10)
    //#new obj(void com.dmdirc.addons.ui_swing.dialogs.aliases.AliasPanel()): new JTextField(ValidatingJTextField#1)
    //#new obj(void com.dmdirc.addons.ui_swing.dialogs.aliases.AliasPanel()): new ValidatingJTextField(AliasPanel#1)
    //#new obj(void com.dmdirc.addons.ui_swing.dialogs.aliases.AliasPanel()): new ValidatorChain(AliasPanel#2)
    //#presumption(void com.dmdirc.addons.ui_swing.dialogs.aliases.AliasPanel()): init'ed(com.dmdirc.actions.CoreActionComparison.INT_EQUALS)
    //#presumption(void com.dmdirc.addons.ui_swing.dialogs.aliases.AliasPanel()): init'ed(com.dmdirc.actions.CoreActionComparison.INT_GREATER)
    //#presumption(void com.dmdirc.addons.ui_swing.dialogs.aliases.AliasPanel()): init'ed(com.dmdirc.actions.CoreActionComparison.INT_LESS)
    //#presumption(void com.dmdirc.addons.ui_swing.dialogs.aliases.AliasPanel()): init'ed(java.lang.Boolean.TRUE)
    //#post(void com.dmdirc.addons.ui_swing.dialogs.aliases.AliasPanel()): this.alias == null
    //#post(void com.dmdirc.addons.ui_swing.dialogs.aliases.AliasPanel()): this.argumentComponent == &new JComboBox(AliasPanel#6)
    //#post(void com.dmdirc.addons.ui_swing.dialogs.aliases.AliasPanel()): this.argumentNumber == &new JSpinner(AliasPanel#8)
    //#post(void com.dmdirc.addons.ui_swing.dialogs.aliases.AliasPanel()): this.command == &new ValidatingJTextField(AliasPanel#1)
    //#post(void com.dmdirc.addons.ui_swing.dialogs.aliases.AliasPanel()): this.response == &new JTextArea(AliasPanel#10)
    //#post(void com.dmdirc.addons.ui_swing.dialogs.aliases.AliasPanel()): new JComboBox(AliasPanel#6) num objects == 1
    //#post(void com.dmdirc.addons.ui_swing.dialogs.aliases.AliasPanel()): new JLabel(ValidatingJTextField#1) num objects == 1
    //#post(void com.dmdirc.addons.ui_swing.dialogs.aliases.AliasPanel()): new JSpinner(AliasPanel#8) num objects == 1
    //#post(void com.dmdirc.addons.ui_swing.dialogs.aliases.AliasPanel()): new JTextArea(AliasPanel#10) num objects == 1
    //#post(void com.dmdirc.addons.ui_swing.dialogs.aliases.AliasPanel()): new JTextField(ValidatingJTextField#1) num objects == 1
    //#post(void com.dmdirc.addons.ui_swing.dialogs.aliases.AliasPanel()): new ValidatingJTextField(AliasPanel#1) num objects == 1
    //#post(void com.dmdirc.addons.ui_swing.dialogs.aliases.AliasPanel()): new ValidatorChain(AliasPanel#2) num objects == 1
    //#post(void com.dmdirc.addons.ui_swing.dialogs.aliases.AliasPanel()): this.command.__Tag == com/dmdirc/addons/ui_swing/components/validating/ValidatingJTextField
    //#post(void com.dmdirc.addons.ui_swing.dialogs.aliases.AliasPanel()): this.command.errorIcon == &new JLabel(ValidatingJTextField#1)
    //#post(void com.dmdirc.addons.ui_swing.dialogs.aliases.AliasPanel()): this.command.textField == &new JTextField(ValidatingJTextField#1)
    //#post(void com.dmdirc.addons.ui_swing.dialogs.aliases.AliasPanel()): this.command.validator == &new ValidatorChain(AliasPanel#2)
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.aliases.AliasPanel()): Effects-of-calling:net.miginfocom.swing.MigLayout
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.aliases.AliasPanel()): Effects-of-calling:com.dmdirc.addons.ui_swing.dialogs.aliases.AliasPanel:setLayout
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.aliases.AliasPanel()): Effects-of-calling:javax.swing.JLabel
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.aliases.AliasPanel()): Effects-of-calling:com.dmdirc.addons.ui_swing.dialogs.aliases.AliasPanel:add
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.aliases.AliasPanel()): Effects-of-calling:javax.swing.JScrollPane
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.aliases.AliasPanel()): Effects-of-calling:java.lang.Integer:valueOf
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.aliases.AliasPanel()): Effects-of-calling:javax.swing.JSpinner:setEnabled
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.aliases.AliasPanel()): Effects-of-calling:javax.swing.JTextField:getText
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.aliases.AliasPanel()): Effects-of-calling:javax.swing.JTextField:isEnabled
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.aliases.AliasPanel()): Effects-of-calling:com.dmdirc.config.prefs.validator.Validator:validate
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.aliases.AliasPanel()): Effects-of-calling:com.dmdirc.config.prefs.validator.ValidationResponse:getFailureReason
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.aliases.AliasPanel()): Effects-of-calling:javax.swing.JLabel:setToolTipText
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.aliases.AliasPanel()): Effects-of-calling:javax.swing.JLabel:isVisible
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.aliases.AliasPanel()): Effects-of-calling:com.dmdirc.config.prefs.validator.ValidationResponse:isFailure
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.aliases.AliasPanel()): Effects-of-calling:com.dmdirc.addons.ui_swing.components.validating.ValidatingJTextField:firePropertyChange
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.aliases.AliasPanel()): Effects-of-calling:javax.swing.JLabel:setVisible
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.aliases.AliasPanel()): Effects-of-calling:javax.swing.JTextField:setEnabled
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.aliases.AliasPanel()): Effects-of-calling:javax.swing.JComboBox:setEnabled
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.aliases.AliasPanel()): Effects-of-calling:javax.swing.JTextArea:setEnabled
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.aliases.AliasPanel()): Effects-of-calling:javax.swing.JTextField:setText
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.aliases.AliasPanel()): Effects-of-calling:javax.swing.JComboBox:setSelectedItem
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.aliases.AliasPanel()): Effects-of-calling:javax.swing.JSpinner:setValue
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.aliases.AliasPanel()): Effects-of-calling:javax.swing.JTextArea:setText
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.aliases.AliasPanel()): Effects-of-calling:javax.swing.JTextField:getDocument
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.aliases.AliasPanel()): Effects-of-calling:javax.swing.JComponent
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.aliases.AliasPanel()): Effects-of-calling:com.dmdirc.ui.IconManager:getIconManager
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.aliases.AliasPanel()): Effects-of-calling:com.dmdirc.ui.IconManager:getIcon
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.aliases.AliasPanel()): Effects-of-calling:com.dmdirc.addons.ui_swing.components.validating.ValidatingJTextField:setLayout
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.aliases.AliasPanel()): Effects-of-calling:com.dmdirc.addons.ui_swing.components.validating.ValidatingJTextField:add
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.aliases.AliasPanel()): Effects-of-calling:javax.swing.text.Document:addDocumentListener
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.aliases.AliasPanel()): Effects-of-calling:javax.swing.JTextField
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.aliases.AliasPanel()): Effects-of-calling:javax.swing.DefaultListCellRenderer

        command = new ValidatingJTextField(new ValidatorChain<String>(
    //#AliasPanel.java:78: Warning: method not available - call not analyzed
    //#    call on void com.dmdirc.config.prefs.validator.CommandNameValidator()
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.addons.ui_swing.dialogs.aliases.AliasPanel
    //#    method: void com.dmdirc.addons.ui_swing.dialogs.aliases.AliasPanel()
    //#    unanalyzed callee: void com.dmdirc.config.prefs.validator.CommandNameValidator()
    //#AliasPanel.java:78: Warning: method not available - call not analyzed
    //#    call on void com.dmdirc.config.prefs.validator.FileNameValidator()
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.addons.ui_swing.dialogs.aliases.AliasPanel
    //#    method: void com.dmdirc.addons.ui_swing.dialogs.aliases.AliasPanel()
    //#    unanalyzed callee: void com.dmdirc.config.prefs.validator.FileNameValidator()
    //#AliasPanel.java:78: Warning: method not available - call not analyzed
    //#    call on void com.dmdirc.config.prefs.validator.ValidatorChain(Validator[])
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.addons.ui_swing.dialogs.aliases.AliasPanel
    //#    method: void com.dmdirc.addons.ui_swing.dialogs.aliases.AliasPanel()
    //#    unanalyzed callee: void com.dmdirc.config.prefs.validator.ValidatorChain(Validator[])
                new CommandNameValidator(), new FileNameValidator()));
        command.setEnabled(false);

        argumentComponent = new JComboBox(new CoreActionComparison[]{null,
            CoreActionComparison.INT_GREATER, CoreActionComparison.INT_EQUALS,
            CoreActionComparison.INT_LESS,
        });
        argumentNumber = new JSpinner(new SpinnerNumberModel(0, 0,
                Integer.MAX_VALUE, 1));
        response = new JTextArea();

        argumentNumber.setEnabled(false);
        response.setRows(5);

        argumentComponent.setRenderer(new ActionComparisonCellRenderer());
        argumentComponent.putClientProperty("JComboBox.isTableCellEditor",
                Boolean.TRUE);
        argumentComponent.addActionListener(this);

        UIUtilities.addUndoManager(response);
    //#AliasPanel.java:98: Warning: method not available - call not analyzed
    //#    call on void com.dmdirc.addons.ui_swing.UIUtilities:addUndoManager(JTextComponent)
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.addons.ui_swing.dialogs.aliases.AliasPanel
    //#    method: void com.dmdirc.addons.ui_swing.dialogs.aliases.AliasPanel()
    //#    unanalyzed callee: void com.dmdirc.addons.ui_swing.UIUtilities:addUndoManager(JTextComponent)

        layoutComponents();

        clear();
    }
    //#AliasPanel.java:103: end of method: void com.dmdirc.addons.ui_swing.dialogs.aliases.AliasPanel.com.dmdirc.addons.ui_swing.dialogs.aliases.AliasPanel()

    /** Lays out and initialises the components. */
    private void layoutComponents() {
        setLayout(new MigLayout("fill"));
    //#AliasPanel.java:107: method: void com.dmdirc.addons.ui_swing.dialogs.aliases.AliasPanel.layoutComponents()
    //#AliasPanel.java:107: Warning: method not available - call not analyzed
    //#    call on void net.miginfocom.swing.MigLayout(String)
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.addons.ui_swing.dialogs.aliases.AliasPanel
    //#    method: void layoutComponents()
    //#    unanalyzed callee: void net.miginfocom.swing.MigLayout(String)
    //#AliasPanel.java:107: Warning: method not available - call not analyzed
    //#    call on void com.dmdirc.addons.ui_swing.dialogs.aliases.AliasPanel:setLayout(LayoutManager)
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.addons.ui_swing.dialogs.aliases.AliasPanel
    //#    method: void layoutComponents()
    //#    unanalyzed callee: void com.dmdirc.addons.ui_swing.dialogs.aliases.AliasPanel:setLayout(LayoutManager)
    //#input(void layoutComponents()): this
    //#input(void layoutComponents()): this.argumentComponent
    //#input(void layoutComponents()): this.argumentNumber
    //#input(void layoutComponents()): this.command
    //#input(void layoutComponents()): this.response

        add(new JLabel("Command: "));
    //#AliasPanel.java:109: Warning: method not available - call not analyzed
    //#    call on Component com.dmdirc.addons.ui_swing.dialogs.aliases.AliasPanel:add(Component)
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.addons.ui_swing.dialogs.aliases.AliasPanel
    //#    method: void layoutComponents()
    //#    unanalyzed callee: Component com.dmdirc.addons.ui_swing.dialogs.aliases.AliasPanel:add(Component)
        add(command, "span 2, growx, pushx, wrap");
    //#AliasPanel.java:110: Warning: method not available - call not analyzed
    //#    call on void com.dmdirc.addons.ui_swing.dialogs.aliases.AliasPanel:add(Component, Object)
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.addons.ui_swing.dialogs.aliases.AliasPanel
    //#    method: void layoutComponents()
    //#    unanalyzed callee: void com.dmdirc.addons.ui_swing.dialogs.aliases.AliasPanel:add(Component, Object)

        add(new JLabel("#Arguments: "));
    //#AliasPanel.java:112: Warning: method not available - call not analyzed
    //#    call on Component com.dmdirc.addons.ui_swing.dialogs.aliases.AliasPanel:add(Component)
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.addons.ui_swing.dialogs.aliases.AliasPanel
    //#    method: void layoutComponents()
    //#    unanalyzed callee: Component com.dmdirc.addons.ui_swing.dialogs.aliases.AliasPanel:add(Component)
        add(argumentComponent, "sgy args");
    //#AliasPanel.java:113: Warning: method not available - call not analyzed
    //#    call on void com.dmdirc.addons.ui_swing.dialogs.aliases.AliasPanel:add(Component, Object)
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.addons.ui_swing.dialogs.aliases.AliasPanel
    //#    method: void layoutComponents()
    //#    unanalyzed callee: void com.dmdirc.addons.ui_swing.dialogs.aliases.AliasPanel:add(Component, Object)
        add(argumentNumber, "sgy args, growx, pushx, wrap");
    //#AliasPanel.java:114: Warning: method not available - call not analyzed
    //#    call on void com.dmdirc.addons.ui_swing.dialogs.aliases.AliasPanel:add(Component, Object)
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.addons.ui_swing.dialogs.aliases.AliasPanel
    //#    method: void layoutComponents()
    //#    unanalyzed callee: void com.dmdirc.addons.ui_swing.dialogs.aliases.AliasPanel:add(Component, Object)

        add(new JLabel("Response: "));
    //#AliasPanel.java:116: Warning: method not available - call not analyzed
    //#    call on Component com.dmdirc.addons.ui_swing.dialogs.aliases.AliasPanel:add(Component)
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.addons.ui_swing.dialogs.aliases.AliasPanel
    //#    method: void layoutComponents()
    //#    unanalyzed callee: Component com.dmdirc.addons.ui_swing.dialogs.aliases.AliasPanel:add(Component)
        add(new JScrollPane(response), "span 2, grow, push, wrap");
    //#AliasPanel.java:117: Warning: method not available - call not analyzed
    //#    call on void com.dmdirc.addons.ui_swing.dialogs.aliases.AliasPanel:add(Component, Object)
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.addons.ui_swing.dialogs.aliases.AliasPanel
    //#    method: void layoutComponents()
    //#    unanalyzed callee: void com.dmdirc.addons.ui_swing.dialogs.aliases.AliasPanel:add(Component, Object)
    }
    //#AliasPanel.java:118: end of method: void com.dmdirc.addons.ui_swing.dialogs.aliases.AliasPanel.layoutComponents()

    /** Clears the details. */
    public void clear() {
        alias = null;
    //#AliasPanel.java:122: method: void com.dmdirc.addons.ui_swing.dialogs.aliases.AliasPanel.clear()
    //#input(void clear()): com/dmdirc/addons/ui_swing/components/validating/ValidatingJTextField.__Descendant_Table[com/dmdirc/addons/ui_swing/components/validating/ValidatingJTextField]
    //#input(void clear()): com/dmdirc/addons/ui_swing/components/validating/ValidatingJTextField.__Descendant_Table[others]
    //#input(void clear()): com/dmdirc/addons/ui_swing/components/validating/ValidatingJTextField.__Dispatch_Table.checkError()V
    //#input(void clear()): com/dmdirc/addons/ui_swing/components/validating/ValidatingJTextField.__Dispatch_Table.setEnabled(Z)V
    //#input(void clear()): com/dmdirc/addons/ui_swing/components/validating/ValidatingJTextField.__Dispatch_Table.setText(Ljava/lang/String;)V
    //#input(void clear()): this
    //#input(void clear()): this.argumentComponent
    //#input(void clear()): this.argumentNumber
    //#input(void clear()): this.command
    //#input(void clear()): this.command.__Tag
    //#input(void clear()): this.command.errorIcon
    //#input(void clear()): this.command.textField
    //#input(void clear()): this.command.validator
    //#input(void clear()): this.response
    //#output(void clear()): this.alias
    //#pre[2] (void clear()): this.argumentComponent != null
    //#pre[3] (void clear()): this.argumentNumber != null
    //#pre[4] (void clear()): this.command != null
    //#pre[5] (void clear()): this.command.__Tag == com/dmdirc/addons/ui_swing/components/validating/ValidatingJTextField
    //#pre[6] (void clear()): this.command.errorIcon != null
    //#pre[7] (void clear()): this.command.textField != null
    //#pre[9] (void clear()): this.response != null
    //#pre[8] (void clear()): (soft) this.command.validator != null
    //#post(void clear()): this.alias == null
    //#unanalyzed(void clear()): Effects-of-calling:javax.swing.JTextField:getText
    //#unanalyzed(void clear()): Effects-of-calling:javax.swing.JTextField:isEnabled
    //#unanalyzed(void clear()): Effects-of-calling:com.dmdirc.config.prefs.validator.Validator:validate
    //#unanalyzed(void clear()): Effects-of-calling:com.dmdirc.config.prefs.validator.ValidationResponse:getFailureReason
    //#unanalyzed(void clear()): Effects-of-calling:javax.swing.JLabel:setToolTipText
    //#unanalyzed(void clear()): Effects-of-calling:javax.swing.JLabel:isVisible
    //#unanalyzed(void clear()): Effects-of-calling:com.dmdirc.config.prefs.validator.ValidationResponse:isFailure
    //#unanalyzed(void clear()): Effects-of-calling:com.dmdirc.addons.ui_swing.components.validating.ValidatingJTextField:firePropertyChange
    //#unanalyzed(void clear()): Effects-of-calling:javax.swing.JLabel:setVisible
    //#unanalyzed(void clear()): Effects-of-calling:javax.swing.JTextField:setEnabled
    //#unanalyzed(void clear()): Effects-of-calling:javax.swing.JTextField:setText
        command.setText("");
        command.setEnabled(false);
        argumentComponent.setSelectedItem(null);
        argumentNumber.setValue(0);
        response.setText("");
        command.setEnabled(false);
        argumentComponent.setEnabled(false);
        argumentNumber.setEnabled(false);
        response.setEnabled(false);
    }
    //#AliasPanel.java:132: end of method: void com.dmdirc.addons.ui_swing.dialogs.aliases.AliasPanel.clear()

    /**
     * Sets the alias details.
     *
     * @param alias List of alias details to display
     */
    public void setAlias(final Alias alias) {
        if (alias == null) {
    //#AliasPanel.java:140: method: void com.dmdirc.addons.ui_swing.dialogs.aliases.AliasPanel.setAlias(Alias)
    //#input(void setAlias(Alias)): alias
    //#input(void setAlias(Alias)): com.dmdirc.actions.CoreActionComparison.STRING_EQUALS
    //#input(void setAlias(Alias)): com/dmdirc/addons/ui_swing/components/validating/ValidatingJTextField.__Descendant_Table[com/dmdirc/addons/ui_swing/components/validating/ValidatingJTextField]
    //#input(void setAlias(Alias)): com/dmdirc/addons/ui_swing/components/validating/ValidatingJTextField.__Descendant_Table[others]
    //#input(void setAlias(Alias)): com/dmdirc/addons/ui_swing/components/validating/ValidatingJTextField.__Dispatch_Table.checkError()V
    //#input(void setAlias(Alias)): com/dmdirc/addons/ui_swing/components/validating/ValidatingJTextField.__Dispatch_Table.setEnabled(Z)V
    //#input(void setAlias(Alias)): com/dmdirc/addons/ui_swing/components/validating/ValidatingJTextField.__Dispatch_Table.setText(Ljava/lang/String;)V
    //#input(void setAlias(Alias)): this
    //#input(void setAlias(Alias)): this.argumentComponent
    //#input(void setAlias(Alias)): this.argumentNumber
    //#input(void setAlias(Alias)): this.command
    //#input(void setAlias(Alias)): this.command.__Tag
    //#input(void setAlias(Alias)): this.command.errorIcon
    //#input(void setAlias(Alias)): this.command.textField
    //#input(void setAlias(Alias)): this.command.validator
    //#input(void setAlias(Alias)): this.response
    //#output(void setAlias(Alias)): this.alias
    //#pre[3] (void setAlias(Alias)): (soft) this.argumentComponent != null
    //#pre[4] (void setAlias(Alias)): (soft) this.argumentNumber != null
    //#pre[5] (void setAlias(Alias)): (soft) this.command != null
    //#pre[6] (void setAlias(Alias)): (soft) this.command.__Tag == com/dmdirc/addons/ui_swing/components/validating/ValidatingJTextField
    //#pre[7] (void setAlias(Alias)): (soft) this.command.errorIcon != null
    //#pre[8] (void setAlias(Alias)): (soft) this.command.textField != null
    //#pre[9] (void setAlias(Alias)): (soft) this.command.validator != null
    //#pre[10] (void setAlias(Alias)): (soft) this.response != null
    //#presumption(void setAlias(Alias)): arr$.length@169 <= 4_294_967_295
    //#presumption(void setAlias(Alias)): init'ed(com.dmdirc.actions.CoreActionComparison.STRING_EQUALS)
    //#presumption(void setAlias(Alias)): com.dmdirc.actions.wrappers.Alias:getArguments(...)@150 != null
    //#presumption(void setAlias(Alias)): com.dmdirc.actions.wrappers.Alias:getResponse(...)@169 != null
    //#presumption(void setAlias(Alias)): java.lang.StringBuffer:length(...)@174 >= -2_147_483_647
    //#presumption(void setAlias(Alias)): java.util.List:get(...)@158 != null
    //#presumption(void setAlias(Alias)): java.util.List:get(...)@161 != null
    //#post(void setAlias(Alias)): this.alias == One-of{null, alias}
    //#post(void setAlias(Alias)): init'ed(this.alias)
    //#unanalyzed(void setAlias(Alias)): Effects-of-calling:java.lang.Integer:valueOf
    //#unanalyzed(void setAlias(Alias)): Effects-of-calling:javax.swing.JSpinner:setEnabled
    //#unanalyzed(void setAlias(Alias)): Effects-of-calling:javax.swing.JTextField:getText
    //#unanalyzed(void setAlias(Alias)): Effects-of-calling:javax.swing.JTextField:isEnabled
    //#unanalyzed(void setAlias(Alias)): Effects-of-calling:com.dmdirc.config.prefs.validator.Validator:validate
    //#unanalyzed(void setAlias(Alias)): Effects-of-calling:com.dmdirc.config.prefs.validator.ValidationResponse:getFailureReason
    //#unanalyzed(void setAlias(Alias)): Effects-of-calling:javax.swing.JLabel:setToolTipText
    //#unanalyzed(void setAlias(Alias)): Effects-of-calling:javax.swing.JLabel:isVisible
    //#unanalyzed(void setAlias(Alias)): Effects-of-calling:com.dmdirc.config.prefs.validator.ValidationResponse:isFailure
    //#unanalyzed(void setAlias(Alias)): Effects-of-calling:com.dmdirc.addons.ui_swing.components.validating.ValidatingJTextField:firePropertyChange
    //#unanalyzed(void setAlias(Alias)): Effects-of-calling:javax.swing.JLabel:setVisible
    //#unanalyzed(void setAlias(Alias)): Effects-of-calling:javax.swing.JTextField:setEnabled
    //#unanalyzed(void setAlias(Alias)): Effects-of-calling:javax.swing.JComboBox:setEnabled
    //#unanalyzed(void setAlias(Alias)): Effects-of-calling:javax.swing.JTextArea:setEnabled
    //#unanalyzed(void setAlias(Alias)): Effects-of-calling:javax.swing.JTextField:setText
    //#unanalyzed(void setAlias(Alias)): Effects-of-calling:javax.swing.JComboBox:setSelectedItem
    //#unanalyzed(void setAlias(Alias)): Effects-of-calling:javax.swing.JSpinner:setValue
    //#unanalyzed(void setAlias(Alias)): Effects-of-calling:javax.swing.JTextArea:setText
    //#test_vector(void setAlias(Alias)): alias: Inverse{null}, Addr_Set{null}
    //#test_vector(void setAlias(Alias)): java.lang.StringBuffer:length(...)@173: {-2_147_483_648..1}, {2..4_294_967_295}
    //#test_vector(void setAlias(Alias)): java.util.List:size(...)@153: {-2_147_483_648..0, 2..4_294_967_295}, {1}
            clear();
            return;
        }
        this.alias = alias;
        command.setEnabled(true);
        argumentComponent.setEnabled(true);
        response.setEnabled(true);
        command.setText(alias.getCommand());
    //#AliasPanel.java:148: Warning: method not available - call not analyzed
    //#    call on String com.dmdirc.actions.wrappers.Alias:getCommand()
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.addons.ui_swing.dialogs.aliases.AliasPanel
    //#    method: void setAlias(Alias)
    //#    unanalyzed callee: String com.dmdirc.actions.wrappers.Alias:getCommand()

        final List<ActionCondition> arguments = alias.getArguments();
    //#AliasPanel.java:150: Warning: method not available - call not analyzed
    //#    call on List com.dmdirc.actions.wrappers.Alias:getArguments()
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.addons.ui_swing.dialogs.aliases.AliasPanel
    //#    method: void setAlias(Alias)
    //#    unanalyzed callee: List com.dmdirc.actions.wrappers.Alias:getArguments()
        ActionCondition argument;

        if (arguments.size() == 1) {
            argumentComponent.setSelectedItem(null);
            argumentNumber.setValue(0);
            argumentNumber.setEnabled(false);
        } else {
            argument = arguments.get(0);

            if (argument.getComparison() == CoreActionComparison.STRING_EQUALS) {
    //#AliasPanel.java:160: Warning: method not available - call not analyzed
    //#    call on ActionComparison com.dmdirc.actions.ActionCondition:getComparison()
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.addons.ui_swing.dialogs.aliases.AliasPanel
    //#    method: void setAlias(Alias)
    //#    unanalyzed callee: ActionComparison com.dmdirc.actions.ActionCondition:getComparison()
                argument = arguments.get(1);
            }
            argumentComponent.setSelectedItem(argument.getComparison());
    //#AliasPanel.java:163: Warning: method not available - call not analyzed
    //#    call on ActionComparison com.dmdirc.actions.ActionCondition:getComparison()
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.addons.ui_swing.dialogs.aliases.AliasPanel
    //#    method: void setAlias(Alias)
    //#    unanalyzed callee: ActionComparison com.dmdirc.actions.ActionCondition:getComparison()
            argumentNumber.setValue(Integer.parseInt(argument.getTarget()));
    //#AliasPanel.java:164: Warning: method not available - call not analyzed
    //#    call on String com.dmdirc.actions.ActionCondition:getTarget()
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.addons.ui_swing.dialogs.aliases.AliasPanel
    //#    method: void setAlias(Alias)
    //#    unanalyzed callee: String com.dmdirc.actions.ActionCondition:getTarget()
            argumentNumber.setEnabled(true);
        }

        final StringBuffer sb = new StringBuffer();
        for (String line : alias.getResponse()) {
    //#AliasPanel.java:169: Warning: method not available - call not analyzed
    //#    call on String[] com.dmdirc.actions.wrappers.Alias:getResponse()
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.addons.ui_swing.dialogs.aliases.AliasPanel
    //#    method: void setAlias(Alias)
    //#    unanalyzed callee: String[] com.dmdirc.actions.wrappers.Alias:getResponse()
            sb.append(line).append('\n');
        }

        if (sb.length() > 1) {
            response.setText(sb.substring(0, sb.length() - 1));
        } else {
            response.setText("");
        }
    }
    //#AliasPanel.java:178: end of method: void com.dmdirc.addons.ui_swing.dialogs.aliases.AliasPanel.setAlias(Alias)

    /** 
     * {@inheritDoc}.
     * 
     * @param e Action event
     */
    @Override
    public void actionPerformed(final ActionEvent e) {
        ((SpinnerNumberModel) argumentNumber.getModel()).setMinimum(0);
    //#AliasPanel.java:187: method: void com.dmdirc.addons.ui_swing.dialogs.aliases.AliasPanel.actionPerformed(ActionEvent)
    //#input(void actionPerformed(ActionEvent)): com.dmdirc.actions.CoreActionComparison.INT_LESS
    //#input(void actionPerformed(ActionEvent)): this
    //#input(void actionPerformed(ActionEvent)): this.argumentComponent
    //#input(void actionPerformed(ActionEvent)): this.argumentNumber
    //#pre[2] (void actionPerformed(ActionEvent)): this.argumentComponent != null
    //#pre[3] (void actionPerformed(ActionEvent)): this.argumentNumber != null
    //#presumption(void actionPerformed(ActionEvent)): init'ed(com.dmdirc.actions.CoreActionComparison.INT_LESS)
    //#presumption(void actionPerformed(ActionEvent)): javax.swing.JSpinner:getModel(...)@187 != null
    //#presumption(void actionPerformed(ActionEvent)): javax.swing.JSpinner:getModel(...)@192 != null
    //#presumption(void actionPerformed(ActionEvent)): javax.swing.JSpinner:getModel(...)@193 != null
    //#presumption(void actionPerformed(ActionEvent)): javax.swing.JSpinner:getModel(...)@195 != null
    //#presumption(void actionPerformed(ActionEvent)): javax.swing.SpinnerModel:getValue(...)@192 != null
    //#test_vector(void actionPerformed(ActionEvent)): java.lang.Object:equals(...)@192: {0}, {1}
    //#test_vector(void actionPerformed(ActionEvent)): javax.swing.JComboBox:getSelectedIndex(...)@188: {-2_147_483_648..0}, {1..4_294_967_295}
        if (argumentComponent.getSelectedIndex() > 0) {
            argumentNumber.setEnabled(true);
            if (argumentComponent.getSelectedItem() ==
                    CoreActionComparison.INT_LESS) {
                if (argumentNumber.getModel().getValue().equals(0)) {
                    argumentNumber.getModel().setValue(1);
                }
                ((SpinnerNumberModel) argumentNumber.getModel()).setMinimum(1);
            }
        } else {
            argumentNumber.setEnabled(false);
        }
    }
    //#AliasPanel.java:200: end of method: void com.dmdirc.addons.ui_swing.dialogs.aliases.AliasPanel.actionPerformed(ActionEvent)

    /**
     * Returns the current command.
     *
     * @return Alias command
     */
    public String getCommand() {
        return command.getText();
    //#AliasPanel.java:208: method: String com.dmdirc.addons.ui_swing.dialogs.aliases.AliasPanel.getCommand()
    //#input(String getCommand()): com/dmdirc/addons/ui_swing/components/validating/ValidatingJTextField.__Descendant_Table[com/dmdirc/addons/ui_swing/components/validating/ValidatingJTextField]
    //#input(String getCommand()): com/dmdirc/addons/ui_swing/components/validating/ValidatingJTextField.__Descendant_Table[others]
    //#input(String getCommand()): com/dmdirc/addons/ui_swing/components/validating/ValidatingJTextField.__Dispatch_Table.getText()Ljava/lang/String;
    //#input(String getCommand()): this
    //#input(String getCommand()): this.command
    //#input(String getCommand()): this.command.__Tag
    //#input(String getCommand()): this.command.textField
    //#output(String getCommand()): return_value
    //#pre[2] (String getCommand()): this.command != null
    //#pre[3] (String getCommand()): this.command.__Tag == com/dmdirc/addons/ui_swing/components/validating/ValidatingJTextField
    //#pre[4] (String getCommand()): this.command.textField != null
    //#post(String getCommand()): init'ed(return_value)
    //#unanalyzed(String getCommand()): Effects-of-calling:javax.swing.JTextField:getText
    //#AliasPanel.java:208: end of method: String com.dmdirc.addons.ui_swing.dialogs.aliases.AliasPanel.getCommand()
    }

    /**
     * Returns the arguments condition.
     *
     * @return Action argument condition
     */
    public ActionCondition getArguments() {
        if (argumentComponent.getSelectedItem() == null) {
    //#AliasPanel.java:217: method: ActionCondition com.dmdirc.addons.ui_swing.dialogs.aliases.AliasPanel.getArguments()
    //#input(ActionCondition getArguments()): com.dmdirc.actions.CoreActionComparison.INT_EQUALS
    //#input(ActionCondition getArguments()): com.dmdirc.actions.CoreActionComparison.INT_GREATER
    //#input(ActionCondition getArguments()): com.dmdirc.actions.CoreActionComparison.INT_LESS
    //#input(ActionCondition getArguments()): com.dmdirc.actions.CoreActionComponent.STRINGARRAY_LENGTH
    //#input(ActionCondition getArguments()): com.dmdirc.addons.ui_swing.dialogs.aliases.AliasPanel$1__static_init.new int[](AliasPanel$1__static_init#1).length
    //#input(ActionCondition getArguments()): com.dmdirc.addons.ui_swing.dialogs.aliases.AliasPanel$1__static_init.new int[](AliasPanel$1__static_init#1)[0..4_294_967_295]
    //#input(ActionCondition getArguments()): com/dmdirc/addons/ui_swing/dialogs/aliases/AliasPanel$1.$SwitchMap$com$dmdirc$actions$CoreActionComparison
    //#input(ActionCondition getArguments()): this
    //#input(ActionCondition getArguments()): this.argumentComponent
    //#input(ActionCondition getArguments()): this.argumentNumber
    //#output(ActionCondition getArguments()): new ActionCondition(getArguments#1) num objects
    //#output(ActionCondition getArguments()): new ActionCondition(getArguments#2) num objects
    //#output(ActionCondition getArguments()): new ActionCondition(getArguments#3) num objects
    //#output(ActionCondition getArguments()): return_value
    //#new obj(ActionCondition getArguments()): new ActionCondition(getArguments#1)
    //#new obj(ActionCondition getArguments()): new ActionCondition(getArguments#2)
    //#new obj(ActionCondition getArguments()): new ActionCondition(getArguments#3)
    //#pre[3] (ActionCondition getArguments()): this.argumentComponent != null
    //#pre[1] (ActionCondition getArguments()): (soft) init'ed(com.dmdirc.addons.ui_swing.dialogs.aliases.AliasPanel$1__static_init.new int[](AliasPanel$1__static_init#1)[0..4_294_967_295])
    //#pre[4] (ActionCondition getArguments()): (soft) this.argumentNumber != null
    //#presumption(ActionCondition getArguments()): init'ed(com.dmdirc.actions.CoreActionComparison.INT_EQUALS)
    //#presumption(ActionCondition getArguments()): init'ed(com.dmdirc.actions.CoreActionComparison.INT_GREATER)
    //#presumption(ActionCondition getArguments()): init'ed(com.dmdirc.actions.CoreActionComparison.INT_LESS)
    //#presumption(ActionCondition getArguments()): com.dmdirc.actions.CoreActionComparison:ordinal(...)@220 >= 0
    //#presumption(ActionCondition getArguments()): com.dmdirc.actions.CoreActionComparison:values(...).length >= 1
    //#presumption(ActionCondition getArguments()): com.dmdirc.actions.CoreActionComparison:ordinal(...)@220 < com.dmdirc.actions.CoreActionComparison:values(...).length
    //#presumption(ActionCondition getArguments()): init'ed(com.dmdirc.actions.CoreActionComponent.STRINGARRAY_LENGTH)
    //#presumption(ActionCondition getArguments()): javax.swing.JComboBox:getSelectedItem(...)@220 != null
    //#presumption(ActionCondition getArguments()): javax.swing.JSpinner:getValue(...)@222 != null
    //#presumption(ActionCondition getArguments()): javax.swing.JSpinner:getValue(...)@227 != null
    //#presumption(ActionCondition getArguments()): javax.swing.JSpinner:getValue(...)@232 != null
    //#post(ActionCondition getArguments()): return_value in Addr_Set{null,&new ActionCondition(getArguments#1),&new ActionCondition(getArguments#2),&new ActionCondition(getArguments#3)}
    //#post(ActionCondition getArguments()): new ActionCondition(getArguments#1) num objects <= 1
    //#post(ActionCondition getArguments()): new ActionCondition(getArguments#2) num objects <= 1
    //#post(ActionCondition getArguments()): new ActionCondition(getArguments#3) num objects <= 1
    //#test_vector(ActionCondition getArguments()): com.dmdirc.addons.ui_swing.dialogs.aliases.AliasPanel$1__static_init.new int[](AliasPanel$1__static_init#1)[0..4_294_967_295]: {1}, {2}, {3}, {-2_147_483_648..0, 4..4_294_967_295}
    //#test_vector(ActionCondition getArguments()): javax.swing.JComboBox:getSelectedItem(...)@217: Inverse{null}, Addr_Set{null}
            return null;
        }
        switch ((CoreActionComparison) argumentComponent.getSelectedItem()) {
    //#AliasPanel.java:220: method: com.dmdirc.addons.ui_swing.dialogs.aliases.AliasPanel$1.com.dmdirc.addons.ui_swing.dialogs.aliases.AliasPanel$1__static_init
    //#AliasPanel.java:220: Warning: method not available - call not analyzed
    //#    call on CoreActionComparison[] com.dmdirc.actions.CoreActionComparison:values()
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.addons.ui_swing.dialogs.aliases.AliasPanel$1
    //#    method: com.dmdirc.addons.ui_swing.dialogs.aliases.AliasPanel$1__static_init
    //#    unanalyzed callee: CoreActionComparison[] com.dmdirc.actions.CoreActionComparison:values()
    //#AliasPanel.java:220: Warning: method not available - call not analyzed
    //#    call on int com.dmdirc.actions.CoreActionComparison:ordinal()
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.addons.ui_swing.dialogs.aliases.AliasPanel$1
    //#    method: com.dmdirc.addons.ui_swing.dialogs.aliases.AliasPanel$1__static_init
    //#    unanalyzed callee: int com.dmdirc.actions.CoreActionComparison:ordinal()
    //#input(com.dmdirc.addons.ui_swing.dialogs.aliases.AliasPanel$1__static_init): com.dmdirc.actions.CoreActionComparison.INT_EQUALS
    //#input(com.dmdirc.addons.ui_swing.dialogs.aliases.AliasPanel$1__static_init): com.dmdirc.actions.CoreActionComparison.INT_GREATER
    //#input(com.dmdirc.addons.ui_swing.dialogs.aliases.AliasPanel$1__static_init): com.dmdirc.actions.CoreActionComparison.INT_LESS
    //#output(com.dmdirc.addons.ui_swing.dialogs.aliases.AliasPanel$1__static_init): $SwitchMap$com$dmdirc$actions$CoreActionComparison
    //#output(com.dmdirc.addons.ui_swing.dialogs.aliases.AliasPanel$1__static_init): __Descendant_Table[com/dmdirc/addons/ui_swing/dialogs/aliases/AliasPanel$1]
    //#output(com.dmdirc.addons.ui_swing.dialogs.aliases.AliasPanel$1__static_init): new int[](AliasPanel$1__static_init#1) num objects
    //#output(com.dmdirc.addons.ui_swing.dialogs.aliases.AliasPanel$1__static_init): $SwitchMap$com$dmdirc$actions$CoreActionComparison.length
    //#output(com.dmdirc.addons.ui_swing.dialogs.aliases.AliasPanel$1__static_init): $SwitchMap$com$dmdirc$actions$CoreActionComparison[0..4_294_967_295]
    //#new obj(com.dmdirc.addons.ui_swing.dialogs.aliases.AliasPanel$1__static_init): new int[](AliasPanel$1__static_init#1)
    //#presumption(com.dmdirc.addons.ui_swing.dialogs.aliases.AliasPanel$1__static_init): com.dmdirc.actions.CoreActionComparison.INT_EQUALS != null
    //#presumption(com.dmdirc.addons.ui_swing.dialogs.aliases.AliasPanel$1__static_init): com.dmdirc.actions.CoreActionComparison.INT_GREATER != null
    //#presumption(com.dmdirc.addons.ui_swing.dialogs.aliases.AliasPanel$1__static_init): com.dmdirc.actions.CoreActionComparison.INT_LESS != null
    //#presumption(com.dmdirc.addons.ui_swing.dialogs.aliases.AliasPanel$1__static_init): com.dmdirc.actions.CoreActionComparison:ordinal(...)@220 >= 0
    //#presumption(com.dmdirc.addons.ui_swing.dialogs.aliases.AliasPanel$1__static_init): com.dmdirc.actions.CoreActionComparison:ordinal(...)@220 >= 0
    //#presumption(com.dmdirc.addons.ui_swing.dialogs.aliases.AliasPanel$1__static_init): com.dmdirc.actions.CoreActionComparison:ordinal(...)@220 >= 0
    //#presumption(com.dmdirc.addons.ui_swing.dialogs.aliases.AliasPanel$1__static_init): com.dmdirc.actions.CoreActionComparison:ordinal(...)@220 < com.dmdirc.actions.CoreActionComparison:values(...).length@220
    //#presumption(com.dmdirc.addons.ui_swing.dialogs.aliases.AliasPanel$1__static_init): com.dmdirc.actions.CoreActionComparison:ordinal(...)@220 < com.dmdirc.actions.CoreActionComparison:values(...).length@220
    //#presumption(com.dmdirc.addons.ui_swing.dialogs.aliases.AliasPanel$1__static_init): com.dmdirc.actions.CoreActionComparison:ordinal(...)@220 < com.dmdirc.actions.CoreActionComparison:values(...).length@220
    //#presumption(com.dmdirc.addons.ui_swing.dialogs.aliases.AliasPanel$1__static_init): com.dmdirc.actions.CoreActionComparison:values(...).length@220 >= 1
    //#presumption(com.dmdirc.addons.ui_swing.dialogs.aliases.AliasPanel$1__static_init): com.dmdirc.actions.CoreActionComparison:values(...)@220 != null
    //#post(com.dmdirc.addons.ui_swing.dialogs.aliases.AliasPanel$1__static_init): $SwitchMap$com$dmdirc$actions$CoreActionComparison == &new int[](AliasPanel$1__static_init#1)
    //#post(com.dmdirc.addons.ui_swing.dialogs.aliases.AliasPanel$1__static_init): __Descendant_Table[com/dmdirc/addons/ui_swing/dialogs/aliases/AliasPanel$1] == &__Dispatch_Table
    //#post(com.dmdirc.addons.ui_swing.dialogs.aliases.AliasPanel$1__static_init): new int[](AliasPanel$1__static_init#1) num objects == 1
    //#post(com.dmdirc.addons.ui_swing.dialogs.aliases.AliasPanel$1__static_init): $SwitchMap$com$dmdirc$actions$CoreActionComparison.length >= 1
    //#post(com.dmdirc.addons.ui_swing.dialogs.aliases.AliasPanel$1__static_init): $SwitchMap$com$dmdirc$actions$CoreActionComparison[0..4_294_967_295] in {0..3}, if init'ed
    //#AliasPanel.java:220: end of method: com.dmdirc.addons.ui_swing.dialogs.aliases.AliasPanel$1.com.dmdirc.addons.ui_swing.dialogs.aliases.AliasPanel$1__static_init
    //#AliasPanel.java:220: Warning: method not available - call not analyzed
    //#    call on int com.dmdirc.actions.CoreActionComparison:ordinal()
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.addons.ui_swing.dialogs.aliases.AliasPanel
    //#    method: ActionCondition getArguments()
    //#    unanalyzed callee: int com.dmdirc.actions.CoreActionComparison:ordinal()
            case INT_EQUALS:
                return new ActionCondition(2,
    //#AliasPanel.java:222: Warning: method not available - call not analyzed
    //#    call on void com.dmdirc.actions.ActionCondition(int, ActionComponent, ActionComparison, String)
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.addons.ui_swing.dialogs.aliases.AliasPanel
    //#    method: ActionCondition getArguments()
    //#    unanalyzed callee: void com.dmdirc.actions.ActionCondition(int, ActionComponent, ActionComparison, String)
                        CoreActionComponent.STRINGARRAY_LENGTH,
                        CoreActionComparison.INT_EQUALS,
                        argumentNumber.getValue().toString());
            case INT_GREATER:
                return new ActionCondition(2,
    //#AliasPanel.java:227: Warning: method not available - call not analyzed
    //#    call on void com.dmdirc.actions.ActionCondition(int, ActionComponent, ActionComparison, String)
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.addons.ui_swing.dialogs.aliases.AliasPanel
    //#    method: ActionCondition getArguments()
    //#    unanalyzed callee: void com.dmdirc.actions.ActionCondition(int, ActionComponent, ActionComparison, String)
                        CoreActionComponent.STRINGARRAY_LENGTH,
                        CoreActionComparison.INT_GREATER,
                        argumentNumber.getValue().toString());
            case INT_LESS:
                return new ActionCondition(2,
    //#AliasPanel.java:232: Warning: method not available - call not analyzed
    //#    call on void com.dmdirc.actions.ActionCondition(int, ActionComponent, ActionComparison, String)
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.addons.ui_swing.dialogs.aliases.AliasPanel
    //#    method: ActionCondition getArguments()
    //#    unanalyzed callee: void com.dmdirc.actions.ActionCondition(int, ActionComponent, ActionComparison, String)
                        CoreActionComponent.STRINGARRAY_LENGTH,
                        CoreActionComparison.INT_LESS,
                        argumentNumber.getValue().toString());
            default:
                return null;
    //#AliasPanel.java:237: end of method: ActionCondition com.dmdirc.addons.ui_swing.dialogs.aliases.AliasPanel.getArguments()
        }
    }

    /**
     * Returns the user response to the alias.
     *
     * @return Alias response
     */
    protected String[] getResponse() {
        return response.getText().split("\n");
    //#AliasPanel.java:247: method: String[] com.dmdirc.addons.ui_swing.dialogs.aliases.AliasPanel.getResponse()
    //#input(String[] getResponse()): this
    //#input(String[] getResponse()): this.response
    //#output(String[] getResponse()): java.lang.String:split(...)._tainted
    //#output(String[] getResponse()): return_value
    //#new obj(String[] getResponse()): java.lang.String:split(...)
    //#pre[2] (String[] getResponse()): this.response != null
    //#presumption(String[] getResponse()): javax.swing.JTextArea:getText(...)@247 != null
    //#post(String[] getResponse()): java.lang.String:split(...)._tainted == 0
    //#post(String[] getResponse()): return_value == &java.lang.String:split(...)
    //#AliasPanel.java:247: end of method: String[] com.dmdirc.addons.ui_swing.dialogs.aliases.AliasPanel.getResponse()
    }

    /**
     * Returns the alias being shown in this panel.
     *
     * @return Alias
     */
    protected Alias getAlias() {
        return alias;
    //#AliasPanel.java:256: method: Alias com.dmdirc.addons.ui_swing.dialogs.aliases.AliasPanel.getAlias()
    //#input(Alias getAlias()): this
    //#input(Alias getAlias()): this.alias
    //#output(Alias getAlias()): return_value
    //#pre[2] (Alias getAlias()): init'ed(this.alias)
    //#post(Alias getAlias()): return_value == this.alias
    //#post(Alias getAlias()): init'ed(return_value)
    //#AliasPanel.java:256: end of method: Alias com.dmdirc.addons.ui_swing.dialogs.aliases.AliasPanel.getAlias()
    }

    /**
     * Returns an alias reflecting the changes in this panel.
     *
     * @return New alias reflecting the edited alias.
     */
    protected Alias getNewAlias() {
        final List<ActionCondition> conditions =
    //#AliasPanel.java:265: method: Alias com.dmdirc.addons.ui_swing.dialogs.aliases.AliasPanel.getNewAlias()
    //#input(Alias getNewAlias()): com.dmdirc.actions.CoreActionComparison.INT_EQUALS
    //#input(Alias getNewAlias()): com.dmdirc.actions.CoreActionComparison.INT_GREATER
    //#input(Alias getNewAlias()): com.dmdirc.actions.CoreActionComparison.INT_LESS
    //#input(Alias getNewAlias()): com.dmdirc.actions.CoreActionComparison.STRING_EQUALS
    //#input(Alias getNewAlias()): com.dmdirc.actions.CoreActionComponent.STRINGARRAY_LENGTH
    //#input(Alias getNewAlias()): com.dmdirc.actions.CoreActionComponent.STRING_STRING
    //#input(Alias getNewAlias()): com.dmdirc.addons.ui_swing.dialogs.aliases.AliasPanel$1__static_init.new int[](AliasPanel$1__static_init#1).length
    //#input(Alias getNewAlias()): com.dmdirc.addons.ui_swing.dialogs.aliases.AliasPanel$1__static_init.new int[](AliasPanel$1__static_init#1)[0..4_294_967_295]
    //#input(Alias getNewAlias()): com/dmdirc/addons/ui_swing/components/validating/ValidatingJTextField.__Descendant_Table[com/dmdirc/addons/ui_swing/components/validating/ValidatingJTextField]
    //#input(Alias getNewAlias()): com/dmdirc/addons/ui_swing/components/validating/ValidatingJTextField.__Descendant_Table[others]
    //#input(Alias getNewAlias()): com/dmdirc/addons/ui_swing/components/validating/ValidatingJTextField.__Dispatch_Table.getText()Ljava/lang/String;
    //#input(Alias getNewAlias()): com/dmdirc/addons/ui_swing/dialogs/aliases/AliasPanel$1.$SwitchMap$com$dmdirc$actions$CoreActionComparison
    //#input(Alias getNewAlias()): this
    //#input(Alias getNewAlias()): this.argumentComponent
    //#input(Alias getNewAlias()): this.argumentNumber
    //#input(Alias getNewAlias()): this.command
    //#input(Alias getNewAlias()): this.command.__Tag
    //#input(Alias getNewAlias()): this.command.textField
    //#input(Alias getNewAlias()): this.response
    //#output(Alias getNewAlias()): new Alias(getNewAlias#3) num objects
    //#output(Alias getNewAlias()): return_value
    //#new obj(Alias getNewAlias()): new Alias(getNewAlias#3)
    //#pre[3] (Alias getNewAlias()): this.argumentComponent != null
    //#pre[5] (Alias getNewAlias()): this.command != null
    //#pre[6] (Alias getNewAlias()): this.command.__Tag == com/dmdirc/addons/ui_swing/components/validating/ValidatingJTextField
    //#pre[7] (Alias getNewAlias()): this.command.textField != null
    //#pre[8] (Alias getNewAlias()): this.response != null
    //#pre[1] (Alias getNewAlias()): (soft) init'ed(com.dmdirc.addons.ui_swing.dialogs.aliases.AliasPanel$1__static_init.new int[](AliasPanel$1__static_init#1)[0..4_294_967_295])
    //#pre[4] (Alias getNewAlias()): (soft) this.argumentNumber != null
    //#presumption(Alias getNewAlias()): init'ed(com.dmdirc.actions.CoreActionComparison.STRING_EQUALS)
    //#presumption(Alias getNewAlias()): com.dmdirc.actions.CoreActionComparison:values(...).length >= 1
    //#presumption(Alias getNewAlias()): init'ed(com.dmdirc.actions.CoreActionComponent.STRING_STRING)
    //#post(Alias getNewAlias()): return_value == &new Alias(getNewAlias#3)
    //#post(Alias getNewAlias()): new Alias(getNewAlias#3) num objects == 1
    //#unanalyzed(Alias getNewAlias()): Effects-of-calling:javax.swing.JComboBox:getSelectedItem
    //#unanalyzed(Alias getNewAlias()): Effects-of-calling:com.dmdirc.actions.CoreActionComparison:ordinal
    //#unanalyzed(Alias getNewAlias()): Effects-of-calling:javax.swing.JSpinner:getValue
    //#unanalyzed(Alias getNewAlias()): Effects-of-calling:java.lang.Object:toString
    //#unanalyzed(Alias getNewAlias()): Effects-of-calling:com.dmdirc.actions.ActionCondition
    //#unanalyzed(Alias getNewAlias()): Effects-of-calling:javax.swing.JTextArea:getText
    //#unanalyzed(Alias getNewAlias()): Effects-of-calling:java.lang.String:split
    //#unanalyzed(Alias getNewAlias()): Effects-of-calling:javax.swing.JTextField:getText
                new ArrayList<ActionCondition>();
        conditions.add(new ActionCondition(1,
    //#AliasPanel.java:267: Warning: method not available - call not analyzed
    //#    call on void com.dmdirc.actions.ActionCondition(int, ActionComponent, ActionComparison, String)
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.addons.ui_swing.dialogs.aliases.AliasPanel
    //#    method: Alias getNewAlias()
    //#    unanalyzed callee: void com.dmdirc.actions.ActionCondition(int, ActionComponent, ActionComparison, String)
                CoreActionComponent.STRING_STRING,
                CoreActionComparison.STRING_EQUALS, getCommand()));
        if (getArguments() != null) {
            conditions.add(getArguments());
        }
        return new Alias(getCommand(), conditions, getResponse());
    //#AliasPanel.java:273: Warning: unused assignment in callee
    //#    Unused assignment to (java.lang.String:split(...)._tainted) in getResponse
    //#    severity: LOW
    //#    class: com.dmdirc.addons.ui_swing.dialogs.aliases.AliasPanel
    //#    method: Alias getNewAlias()
    //#AliasPanel.java:273: Warning: method not available - call not analyzed
    //#    call on void com.dmdirc.actions.wrappers.Alias(String, List, String[])
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.addons.ui_swing.dialogs.aliases.AliasPanel
    //#    method: Alias getNewAlias()
    //#    unanalyzed callee: void com.dmdirc.actions.wrappers.Alias(String, List, String[])
    //#AliasPanel.java:273: end of method: Alias com.dmdirc.addons.ui_swing.dialogs.aliases.AliasPanel.getNewAlias()
    }

    /** Focuses the command field. */
    public void focusCommand() {
        command.requestFocusInWindow();
    //#AliasPanel.java:278: method: void com.dmdirc.addons.ui_swing.dialogs.aliases.AliasPanel.focusCommand()
    //#input(void focusCommand()): com/dmdirc/addons/ui_swing/components/validating/ValidatingJTextField.__Descendant_Table[com/dmdirc/addons/ui_swing/components/validating/ValidatingJTextField]
    //#input(void focusCommand()): com/dmdirc/addons/ui_swing/components/validating/ValidatingJTextField.__Descendant_Table[others]
    //#input(void focusCommand()): com/dmdirc/addons/ui_swing/components/validating/ValidatingJTextField.__Dispatch_Table.requestFocusInWindow()Z
    //#input(void focusCommand()): this
    //#input(void focusCommand()): this.command
    //#input(void focusCommand()): this.command.__Tag
    //#input(void focusCommand()): this.command.textField
    //#pre[2] (void focusCommand()): this.command != null
    //#pre[3] (void focusCommand()): this.command.__Tag == com/dmdirc/addons/ui_swing/components/validating/ValidatingJTextField
    //#pre[4] (void focusCommand()): this.command.textField != null
    //#unanalyzed(void focusCommand()): Effects-of-calling:javax.swing.JTextField:requestFocusInWindow
    }
    //#AliasPanel.java:279: end of method: void com.dmdirc.addons.ui_swing.dialogs.aliases.AliasPanel.focusCommand()
}
    //#AliasPanel.java:: end of class: com.dmdirc.addons.ui_swing.dialogs.aliases.AliasPanel$1
    //#output(com.dmdirc.addons.ui_swing.dialogs.aliases.AliasPanel__static_init): __Descendant_Table[com/dmdirc/addons/ui_swing/dialogs/aliases/AliasPanel]
    //#output(com.dmdirc.addons.ui_swing.dialogs.aliases.AliasPanel__static_init): __Dispatch_Table.actionPerformed(Ljava/awt/event/ActionEvent;)V
    //#output(com.dmdirc.addons.ui_swing.dialogs.aliases.AliasPanel__static_init): __Dispatch_Table.clear()V
    //#output(com.dmdirc.addons.ui_swing.dialogs.aliases.AliasPanel__static_init): __Dispatch_Table.focusCommand()V
    //#output(com.dmdirc.addons.ui_swing.dialogs.aliases.AliasPanel__static_init): __Dispatch_Table.getAlias()Lcom/dmdirc/actions/wrappers/Alias;
    //#output(com.dmdirc.addons.ui_swing.dialogs.aliases.AliasPanel__static_init): __Dispatch_Table.getArguments()Lcom/dmdirc/actions/ActionCondition;
    //#output(com.dmdirc.addons.ui_swing.dialogs.aliases.AliasPanel__static_init): __Dispatch_Table.getCommand()Ljava/lang/String;
    //#output(com.dmdirc.addons.ui_swing.dialogs.aliases.AliasPanel__static_init): __Dispatch_Table.getNewAlias()Lcom/dmdirc/actions/wrappers/Alias;
    //#output(com.dmdirc.addons.ui_swing.dialogs.aliases.AliasPanel__static_init): __Dispatch_Table.getResponse()[Ljava/lang/String;
    //#output(com.dmdirc.addons.ui_swing.dialogs.aliases.AliasPanel__static_init): __Dispatch_Table.layoutComponents()V
    //#output(com.dmdirc.addons.ui_swing.dialogs.aliases.AliasPanel__static_init): __Dispatch_Table.setAlias(Lcom/dmdirc/actions/wrappers/Alias;)V
    //#post(com.dmdirc.addons.ui_swing.dialogs.aliases.AliasPanel__static_init): __Descendant_Table[com/dmdirc/addons/ui_swing/dialogs/aliases/AliasPanel] == &__Dispatch_Table
    //#post(com.dmdirc.addons.ui_swing.dialogs.aliases.AliasPanel__static_init): __Dispatch_Table.actionPerformed(Ljava/awt/event/ActionEvent;)V == &actionPerformed
    //#post(com.dmdirc.addons.ui_swing.dialogs.aliases.AliasPanel__static_init): __Dispatch_Table.clear()V == &clear
    //#post(com.dmdirc.addons.ui_swing.dialogs.aliases.AliasPanel__static_init): __Dispatch_Table.focusCommand()V == &focusCommand
    //#post(com.dmdirc.addons.ui_swing.dialogs.aliases.AliasPanel__static_init): __Dispatch_Table.getAlias()Lcom/dmdirc/actions/wrappers/Alias; == &getAlias
    //#post(com.dmdirc.addons.ui_swing.dialogs.aliases.AliasPanel__static_init): __Dispatch_Table.getArguments()Lcom/dmdirc/actions/ActionCondition; == &getArguments
    //#post(com.dmdirc.addons.ui_swing.dialogs.aliases.AliasPanel__static_init): __Dispatch_Table.getCommand()Ljava/lang/String; == &getCommand
    //#post(com.dmdirc.addons.ui_swing.dialogs.aliases.AliasPanel__static_init): __Dispatch_Table.getNewAlias()Lcom/dmdirc/actions/wrappers/Alias; == &getNewAlias
    //#post(com.dmdirc.addons.ui_swing.dialogs.aliases.AliasPanel__static_init): __Dispatch_Table.getResponse()[Ljava/lang/String; == &getResponse
    //#post(com.dmdirc.addons.ui_swing.dialogs.aliases.AliasPanel__static_init): __Dispatch_Table.layoutComponents()V == &layoutComponents
    //#post(com.dmdirc.addons.ui_swing.dialogs.aliases.AliasPanel__static_init): __Dispatch_Table.setAlias(Lcom/dmdirc/actions/wrappers/Alias;)V == &setAlias
    //#AliasPanel.java:: end of method: com.dmdirc.addons.ui_swing.dialogs.aliases.AliasPanel.com.dmdirc.addons.ui_swing.dialogs.aliases.AliasPanel__static_init
    //#AliasPanel.java:: end of class: com.dmdirc.addons.ui_swing.dialogs.aliases.AliasPanel
