//# 0 errors, 401 messages
//#
/*
    //#ConfigTarget.java:1:1: class: com.dmdirc.config.ConfigTarget$TYPE
    //#ConfigTarget.java:1:1: class: com.dmdirc.config.ConfigTarget$1
    //#ConfigTarget.java:1:1: class: com.dmdirc.config.ConfigTarget
    //#ConfigTarget.java:1:1: method: com.dmdirc.config.ConfigTarget.com.dmdirc.config.ConfigTarget__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.config;

import java.io.Serializable;

/**
 * Represents the target of a particular config source.
 * <p>
 * Note: this class has a natural ordering that is inconsistent with equals.
 *
 * @author chris
 */
public class ConfigTarget implements Comparable, Serializable {

    /** The possible target types. */
    public static enum TYPE {
    //#ConfigTarget.java:37: method: ConfigTarget$TYPE[] com.dmdirc.config.ConfigTarget$TYPE.values()
    //#input(ConfigTarget$TYPE[] values()): $VALUES
    //#input(ConfigTarget$TYPE[] values()): $VALUES.length
    //#input(ConfigTarget$TYPE[] values()): $VALUES[0..8]
    //#output(ConfigTarget$TYPE[] values()): new ConfigTarget$TYPE[](values#1) num objects
    //#output(ConfigTarget$TYPE[] values()): return_value.length
    //#output(ConfigTarget$TYPE[] values()): return_value[0..8]
    //#output(ConfigTarget$TYPE[] values()): return_value
    //#new obj(ConfigTarget$TYPE[] values()): new ConfigTarget$TYPE[](values#1)
    //#pre[1] (ConfigTarget$TYPE[] values()): (soft) init'ed($VALUES[0..8])
    //#post(ConfigTarget$TYPE[] values()): return_value == &new ConfigTarget$TYPE[](values#1)
    //#post(ConfigTarget$TYPE[] values()): new ConfigTarget$TYPE[](values#1) num objects == 1
    //#post(ConfigTarget$TYPE[] values()): return_value.length == 8
    //#post(ConfigTarget$TYPE[] values()): return_value[0..8] == One-of{$VALUES[0..8], undefined}
    //#ConfigTarget.java:37: end of method: ConfigTarget$TYPE[] com.dmdirc.config.ConfigTarget$TYPE.values()
    //#ConfigTarget.java:37: method: ConfigTarget$TYPE com.dmdirc.config.ConfigTarget$TYPE.valueOf(String)
    //#input(ConfigTarget$TYPE valueOf(String)): __Descendant_Table[com/dmdirc/config/ConfigTarget$TYPE]
    //#input(ConfigTarget$TYPE valueOf(String)): __Descendant_Table[others]
    //#input(ConfigTarget$TYPE valueOf(String)): name
    //#output(ConfigTarget$TYPE valueOf(String)): return_value
    //#presumption(ConfigTarget$TYPE valueOf(String)): java.lang.Enum:valueOf(...).__Tag@37 == com/dmdirc/config/ConfigTarget$TYPE
    //#post(ConfigTarget$TYPE valueOf(String)): init'ed(return_value)
    //#ConfigTarget.java:37: end of method: ConfigTarget$TYPE com.dmdirc.config.ConfigTarget$TYPE.valueOf(String)
    //#ConfigTarget.java:37: method: void com.dmdirc.config.ConfigTarget$TYPE.com.dmdirc.config.ConfigTarget$TYPE(String, int)
    //#input(void com.dmdirc.config.ConfigTarget$TYPE(String, int)): Param_1
    //#input(void com.dmdirc.config.ConfigTarget$TYPE(String, int)): Param_2
    //#input(void com.dmdirc.config.ConfigTarget$TYPE(String, int)): this
    //#ConfigTarget.java:37: end of method: void com.dmdirc.config.ConfigTarget$TYPE.com.dmdirc.config.ConfigTarget$TYPE(String, int)
        /** Client-wide default settings. */
        GLOBALDEFAULT,
    //#ConfigTarget.java:39: method: com.dmdirc.config.ConfigTarget$TYPE.com.dmdirc.config.ConfigTarget$TYPE__static_init
    //#output(com.dmdirc.config.ConfigTarget$TYPE__static_init): $VALUES
    //#output(com.dmdirc.config.ConfigTarget$TYPE__static_init): CHANNEL
    //#output(com.dmdirc.config.ConfigTarget$TYPE__static_init): GLOBAL
    //#output(com.dmdirc.config.ConfigTarget$TYPE__static_init): GLOBALDEFAULT
    //#output(com.dmdirc.config.ConfigTarget$TYPE__static_init): IRCD
    //#output(com.dmdirc.config.ConfigTarget$TYPE__static_init): NETWORK
    //#output(com.dmdirc.config.ConfigTarget$TYPE__static_init): PROFILE
    //#output(com.dmdirc.config.ConfigTarget$TYPE__static_init): SERVER
    //#output(com.dmdirc.config.ConfigTarget$TYPE__static_init): THEME
    //#output(com.dmdirc.config.ConfigTarget$TYPE__static_init): __Descendant_Table[com/dmdirc/config/ConfigTarget$TYPE]
    //#output(com.dmdirc.config.ConfigTarget$TYPE__static_init): new ConfigTarget$TYPE(ConfigTarget$TYPE__static_init#1) num objects
    //#output(com.dmdirc.config.ConfigTarget$TYPE__static_init): GLOBALDEFAULT.__Tag
    //#output(com.dmdirc.config.ConfigTarget$TYPE__static_init): new ConfigTarget$TYPE(ConfigTarget$TYPE__static_init#2) num objects
    //#output(com.dmdirc.config.ConfigTarget$TYPE__static_init): GLOBAL.__Tag
    //#output(com.dmdirc.config.ConfigTarget$TYPE__static_init): new ConfigTarget$TYPE(ConfigTarget$TYPE__static_init#3) num objects
    //#output(com.dmdirc.config.ConfigTarget$TYPE__static_init): THEME.__Tag
    //#output(com.dmdirc.config.ConfigTarget$TYPE__static_init): new ConfigTarget$TYPE(ConfigTarget$TYPE__static_init#4) num objects
    //#output(com.dmdirc.config.ConfigTarget$TYPE__static_init): PROFILE.__Tag
    //#output(com.dmdirc.config.ConfigTarget$TYPE__static_init): new ConfigTarget$TYPE(ConfigTarget$TYPE__static_init#5) num objects
    //#output(com.dmdirc.config.ConfigTarget$TYPE__static_init): IRCD.__Tag
    //#output(com.dmdirc.config.ConfigTarget$TYPE__static_init): new ConfigTarget$TYPE(ConfigTarget$TYPE__static_init#6) num objects
    //#output(com.dmdirc.config.ConfigTarget$TYPE__static_init): NETWORK.__Tag
    //#output(com.dmdirc.config.ConfigTarget$TYPE__static_init): new ConfigTarget$TYPE(ConfigTarget$TYPE__static_init#7) num objects
    //#output(com.dmdirc.config.ConfigTarget$TYPE__static_init): SERVER.__Tag
    //#output(com.dmdirc.config.ConfigTarget$TYPE__static_init): new ConfigTarget$TYPE(ConfigTarget$TYPE__static_init#8) num objects
    //#output(com.dmdirc.config.ConfigTarget$TYPE__static_init): CHANNEL.__Tag
    //#output(com.dmdirc.config.ConfigTarget$TYPE__static_init): new ConfigTarget$TYPE[](ConfigTarget$TYPE__static_init#9) num objects
    //#output(com.dmdirc.config.ConfigTarget$TYPE__static_init): $VALUES.length
    //#output(com.dmdirc.config.ConfigTarget$TYPE__static_init): $VALUES[0]
    //#output(com.dmdirc.config.ConfigTarget$TYPE__static_init): $VALUES[1]
    //#output(com.dmdirc.config.ConfigTarget$TYPE__static_init): $VALUES[2]
    //#output(com.dmdirc.config.ConfigTarget$TYPE__static_init): $VALUES[3]
    //#output(com.dmdirc.config.ConfigTarget$TYPE__static_init): $VALUES[4]
    //#output(com.dmdirc.config.ConfigTarget$TYPE__static_init): $VALUES[5]
    //#output(com.dmdirc.config.ConfigTarget$TYPE__static_init): $VALUES[6]
    //#output(com.dmdirc.config.ConfigTarget$TYPE__static_init): $VALUES[7]
    //#new obj(com.dmdirc.config.ConfigTarget$TYPE__static_init): new ConfigTarget$TYPE(ConfigTarget$TYPE__static_init#1)
    //#new obj(com.dmdirc.config.ConfigTarget$TYPE__static_init): new ConfigTarget$TYPE(ConfigTarget$TYPE__static_init#2)
    //#new obj(com.dmdirc.config.ConfigTarget$TYPE__static_init): new ConfigTarget$TYPE(ConfigTarget$TYPE__static_init#3)
    //#new obj(com.dmdirc.config.ConfigTarget$TYPE__static_init): new ConfigTarget$TYPE(ConfigTarget$TYPE__static_init#4)
    //#new obj(com.dmdirc.config.ConfigTarget$TYPE__static_init): new ConfigTarget$TYPE(ConfigTarget$TYPE__static_init#5)
    //#new obj(com.dmdirc.config.ConfigTarget$TYPE__static_init): new ConfigTarget$TYPE(ConfigTarget$TYPE__static_init#6)
    //#new obj(com.dmdirc.config.ConfigTarget$TYPE__static_init): new ConfigTarget$TYPE(ConfigTarget$TYPE__static_init#7)
    //#new obj(com.dmdirc.config.ConfigTarget$TYPE__static_init): new ConfigTarget$TYPE(ConfigTarget$TYPE__static_init#8)
    //#new obj(com.dmdirc.config.ConfigTarget$TYPE__static_init): new ConfigTarget$TYPE[](ConfigTarget$TYPE__static_init#9)
    //#post(com.dmdirc.config.ConfigTarget$TYPE__static_init): $VALUES == &new ConfigTarget$TYPE[](ConfigTarget$TYPE__static_init#9)
    //#post(com.dmdirc.config.ConfigTarget$TYPE__static_init): CHANNEL == &new ConfigTarget$TYPE(ConfigTarget$TYPE__static_init#8)
    //#post(com.dmdirc.config.ConfigTarget$TYPE__static_init): $VALUES[7] == &new ConfigTarget$TYPE(ConfigTarget$TYPE__static_init#8)
    //#post(com.dmdirc.config.ConfigTarget$TYPE__static_init): GLOBAL == &new ConfigTarget$TYPE(ConfigTarget$TYPE__static_init#2)
    //#post(com.dmdirc.config.ConfigTarget$TYPE__static_init): $VALUES[1] == &new ConfigTarget$TYPE(ConfigTarget$TYPE__static_init#2)
    //#post(com.dmdirc.config.ConfigTarget$TYPE__static_init): GLOBALDEFAULT == &new ConfigTarget$TYPE(ConfigTarget$TYPE__static_init#1)
    //#post(com.dmdirc.config.ConfigTarget$TYPE__static_init): $VALUES[0] == &new ConfigTarget$TYPE(ConfigTarget$TYPE__static_init#1)
    //#post(com.dmdirc.config.ConfigTarget$TYPE__static_init): IRCD == &new ConfigTarget$TYPE(ConfigTarget$TYPE__static_init#5)
    //#post(com.dmdirc.config.ConfigTarget$TYPE__static_init): $VALUES[4] == &new ConfigTarget$TYPE(ConfigTarget$TYPE__static_init#5)
    //#post(com.dmdirc.config.ConfigTarget$TYPE__static_init): NETWORK == &new ConfigTarget$TYPE(ConfigTarget$TYPE__static_init#6)
    //#post(com.dmdirc.config.ConfigTarget$TYPE__static_init): $VALUES[5] == &new ConfigTarget$TYPE(ConfigTarget$TYPE__static_init#6)
    //#post(com.dmdirc.config.ConfigTarget$TYPE__static_init): PROFILE == &new ConfigTarget$TYPE(ConfigTarget$TYPE__static_init#4)
    //#post(com.dmdirc.config.ConfigTarget$TYPE__static_init): $VALUES[3] == &new ConfigTarget$TYPE(ConfigTarget$TYPE__static_init#4)
    //#post(com.dmdirc.config.ConfigTarget$TYPE__static_init): SERVER == &new ConfigTarget$TYPE(ConfigTarget$TYPE__static_init#7)
    //#post(com.dmdirc.config.ConfigTarget$TYPE__static_init): $VALUES[6] == &new ConfigTarget$TYPE(ConfigTarget$TYPE__static_init#7)
    //#post(com.dmdirc.config.ConfigTarget$TYPE__static_init): THEME == &new ConfigTarget$TYPE(ConfigTarget$TYPE__static_init#3)
    //#post(com.dmdirc.config.ConfigTarget$TYPE__static_init): $VALUES[2] == &new ConfigTarget$TYPE(ConfigTarget$TYPE__static_init#3)
    //#post(com.dmdirc.config.ConfigTarget$TYPE__static_init): __Descendant_Table[com/dmdirc/config/ConfigTarget$TYPE] == &__Dispatch_Table
    //#post(com.dmdirc.config.ConfigTarget$TYPE__static_init): new ConfigTarget$TYPE(ConfigTarget$TYPE__static_init#1) num objects == 1
    //#post(com.dmdirc.config.ConfigTarget$TYPE__static_init): new ConfigTarget$TYPE(ConfigTarget$TYPE__static_init#2) num objects == 1
    //#post(com.dmdirc.config.ConfigTarget$TYPE__static_init): new ConfigTarget$TYPE(ConfigTarget$TYPE__static_init#3) num objects == 1
    //#post(com.dmdirc.config.ConfigTarget$TYPE__static_init): new ConfigTarget$TYPE(ConfigTarget$TYPE__static_init#4) num objects == 1
    //#post(com.dmdirc.config.ConfigTarget$TYPE__static_init): new ConfigTarget$TYPE(ConfigTarget$TYPE__static_init#5) num objects == 1
    //#post(com.dmdirc.config.ConfigTarget$TYPE__static_init): new ConfigTarget$TYPE(ConfigTarget$TYPE__static_init#6) num objects == 1
    //#post(com.dmdirc.config.ConfigTarget$TYPE__static_init): new ConfigTarget$TYPE(ConfigTarget$TYPE__static_init#7) num objects == 1
    //#post(com.dmdirc.config.ConfigTarget$TYPE__static_init): new ConfigTarget$TYPE(ConfigTarget$TYPE__static_init#8) num objects == 1
    //#post(com.dmdirc.config.ConfigTarget$TYPE__static_init): new ConfigTarget$TYPE[](ConfigTarget$TYPE__static_init#9) num objects == 1
    //#post(com.dmdirc.config.ConfigTarget$TYPE__static_init): GLOBALDEFAULT.__Tag == com/dmdirc/config/ConfigTarget$TYPE
    //#post(com.dmdirc.config.ConfigTarget$TYPE__static_init): GLOBAL.__Tag == com/dmdirc/config/ConfigTarget$TYPE
    //#post(com.dmdirc.config.ConfigTarget$TYPE__static_init): THEME.__Tag == com/dmdirc/config/ConfigTarget$TYPE
    //#post(com.dmdirc.config.ConfigTarget$TYPE__static_init): PROFILE.__Tag == com/dmdirc/config/ConfigTarget$TYPE
    //#post(com.dmdirc.config.ConfigTarget$TYPE__static_init): IRCD.__Tag == com/dmdirc/config/ConfigTarget$TYPE
    //#post(com.dmdirc.config.ConfigTarget$TYPE__static_init): NETWORK.__Tag == com/dmdirc/config/ConfigTarget$TYPE
    //#post(com.dmdirc.config.ConfigTarget$TYPE__static_init): SERVER.__Tag == com/dmdirc/config/ConfigTarget$TYPE
    //#post(com.dmdirc.config.ConfigTarget$TYPE__static_init): CHANNEL.__Tag == com/dmdirc/config/ConfigTarget$TYPE
    //#post(com.dmdirc.config.ConfigTarget$TYPE__static_init): $VALUES.length == 8
    //#unanalyzed(com.dmdirc.config.ConfigTarget$TYPE__static_init): Effects-of-calling:java.lang.Enum
        /** Client-wide settings. */
        GLOBAL,
        /** Settings for a theme. */
        THEME,
        /** Settings for a profile. */
        PROFILE,
        /** Settings for an IRCd. */
        IRCD,
        /** Settings for a network. */
        NETWORK,
        /** Settings for a server. */
        SERVER,
        /** Settings for a channel. */
        CHANNEL,
    //#ConfigTarget.java:53: end of method: com.dmdirc.config.ConfigTarget$TYPE.com.dmdirc.config.ConfigTarget$TYPE__static_init
    }

    /**
     * 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;

    /** The type of this target. */
    protected TYPE type = ConfigTarget.TYPE.GLOBAL;

    /** The data of this target. */
    protected String data;

    /** The user-defined ordering for this target. */
    protected int order = 50000;

    /** Creates a new instance of ConfigTarget. */
    public ConfigTarget() {
    //#ConfigTarget.java:73: method: void com.dmdirc.config.ConfigTarget.com.dmdirc.config.ConfigTarget()
    //#input(void com.dmdirc.config.ConfigTarget()): com/dmdirc/config/ConfigTarget$TYPE.GLOBAL
    //#input(void com.dmdirc.config.ConfigTarget()): this
    //#output(void com.dmdirc.config.ConfigTarget()): this.order
    //#output(void com.dmdirc.config.ConfigTarget()): this.type
    //#post(void com.dmdirc.config.ConfigTarget()): this.order == 50_000
    //#post(void com.dmdirc.config.ConfigTarget()): this.type == &com.dmdirc.config.ConfigTarget$TYPE__static_init.new ConfigTarget$TYPE(ConfigTarget$TYPE__static_init#2)
        //Do nothing.
    }
    //#ConfigTarget.java:75: end of method: void com.dmdirc.config.ConfigTarget.com.dmdirc.config.ConfigTarget()

    /**
     * Sets the ordering value for this target. Lower means higher preference.
     *
     * @param order The new order to use
     */
    public void setOrder(final int order) {
        this.order = order;
    //#ConfigTarget.java:83: method: void com.dmdirc.config.ConfigTarget.setOrder(int)
    //#input(void setOrder(int)): order
    //#input(void setOrder(int)): this
    //#output(void setOrder(int)): this.order
    //#post(void setOrder(int)): this.order == order
    //#post(void setOrder(int)): init'ed(this.order)
    }
    //#ConfigTarget.java:84: end of method: void com.dmdirc.config.ConfigTarget.setOrder(int)

    /**
     * Retrieves the ordering value for this target. Lower means higher preference.
     *
     * @return This target's order
     */
    public int getOrder() {
        return order;
    //#ConfigTarget.java:92: method: int com.dmdirc.config.ConfigTarget.getOrder()
    //#input(int getOrder()): this
    //#input(int getOrder()): this.order
    //#output(int getOrder()): return_value
    //#pre[2] (int getOrder()): init'ed(this.order)
    //#post(int getOrder()): return_value == this.order
    //#post(int getOrder()): init'ed(return_value)
    //#ConfigTarget.java:92: end of method: int com.dmdirc.config.ConfigTarget.getOrder()
    }

    /** Sets this target to be a global config source. */
    public void setGlobal() {
        type = TYPE.GLOBAL;
    //#ConfigTarget.java:97: method: void com.dmdirc.config.ConfigTarget.setGlobal()
    //#input(void setGlobal()): com/dmdirc/config/ConfigTarget$TYPE.GLOBAL
    //#input(void setGlobal()): this
    //#output(void setGlobal()): this.data
    //#output(void setGlobal()): this.type
    //#post(void setGlobal()): this.data == &""
    //#post(void setGlobal()): this.type == &com.dmdirc.config.ConfigTarget$TYPE__static_init.new ConfigTarget$TYPE(ConfigTarget$TYPE__static_init#2)
        data = "";
    }
    //#ConfigTarget.java:99: end of method: void com.dmdirc.config.ConfigTarget.setGlobal()

    /** Sets this target to be a global default source. */
    public void setGlobalDefault() {
        type = TYPE.GLOBALDEFAULT;
    //#ConfigTarget.java:103: method: void com.dmdirc.config.ConfigTarget.setGlobalDefault()
    //#input(void setGlobalDefault()): com/dmdirc/config/ConfigTarget$TYPE.GLOBALDEFAULT
    //#input(void setGlobalDefault()): this
    //#output(void setGlobalDefault()): this.data
    //#output(void setGlobalDefault()): this.type
    //#post(void setGlobalDefault()): this.data == &""
    //#post(void setGlobalDefault()): this.type == &com.dmdirc.config.ConfigTarget$TYPE__static_init.new ConfigTarget$TYPE(ConfigTarget$TYPE__static_init#1)
        data = "";
    }
    //#ConfigTarget.java:105: end of method: void com.dmdirc.config.ConfigTarget.setGlobalDefault()

    /** Sets this target to be a theme source. */
    public void setTheme() {
        type = TYPE.THEME;
    //#ConfigTarget.java:109: method: void com.dmdirc.config.ConfigTarget.setTheme()
    //#input(void setTheme()): com/dmdirc/config/ConfigTarget$TYPE.THEME
    //#input(void setTheme()): this
    //#output(void setTheme()): this.data
    //#output(void setTheme()): this.type
    //#post(void setTheme()): this.data == &""
    //#post(void setTheme()): this.type == &com.dmdirc.config.ConfigTarget$TYPE__static_init.new ConfigTarget$TYPE(ConfigTarget$TYPE__static_init#3)
        data = "";
    }
    //#ConfigTarget.java:111: end of method: void com.dmdirc.config.ConfigTarget.setTheme()

    /** Sets this target to be a profile source. */
    public void setProfile() {
        type = TYPE.PROFILE;
    //#ConfigTarget.java:115: method: void com.dmdirc.config.ConfigTarget.setProfile()
    //#input(void setProfile()): com/dmdirc/config/ConfigTarget$TYPE.PROFILE
    //#input(void setProfile()): this
    //#output(void setProfile()): this.data
    //#output(void setProfile()): this.type
    //#post(void setProfile()): this.data == &""
    //#post(void setProfile()): this.type == &com.dmdirc.config.ConfigTarget$TYPE__static_init.new ConfigTarget$TYPE(ConfigTarget$TYPE__static_init#4)
        data = "";
    }
    //#ConfigTarget.java:117: end of method: void com.dmdirc.config.ConfigTarget.setProfile()

    /**
     * Sets this target to target an ircd.
     *
     * @param ircd The ircd to target
     */
    public void setIrcd(final String ircd) {
        type = TYPE.IRCD;
    //#ConfigTarget.java:125: method: void com.dmdirc.config.ConfigTarget.setIrcd(String)
    //#input(void setIrcd(String)): com/dmdirc/config/ConfigTarget$TYPE.IRCD
    //#input(void setIrcd(String)): ircd
    //#input(void setIrcd(String)): this
    //#output(void setIrcd(String)): this.data
    //#output(void setIrcd(String)): this.type
    //#post(void setIrcd(String)): this.data == ircd
    //#post(void setIrcd(String)): init'ed(this.data)
    //#post(void setIrcd(String)): this.type == &com.dmdirc.config.ConfigTarget$TYPE__static_init.new ConfigTarget$TYPE(ConfigTarget$TYPE__static_init#5)
        data = ircd;
    }
    //#ConfigTarget.java:127: end of method: void com.dmdirc.config.ConfigTarget.setIrcd(String)

    /**
     * Sets this target to target a network.
     *
     * @param network The network to target
     */
    public void setNetwork(final String network) {
        type = TYPE.NETWORK;
    //#ConfigTarget.java:135: method: void com.dmdirc.config.ConfigTarget.setNetwork(String)
    //#input(void setNetwork(String)): com/dmdirc/config/ConfigTarget$TYPE.NETWORK
    //#input(void setNetwork(String)): network
    //#input(void setNetwork(String)): this
    //#output(void setNetwork(String)): this.data
    //#output(void setNetwork(String)): this.type
    //#post(void setNetwork(String)): this.data == network
    //#post(void setNetwork(String)): init'ed(this.data)
    //#post(void setNetwork(String)): this.type == &com.dmdirc.config.ConfigTarget$TYPE__static_init.new ConfigTarget$TYPE(ConfigTarget$TYPE__static_init#6)
        data = network;
    }
    //#ConfigTarget.java:137: end of method: void com.dmdirc.config.ConfigTarget.setNetwork(String)

    /**
     * Sets this target to target a server.
     *
     * @param server The server to target
     */
    public void setServer(final String server) {
        type = TYPE.SERVER;
    //#ConfigTarget.java:145: method: void com.dmdirc.config.ConfigTarget.setServer(String)
    //#input(void setServer(String)): com/dmdirc/config/ConfigTarget$TYPE.SERVER
    //#input(void setServer(String)): server
    //#input(void setServer(String)): this
    //#output(void setServer(String)): this.data
    //#output(void setServer(String)): this.type
    //#post(void setServer(String)): this.data == server
    //#post(void setServer(String)): init'ed(this.data)
    //#post(void setServer(String)): this.type == &com.dmdirc.config.ConfigTarget$TYPE__static_init.new ConfigTarget$TYPE(ConfigTarget$TYPE__static_init#7)
        data = server;
    }
    //#ConfigTarget.java:147: end of method: void com.dmdirc.config.ConfigTarget.setServer(String)

    /**
     * Sets this target to target a channel.
     *
     * @param channel The channel to target, in the form of channel@network
     */
    public void setChannel(final String channel) {
        type = TYPE.CHANNEL;
    //#ConfigTarget.java:155: method: void com.dmdirc.config.ConfigTarget.setChannel(String)
    //#input(void setChannel(String)): channel
    //#input(void setChannel(String)): com/dmdirc/config/ConfigTarget$TYPE.CHANNEL
    //#input(void setChannel(String)): this
    //#output(void setChannel(String)): this.data
    //#output(void setChannel(String)): this.type
    //#post(void setChannel(String)): this.data == channel
    //#post(void setChannel(String)): init'ed(this.data)
    //#post(void setChannel(String)): this.type == &com.dmdirc.config.ConfigTarget$TYPE__static_init.new ConfigTarget$TYPE(ConfigTarget$TYPE__static_init#8)
        data = channel;
    }
    //#ConfigTarget.java:157: end of method: void com.dmdirc.config.ConfigTarget.setChannel(String)

    /**
     * Retrieves the type of this target.
     *
     * @return This target's type
     */
    public TYPE getType() {
        return type;
    //#ConfigTarget.java:165: method: ConfigTarget$TYPE com.dmdirc.config.ConfigTarget.getType()
    //#input(ConfigTarget$TYPE getType()): this
    //#input(ConfigTarget$TYPE getType()): this.type
    //#output(ConfigTarget$TYPE getType()): return_value
    //#pre[2] (ConfigTarget$TYPE getType()): init'ed(this.type)
    //#post(ConfigTarget$TYPE getType()): return_value == this.type
    //#post(ConfigTarget$TYPE getType()): init'ed(return_value)
    //#ConfigTarget.java:165: end of method: ConfigTarget$TYPE com.dmdirc.config.ConfigTarget.getType()
    }

    /**
     * Returns a string representation of the type of this target.
     *
     * @return A string describing this target's type
     */
    public String getTypeName() {
        switch(type) {
    //#ConfigTarget.java:174: method: com.dmdirc.config.ConfigTarget$1.com.dmdirc.config.ConfigTarget$1__static_init
    //#ConfigTarget.java:174: Warning: method not available - call not analyzed
    //#    call on int com.dmdirc.config.ConfigTarget$TYPE:ordinal()
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.config.ConfigTarget$1
    //#    method: com.dmdirc.config.ConfigTarget$1__static_init
    //#    unanalyzed callee: int com.dmdirc.config.ConfigTarget$TYPE:ordinal()
    //#input(com.dmdirc.config.ConfigTarget$1__static_init): com.dmdirc.config.ConfigTarget$TYPE__static_init.new ConfigTarget$TYPE[](ConfigTarget$TYPE__static_init#9).length
    //#input(com.dmdirc.config.ConfigTarget$1__static_init): com.dmdirc.config.ConfigTarget$TYPE__static_init.new ConfigTarget$TYPE[](ConfigTarget$TYPE__static_init#9)[0..8]
    //#input(com.dmdirc.config.ConfigTarget$1__static_init): com/dmdirc/config/ConfigTarget$TYPE.$VALUES
    //#input(com.dmdirc.config.ConfigTarget$1__static_init): com/dmdirc/config/ConfigTarget$TYPE.CHANNEL
    //#input(com.dmdirc.config.ConfigTarget$1__static_init): com/dmdirc/config/ConfigTarget$TYPE.GLOBALDEFAULT
    //#input(com.dmdirc.config.ConfigTarget$1__static_init): com/dmdirc/config/ConfigTarget$TYPE.IRCD
    //#input(com.dmdirc.config.ConfigTarget$1__static_init): com/dmdirc/config/ConfigTarget$TYPE.NETWORK
    //#input(com.dmdirc.config.ConfigTarget$1__static_init): com/dmdirc/config/ConfigTarget$TYPE.PROFILE
    //#input(com.dmdirc.config.ConfigTarget$1__static_init): com/dmdirc/config/ConfigTarget$TYPE.SERVER
    //#input(com.dmdirc.config.ConfigTarget$1__static_init): com/dmdirc/config/ConfigTarget$TYPE.THEME
    //#output(com.dmdirc.config.ConfigTarget$1__static_init): $SwitchMap$com$dmdirc$config$ConfigTarget$TYPE
    //#output(com.dmdirc.config.ConfigTarget$1__static_init): __Descendant_Table[com/dmdirc/config/ConfigTarget$1]
    //#output(com.dmdirc.config.ConfigTarget$1__static_init): new int[](ConfigTarget$1__static_init#1) num objects
    //#output(com.dmdirc.config.ConfigTarget$1__static_init): $SwitchMap$com$dmdirc$config$ConfigTarget$TYPE.length
    //#output(com.dmdirc.config.ConfigTarget$1__static_init): $SwitchMap$com$dmdirc$config$ConfigTarget$TYPE[0..4_294_967_295]
    //#new obj(com.dmdirc.config.ConfigTarget$1__static_init): new int[](ConfigTarget$1__static_init#1)
    //#pre[1] (com.dmdirc.config.ConfigTarget$1__static_init): (soft) init'ed(com.dmdirc.config.ConfigTarget$TYPE__static_init.new ConfigTarget$TYPE[](ConfigTarget$TYPE__static_init#9)[0..8])
    //#presumption(com.dmdirc.config.ConfigTarget$1__static_init): com.dmdirc.config.ConfigTarget_TYPE:ordinal(...)@174 in {0..7}
    //#presumption(com.dmdirc.config.ConfigTarget$1__static_init): com.dmdirc.config.ConfigTarget_TYPE:ordinal(...)@174 in {0..7}
    //#presumption(com.dmdirc.config.ConfigTarget$1__static_init): com.dmdirc.config.ConfigTarget_TYPE:ordinal(...)@174 in {0..7}
    //#presumption(com.dmdirc.config.ConfigTarget$1__static_init): com.dmdirc.config.ConfigTarget_TYPE:ordinal(...)@174 in {0..7}
    //#presumption(com.dmdirc.config.ConfigTarget$1__static_init): com.dmdirc.config.ConfigTarget_TYPE:ordinal(...)@174 in {0..7}
    //#presumption(com.dmdirc.config.ConfigTarget$1__static_init): com.dmdirc.config.ConfigTarget_TYPE:ordinal(...)@174 in {0..7}
    //#presumption(com.dmdirc.config.ConfigTarget$1__static_init): com.dmdirc.config.ConfigTarget_TYPE:ordinal(...)@174 in {0..7}
    //#presumption(com.dmdirc.config.ConfigTarget$1__static_init): com.dmdirc.config.ConfigTarget_TYPE:ordinal(...)@174 - values(...).length in range
    //#presumption(com.dmdirc.config.ConfigTarget$1__static_init): com.dmdirc.config.ConfigTarget_TYPE:ordinal(...)@174 - values(...).length in range
    //#presumption(com.dmdirc.config.ConfigTarget$1__static_init): com.dmdirc.config.ConfigTarget_TYPE:ordinal(...)@174 - values(...).length in range
    //#presumption(com.dmdirc.config.ConfigTarget$1__static_init): com.dmdirc.config.ConfigTarget_TYPE:ordinal(...)@174 - values(...).length in range
    //#presumption(com.dmdirc.config.ConfigTarget$1__static_init): com.dmdirc.config.ConfigTarget_TYPE:ordinal(...)@174 - values(...).length in range
    //#presumption(com.dmdirc.config.ConfigTarget$1__static_init): com.dmdirc.config.ConfigTarget_TYPE:ordinal(...)@174 - values(...).length in range
    //#presumption(com.dmdirc.config.ConfigTarget$1__static_init): com.dmdirc.config.ConfigTarget_TYPE:ordinal(...)@174 - values(...).length in range
    //#post(com.dmdirc.config.ConfigTarget$1__static_init): $SwitchMap$com$dmdirc$config$ConfigTarget$TYPE == &new int[](ConfigTarget$1__static_init#1)
    //#post(com.dmdirc.config.ConfigTarget$1__static_init): __Descendant_Table[com/dmdirc/config/ConfigTarget$1] == &__Dispatch_Table
    //#post(com.dmdirc.config.ConfigTarget$1__static_init): new int[](ConfigTarget$1__static_init#1) num objects == 1
    //#post(com.dmdirc.config.ConfigTarget$1__static_init): $SwitchMap$com$dmdirc$config$ConfigTarget$TYPE.length == 8
    //#post(com.dmdirc.config.ConfigTarget$1__static_init): $SwitchMap$com$dmdirc$config$ConfigTarget$TYPE[0..4_294_967_295] in {0..7}, if init'ed
    //#ConfigTarget.java:174: end of method: com.dmdirc.config.ConfigTarget$1.com.dmdirc.config.ConfigTarget$1__static_init
    //#ConfigTarget.java:174: method: String com.dmdirc.config.ConfigTarget.getTypeName()
    //#ConfigTarget.java:174: Warning: method not available - call not analyzed
    //#    call on int com.dmdirc.config.ConfigTarget$TYPE:ordinal()
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.config.ConfigTarget
    //#    method: String getTypeName()
    //#    unanalyzed callee: int com.dmdirc.config.ConfigTarget$TYPE:ordinal()
    //#input(String getTypeName()): com.dmdirc.config.ConfigTarget$1__static_init.new int[](ConfigTarget$1__static_init#1).length
    //#input(String getTypeName()): com.dmdirc.config.ConfigTarget$1__static_init.new int[](ConfigTarget$1__static_init#1)[0..4_294_967_295]
    //#input(String getTypeName()): com/dmdirc/config/ConfigTarget$1.$SwitchMap$com$dmdirc$config$ConfigTarget$TYPE
    //#input(String getTypeName()): this
    //#input(String getTypeName()): this.type
    //#output(String getTypeName()): return_value
    //#pre[3] (String getTypeName()): this.type != null
    //#pre[1] (String getTypeName()): (soft) init'ed(com.dmdirc.config.ConfigTarget$1__static_init.new int[](ConfigTarget$1__static_init#1)[0..4_294_967_295])
    //#presumption(String getTypeName()): com.dmdirc.config.ConfigTarget_TYPE:ordinal(...)@174 in {0..7}
    //#post(String getTypeName()): return_value in Addr_Set{&"globaldefault",&"theme",&"profile",&"ircd",&"network",&"server",&"channel",&"global"}
    //#test_vector(String getTypeName()): com.dmdirc.config.ConfigTarget$1__static_init.new int[](ConfigTarget$1__static_init#1)[0..4_294_967_295]: {1}, {2}, {3}, {4}, {5}, {6}, {7}, {-2_147_483_648..0, 8..4_294_967_295}
        case GLOBALDEFAULT:
            return "globaldefault";
        case THEME:
            return "theme";
        case PROFILE:
            return "profile";
        case IRCD:
            return "ircd";
        case NETWORK:
            return "network";
        case SERVER:
            return "server";
        case CHANNEL:
            return "channel";
        default:
            return "global";
    //#ConfigTarget.java:190: end of method: String com.dmdirc.config.ConfigTarget.getTypeName()
        }
    }

    /**
     * Retrieves the data associated with this target.
     *
     * @return This target's data
     */
    public String getData() {
        return data;
    //#ConfigTarget.java:200: method: String com.dmdirc.config.ConfigTarget.getData()
    //#input(String getData()): this
    //#input(String getData()): this.data
    //#output(String getData()): return_value
    //#pre[2] (String getData()): init'ed(this.data)
    //#post(String getData()): return_value == this.data
    //#post(String getData()): init'ed(return_value)
    //#ConfigTarget.java:200: end of method: String com.dmdirc.config.ConfigTarget.getData()
    }

    /** {@inheritDoc} */
    @Override
    public int hashCode() {
        return type.ordinal() + data.hashCode();
    //#ConfigTarget.java:206: method: int com.dmdirc.config.ConfigTarget.hashCode()
    //#ConfigTarget.java:206: Warning: method not available - call not analyzed
    //#    call on int com.dmdirc.config.ConfigTarget$TYPE:ordinal()
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.config.ConfigTarget
    //#    method: int hashCode()
    //#    unanalyzed callee: int com.dmdirc.config.ConfigTarget$TYPE:ordinal()
    //#input(int hashCode()): this
    //#input(int hashCode()): this.data
    //#input(int hashCode()): this.type
    //#output(int hashCode()): return_value
    //#pre[2] (int hashCode()): this.data != null
    //#pre[3] (int hashCode()): this.type != null
    //#presumption(int hashCode()): com.dmdirc.config.ConfigTarget_TYPE:ordinal(...)@206 + java.lang.String:hashCode(...)@206 in {-2_147_483_648..4_294_967_295}
    //#post(int hashCode()): init'ed(return_value)
    //#ConfigTarget.java:206: end of method: int com.dmdirc.config.ConfigTarget.hashCode()
    }

    /** {@inheritDoc} */
    @Override
    public boolean equals(final Object obj) {
        if (obj instanceof ConfigTarget
    //#ConfigTarget.java:212: method: bool com.dmdirc.config.ConfigTarget.equals(Object)
    //#input(bool equals(Object)): __Descendant_Table[com/dmdirc/config/ConfigTarget]
    //#input(bool equals(Object)): __Descendant_Table[others]
    //#input(bool equals(Object)): __Dispatch_Table.getData()Ljava/lang/String;
    //#input(bool equals(Object)): __Dispatch_Table.getType()Lcom/dmdirc/config/ConfigTarget$TYPE;
    //#input(bool equals(Object)): obj
    //#input(bool equals(Object)): obj.__Tag
    //#input(bool equals(Object)): obj.data
    //#input(bool equals(Object)): obj.type
    //#input(bool equals(Object)): this
    //#input(bool equals(Object)): this.data
    //#input(bool equals(Object)): this.type
    //#output(bool equals(Object)): return_value
    //#pre[3] (bool equals(Object)): (soft) init'ed(obj.data)
    //#pre[4] (bool equals(Object)): (soft) init'ed(obj.type)
    //#pre[6] (bool equals(Object)): (soft) this.data != null
    //#pre[7] (bool equals(Object)): (soft) init'ed(this.type)
    //#post(bool equals(Object)): init'ed(return_value)
    //#test_vector(bool equals(Object)): this.type == obj.type: {0}, {1}
    //#test_vector(bool equals(Object)): java.lang.String:equals(...)@212: {0}, {1}
                && type == ((ConfigTarget) obj).getType()
                && data.equals(((ConfigTarget) obj).getData())) {
            return true;
        }
        return false;
    //#ConfigTarget.java:217: end of method: bool com.dmdirc.config.ConfigTarget.equals(Object)
    }

    /**
     * Compares this target to another to determine which is more specific.
     *
     * @param target The target to compare to
     * @return a negative integer if this config is less specific, 0 if they're
     * equal, or a positive integer if this is more specific
     */
    public int compareTo(final Object target) {
        if (type.equals(((ConfigTarget) target).getType())) {
    //#ConfigTarget.java:228: method: int com.dmdirc.config.ConfigTarget.compareTo(Object)
    //#ConfigTarget.java:228: Warning: method not available - call not analyzed
    //#    call on bool com.dmdirc.config.ConfigTarget$TYPE:equals(Object)
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.config.ConfigTarget
    //#    method: int compareTo(Object)
    //#    unanalyzed callee: bool com.dmdirc.config.ConfigTarget$TYPE:equals(Object)
    //#input(int compareTo(Object)): __Descendant_Table[com/dmdirc/config/ConfigTarget]
    //#input(int compareTo(Object)): __Descendant_Table[others]
    //#input(int compareTo(Object)): __Dispatch_Table.getOrder()I
    //#input(int compareTo(Object)): __Dispatch_Table.getType()Lcom/dmdirc/config/ConfigTarget$TYPE;
    //#input(int compareTo(Object)): target
    //#input(int compareTo(Object)): target.__Tag
    //#input(int compareTo(Object)): target.order
    //#input(int compareTo(Object)): target.type
    //#input(int compareTo(Object)): this
    //#input(int compareTo(Object)): this.order
    //#input(int compareTo(Object)): this.type
    //#output(int compareTo(Object)): return_value
    //#pre[1] (int compareTo(Object)): target != null
    //#pre[2] (int compareTo(Object)): target.__Tag == com/dmdirc/config/ConfigTarget
    //#pre[5] (int compareTo(Object)): init'ed(target.type)
    //#pre[8] (int compareTo(Object)): this.type != null
    //#pre[3] (int compareTo(Object)): (soft) init'ed(target.order)
    //#pre[4] (int compareTo(Object)): (soft) target.order - this.order in {-2_147_483_648..4_294_967_295}
    //#pre[7] (int compareTo(Object)): (soft) init'ed(this.order)
    //#post(int compareTo(Object)): init'ed(return_value)
    //#test_vector(int compareTo(Object)): com.dmdirc.config.ConfigTarget_TYPE:equals(...)@228: {0}, {1}
            return ((ConfigTarget) target).getOrder() - order;
        } else {
            return type.compareTo(((ConfigTarget) target).getType());
    //#ConfigTarget.java:231: Warning: method not available - call not analyzed
    //#    call on int com.dmdirc.config.ConfigTarget$TYPE:compareTo(Enum)
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.config.ConfigTarget
    //#    method: int compareTo(Object)
    //#    unanalyzed callee: int com.dmdirc.config.ConfigTarget$TYPE:compareTo(Enum)
    //#ConfigTarget.java:231: end of method: int com.dmdirc.config.ConfigTarget.compareTo(Object)
        }
    }

    /**
     * Returns a string representation of this object.
     *
     * @return A string representation of this object
     */
    @Override
    public String toString() {
        switch (type) {
    //#ConfigTarget.java:242: method: String com.dmdirc.config.ConfigTarget.toString()
    //#ConfigTarget.java:242: Warning: method not available - call not analyzed
    //#    call on int com.dmdirc.config.ConfigTarget$TYPE:ordinal()
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.config.ConfigTarget
    //#    method: String toString()
    //#    unanalyzed callee: int com.dmdirc.config.ConfigTarget$TYPE:ordinal()
    //#input(String toString()): "Channel specific: "._tainted
    //#input(String toString()): "Ircd specific: "._tainted
    //#input(String toString()): "Network specific: "._tainted
    //#input(String toString()): "Server specific: "._tainted
    //#input(String toString()): com.dmdirc.config.ConfigTarget$1__static_init.new int[](ConfigTarget$1__static_init#1).length
    //#input(String toString()): com.dmdirc.config.ConfigTarget$1__static_init.new int[](ConfigTarget$1__static_init#1)[0..4_294_967_295]
    //#input(String toString()): com/dmdirc/config/ConfigTarget$1.$SwitchMap$com$dmdirc$config$ConfigTarget$TYPE
    //#input(String toString()): this
    //#input(String toString()): this.data
    //#input(String toString()): this.data._tainted
    //#input(String toString()): this.type
    //#output(String toString()): java.lang.StringBuilder:toString(...)._tainted
    //#output(String toString()): return_value
    //#new obj(String toString()): java.lang.StringBuilder:toString(...)
    //#pre[5] (String toString()): this.type != null
    //#pre[1] (String toString()): (soft) init'ed(com.dmdirc.config.ConfigTarget$1__static_init.new int[](ConfigTarget$1__static_init#1)[0..4_294_967_295])
    //#pre[3] (String toString()): (soft) init'ed(this.data)
    //#presumption(String toString()): com.dmdirc.config.ConfigTarget_TYPE:ordinal(...)@242 in {0..7}
    //#post(String toString()): init'ed(java.lang.StringBuilder:toString(...)._tainted)
    //#post(String toString()): return_value in Addr_Set{&"Global defaults",&"Theme",&"Profile",&java.lang.StringBuilder:toString(...),&java.lang.StringBuilder:toString(...),&java.lang.StringBuilder:toString(...),&java.lang.StringBuilder:toString(...),&"Global config"}
    //#test_vector(String toString()): com.dmdirc.config.ConfigTarget$1__static_init.new int[](ConfigTarget$1__static_init#1)[0..4_294_967_295]: {1}, {2}, {3}, {4}, {5}, {6}, {7}, {-2_147_483_648..0, 8..4_294_967_295}
        case GLOBALDEFAULT:
            return "Global defaults";
        case THEME:
            return "Theme";
        case PROFILE:
            return "Profile";
        case IRCD:
            return "Ircd specific: " + data;
        case NETWORK:
            return "Network specific: " + data;
        case SERVER:
            return "Server specific: " + data;
        case CHANNEL:
            return "Channel specific: " + data;
        default:
            return "Global config";
    //#ConfigTarget.java:258: end of method: String com.dmdirc.config.ConfigTarget.toString()
        }
    }

}
    //#ConfigTarget.java:: end of class: com.dmdirc.config.ConfigTarget$TYPE
    //#ConfigTarget.java:: end of class: com.dmdirc.config.ConfigTarget$1
    //#output(com.dmdirc.config.ConfigTarget__static_init): __Descendant_Table[com/dmdirc/config/ConfigTarget]
    //#output(com.dmdirc.config.ConfigTarget__static_init): __Dispatch_Table.compareTo(Ljava/lang/Object;)I
    //#output(com.dmdirc.config.ConfigTarget__static_init): __Dispatch_Table.equals(Ljava/lang/Object;)Z
    //#output(com.dmdirc.config.ConfigTarget__static_init): __Dispatch_Table.getData()Ljava/lang/String;
    //#output(com.dmdirc.config.ConfigTarget__static_init): __Dispatch_Table.getOrder()I
    //#output(com.dmdirc.config.ConfigTarget__static_init): __Dispatch_Table.getType()Lcom/dmdirc/config/ConfigTarget$TYPE;
    //#output(com.dmdirc.config.ConfigTarget__static_init): __Dispatch_Table.getTypeName()Ljava/lang/String;
    //#output(com.dmdirc.config.ConfigTarget__static_init): __Dispatch_Table.hashCode()I
    //#output(com.dmdirc.config.ConfigTarget__static_init): __Dispatch_Table.setChannel(Ljava/lang/String;)V
    //#output(com.dmdirc.config.ConfigTarget__static_init): __Dispatch_Table.setGlobal()V
    //#output(com.dmdirc.config.ConfigTarget__static_init): __Dispatch_Table.setGlobalDefault()V
    //#output(com.dmdirc.config.ConfigTarget__static_init): __Dispatch_Table.setIrcd(Ljava/lang/String;)V
    //#output(com.dmdirc.config.ConfigTarget__static_init): __Dispatch_Table.setNetwork(Ljava/lang/String;)V
    //#output(com.dmdirc.config.ConfigTarget__static_init): __Dispatch_Table.setOrder(I)V
    //#output(com.dmdirc.config.ConfigTarget__static_init): __Dispatch_Table.setProfile()V
    //#output(com.dmdirc.config.ConfigTarget__static_init): __Dispatch_Table.setServer(Ljava/lang/String;)V
    //#output(com.dmdirc.config.ConfigTarget__static_init): __Dispatch_Table.setTheme()V
    //#output(com.dmdirc.config.ConfigTarget__static_init): __Dispatch_Table.toString()Ljava/lang/String;
    //#post(com.dmdirc.config.ConfigTarget__static_init): __Descendant_Table[com/dmdirc/config/ConfigTarget] == &__Dispatch_Table
    //#post(com.dmdirc.config.ConfigTarget__static_init): __Dispatch_Table.compareTo(Ljava/lang/Object;)I == &compareTo
    //#post(com.dmdirc.config.ConfigTarget__static_init): __Dispatch_Table.equals(Ljava/lang/Object;)Z == &equals
    //#post(com.dmdirc.config.ConfigTarget__static_init): __Dispatch_Table.getData()Ljava/lang/String; == &getData
    //#post(com.dmdirc.config.ConfigTarget__static_init): __Dispatch_Table.getOrder()I == &getOrder
    //#post(com.dmdirc.config.ConfigTarget__static_init): __Dispatch_Table.getType()Lcom/dmdirc/config/ConfigTarget$TYPE; == &getType
    //#post(com.dmdirc.config.ConfigTarget__static_init): __Dispatch_Table.getTypeName()Ljava/lang/String; == &getTypeName
    //#post(com.dmdirc.config.ConfigTarget__static_init): __Dispatch_Table.hashCode()I == &hashCode
    //#post(com.dmdirc.config.ConfigTarget__static_init): __Dispatch_Table.setChannel(Ljava/lang/String;)V == &setChannel
    //#post(com.dmdirc.config.ConfigTarget__static_init): __Dispatch_Table.setGlobal()V == &setGlobal
    //#post(com.dmdirc.config.ConfigTarget__static_init): __Dispatch_Table.setGlobalDefault()V == &setGlobalDefault
    //#post(com.dmdirc.config.ConfigTarget__static_init): __Dispatch_Table.setIrcd(Ljava/lang/String;)V == &setIrcd
    //#post(com.dmdirc.config.ConfigTarget__static_init): __Dispatch_Table.setNetwork(Ljava/lang/String;)V == &setNetwork
    //#post(com.dmdirc.config.ConfigTarget__static_init): __Dispatch_Table.setOrder(I)V == &setOrder
    //#post(com.dmdirc.config.ConfigTarget__static_init): __Dispatch_Table.setProfile()V == &setProfile
    //#post(com.dmdirc.config.ConfigTarget__static_init): __Dispatch_Table.setServer(Ljava/lang/String;)V == &setServer
    //#post(com.dmdirc.config.ConfigTarget__static_init): __Dispatch_Table.setTheme()V == &setTheme
    //#post(com.dmdirc.config.ConfigTarget__static_init): __Dispatch_Table.toString()Ljava/lang/String; == &toString
    //#ConfigTarget.java:: end of method: com.dmdirc.config.ConfigTarget.com.dmdirc.config.ConfigTarget__static_init
    //#ConfigTarget.java:: end of class: com.dmdirc.config.ConfigTarget
