//# 1 errors, 156 messages
//#
/*
    //#ActionResponsePanel.java:1:1: class: com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionResponsePanel
    //#ActionResponsePanel.java:1:1: method: com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionResponsePanel.com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionResponsePanel__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.actioneditor;

import com.dmdirc.config.IdentityManager;

import java.util.Comparator;
import java.util.TreeSet;

import javax.swing.BorderFactory;
import javax.swing.DefaultComboBoxModel;
import javax.swing.JComboBox;
import javax.swing.JLabel;
import javax.swing.JPanel;
import javax.swing.JScrollPane;
import javax.swing.JTextArea;

import net.miginfocom.swing.MigLayout;

/**
 * Action response panel.
 */
public class ActionResponsePanel extends JPanel {

    /**
     * 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 = 1;
    /** Response text area. */
    private JTextArea response;
    /** Formatter combo box. */
    private JComboBox formatter;

    /** Instantiates the panel. */
    public ActionResponsePanel() {
        super();
    //#ActionResponsePanel.java:58: method: void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionResponsePanel.com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionResponsePanel()
    //#input(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionResponsePanel()): java.lang.String.CASE_INSENSITIVE_ORDER
    //#input(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionResponsePanel()): this
    //#output(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionResponsePanel()): new JComboBox(initComponents#2) num objects
    //#output(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionResponsePanel()): new JTextArea(initComponents#1) num objects
    //#output(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionResponsePanel()): this.formatter
    //#output(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionResponsePanel()): this.response
    //#new obj(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionResponsePanel()): new JComboBox(initComponents#2)
    //#new obj(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionResponsePanel()): new JTextArea(initComponents#1)
    //#post(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionResponsePanel()): this.formatter == &new JComboBox(initComponents#2)
    //#post(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionResponsePanel()): this.response == &new JTextArea(initComponents#1)
    //#post(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionResponsePanel()): new JComboBox(initComponents#2) num objects == 1
    //#post(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionResponsePanel()): new JTextArea(initComponents#1) num objects == 1
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionResponsePanel()): Effects-of-calling:javax.swing.JTextArea
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionResponsePanel()): Effects-of-calling:javax.swing.JTextArea:setRows
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionResponsePanel()): Effects-of-calling:javax.swing.DefaultComboBoxModel
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionResponsePanel()): Effects-of-calling:javax.swing.JComboBox
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionResponsePanel()): Effects-of-calling:javax.swing.JComboBox:getModel
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionResponsePanel()): Effects-of-calling:javax.swing.DefaultComboBoxModel:addElement
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionResponsePanel()): Effects-of-calling:java.util.TreeSet
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionResponsePanel()): Effects-of-calling:com.dmdirc.config.IdentityManager:getGlobalConfig
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionResponsePanel()): Effects-of-calling:com.dmdirc.config.ConfigManager:getOptions
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionResponsePanel()): Effects-of-calling:java.util.Map:keySet
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionResponsePanel()): Effects-of-calling:java.util.TreeSet:addAll
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionResponsePanel()): Effects-of-calling:java.util.TreeSet:iterator
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionResponsePanel()): Effects-of-calling:java.util.Iterator:hasNext
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionResponsePanel()): Effects-of-calling:java.util.Iterator:next
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionResponsePanel()): Effects-of-calling:com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionResponsePanel:getBorder
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionResponsePanel()): Effects-of-calling:javax.swing.BorderFactory:createTitledBorder
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionResponsePanel()): Effects-of-calling:com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionResponsePanel:setBorder
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionResponsePanel()): Effects-of-calling:net.miginfocom.swing.MigLayout
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionResponsePanel()): Effects-of-calling:com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionResponsePanel:setLayout
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionResponsePanel()): Effects-of-calling:javax.swing.JLabel
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionResponsePanel()): Effects-of-calling:com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionResponsePanel:add
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionResponsePanel()): Effects-of-calling:javax.swing.JScrollPane

        initComponents();
        addListeners();
        layoutComponents();
    }
    //#ActionResponsePanel.java:63: end of method: void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionResponsePanel.com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionResponsePanel()

    /** Initialises the components. */
    private void initComponents() {
        response = new JTextArea();
    //#ActionResponsePanel.java:67: method: void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionResponsePanel.initComponents()
    //#input(void initComponents()): java.lang.String.CASE_INSENSITIVE_ORDER
    //#input(void initComponents()): this
    //#output(void initComponents()): new JComboBox(initComponents#2) num objects
    //#output(void initComponents()): new JTextArea(initComponents#1) num objects
    //#output(void initComponents()): this.formatter
    //#output(void initComponents()): this.response
    //#new obj(void initComponents()): new JComboBox(initComponents#2)
    //#new obj(void initComponents()): new JTextArea(initComponents#1)
    //#presumption(void initComponents()): com.dmdirc.config.ConfigManager:getOptions(...)@75 != null
    //#presumption(void initComponents()): com.dmdirc.config.IdentityManager:getGlobalConfig(...)@75 != null
    //#presumption(void initComponents()): init'ed(java.lang.String.CASE_INSENSITIVE_ORDER)
    //#presumption(void initComponents()): javax.swing.JComboBox:getModel(...)@71 != null
    //#presumption(void initComponents()): javax.swing.JComboBox:getModel(...)@72 != null
    //#presumption(void initComponents()): javax.swing.JComboBox:getModel(...)@78 != null
    //#post(void initComponents()): this.formatter == &new JComboBox(initComponents#2)
    //#post(void initComponents()): this.response == &new JTextArea(initComponents#1)
    //#post(void initComponents()): new JComboBox(initComponents#2) num objects == 1
    //#post(void initComponents()): new JTextArea(initComponents#1) num objects == 1
    //#test_vector(void initComponents()): java.util.Iterator:hasNext(...)@77: {0}, {1}
        response.setRows(4);
        formatter = new JComboBox(new DefaultComboBoxModel());

        ((DefaultComboBoxModel) formatter.getModel()).addElement("No change");
        ((DefaultComboBoxModel) formatter.getModel()).addElement("No response");

        final TreeSet<String> formatters = new TreeSet<String>(String.CASE_INSENSITIVE_ORDER);
        formatters.addAll(IdentityManager.getGlobalConfig().getOptions("formatter").keySet());
    //#ActionResponsePanel.java:75: Warning: method not available - call not analyzed
    //#    call on ConfigManager com.dmdirc.config.IdentityManager:getGlobalConfig()
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionResponsePanel
    //#    method: void initComponents()
    //#    unanalyzed callee: ConfigManager com.dmdirc.config.IdentityManager:getGlobalConfig()
    //#ActionResponsePanel.java:75: Warning: method not available - call not analyzed
    //#    call on Map com.dmdirc.config.ConfigManager:getOptions(String)
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionResponsePanel
    //#    method: void initComponents()
    //#    unanalyzed callee: Map com.dmdirc.config.ConfigManager:getOptions(String)

        for (String format : formatters) {
            ((DefaultComboBoxModel) formatter.getModel()).addElement(format);
        }
    }
    //#ActionResponsePanel.java:80: end of method: void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionResponsePanel.initComponents()

    /** Adds the listeners. */
    private void addListeners() {
    }
    //#ActionResponsePanel.java:84: method: void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionResponsePanel.addListeners()
    //#ActionResponsePanel.java:84: end of method: void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionResponsePanel.addListeners()

    /** Lays out the components. */
    private void layoutComponents() {
        setBorder(BorderFactory.createTitledBorder(getBorder(), "Response"));
    //#ActionResponsePanel.java:88: method: void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionResponsePanel.layoutComponents()
    //#ActionResponsePanel.java:88: Warning: method not available - call not analyzed
    //#    call on Border com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionResponsePanel:getBorder()
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionResponsePanel
    //#    method: void layoutComponents()
    //#    unanalyzed callee: Border com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionResponsePanel:getBorder()
    //#ActionResponsePanel.java:88: Warning: method not available - call not analyzed
    //#    call on void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionResponsePanel:setBorder(Border)
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionResponsePanel
    //#    method: void layoutComponents()
    //#    unanalyzed callee: void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionResponsePanel:setBorder(Border)
    //#input(void layoutComponents()): this
    //#input(void layoutComponents()): this.formatter
    //#input(void layoutComponents()): this.response
    //#pre[2] (void layoutComponents()): init'ed(this.formatter)
    //#pre[3] (void layoutComponents()): init'ed(this.response)
        setLayout(new MigLayout("fill, wrap 1"));
    //#ActionResponsePanel.java:89: Warning: method not available - call not analyzed
    //#    call on void net.miginfocom.swing.MigLayout(String)
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionResponsePanel
    //#    method: void layoutComponents()
    //#    unanalyzed callee: void net.miginfocom.swing.MigLayout(String)
    //#ActionResponsePanel.java:89: Warning: method not available - call not analyzed
    //#    call on void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionResponsePanel:setLayout(LayoutManager)
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionResponsePanel
    //#    method: void layoutComponents()
    //#    unanalyzed callee: void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionResponsePanel:setLayout(LayoutManager)

        add(new JLabel("Execute these commands: "));
    //#ActionResponsePanel.java:91: Warning: method not available - call not analyzed
    //#    call on Component com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionResponsePanel:add(Component)
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionResponsePanel
    //#    method: void layoutComponents()
    //#    unanalyzed callee: Component com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionResponsePanel:add(Component)
        add(new JScrollPane(response), "grow, push");
    //#ActionResponsePanel.java:92: Warning: method not available - call not analyzed
    //#    call on void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionResponsePanel:add(Component, Object)
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionResponsePanel
    //#    method: void layoutComponents()
    //#    unanalyzed callee: void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionResponsePanel:add(Component, Object)
        add(new JLabel("Alter the event's formatter"));
    //#ActionResponsePanel.java:93: Warning: method not available - call not analyzed
    //#    call on Component com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionResponsePanel:add(Component)
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionResponsePanel
    //#    method: void layoutComponents()
    //#    unanalyzed callee: Component com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionResponsePanel:add(Component)
        add(formatter, "growx, pushx");
    //#ActionResponsePanel.java:94: Warning: method not available - call not analyzed
    //#    call on void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionResponsePanel:add(Component, Object)
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionResponsePanel
    //#    method: void layoutComponents()
    //#    unanalyzed callee: void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionResponsePanel:add(Component, Object)
    }
    //#ActionResponsePanel.java:95: end of method: void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionResponsePanel.layoutComponents()
    
    /**
     * Sets the response.
     * 
     * @param response new response
     */
    public void setResponse(final String[] response) {
        final StringBuilder sb = new StringBuilder();
    //#ActionResponsePanel.java:103: method: void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionResponsePanel.setResponse(String[])
    //#input(void setResponse(String[])): response
    //#input(void setResponse(String[])): response.length
    //#input(void setResponse(String[])): response[0..4_294_967_295]
    //#input(void setResponse(String[])): response[0..4_294_967_295]._tainted
    //#input(void setResponse(String[])): this
    //#input(void setResponse(String[])): this.response
    //#pre[1] (void setResponse(String[])): response != null
    //#pre[2] (void setResponse(String[])): response.length <= 4_294_967_295
    //#pre[3] (void setResponse(String[])): (soft) response[0..4_294_967_295] != null
    //#pre[6] (void setResponse(String[])): (soft) this.response != null
    //#presumption(void setResponse(String[])): java.lang.StringBuilder:length(...)@110 >= -2_147_483_647
    //#test_vector(void setResponse(String[])): java.lang.StringBuilder:length(...)@109: {-2_147_483_648..0}, {1..4_294_967_295}
        for (String responseLine : response) {
            responseLine = responseLine.replaceAll("\n", "\\\\n");
            sb.append(responseLine).append('\n');
        }

        if (sb.length() > 0) {
            this.response.setText(sb.substring(0, sb.length() - 1));
        }
    }
    //#ActionResponsePanel.java:112: end of method: void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionResponsePanel.setResponse(String[])

    /**
     * Sets the new formatter for the response panel.
     * 
     * @param newFormat new formatter.
     */
    public void setFormatter(final String newFormat) {
        if (newFormat == null) {
    //#ActionResponsePanel.java:120: method: void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionResponsePanel.setFormatter(String)
    //#input(void setFormatter(String)): newFormat
    //#input(void setFormatter(String)): this
    //#input(void setFormatter(String)): this.formatter
    //#pre[3] (void setFormatter(String)): this.formatter != null
    //#test_vector(void setFormatter(String)): newFormat: Inverse{null}, Addr_Set{null}
    //#test_vector(void setFormatter(String)): java.lang.String:isEmpty(...)@122: {0}, {1}
            formatter.setSelectedIndex(0);
        } else if (newFormat.isEmpty()) {
            formatter.setSelectedIndex(1);
        } else {
            formatter.setSelectedItem(newFormat);
        }
    }
    //#ActionResponsePanel.java:127: end of method: void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionResponsePanel.setFormatter(String)

    /**
     * Returns the current response.
     * 
     * @return Response text
     */
    public String[] getResponse() {
        final String[] text = response.getText().split("\n");
    //#ActionResponsePanel.java:135: method: String[] com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionResponsePanel.getResponse()
    //#input(String[] getResponse()): this
    //#input(String[] getResponse()): this.response
    //#output(String[] getResponse()): java.lang.String:split(...)._tainted
    //#output(String[] getResponse()): java.lang.String:split(...).length
    //#output(String[] getResponse()): java.lang.String:split(...)[0..4_294_967_295]
    //#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(...)@135 != null
    //#post(String[] getResponse()): java.lang.String:split(...)._tainted == 0
    //#post(String[] getResponse()): java.lang.String:split(...).length == undefined
    //#post(String[] getResponse()): java.lang.String:split(...).length == 0, if init'ed
    //#post(String[] getResponse()): java.lang.String:split(...)[0..4_294_967_295] == null
    //#post(String[] getResponse()): return_value == &java.lang.String:split(...)
        for (int i = 0; i < text.length; i++) {
    //#ActionResponsePanel.java:136: ?use of default init
    //#    init'ed(text.length)
    //#    severity: LOW
    //#    class: com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionResponsePanel
    //#    method: String[] getResponse()
    //#    basic block: bb_2
    //#    assertion: init'ed(text.length)
    //#    VN: undefined
    //#    Expected: {-Inf..+Inf}
    //#    Bad: {Invalid}
    //#    Attribs:  Int  Bad only invalid
    //#ActionResponsePanel.java:136: Warning: test always goes same way
    //#    Test predetermined because i == text.length
    //#    severity: LOW
    //#    class: com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionResponsePanel
    //#    method: String[] getResponse()
    //#    from bb: bb_2
    //#    live edge: bb_2-->bb_4
    //#    tested vn: i - undefined
    //#    tested vn values: {0}
            text[i] = text[i].replaceAll("\\\\n", "\n");
    //#ActionResponsePanel.java:137: Warning: dead code
    //#    Dead code here because i == text.length
    //#    severity: LOW
    //#    class: com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionResponsePanel
    //#    method: String[] getResponse()
    //#    dead bb: bb_3
        }
        return text;
    //#ActionResponsePanel.java:139: end of method: String[] com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionResponsePanel.getResponse()
    }

    /**
     * Returns the current formatter.
     * 
     * @return Formatter text
     */
    public String getFormatter() {
        final String newFormat = (String) formatter.getSelectedItem();
    //#ActionResponsePanel.java:148: method: String com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionResponsePanel.getFormatter()
    //#input(String getFormatter()): this
    //#input(String getFormatter()): this.formatter
    //#output(String getFormatter()): return_value
    //#pre[2] (String getFormatter()): this.formatter != null
    //#post(String getFormatter()): init'ed(return_value)
    //#test_vector(String getFormatter()): java.lang.String:equals(...)@149: {0}, {1}
    //#test_vector(String getFormatter()): java.lang.String:equals(...)@151: {0}, {1}
        if ("No change".equals(newFormat)) {
            return null;
        } else if ("No response".equals(newFormat)) {
            return "";
        } else {
            return newFormat;
    //#ActionResponsePanel.java:154: end of method: String com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionResponsePanel.getFormatter()
        }
    }

    /** {@inheritDoc} */
    @Override
    public void setEnabled(final boolean enabled) {
        response.setEnabled(enabled);
    //#ActionResponsePanel.java:161: method: void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionResponsePanel.setEnabled(bool)
    //#input(void setEnabled(bool)): enabled
    //#input(void setEnabled(bool)): this
    //#input(void setEnabled(bool)): this.formatter
    //#input(void setEnabled(bool)): this.response
    //#pre[3] (void setEnabled(bool)): this.formatter != null
    //#pre[4] (void setEnabled(bool)): this.response != null
        formatter.setEnabled(enabled);
    }
    //#ActionResponsePanel.java:163: end of method: void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionResponsePanel.setEnabled(bool)
}
    //#output(com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionResponsePanel__static_init): __Descendant_Table[com/dmdirc/addons/ui_swing/dialogs/actioneditor/ActionResponsePanel]
    //#output(com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionResponsePanel__static_init): __Dispatch_Table.addListeners()V
    //#output(com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionResponsePanel__static_init): __Dispatch_Table.getFormatter()Ljava/lang/String;
    //#output(com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionResponsePanel__static_init): __Dispatch_Table.getResponse()[Ljava/lang/String;
    //#output(com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionResponsePanel__static_init): __Dispatch_Table.initComponents()V
    //#output(com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionResponsePanel__static_init): __Dispatch_Table.layoutComponents()V
    //#output(com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionResponsePanel__static_init): __Dispatch_Table.setEnabled(Z)V
    //#output(com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionResponsePanel__static_init): __Dispatch_Table.setFormatter(Ljava/lang/String;)V
    //#output(com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionResponsePanel__static_init): __Dispatch_Table.setResponse([Ljava/lang/String;)V
    //#post(com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionResponsePanel__static_init): __Descendant_Table[com/dmdirc/addons/ui_swing/dialogs/actioneditor/ActionResponsePanel] == &__Dispatch_Table
    //#post(com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionResponsePanel__static_init): __Dispatch_Table.addListeners()V == &addListeners
    //#post(com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionResponsePanel__static_init): __Dispatch_Table.getFormatter()Ljava/lang/String; == &getFormatter
    //#post(com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionResponsePanel__static_init): __Dispatch_Table.getResponse()[Ljava/lang/String; == &getResponse
    //#post(com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionResponsePanel__static_init): __Dispatch_Table.initComponents()V == &initComponents
    //#post(com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionResponsePanel__static_init): __Dispatch_Table.layoutComponents()V == &layoutComponents
    //#post(com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionResponsePanel__static_init): __Dispatch_Table.setEnabled(Z)V == &setEnabled
    //#post(com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionResponsePanel__static_init): __Dispatch_Table.setFormatter(Ljava/lang/String;)V == &setFormatter
    //#post(com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionResponsePanel__static_init): __Dispatch_Table.setResponse([Ljava/lang/String;)V == &setResponse
    //#ActionResponsePanel.java:: end of method: com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionResponsePanel.com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionResponsePanel__static_init
    //#ActionResponsePanel.java:: end of class: com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionResponsePanel
