//# 12 errors, 293 messages
//#
/*
    //#ChannelModesPane.java:1:1: class: com.dmdirc.addons.ui_swing.dialogs.channelsetting.ChannelModesPane
    //#ChannelModesPane.java:1:1: method: com.dmdirc.addons.ui_swing.dialogs.channelsetting.ChannelModesPane.com.dmdirc.addons.ui_swing.dialogs.channelsetting.ChannelModesPane__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.channelsetting;

import com.dmdirc.Channel;
import com.dmdirc.parser.irc.IRCParser;
import com.dmdirc.addons.ui_swing.components.ParamModePanel;
import com.dmdirc.addons.ui_swing.UIUtilities;

import java.awt.Insets;
import java.util.Hashtable;
import java.util.Map;
import javax.swing.BorderFactory;

import javax.swing.JCheckBox;
import javax.swing.JPanel;

import net.miginfocom.swing.MigLayout;

/** Non list mode panel. */
public final class ChannelModesPane 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;
    /** Parent channel. */
    private final Channel channel;
    /** The checkboxes used for boolean modes. */
    private Map<String, JCheckBox> modeCheckBoxes;
    /** The ParamModePanels used for parameter-requiring modes. */
    private Map<String, ParamModePanel> modeInputs;

    /**
     * Creates a new instance of ChannelModesPane.
     *
     * @param channel Parent channel
     */
    public ChannelModesPane(final Channel channel) {
        super();
    //#ChannelModesPane.java:62: method: void com.dmdirc.addons.ui_swing.dialogs.channelsetting.ChannelModesPane.com.dmdirc.addons.ui_swing.dialogs.channelsetting.ChannelModesPane(Channel)
    //#input(void com.dmdirc.addons.ui_swing.dialogs.channelsetting.ChannelModesPane(Channel)): ": "._tainted
    //#input(void com.dmdirc.addons.ui_swing.dialogs.channelsetting.ChannelModesPane(Channel)): ": Unknown"._tainted
    //#input(void com.dmdirc.addons.ui_swing.dialogs.channelsetting.ChannelModesPane(Channel)): "Mode "._tainted
    //#input(void com.dmdirc.addons.ui_swing.dialogs.channelsetting.ChannelModesPane(Channel)): "enablemode"._tainted
    //#input(void com.dmdirc.addons.ui_swing.dialogs.channelsetting.ChannelModesPane(Channel)): "mode"._tainted
    //#input(void com.dmdirc.addons.ui_swing.dialogs.channelsetting.ChannelModesPane(Channel)): channel
    //#input(void com.dmdirc.addons.ui_swing.dialogs.channelsetting.ChannelModesPane(Channel)): this
    //#output(void com.dmdirc.addons.ui_swing.dialogs.channelsetting.ChannelModesPane(Channel)): new Hashtable(initModesPanel#14) num objects
    //#output(void com.dmdirc.addons.ui_swing.dialogs.channelsetting.ChannelModesPane(Channel)): new Hashtable(initModesPanel#2) num objects
    //#output(void com.dmdirc.addons.ui_swing.dialogs.channelsetting.ChannelModesPane(Channel)): this.channel
    //#output(void com.dmdirc.addons.ui_swing.dialogs.channelsetting.ChannelModesPane(Channel)): this.modeCheckBoxes
    //#output(void com.dmdirc.addons.ui_swing.dialogs.channelsetting.ChannelModesPane(Channel)): this.modeInputs
    //#new obj(void com.dmdirc.addons.ui_swing.dialogs.channelsetting.ChannelModesPane(Channel)): new Hashtable(initModesPanel#14)
    //#new obj(void com.dmdirc.addons.ui_swing.dialogs.channelsetting.ChannelModesPane(Channel)): new Hashtable(initModesPanel#2)
    //#pre[1] (void com.dmdirc.addons.ui_swing.dialogs.channelsetting.ChannelModesPane(Channel)): channel != null
    //#post(void com.dmdirc.addons.ui_swing.dialogs.channelsetting.ChannelModesPane(Channel)): this.channel == channel
    //#post(void com.dmdirc.addons.ui_swing.dialogs.channelsetting.ChannelModesPane(Channel)): this.channel != null
    //#post(void com.dmdirc.addons.ui_swing.dialogs.channelsetting.ChannelModesPane(Channel)): this.modeCheckBoxes == &new Hashtable(initModesPanel#2)
    //#post(void com.dmdirc.addons.ui_swing.dialogs.channelsetting.ChannelModesPane(Channel)): this.modeInputs == &new Hashtable(initModesPanel#14)
    //#post(void com.dmdirc.addons.ui_swing.dialogs.channelsetting.ChannelModesPane(Channel)): new Hashtable(initModesPanel#14) num objects == 1
    //#post(void com.dmdirc.addons.ui_swing.dialogs.channelsetting.ChannelModesPane(Channel)): new Hashtable(initModesPanel#2) num objects == 1
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.channelsetting.ChannelModesPane(Channel)): Effects-of-calling:com.dmdirc.Channel:getServer
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.channelsetting.ChannelModesPane(Channel)): Effects-of-calling:com.dmdirc.Server:getParser
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.channelsetting.ChannelModesPane(Channel)): Effects-of-calling:com.dmdirc.parser.irc.IRCParser:getBoolChanModes
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.channelsetting.ChannelModesPane(Channel)): Effects-of-calling:com.dmdirc.Channel:getChannelInfo
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.channelsetting.ChannelModesPane(Channel)): Effects-of-calling:com.dmdirc.parser.irc.ChannelInfo:getModeStr
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.channelsetting.ChannelModesPane(Channel)): Effects-of-calling:java.lang.StringBuilder
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.channelsetting.ChannelModesPane(Channel)): Effects-of-calling:com.dmdirc.parser.irc.IRCParser:getSetOnlyChanModes
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.channelsetting.ChannelModesPane(Channel)): Effects-of-calling:java.lang.StringBuilder:append
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.channelsetting.ChannelModesPane(Channel)): Effects-of-calling:com.dmdirc.parser.irc.IRCParser:getSetUnsetChanModes
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.channelsetting.ChannelModesPane(Channel)): Effects-of-calling:java.lang.StringBuilder:toString
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.channelsetting.ChannelModesPane(Channel)): Effects-of-calling:java.util.Hashtable
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.channelsetting.ChannelModesPane(Channel)): Effects-of-calling:java.lang.String:length
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.channelsetting.ChannelModesPane(Channel)): Effects-of-calling:java.lang.String:substring
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.channelsetting.ChannelModesPane(Channel)): Effects-of-calling:java.lang.String:toCharArray
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.channelsetting.ChannelModesPane(Channel)): Effects-of-calling:java.lang.String:split
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.channelsetting.ChannelModesPane(Channel)): Effects-of-calling:java.lang.String:subSequence
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.channelsetting.ChannelModesPane(Channel)): Effects-of-calling:java.lang.String:contains
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.channelsetting.ChannelModesPane(Channel)): Effects-of-calling:com.dmdirc.addons.ui_swing.UIUtilities:getTabbedPaneOpaque
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.channelsetting.ChannelModesPane(Channel)): Effects-of-calling:com.dmdirc.Channel:getConfigManager
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.channelsetting.ChannelModesPane(Channel)): Effects-of-calling:com.dmdirc.config.ConfigManager:getOptionBool
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.channelsetting.ChannelModesPane(Channel)): Effects-of-calling:com.dmdirc.config.ConfigManager:hasOptionString
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.channelsetting.ChannelModesPane(Channel)): Effects-of-calling:com.dmdirc.config.ConfigManager:getOption
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.channelsetting.ChannelModesPane(Channel)): Effects-of-calling:javax.swing.JCheckBox
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.channelsetting.ChannelModesPane(Channel)): Effects-of-calling:java.awt.Insets
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.channelsetting.ChannelModesPane(Channel)): Effects-of-calling:javax.swing.JCheckBox:setMargin
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.channelsetting.ChannelModesPane(Channel)): Effects-of-calling:javax.swing.JCheckBox:setToolTipText
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.channelsetting.ChannelModesPane(Channel)): Effects-of-calling:javax.swing.JCheckBox:setOpaque
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.channelsetting.ChannelModesPane(Channel)): Effects-of-calling:java.util.Map:put
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.channelsetting.ChannelModesPane(Channel)): Effects-of-calling:javax.swing.JCheckBox:setEnabled
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.channelsetting.ChannelModesPane(Channel)): Effects-of-calling:java.lang.Character:valueOf
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.channelsetting.ChannelModesPane(Channel)): Effects-of-calling:com.dmdirc.parser.irc.IRCParser:isUserSettable
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.channelsetting.ChannelModesPane(Channel)): Effects-of-calling:java.lang.String:charAt
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.channelsetting.ChannelModesPane(Channel)): Effects-of-calling:com.dmdirc.parser.irc.ChannelInfo:getModeParam
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.channelsetting.ChannelModesPane(Channel)): Effects-of-calling:com.dmdirc.addons.ui_swing.components.ParamModePanel
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.channelsetting.ChannelModesPane(Channel)): Effects-of-calling:net.miginfocom.swing.MigLayout
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.channelsetting.ChannelModesPane(Channel)): Effects-of-calling:javax.swing.JPanel
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.channelsetting.ChannelModesPane(Channel)): Effects-of-calling:java.util.Map:values
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.channelsetting.ChannelModesPane(Channel)): Effects-of-calling:java.util.Collection:iterator
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.channelsetting.ChannelModesPane(Channel)): Effects-of-calling:java.util.Iterator:hasNext
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.channelsetting.ChannelModesPane(Channel)): Effects-of-calling:java.util.Iterator:next
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.channelsetting.ChannelModesPane(Channel)): Effects-of-calling:javax.swing.JPanel:add
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.channelsetting.ChannelModesPane(Channel)): Effects-of-calling:com.dmdirc.addons.ui_swing.components.ParamModePanel:getCheckboxComponent
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.channelsetting.ChannelModesPane(Channel)): Effects-of-calling:com.dmdirc.addons.ui_swing.components.ParamModePanel:getValueComponent
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.channelsetting.ChannelModesPane(Channel)): Effects-of-calling:javax.swing.BorderFactory:createTitledBorder
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.channelsetting.ChannelModesPane(Channel)): Effects-of-calling:javax.swing.JPanel:setBorder
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.channelsetting.ChannelModesPane(Channel)): Effects-of-calling:javax.swing.JPanel:setOpaque
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.channelsetting.ChannelModesPane(Channel)): Effects-of-calling:com.dmdirc.addons.ui_swing.dialogs.channelsetting.ChannelModesPane:setLayout
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.channelsetting.ChannelModesPane(Channel)): Effects-of-calling:com.dmdirc.addons.ui_swing.dialogs.channelsetting.ChannelModesPane:add

        this.channel = channel;

        this.setOpaque(UIUtilities.getTabbedPaneOpaque());
    //#ChannelModesPane.java:66: Warning: method not available - call not analyzed
    //#    call on bool com.dmdirc.addons.ui_swing.UIUtilities:getTabbedPaneOpaque()
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.addons.ui_swing.dialogs.channelsetting.ChannelModesPane
    //#    method: void com.dmdirc.addons.ui_swing.dialogs.channelsetting.ChannelModesPane(Channel)
    //#    unanalyzed callee: bool com.dmdirc.addons.ui_swing.UIUtilities:getTabbedPaneOpaque()
    //#ChannelModesPane.java:66: Warning: method not available - call not analyzed
    //#    call on void com.dmdirc.addons.ui_swing.dialogs.channelsetting.ChannelModesPane:setOpaque(bool)
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.addons.ui_swing.dialogs.channelsetting.ChannelModesPane
    //#    method: void com.dmdirc.addons.ui_swing.dialogs.channelsetting.ChannelModesPane(Channel)
    //#    unanalyzed callee: void com.dmdirc.addons.ui_swing.dialogs.channelsetting.ChannelModesPane:setOpaque(bool)
        initModesPanel();
        layoutComponents();

        setVisible(true);
    //#ChannelModesPane.java:70: Warning: method not available - call not analyzed
    //#    call on void com.dmdirc.addons.ui_swing.dialogs.channelsetting.ChannelModesPane:setVisible(bool)
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.addons.ui_swing.dialogs.channelsetting.ChannelModesPane
    //#    method: void com.dmdirc.addons.ui_swing.dialogs.channelsetting.ChannelModesPane(Channel)
    //#    unanalyzed callee: void com.dmdirc.addons.ui_swing.dialogs.channelsetting.ChannelModesPane:setVisible(bool)
    }
    //#ChannelModesPane.java:71: end of method: void com.dmdirc.addons.ui_swing.dialogs.channelsetting.ChannelModesPane.com.dmdirc.addons.ui_swing.dialogs.channelsetting.ChannelModesPane(Channel)

    /** Updates the panel. */
    public void update() {
        setVisible(false);
    //#ChannelModesPane.java:75: method: void com.dmdirc.addons.ui_swing.dialogs.channelsetting.ChannelModesPane.update()
    //#ChannelModesPane.java:75: Warning: method not available - call not analyzed
    //#    call on void com.dmdirc.addons.ui_swing.dialogs.channelsetting.ChannelModesPane:setVisible(bool)
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.addons.ui_swing.dialogs.channelsetting.ChannelModesPane
    //#    method: void update()
    //#    unanalyzed callee: void com.dmdirc.addons.ui_swing.dialogs.channelsetting.ChannelModesPane:setVisible(bool)
    //#input(void update()): ": "._tainted
    //#input(void update()): ": Unknown"._tainted
    //#input(void update()): "Mode "._tainted
    //#input(void update()): "enablemode"._tainted
    //#input(void update()): "mode"._tainted
    //#input(void update()): this
    //#input(void update()): this.channel
    //#output(void update()): new Hashtable(initModesPanel#14) num objects
    //#output(void update()): new Hashtable(initModesPanel#2) num objects
    //#output(void update()): this.modeCheckBoxes
    //#output(void update()): this.modeInputs
    //#new obj(void update()): new Hashtable(initModesPanel#14)
    //#new obj(void update()): new Hashtable(initModesPanel#2)
    //#pre[2] (void update()): this.channel != null
    //#post(void update()): this.modeCheckBoxes == &new Hashtable(initModesPanel#2)
    //#post(void update()): this.modeInputs == &new Hashtable(initModesPanel#14)
    //#post(void update()): new Hashtable(initModesPanel#14) num objects == 1
    //#post(void update()): new Hashtable(initModesPanel#2) num objects == 1
    //#unanalyzed(void update()): Effects-of-calling:com.dmdirc.Channel:getServer
    //#unanalyzed(void update()): Effects-of-calling:com.dmdirc.Server:getParser
    //#unanalyzed(void update()): Effects-of-calling:com.dmdirc.parser.irc.IRCParser:getBoolChanModes
    //#unanalyzed(void update()): Effects-of-calling:com.dmdirc.Channel:getChannelInfo
    //#unanalyzed(void update()): Effects-of-calling:com.dmdirc.parser.irc.ChannelInfo:getModeStr
    //#unanalyzed(void update()): Effects-of-calling:java.lang.StringBuilder
    //#unanalyzed(void update()): Effects-of-calling:com.dmdirc.parser.irc.IRCParser:getSetOnlyChanModes
    //#unanalyzed(void update()): Effects-of-calling:java.lang.StringBuilder:append
    //#unanalyzed(void update()): Effects-of-calling:com.dmdirc.parser.irc.IRCParser:getSetUnsetChanModes
    //#unanalyzed(void update()): Effects-of-calling:java.lang.StringBuilder:toString
    //#unanalyzed(void update()): Effects-of-calling:java.util.Hashtable
    //#unanalyzed(void update()): Effects-of-calling:java.lang.String:length
    //#unanalyzed(void update()): Effects-of-calling:java.lang.String:substring
    //#unanalyzed(void update()): Effects-of-calling:java.lang.String:toCharArray
    //#unanalyzed(void update()): Effects-of-calling:java.lang.String:split
    //#unanalyzed(void update()): Effects-of-calling:java.lang.String:subSequence
    //#unanalyzed(void update()): Effects-of-calling:java.lang.String:contains
    //#unanalyzed(void update()): Effects-of-calling:com.dmdirc.addons.ui_swing.UIUtilities:getTabbedPaneOpaque
    //#unanalyzed(void update()): Effects-of-calling:com.dmdirc.Channel:getConfigManager
    //#unanalyzed(void update()): Effects-of-calling:com.dmdirc.config.ConfigManager:getOptionBool
    //#unanalyzed(void update()): Effects-of-calling:com.dmdirc.config.ConfigManager:hasOptionString
    //#unanalyzed(void update()): Effects-of-calling:com.dmdirc.config.ConfigManager:getOption
    //#unanalyzed(void update()): Effects-of-calling:javax.swing.JCheckBox
    //#unanalyzed(void update()): Effects-of-calling:java.awt.Insets
    //#unanalyzed(void update()): Effects-of-calling:javax.swing.JCheckBox:setMargin
    //#unanalyzed(void update()): Effects-of-calling:javax.swing.JCheckBox:setToolTipText
    //#unanalyzed(void update()): Effects-of-calling:javax.swing.JCheckBox:setOpaque
    //#unanalyzed(void update()): Effects-of-calling:java.util.Map:put
    //#unanalyzed(void update()): Effects-of-calling:javax.swing.JCheckBox:setEnabled
    //#unanalyzed(void update()): Effects-of-calling:java.lang.Character:valueOf
    //#unanalyzed(void update()): Effects-of-calling:com.dmdirc.parser.irc.IRCParser:isUserSettable
    //#unanalyzed(void update()): Effects-of-calling:java.lang.String:charAt
    //#unanalyzed(void update()): Effects-of-calling:com.dmdirc.parser.irc.ChannelInfo:getModeParam
    //#unanalyzed(void update()): Effects-of-calling:com.dmdirc.addons.ui_swing.components.ParamModePanel
        removeAll();
    //#ChannelModesPane.java:76: Warning: method not available - call not analyzed
    //#    call on void com.dmdirc.addons.ui_swing.dialogs.channelsetting.ChannelModesPane:removeAll()
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.addons.ui_swing.dialogs.channelsetting.ChannelModesPane
    //#    method: void update()
    //#    unanalyzed callee: void com.dmdirc.addons.ui_swing.dialogs.channelsetting.ChannelModesPane:removeAll()
        initModesPanel();
        setVisible(true);
    //#ChannelModesPane.java:78: Warning: method not available - call not analyzed
    //#    call on void com.dmdirc.addons.ui_swing.dialogs.channelsetting.ChannelModesPane:setVisible(bool)
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.addons.ui_swing.dialogs.channelsetting.ChannelModesPane
    //#    method: void update()
    //#    unanalyzed callee: void com.dmdirc.addons.ui_swing.dialogs.channelsetting.ChannelModesPane:setVisible(bool)
    }
    //#ChannelModesPane.java:79: end of method: void com.dmdirc.addons.ui_swing.dialogs.channelsetting.ChannelModesPane.update()

    /** Initialises the modes panel. */
    private void initModesPanel() {
        final IRCParser parser = channel.getServer().getParser();
    //#ChannelModesPane.java:83: method: void com.dmdirc.addons.ui_swing.dialogs.channelsetting.ChannelModesPane.initModesPanel()
    //#ChannelModesPane.java:83: Warning: method not available - call not analyzed
    //#    call on Server com.dmdirc.Channel:getServer()
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.addons.ui_swing.dialogs.channelsetting.ChannelModesPane
    //#    method: void initModesPanel()
    //#    unanalyzed callee: Server com.dmdirc.Channel:getServer()
    //#ChannelModesPane.java:83: Warning: method not available - call not analyzed
    //#    call on IRCParser com.dmdirc.Server:getParser()
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.addons.ui_swing.dialogs.channelsetting.ChannelModesPane
    //#    method: void initModesPanel()
    //#    unanalyzed callee: IRCParser com.dmdirc.Server:getParser()
    //#input(void initModesPanel()): ": "._tainted
    //#input(void initModesPanel()): ": Unknown"._tainted
    //#input(void initModesPanel()): "Mode "._tainted
    //#input(void initModesPanel()): "enablemode"._tainted
    //#input(void initModesPanel()): "mode"._tainted
    //#input(void initModesPanel()): this
    //#input(void initModesPanel()): this.channel
    //#output(void initModesPanel()): new Hashtable(initModesPanel#14) num objects
    //#output(void initModesPanel()): new Hashtable(initModesPanel#2) num objects
    //#output(void initModesPanel()): this.modeCheckBoxes
    //#output(void initModesPanel()): this.modeInputs
    //#new obj(void initModesPanel()): new Hashtable(initModesPanel#14)
    //#new obj(void initModesPanel()): new Hashtable(initModesPanel#2)
    //#pre[2] (void initModesPanel()): this.channel != null
    //#presumption(void initModesPanel()): com.dmdirc.Channel:getChannelInfo(...)@144 != null
    //#presumption(void initModesPanel()): com.dmdirc.Channel:getChannelInfo(...)@86 != null
    //#presumption(void initModesPanel()): com.dmdirc.Channel:getConfigManager(...)@105 != null
    //#presumption(void initModesPanel()): com.dmdirc.Channel:getConfigManager(...)@105 != null
    //#presumption(void initModesPanel()): com.dmdirc.Channel:getConfigManager(...)@107 != null
    //#presumption(void initModesPanel()): com.dmdirc.Channel:getConfigManager(...)@113 != null
    //#presumption(void initModesPanel()): com.dmdirc.Channel:getConfigManager(...)@114 != null
    //#presumption(void initModesPanel()): com.dmdirc.Channel:getConfigManager(...)@128 != null
    //#presumption(void initModesPanel()): com.dmdirc.Channel:getConfigManager(...)@128 != null
    //#presumption(void initModesPanel()): com.dmdirc.Channel:getServer(...)@132 != null
    //#presumption(void initModesPanel()): com.dmdirc.Channel:getServer(...)@83 != null
    //#presumption(void initModesPanel()): com.dmdirc.Server:getParser(...)@132 != null
    //#presumption(void initModesPanel()): com.dmdirc.Server:getParser(...)@83 != null
    //#presumption(void initModesPanel()): com.dmdirc.parser.irc.ChannelInfo:getModeStr(...)@86 != null
    //#presumption(void initModesPanel()): com.dmdirc.parser.irc.IRCParser:getBoolChanModes(...)@85 != null
    //#presumption(void initModesPanel()): java.lang.String:toCharArray(...).length@97 >= 1
    //#post(void initModesPanel()): this.modeCheckBoxes == &new Hashtable(initModesPanel#2)
    //#post(void initModesPanel()): this.modeInputs == &new Hashtable(initModesPanel#14)
    //#post(void initModesPanel()): new Hashtable(initModesPanel#14) num objects == 1
    //#post(void initModesPanel()): new Hashtable(initModesPanel#2) num objects == 1
    //#test_vector(void initModesPanel()): com.dmdirc.config.ConfigManager:getOptionBool(...)@105: {0}, {1}
    //#test_vector(void initModesPanel()): com.dmdirc.config.ConfigManager:getOptionBool(...)@128: {0}, {1}
    //#test_vector(void initModesPanel()): com.dmdirc.config.ConfigManager:hasOptionString(...)@105: {0}, {1}
    //#test_vector(void initModesPanel()): com.dmdirc.config.ConfigManager:hasOptionString(...)@113: {0}, {1}
    //#test_vector(void initModesPanel()): com.dmdirc.config.ConfigManager:hasOptionString(...)@128: {0}, {1}
    //#test_vector(void initModesPanel()): com.dmdirc.parser.irc.IRCParser:isUserSettable(...)@132: {1}, {0}

        final String booleanModes = parser.getBoolChanModes();
    //#ChannelModesPane.java:85: Warning: method not available - call not analyzed
    //#    call on String com.dmdirc.parser.irc.IRCParser:getBoolChanModes()
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.addons.ui_swing.dialogs.channelsetting.ChannelModesPane
    //#    method: void initModesPanel()
    //#    unanalyzed callee: String com.dmdirc.parser.irc.IRCParser:getBoolChanModes()
        final String ourBooleanModes = channel.getChannelInfo().getModeStr();
    //#ChannelModesPane.java:86: Warning: method not available - call not analyzed
    //#    call on ChannelInfo com.dmdirc.Channel:getChannelInfo()
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.addons.ui_swing.dialogs.channelsetting.ChannelModesPane
    //#    method: void initModesPanel()
    //#    unanalyzed callee: ChannelInfo com.dmdirc.Channel:getChannelInfo()
    //#ChannelModesPane.java:86: Warning: method not available - call not analyzed
    //#    call on String com.dmdirc.parser.irc.ChannelInfo:getModeStr()
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.addons.ui_swing.dialogs.channelsetting.ChannelModesPane
    //#    method: void initModesPanel()
    //#    unanalyzed callee: String com.dmdirc.parser.irc.ChannelInfo:getModeStr()
        final String paramModes =
    //#ChannelModesPane.java:87: Warning: method not available - call not analyzed
    //#    call on String com.dmdirc.parser.irc.IRCParser:getSetOnlyChanModes()
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.addons.ui_swing.dialogs.channelsetting.ChannelModesPane
    //#    method: void initModesPanel()
    //#    unanalyzed callee: String com.dmdirc.parser.irc.IRCParser:getSetOnlyChanModes()
    //#ChannelModesPane.java:87: Warning: method not available - call not analyzed
    //#    call on String com.dmdirc.parser.irc.IRCParser:getSetUnsetChanModes()
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.addons.ui_swing.dialogs.channelsetting.ChannelModesPane
    //#    method: void initModesPanel()
    //#    unanalyzed callee: String com.dmdirc.parser.irc.IRCParser:getSetUnsetChanModes()
                parser.getSetOnlyChanModes() + parser.getSetUnsetChanModes();

        modeCheckBoxes =
                new Hashtable<String, JCheckBox>();

        // Lay out all the boolean mode checkboxes
        for (int i = 0; i < booleanModes.length();
                i++) {
            final String mode = booleanModes.substring(i, i + 1);
            final char modeChar = mode.toCharArray()[0];
            final boolean state =
    //#ChannelModesPane.java:98: ?use of default init
    //#    init'ed(java/lang/String:split(...).length)
    //#    severity: LOW
    //#    class: com.dmdirc.addons.ui_swing.dialogs.channelsetting.ChannelModesPane
    //#    method: void initModesPanel()
    //#    basic block: bb_3
    //#    assertion: init'ed(java/lang/String:split(...).length)
    //#    VN: undefined
    //#    Expected: {-Inf..+Inf}
    //#    Bad: {Invalid}
    //#    Attribs:  Int  Bad only invalid
    //#ChannelModesPane.java:98: ?use of default init
    //#    init'ed(java/lang/String:split(...)[0])
    //#    severity: SUPPRESSED
    //#    class: com.dmdirc.addons.ui_swing.dialogs.channelsetting.ChannelModesPane
    //#    method: void initModesPanel()
    //#    basic block: bb_3
    //#    assertion: init'ed(java/lang/String:split(...)[0])
    //#    VN: undefined
    //#    Expected: Univ-VN-Set
    //#    Bad: {Invalid}
    //#    Attribs:  Ptr  Bad only invalid
    //#ChannelModesPane.java:98: ?null dereference
    //#    not_init'ed(java/lang/String:split(...)[0])
    //#    severity: MEDIUM
    //#    class: com.dmdirc.addons.ui_swing.dialogs.channelsetting.ChannelModesPane
    //#    method: void initModesPanel()
    //#    basic block: bb_3
    //#    assertion: not_init'ed(java/lang/String:split(...)[0])
    //#    VN: undefined
    //#    Expected: Inverse{null} or Invalid
    //#    Bad: Addr_Set{null}
    //#    Attribs:  Ptr  null in Bad
                    ourBooleanModes.split(" ")[0].contains(mode.subSequence(0, 1));
            String text;
            String tooltip;
            
            final boolean opaque = UIUtilities.getTabbedPaneOpaque();
    //#ChannelModesPane.java:103: Warning: method not available - call not analyzed
    //#    call on bool com.dmdirc.addons.ui_swing.UIUtilities:getTabbedPaneOpaque()
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.addons.ui_swing.dialogs.channelsetting.ChannelModesPane
    //#    method: void initModesPanel()
    //#    unanalyzed callee: bool com.dmdirc.addons.ui_swing.UIUtilities:getTabbedPaneOpaque()

            if (channel.getConfigManager().getOptionBool("server", "friendlymodes") &&
    //#ChannelModesPane.java:105: Warning: method not available - call not analyzed
    //#    call on ConfigManager com.dmdirc.Channel:getConfigManager()
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.addons.ui_swing.dialogs.channelsetting.ChannelModesPane
    //#    method: void initModesPanel()
    //#    unanalyzed callee: ConfigManager com.dmdirc.Channel:getConfigManager()
    //#ChannelModesPane.java:105: Warning: method not available - call not analyzed
    //#    call on bool com.dmdirc.config.ConfigManager:getOptionBool(String, String)
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.addons.ui_swing.dialogs.channelsetting.ChannelModesPane
    //#    method: void initModesPanel()
    //#    unanalyzed callee: bool com.dmdirc.config.ConfigManager:getOptionBool(String, String)
    //#ChannelModesPane.java:105: Warning: method not available - call not analyzed
    //#    call on bool com.dmdirc.config.ConfigManager:hasOptionString(String, String)
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.addons.ui_swing.dialogs.channelsetting.ChannelModesPane
    //#    method: void initModesPanel()
    //#    unanalyzed callee: bool com.dmdirc.config.ConfigManager:hasOptionString(String, String)
                    channel.getConfigManager().hasOptionString("server", "mode" + mode)) {
                text =  channel.getConfigManager().
    //#ChannelModesPane.java:107: Warning: method not available - call not analyzed
    //#    call on ConfigManager com.dmdirc.Channel:getConfigManager()
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.addons.ui_swing.dialogs.channelsetting.ChannelModesPane
    //#    method: void initModesPanel()
    //#    unanalyzed callee: ConfigManager com.dmdirc.Channel:getConfigManager()
    //#ChannelModesPane.java:107: Warning: method not available - call not analyzed
    //#    call on String com.dmdirc.config.ConfigManager:getOption(String, String)
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.addons.ui_swing.dialogs.channelsetting.ChannelModesPane
    //#    method: void initModesPanel()
    //#    unanalyzed callee: String com.dmdirc.config.ConfigManager:getOption(String, String)
                        getOption("server", "mode" + mode);
            } else {
                text = "Mode " + mode;
            }

            if (channel.getConfigManager().hasOptionString("server", "mode" + mode)) {
    //#ChannelModesPane.java:113: Warning: method not available - call not analyzed
    //#    call on ConfigManager com.dmdirc.Channel:getConfigManager()
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.addons.ui_swing.dialogs.channelsetting.ChannelModesPane
    //#    method: void initModesPanel()
    //#    unanalyzed callee: ConfigManager com.dmdirc.Channel:getConfigManager()
    //#ChannelModesPane.java:113: Warning: method not available - call not analyzed
    //#    call on bool com.dmdirc.config.ConfigManager:hasOptionString(String, String)
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.addons.ui_swing.dialogs.channelsetting.ChannelModesPane
    //#    method: void initModesPanel()
    //#    unanalyzed callee: bool com.dmdirc.config.ConfigManager:hasOptionString(String, String)
                tooltip =
    //#ChannelModesPane.java:114: Warning: method not available - call not analyzed
    //#    call on ConfigManager com.dmdirc.Channel:getConfigManager()
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.addons.ui_swing.dialogs.channelsetting.ChannelModesPane
    //#    method: void initModesPanel()
    //#    unanalyzed callee: ConfigManager com.dmdirc.Channel:getConfigManager()
    //#ChannelModesPane.java:114: Warning: method not available - call not analyzed
    //#    call on String com.dmdirc.config.ConfigManager:getOption(String, String)
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.addons.ui_swing.dialogs.channelsetting.ChannelModesPane
    //#    method: void initModesPanel()
    //#    unanalyzed callee: String com.dmdirc.config.ConfigManager:getOption(String, String)
                        "Mode " + mode + ": " +
                        channel.getConfigManager().
                        getOption("server", "mode" + mode);
            } else {
                tooltip = "Mode " + mode + ": Unknown";
            }

            final JCheckBox checkBox = new JCheckBox(text, state);
            checkBox.setMargin(new Insets(0, 0, 0, 0));
            checkBox.setToolTipText(tooltip);
            checkBox.setOpaque(opaque);

            modeCheckBoxes.put(mode, checkBox);
            if (!channel.getConfigManager().hasOptionString("server", "enablemode" + modeChar)
    //#ChannelModesPane.java:128: Warning: method not available - call not analyzed
    //#    call on ConfigManager com.dmdirc.Channel:getConfigManager()
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.addons.ui_swing.dialogs.channelsetting.ChannelModesPane
    //#    method: void initModesPanel()
    //#    unanalyzed callee: ConfigManager com.dmdirc.Channel:getConfigManager()
    //#ChannelModesPane.java:128: Warning: method not available - call not analyzed
    //#    call on bool com.dmdirc.config.ConfigManager:hasOptionString(String, String)
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.addons.ui_swing.dialogs.channelsetting.ChannelModesPane
    //#    method: void initModesPanel()
    //#    unanalyzed callee: bool com.dmdirc.config.ConfigManager:hasOptionString(String, String)
    //#ChannelModesPane.java:128: Warning: method not available - call not analyzed
    //#    call on bool com.dmdirc.config.ConfigManager:getOptionBool(String, String)
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.addons.ui_swing.dialogs.channelsetting.ChannelModesPane
    //#    method: void initModesPanel()
    //#    unanalyzed callee: bool com.dmdirc.config.ConfigManager:getOptionBool(String, String)
                    || channel.getConfigManager().getOptionBool("server",
                    "enablemode" + modeChar)) {
                checkBox.setEnabled(true);
            } else if (!channel.getServer().getParser().isUserSettable(modeChar)) {
    //#ChannelModesPane.java:132: Warning: method not available - call not analyzed
    //#    call on Server com.dmdirc.Channel:getServer()
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.addons.ui_swing.dialogs.channelsetting.ChannelModesPane
    //#    method: void initModesPanel()
    //#    unanalyzed callee: Server com.dmdirc.Channel:getServer()
    //#ChannelModesPane.java:132: Warning: method not available - call not analyzed
    //#    call on IRCParser com.dmdirc.Server:getParser()
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.addons.ui_swing.dialogs.channelsetting.ChannelModesPane
    //#    method: void initModesPanel()
    //#    unanalyzed callee: IRCParser com.dmdirc.Server:getParser()
    //#ChannelModesPane.java:132: Warning: method not available - call not analyzed
    //#    call on bool com.dmdirc.parser.irc.IRCParser:isUserSettable(Character)
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.addons.ui_swing.dialogs.channelsetting.ChannelModesPane
    //#    method: void initModesPanel()
    //#    unanalyzed callee: bool com.dmdirc.parser.irc.IRCParser:isUserSettable(Character)
                checkBox.setEnabled(false);
            }
        }

        // Lay out all the parameter-requiring modes
        modeInputs =
                new Hashtable<String, ParamModePanel>();

        for (int i = 0; i < paramModes.length();
                i++) {
            final String mode = paramModes.substring(i, i + 1);
            final String value =
    //#ChannelModesPane.java:144: Warning: method not available - call not analyzed
    //#    call on ChannelInfo com.dmdirc.Channel:getChannelInfo()
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.addons.ui_swing.dialogs.channelsetting.ChannelModesPane
    //#    method: void initModesPanel()
    //#    unanalyzed callee: ChannelInfo com.dmdirc.Channel:getChannelInfo()
    //#ChannelModesPane.java:144: Warning: method not available - call not analyzed
    //#    call on String com.dmdirc.parser.irc.ChannelInfo:getModeParam(Character)
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.addons.ui_swing.dialogs.channelsetting.ChannelModesPane
    //#    method: void initModesPanel()
    //#    unanalyzed callee: String com.dmdirc.parser.irc.ChannelInfo:getModeParam(Character)
                    channel.getChannelInfo().getModeParam(mode.charAt(0));
            final boolean state =
    //#ChannelModesPane.java:146: ?use of default init
    //#    init'ed(java/lang/String:split(...).length)
    //#    severity: LOW
    //#    class: com.dmdirc.addons.ui_swing.dialogs.channelsetting.ChannelModesPane
    //#    method: void initModesPanel()
    //#    basic block: bb_18
    //#    assertion: init'ed(java/lang/String:split(...).length)
    //#    VN: undefined
    //#    Expected: {-Inf..+Inf}
    //#    Bad: {Invalid}
    //#    Attribs:  Int  Bad only invalid
    //#ChannelModesPane.java:146: ?use of default init
    //#    init'ed(java/lang/String:split(...)[0])
    //#    severity: SUPPRESSED
    //#    class: com.dmdirc.addons.ui_swing.dialogs.channelsetting.ChannelModesPane
    //#    method: void initModesPanel()
    //#    basic block: bb_18
    //#    assertion: init'ed(java/lang/String:split(...)[0])
    //#    VN: undefined
    //#    Expected: Univ-VN-Set
    //#    Bad: {Invalid}
    //#    Attribs:  Ptr  Bad only invalid
    //#ChannelModesPane.java:146: ?null dereference
    //#    not_init'ed(java/lang/String:split(...)[0])
    //#    severity: MEDIUM
    //#    class: com.dmdirc.addons.ui_swing.dialogs.channelsetting.ChannelModesPane
    //#    method: void initModesPanel()
    //#    basic block: bb_18
    //#    assertion: not_init'ed(java/lang/String:split(...)[0])
    //#    VN: undefined
    //#    Expected: Inverse{null} or Invalid
    //#    Bad: Addr_Set{null}
    //#    Attribs:  Ptr  null in Bad
                    ourBooleanModes.split(" ")[0].contains(mode.subSequence(0, 1));

            final ParamModePanel panel =
    //#ChannelModesPane.java:149: Warning: method not available - call not analyzed
    //#    call on ConfigManager com.dmdirc.Channel:getConfigManager()
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.addons.ui_swing.dialogs.channelsetting.ChannelModesPane
    //#    method: void initModesPanel()
    //#    unanalyzed callee: ConfigManager com.dmdirc.Channel:getConfigManager()
    //#ChannelModesPane.java:149: Warning: method not available - call not analyzed
    //#    call on void com.dmdirc.addons.ui_swing.components.ParamModePanel(String, bool, String, ConfigManager)
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.addons.ui_swing.dialogs.channelsetting.ChannelModesPane
    //#    method: void initModesPanel()
    //#    unanalyzed callee: void com.dmdirc.addons.ui_swing.components.ParamModePanel(String, bool, String, ConfigManager)
                    new ParamModePanel(mode, state, value,
                    channel.getConfigManager());

            modeInputs.put(mode, panel);
        }
    }
    //#ChannelModesPane.java:155: end of method: void com.dmdirc.addons.ui_swing.dialogs.channelsetting.ChannelModesPane.initModesPanel()

    /** Lays out the components. */
    private void layoutComponents() {
        final JPanel booleanModes =
    //#ChannelModesPane.java:159: method: void com.dmdirc.addons.ui_swing.dialogs.channelsetting.ChannelModesPane.layoutComponents()
    //#ChannelModesPane.java:159: Warning: method not available - call not analyzed
    //#    call on void net.miginfocom.swing.MigLayout(String)
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.addons.ui_swing.dialogs.channelsetting.ChannelModesPane
    //#    method: void layoutComponents()
    //#    unanalyzed callee: void net.miginfocom.swing.MigLayout(String)
    //#input(void layoutComponents()): this
    //#input(void layoutComponents()): this.modeCheckBoxes
    //#input(void layoutComponents()): this.modeInputs
    //#pre[2] (void layoutComponents()): this.modeCheckBoxes != null
    //#pre[3] (void layoutComponents()): this.modeInputs != null
    //#presumption(void layoutComponents()): java.util.Iterator:next(...)@167 != null
    //#presumption(void layoutComponents()): java.util.Map:values(...)@161 != null
    //#presumption(void layoutComponents()): java.util.Map:values(...)@167 != null
    //#test_vector(void layoutComponents()): java.util.Iterator:hasNext(...)@161: {0}, {1}
    //#test_vector(void layoutComponents()): java.util.Iterator:hasNext(...)@167: {0}, {1}
                new JPanel(new MigLayout("wrap 2, fillx"));
        for (JCheckBox checkBox : modeCheckBoxes.values()) {
            booleanModes.add(checkBox);
        }

        final JPanel paramModes =
    //#ChannelModesPane.java:165: Warning: method not available - call not analyzed
    //#    call on void net.miginfocom.swing.MigLayout(String)
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.addons.ui_swing.dialogs.channelsetting.ChannelModesPane
    //#    method: void layoutComponents()
    //#    unanalyzed callee: void net.miginfocom.swing.MigLayout(String)
                new JPanel(new MigLayout("wrap 2, fillx"));
        for (ParamModePanel modePanel : modeInputs.values()) {
            paramModes.add(modePanel.getCheckboxComponent());
    //#ChannelModesPane.java:168: Warning: method not available - call not analyzed
    //#    call on Component com.dmdirc.addons.ui_swing.components.ParamModePanel:getCheckboxComponent()
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.addons.ui_swing.dialogs.channelsetting.ChannelModesPane
    //#    method: void layoutComponents()
    //#    unanalyzed callee: Component com.dmdirc.addons.ui_swing.components.ParamModePanel:getCheckboxComponent()
            paramModes.add(modePanel.getValueComponent(), "growx, pushx");
    //#ChannelModesPane.java:169: Warning: method not available - call not analyzed
    //#    call on Component com.dmdirc.addons.ui_swing.components.ParamModePanel:getValueComponent()
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.addons.ui_swing.dialogs.channelsetting.ChannelModesPane
    //#    method: void layoutComponents()
    //#    unanalyzed callee: Component com.dmdirc.addons.ui_swing.components.ParamModePanel:getValueComponent()
        }

        booleanModes.setBorder(BorderFactory.createTitledBorder("Boolean modes"));
        paramModes.setBorder(BorderFactory.createTitledBorder("Parameter modes"));
        
        booleanModes.setOpaque(UIUtilities.getTabbedPaneOpaque());
    //#ChannelModesPane.java:175: Warning: method not available - call not analyzed
    //#    call on bool com.dmdirc.addons.ui_swing.UIUtilities:getTabbedPaneOpaque()
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.addons.ui_swing.dialogs.channelsetting.ChannelModesPane
    //#    method: void layoutComponents()
    //#    unanalyzed callee: bool com.dmdirc.addons.ui_swing.UIUtilities:getTabbedPaneOpaque()
        paramModes.setOpaque(UIUtilities.getTabbedPaneOpaque());
    //#ChannelModesPane.java:176: Warning: method not available - call not analyzed
    //#    call on bool com.dmdirc.addons.ui_swing.UIUtilities:getTabbedPaneOpaque()
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.addons.ui_swing.dialogs.channelsetting.ChannelModesPane
    //#    method: void layoutComponents()
    //#    unanalyzed callee: bool com.dmdirc.addons.ui_swing.UIUtilities:getTabbedPaneOpaque()
        
        setLayout(new MigLayout("flowy, fillx", "fill", ""));
    //#ChannelModesPane.java:178: Warning: method not available - call not analyzed
    //#    call on void net.miginfocom.swing.MigLayout(String, String, String)
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.addons.ui_swing.dialogs.channelsetting.ChannelModesPane
    //#    method: void layoutComponents()
    //#    unanalyzed callee: void net.miginfocom.swing.MigLayout(String, String, String)
    //#ChannelModesPane.java:178: Warning: method not available - call not analyzed
    //#    call on void com.dmdirc.addons.ui_swing.dialogs.channelsetting.ChannelModesPane:setLayout(LayoutManager)
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.addons.ui_swing.dialogs.channelsetting.ChannelModesPane
    //#    method: void layoutComponents()
    //#    unanalyzed callee: void com.dmdirc.addons.ui_swing.dialogs.channelsetting.ChannelModesPane:setLayout(LayoutManager)
        add(booleanModes);
    //#ChannelModesPane.java:179: Warning: method not available - call not analyzed
    //#    call on Component com.dmdirc.addons.ui_swing.dialogs.channelsetting.ChannelModesPane:add(Component)
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.addons.ui_swing.dialogs.channelsetting.ChannelModesPane
    //#    method: void layoutComponents()
    //#    unanalyzed callee: Component com.dmdirc.addons.ui_swing.dialogs.channelsetting.ChannelModesPane:add(Component)
        add(paramModes);
    //#ChannelModesPane.java:180: Warning: method not available - call not analyzed
    //#    call on Component com.dmdirc.addons.ui_swing.dialogs.channelsetting.ChannelModesPane:add(Component)
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.addons.ui_swing.dialogs.channelsetting.ChannelModesPane
    //#    method: void layoutComponents()
    //#    unanalyzed callee: Component com.dmdirc.addons.ui_swing.dialogs.channelsetting.ChannelModesPane:add(Component)
    }
    //#ChannelModesPane.java:181: end of method: void com.dmdirc.addons.ui_swing.dialogs.channelsetting.ChannelModesPane.layoutComponents()

    /**
     * Processes the channel settings dialog and constructs a mode string for
     * changed modes, then sends this to the server.
     */
    public void setChangedBooleanModes() {
        boolean changed = false;
    //#ChannelModesPane.java:188: method: void com.dmdirc.addons.ui_swing.dialogs.channelsetting.ChannelModesPane.setChangedBooleanModes()
    //#input(void setChangedBooleanModes()): this
    //#input(void setChangedBooleanModes()): this.channel
    //#input(void setChangedBooleanModes()): this.modeCheckBoxes
    //#input(void setChangedBooleanModes()): this.modeInputs
    //#pre[2] (void setChangedBooleanModes()): this.channel != null
    //#pre[3] (void setChangedBooleanModes()): (soft) this.modeCheckBoxes != null
    //#pre[4] (void setChangedBooleanModes()): (soft) this.modeInputs != null
    //#presumption(void setChangedBooleanModes()): com.dmdirc.Channel:getChannelInfo(...)@191 != null
    //#presumption(void setChangedBooleanModes()): com.dmdirc.Channel:getChannelInfo(...)@204 != null
    //#presumption(void setChangedBooleanModes()): com.dmdirc.Channel:getChannelInfo(...)@213 != null
    //#presumption(void setChangedBooleanModes()): com.dmdirc.Channel:getChannelInfo(...)@222 != null
    //#presumption(void setChangedBooleanModes()): com.dmdirc.Channel:getChannelInfo(...)@228 != null
    //#presumption(void setChangedBooleanModes()): com.dmdirc.Channel:getServer(...)@189 != null
    //#presumption(void setChangedBooleanModes()): com.dmdirc.Server:getParser(...)@189 != null
    //#presumption(void setChangedBooleanModes()): com.dmdirc.parser.irc.ChannelInfo:getModeParam(...)@213 != null
    //#presumption(void setChangedBooleanModes()): com.dmdirc.parser.irc.ChannelInfo:getModeStr(...)@191 != null
    //#presumption(void setChangedBooleanModes()): com.dmdirc.parser.irc.IRCParser:getBoolChanModes(...)@190 != null
    //#presumption(void setChangedBooleanModes()): java.lang.String:toCharArray(...).length@204 >= 1
    //#presumption(void setChangedBooleanModes()): java.lang.String:toCharArray(...).length@222 >= 1
    //#presumption(void setChangedBooleanModes()): java.util.Map:get(...)@201 != null
    //#presumption(void setChangedBooleanModes()): java.util.Map:get(...)@204 != null
    //#presumption(void setChangedBooleanModes()): java.util.Map:get(...)@217 != null
    //#test_vector(void setChangedBooleanModes()): java.lang.String:equals(...)@219: {1}, {0}
    //#test_vector(void setChangedBooleanModes()): java.util.Map:get(...)@201: Addr_Set{null}, Inverse{null}
        final IRCParser parser = channel.getServer().getParser();
    //#ChannelModesPane.java:189: Warning: method not available - call not analyzed
    //#    call on Server com.dmdirc.Channel:getServer()
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.addons.ui_swing.dialogs.channelsetting.ChannelModesPane
    //#    method: void setChangedBooleanModes()
    //#    unanalyzed callee: Server com.dmdirc.Channel:getServer()
    //#ChannelModesPane.java:189: Warning: method not available - call not analyzed
    //#    call on IRCParser com.dmdirc.Server:getParser()
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.addons.ui_swing.dialogs.channelsetting.ChannelModesPane
    //#    method: void setChangedBooleanModes()
    //#    unanalyzed callee: IRCParser com.dmdirc.Server:getParser()
        final String booleanModes = parser.getBoolChanModes();
    //#ChannelModesPane.java:190: Warning: method not available - call not analyzed
    //#    call on String com.dmdirc.parser.irc.IRCParser:getBoolChanModes()
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.addons.ui_swing.dialogs.channelsetting.ChannelModesPane
    //#    method: void setChangedBooleanModes()
    //#    unanalyzed callee: String com.dmdirc.parser.irc.IRCParser:getBoolChanModes()
        final String ourBooleanModes = channel.getChannelInfo().getModeStr();
    //#ChannelModesPane.java:191: Warning: method not available - call not analyzed
    //#    call on ChannelInfo com.dmdirc.Channel:getChannelInfo()
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.addons.ui_swing.dialogs.channelsetting.ChannelModesPane
    //#    method: void setChangedBooleanModes()
    //#    unanalyzed callee: ChannelInfo com.dmdirc.Channel:getChannelInfo()
    //#ChannelModesPane.java:191: Warning: method not available - call not analyzed
    //#    call on String com.dmdirc.parser.irc.ChannelInfo:getModeStr()
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.addons.ui_swing.dialogs.channelsetting.ChannelModesPane
    //#    method: void setChangedBooleanModes()
    //#    unanalyzed callee: String com.dmdirc.parser.irc.ChannelInfo:getModeStr()
        final String paramModes =
    //#ChannelModesPane.java:192: Warning: method not available - call not analyzed
    //#    call on String com.dmdirc.parser.irc.IRCParser:getSetOnlyChanModes()
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.addons.ui_swing.dialogs.channelsetting.ChannelModesPane
    //#    method: void setChangedBooleanModes()
    //#    unanalyzed callee: String com.dmdirc.parser.irc.IRCParser:getSetOnlyChanModes()
    //#ChannelModesPane.java:192: Warning: method not available - call not analyzed
    //#    call on String com.dmdirc.parser.irc.IRCParser:getSetUnsetChanModes()
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.addons.ui_swing.dialogs.channelsetting.ChannelModesPane
    //#    method: void setChangedBooleanModes()
    //#    unanalyzed callee: String com.dmdirc.parser.irc.IRCParser:getSetUnsetChanModes()
                parser.getSetOnlyChanModes() + parser.getSetUnsetChanModes();

        for (int i = 0; i < booleanModes.length();
                i++) {
            final String mode = booleanModes.substring(i, i + 1);
            final boolean state =
    //#ChannelModesPane.java:198: ?use of default init
    //#    init'ed(java/lang/String:split(...).length)
    //#    severity: LOW
    //#    class: com.dmdirc.addons.ui_swing.dialogs.channelsetting.ChannelModesPane
    //#    method: void setChangedBooleanModes()
    //#    basic block: bb_3
    //#    assertion: init'ed(java/lang/String:split(...).length)
    //#    VN: undefined
    //#    Expected: {-Inf..+Inf}
    //#    Bad: {Invalid}
    //#    Attribs:  Int  Bad only invalid
    //#ChannelModesPane.java:198: ?use of default init
    //#    init'ed(java/lang/String:split(...)[0])
    //#    severity: SUPPRESSED
    //#    class: com.dmdirc.addons.ui_swing.dialogs.channelsetting.ChannelModesPane
    //#    method: void setChangedBooleanModes()
    //#    basic block: bb_3
    //#    assertion: init'ed(java/lang/String:split(...)[0])
    //#    VN: undefined
    //#    Expected: Univ-VN-Set
    //#    Bad: {Invalid}
    //#    Attribs:  Ptr  Bad only invalid
    //#ChannelModesPane.java:198: ?null dereference
    //#    not_init'ed(java/lang/String:split(...)[0])
    //#    severity: MEDIUM
    //#    class: com.dmdirc.addons.ui_swing.dialogs.channelsetting.ChannelModesPane
    //#    method: void setChangedBooleanModes()
    //#    basic block: bb_3
    //#    assertion: not_init'ed(java/lang/String:split(...)[0])
    //#    VN: undefined
    //#    Expected: Inverse{null} or Invalid
    //#    Bad: Addr_Set{null}
    //#    Attribs:  Ptr  null in Bad
                    ourBooleanModes.split(" ")[0].contains(mode.subSequence(0, 1));

            if (modeCheckBoxes.get(mode) != null &&
                    state != modeCheckBoxes.get(mode).isSelected()) {
                changed = true;
                channel.getChannelInfo().
    //#ChannelModesPane.java:204: Warning: method not available - call not analyzed
    //#    call on ChannelInfo com.dmdirc.Channel:getChannelInfo()
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.addons.ui_swing.dialogs.channelsetting.ChannelModesPane
    //#    method: void setChangedBooleanModes()
    //#    unanalyzed callee: ChannelInfo com.dmdirc.Channel:getChannelInfo()
    //#ChannelModesPane.java:204: Warning: method not available - call not analyzed
    //#    call on void com.dmdirc.parser.irc.ChannelInfo:alterMode(bool, Character, String)
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.addons.ui_swing.dialogs.channelsetting.ChannelModesPane
    //#    method: void setChangedBooleanModes()
    //#    unanalyzed callee: void com.dmdirc.parser.irc.ChannelInfo:alterMode(bool, Character, String)
                        alterMode(modeCheckBoxes.get(mode).isSelected(),
                        mode.toCharArray()[0], "");
            }
        }

        for (int i = 0; i < paramModes.length();
                i++) {
            final String mode = paramModes.substring(i, i + 1);
            final String value =
    //#ChannelModesPane.java:213: Warning: method not available - call not analyzed
    //#    call on ChannelInfo com.dmdirc.Channel:getChannelInfo()
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.addons.ui_swing.dialogs.channelsetting.ChannelModesPane
    //#    method: void setChangedBooleanModes()
    //#    unanalyzed callee: ChannelInfo com.dmdirc.Channel:getChannelInfo()
    //#ChannelModesPane.java:213: Warning: method not available - call not analyzed
    //#    call on String com.dmdirc.parser.irc.ChannelInfo:getModeParam(Character)
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.addons.ui_swing.dialogs.channelsetting.ChannelModesPane
    //#    method: void setChangedBooleanModes()
    //#    unanalyzed callee: String com.dmdirc.parser.irc.ChannelInfo:getModeParam(Character)
                    channel.getChannelInfo().getModeParam(mode.charAt(0));
            final boolean state =
    //#ChannelModesPane.java:215: ?use of default init
    //#    init'ed(java/lang/String:split(...).length)
    //#    severity: LOW
    //#    class: com.dmdirc.addons.ui_swing.dialogs.channelsetting.ChannelModesPane
    //#    method: void setChangedBooleanModes()
    //#    basic block: bb_9
    //#    assertion: init'ed(java/lang/String:split(...).length)
    //#    VN: undefined
    //#    Expected: {-Inf..+Inf}
    //#    Bad: {Invalid}
    //#    Attribs:  Int  Bad only invalid
    //#ChannelModesPane.java:215: ?use of default init
    //#    init'ed(java/lang/String:split(...)[0])
    //#    severity: SUPPRESSED
    //#    class: com.dmdirc.addons.ui_swing.dialogs.channelsetting.ChannelModesPane
    //#    method: void setChangedBooleanModes()
    //#    basic block: bb_9
    //#    assertion: init'ed(java/lang/String:split(...)[0])
    //#    VN: undefined
    //#    Expected: Univ-VN-Set
    //#    Bad: {Invalid}
    //#    Attribs:  Ptr  Bad only invalid
    //#ChannelModesPane.java:215: ?null dereference
    //#    not_init'ed(java/lang/String:split(...)[0])
    //#    severity: MEDIUM
    //#    class: com.dmdirc.addons.ui_swing.dialogs.channelsetting.ChannelModesPane
    //#    method: void setChangedBooleanModes()
    //#    basic block: bb_9
    //#    assertion: not_init'ed(java/lang/String:split(...)[0])
    //#    VN: undefined
    //#    Expected: Inverse{null} or Invalid
    //#    Bad: Addr_Set{null}
    //#    Attribs:  Ptr  null in Bad
                    ourBooleanModes.split(" ")[0].contains(mode.subSequence(0, 1));
            final ParamModePanel paramModePanel = modeInputs.get(mode);

            if (state != paramModePanel.getState() ||
    //#ChannelModesPane.java:219: Warning: method not available - call not analyzed
    //#    call on bool com.dmdirc.addons.ui_swing.components.ParamModePanel:getState()
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.addons.ui_swing.dialogs.channelsetting.ChannelModesPane
    //#    method: void setChangedBooleanModes()
    //#    unanalyzed callee: bool com.dmdirc.addons.ui_swing.components.ParamModePanel:getState()
    //#ChannelModesPane.java:219: Warning: method not available - call not analyzed
    //#    call on String com.dmdirc.addons.ui_swing.components.ParamModePanel:getValue()
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.addons.ui_swing.dialogs.channelsetting.ChannelModesPane
    //#    method: void setChangedBooleanModes()
    //#    unanalyzed callee: String com.dmdirc.addons.ui_swing.components.ParamModePanel:getValue()
                    !value.equals(paramModePanel.getValue())) {
                changed = true;
                    channel.getChannelInfo().
    //#ChannelModesPane.java:222: Warning: method not available - call not analyzed
    //#    call on ChannelInfo com.dmdirc.Channel:getChannelInfo()
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.addons.ui_swing.dialogs.channelsetting.ChannelModesPane
    //#    method: void setChangedBooleanModes()
    //#    unanalyzed callee: ChannelInfo com.dmdirc.Channel:getChannelInfo()
    //#ChannelModesPane.java:222: Warning: method not available - call not analyzed
    //#    call on bool com.dmdirc.addons.ui_swing.components.ParamModePanel:getState()
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.addons.ui_swing.dialogs.channelsetting.ChannelModesPane
    //#    method: void setChangedBooleanModes()
    //#    unanalyzed callee: bool com.dmdirc.addons.ui_swing.components.ParamModePanel:getState()
    //#ChannelModesPane.java:222: Warning: method not available - call not analyzed
    //#    call on String com.dmdirc.addons.ui_swing.components.ParamModePanel:getValue()
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.addons.ui_swing.dialogs.channelsetting.ChannelModesPane
    //#    method: void setChangedBooleanModes()
    //#    unanalyzed callee: String com.dmdirc.addons.ui_swing.components.ParamModePanel:getValue()
    //#ChannelModesPane.java:222: Warning: method not available - call not analyzed
    //#    call on void com.dmdirc.parser.irc.ChannelInfo:alterMode(bool, Character, String)
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.addons.ui_swing.dialogs.channelsetting.ChannelModesPane
    //#    method: void setChangedBooleanModes()
    //#    unanalyzed callee: void com.dmdirc.parser.irc.ChannelInfo:alterMode(bool, Character, String)
                            alterMode(paramModePanel.getState(),
                            mode.toCharArray()[0], paramModePanel.getValue());
            }
        }
        if (changed) {
            channel.getChannelInfo().sendModes();
    //#ChannelModesPane.java:228: Warning: method not available - call not analyzed
    //#    call on ChannelInfo com.dmdirc.Channel:getChannelInfo()
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.addons.ui_swing.dialogs.channelsetting.ChannelModesPane
    //#    method: void setChangedBooleanModes()
    //#    unanalyzed callee: ChannelInfo com.dmdirc.Channel:getChannelInfo()
    //#ChannelModesPane.java:228: Warning: method not available - call not analyzed
    //#    call on void com.dmdirc.parser.irc.ChannelInfo:sendModes()
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.addons.ui_swing.dialogs.channelsetting.ChannelModesPane
    //#    method: void setChangedBooleanModes()
    //#    unanalyzed callee: void com.dmdirc.parser.irc.ChannelInfo:sendModes()
        }
    }
    //#ChannelModesPane.java:230: end of method: void com.dmdirc.addons.ui_swing.dialogs.channelsetting.ChannelModesPane.setChangedBooleanModes()
}
    //#output(com.dmdirc.addons.ui_swing.dialogs.channelsetting.ChannelModesPane__static_init): __Descendant_Table[com/dmdirc/addons/ui_swing/dialogs/channelsetting/ChannelModesPane]
    //#output(com.dmdirc.addons.ui_swing.dialogs.channelsetting.ChannelModesPane__static_init): __Dispatch_Table.initModesPanel()V
    //#output(com.dmdirc.addons.ui_swing.dialogs.channelsetting.ChannelModesPane__static_init): __Dispatch_Table.layoutComponents()V
    //#output(com.dmdirc.addons.ui_swing.dialogs.channelsetting.ChannelModesPane__static_init): __Dispatch_Table.setChangedBooleanModes()V
    //#output(com.dmdirc.addons.ui_swing.dialogs.channelsetting.ChannelModesPane__static_init): __Dispatch_Table.update()V
    //#post(com.dmdirc.addons.ui_swing.dialogs.channelsetting.ChannelModesPane__static_init): __Descendant_Table[com/dmdirc/addons/ui_swing/dialogs/channelsetting/ChannelModesPane] == &__Dispatch_Table
    //#post(com.dmdirc.addons.ui_swing.dialogs.channelsetting.ChannelModesPane__static_init): __Dispatch_Table.initModesPanel()V == &initModesPanel
    //#post(com.dmdirc.addons.ui_swing.dialogs.channelsetting.ChannelModesPane__static_init): __Dispatch_Table.layoutComponents()V == &layoutComponents
    //#post(com.dmdirc.addons.ui_swing.dialogs.channelsetting.ChannelModesPane__static_init): __Dispatch_Table.setChangedBooleanModes()V == &setChangedBooleanModes
    //#post(com.dmdirc.addons.ui_swing.dialogs.channelsetting.ChannelModesPane__static_init): __Dispatch_Table.update()V == &update
    //#ChannelModesPane.java:: end of method: com.dmdirc.addons.ui_swing.dialogs.channelsetting.ChannelModesPane.com.dmdirc.addons.ui_swing.dialogs.channelsetting.ChannelModesPane__static_init
    //#ChannelModesPane.java:: end of class: com.dmdirc.addons.ui_swing.dialogs.channelsetting.ChannelModesPane
