//# 0 errors, 525 messages
//#
/*
    //#UserLevelPlugin.java:1:1: class: com.dmdirc.addons.userlevel.UserLevelPlugin$1
    //#UserLevelPlugin.java:1:1: class: com.dmdirc.addons.userlevel.UserLevelPlugin
 * 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.userlevel;

import com.dmdirc.actions.ActionManager;
import com.dmdirc.actions.CoreActionType;
import com.dmdirc.actions.interfaces.ActionComponent;
import com.dmdirc.actions.interfaces.ActionType;
import com.dmdirc.config.IdentityManager;
import com.dmdirc.interfaces.ActionListener;
import com.dmdirc.interfaces.ConfigChangeListener;
import com.dmdirc.parser.irc.ChannelClientInfo;
import com.dmdirc.parser.irc.ClientInfo;
import com.dmdirc.plugins.Plugin;

import java.util.HashMap;
import java.util.Map;

/**
 * Allows the client to assign user levels to users (based on hostname matches),
 * and for actions/plugins to check those levels.
 * 
 * @author chris
 */
public class UserLevelPlugin extends Plugin implements ActionListener, 
    //#UserLevelPlugin.java:45: method: void com.dmdirc.addons.userlevel.UserLevelPlugin.com.dmdirc.addons.userlevel.UserLevelPlugin()
    //#UserLevelPlugin.java:45: Warning: method not available - call not analyzed
    //#    call on void com.dmdirc.plugins.Plugin()
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.addons.userlevel.UserLevelPlugin
    //#    method: void com.dmdirc.addons.userlevel.UserLevelPlugin()
    //#    unanalyzed callee: void com.dmdirc.plugins.Plugin()
    //#input(void com.dmdirc.addons.userlevel.UserLevelPlugin()): this
        ConfigChangeListener {
    
    /** The domain used for userlevels. */
    private static final String DOMAIN = "userlevels";
    
    /** A map of hostmasks to associated level numbers. */
    private static final Map<String, Integer> LEVELS = new HashMap<String, Integer>();
    //#UserLevelPlugin.java:52: method: com.dmdirc.addons.userlevel.UserLevelPlugin.com.dmdirc.addons.userlevel.UserLevelPlugin__static_init
    //#output(com.dmdirc.addons.userlevel.UserLevelPlugin__static_init): LEVELS
    //#output(com.dmdirc.addons.userlevel.UserLevelPlugin__static_init): __Descendant_Table[com/dmdirc/addons/userlevel/UserLevelPlugin]
    //#output(com.dmdirc.addons.userlevel.UserLevelPlugin__static_init): __Dispatch_Table.configChanged(Ljava/lang/String;Ljava/lang/String;)V
    //#output(com.dmdirc.addons.userlevel.UserLevelPlugin__static_init): __Dispatch_Table.loadLevels()V
    //#output(com.dmdirc.addons.userlevel.UserLevelPlugin__static_init): __Dispatch_Table.onLoad()V
    //#output(com.dmdirc.addons.userlevel.UserLevelPlugin__static_init): __Dispatch_Table.onUnload()V
    //#output(com.dmdirc.addons.userlevel.UserLevelPlugin__static_init): __Dispatch_Table.processEvent(Lcom/dmdirc/actions/interfaces/ActionType;Ljava/lang/StringBuffer;[Ljava/lang/Object;)V
    //#output(com.dmdirc.addons.userlevel.UserLevelPlugin__static_init): new HashMap(UserLevelPlugin__static_init#1) num objects
    //#new obj(com.dmdirc.addons.userlevel.UserLevelPlugin__static_init): new HashMap(UserLevelPlugin__static_init#1)
    //#post(com.dmdirc.addons.userlevel.UserLevelPlugin__static_init): LEVELS == &new HashMap(UserLevelPlugin__static_init#1)
    //#post(com.dmdirc.addons.userlevel.UserLevelPlugin__static_init): __Descendant_Table[com/dmdirc/addons/userlevel/UserLevelPlugin] == &__Dispatch_Table
    //#post(com.dmdirc.addons.userlevel.UserLevelPlugin__static_init): __Dispatch_Table.configChanged(Ljava/lang/String;Ljava/lang/String;)V == &configChanged
    //#post(com.dmdirc.addons.userlevel.UserLevelPlugin__static_init): __Dispatch_Table.loadLevels()V == &loadLevels
    //#post(com.dmdirc.addons.userlevel.UserLevelPlugin__static_init): __Dispatch_Table.onLoad()V == &onLoad
    //#post(com.dmdirc.addons.userlevel.UserLevelPlugin__static_init): __Dispatch_Table.onUnload()V == &onUnload
    //#post(com.dmdirc.addons.userlevel.UserLevelPlugin__static_init): __Dispatch_Table.processEvent(Lcom/dmdirc/actions/interfaces/ActionType;Ljava/lang/StringBuffer;[Ljava/lang/Object;)V == &processEvent
    //#post(com.dmdirc.addons.userlevel.UserLevelPlugin__static_init): new HashMap(UserLevelPlugin__static_init#1) num objects == 1
    //#UserLevelPlugin.java:52: end of method: com.dmdirc.addons.userlevel.UserLevelPlugin.com.dmdirc.addons.userlevel.UserLevelPlugin__static_init

    /** {@inheritDoc} */
    @Override
    public void onLoad() {
        ActionManager.addListener(this, CoreActionType.CHANNEL_JOIN);
    //#UserLevelPlugin.java:57: method: void com.dmdirc.addons.userlevel.UserLevelPlugin.onLoad()
    //#UserLevelPlugin.java:57: Warning: method not available - call not analyzed
    //#    call on void com.dmdirc.actions.ActionManager:addListener(ActionListener, ActionType[])
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.addons.userlevel.UserLevelPlugin
    //#    method: void onLoad()
    //#    unanalyzed callee: void com.dmdirc.actions.ActionManager:addListener(ActionListener, ActionType[])
    //#input(void onLoad()): ""._tainted
    //#input(void onLoad()): "<Unknown>"._tainted
    //#input(void onLoad()): "@"._tainted
    //#input(void onLoad()): LEVELS
    //#input(void onLoad()): com.dmdirc.actions.CoreActionType.CHANNEL_JOIN
    //#input(void onLoad()): com.dmdirc.config.ConfigManager$1__static_init.new int[](ConfigManager$1__static_init#1).length
    //#input(void onLoad()): com.dmdirc.config.ConfigManager$1__static_init.new int[](ConfigManager$1__static_init#1)[0..4_294_967_295]
    //#input(void onLoad()): com/dmdirc/config/ConfigManager$1.$SwitchMap$com$dmdirc$config$ConfigTarget$TYPE
    //#input(void onLoad()): com/dmdirc/config/ConfigManager.__Descendant_Table[com/dmdirc/config/ConfigManager]
    //#input(void onLoad()): com/dmdirc/config/ConfigManager.__Descendant_Table[others]
    //#input(void onLoad()): com/dmdirc/config/ConfigManager.__Dispatch_Table.addChangeListener(Ljava/lang/String;Lcom/dmdirc/interfaces/ConfigChangeListener;)V
    //#input(void onLoad()): com/dmdirc/config/ConfigManager.__Dispatch_Table.getOptions(Ljava/lang/String;)Ljava/util/Map;
    //#input(void onLoad()): com/dmdirc/config/ConfigManager.__Dispatch_Table.identityApplies(Lcom/dmdirc/config/Identity;)Z
    //#input(void onLoad()): com/dmdirc/config/ConfigTarget.__Descendant_Table[com/dmdirc/config/ConfigTarget]
    //#input(void onLoad()): com/dmdirc/config/ConfigTarget.__Descendant_Table[others]
    //#input(void onLoad()): com/dmdirc/config/ConfigTarget.__Dispatch_Table.getData()Ljava/lang/String;
    //#input(void onLoad()): com/dmdirc/config/ConfigTarget.__Dispatch_Table.getType()Lcom/dmdirc/config/ConfigTarget$TYPE;
    //#input(void onLoad()): com/dmdirc/config/Identity.__Descendant_Table[com/dmdirc/config/Identity]
    //#input(void onLoad()): com/dmdirc/config/Identity.__Descendant_Table[others]
    //#input(void onLoad()): com/dmdirc/config/Identity.__Dispatch_Table.addListener(Lcom/dmdirc/interfaces/ConfigChangeListener;)V
    //#input(void onLoad()): com/dmdirc/config/Identity.__Dispatch_Table.getOptions(Ljava/lang/String;)Ljava/util/Map;
    //#input(void onLoad()): com/dmdirc/config/Identity.__Dispatch_Table.getTarget()Lcom/dmdirc/config/ConfigTarget;
    //#input(void onLoad()): com/dmdirc/config/IdentityManager.__Class_Obj.__Lock
    //#input(void onLoad()): com/dmdirc/config/IdentityManager.globalconfig
    //#input(void onLoad()): com/dmdirc/config/IdentityManager.globalconfig.__Tag
    //#input(void onLoad()): com/dmdirc/config/IdentityManager.globalconfig.listeners
    //#input(void onLoad()): com/dmdirc/config/IdentityManager.globalconfig.listeners.__Lock
    //#input(void onLoad()): com/dmdirc/config/IdentityManager.globalconfig.sources
    //#input(void onLoad()): com/dmdirc/config/IdentityManager.identities
    //#input(void onLoad()): com/dmdirc/config/IdentityManager.managers
    //#input(void onLoad()): this
    //#output(void onLoad()): com/dmdirc/config/IdentityManager.globalconfig
    //#output(void onLoad()): java.lang.StringBuilder:toString(...)._tainted
    //#output(void onLoad()): new ArrayList(getSources#1) num objects
    //#output(void onLoad()): new ArrayList(getSources#1).__Lock
    //#output(void onLoad()): new ConfigManager(getGlobalConfig#1) num objects
    //#output(void onLoad()): new ConfigManager(getGlobalConfig#1).__Tag
    //#output(void onLoad()): new ConfigManager(getGlobalConfig#1).channel
    //#output(void onLoad()): new ConfigManager(getGlobalConfig#1).ircd
    //#output(void onLoad()): new ConfigManager(getGlobalConfig#1).listeners
    //#output(void onLoad()): new ConfigManager(getGlobalConfig#1).network
    //#output(void onLoad()): new ConfigManager(getGlobalConfig#1).server
    //#output(void onLoad()): new ConfigManager(getGlobalConfig#1).sources
    //#output(void onLoad()): new MapList(ConfigManager#1) num objects
    //#output(void onLoad()): new MapList(ConfigManager#1).__Lock
    //#new obj(void onLoad()): java.lang.StringBuilder:toString(...)
    //#new obj(void onLoad()): new ArrayList(getSources#1)
    //#new obj(void onLoad()): new ConfigManager(getGlobalConfig#1)
    //#new obj(void onLoad()): new MapList(ConfigManager#1)
    //#pre[7] (void onLoad()): init'ed(com/dmdirc/config/IdentityManager.globalconfig)
    //#pre[1] (void onLoad()): (soft) init'ed(com.dmdirc.config.ConfigManager$1__static_init.new int[](ConfigManager$1__static_init#1)[0..4_294_967_295])
    //#presumption(void onLoad()): init'ed(com.dmdirc.actions.CoreActionType.CHANNEL_JOIN)
    //#presumption(void onLoad()): getGlobalConfig(...).__Tag == com/dmdirc/config/ConfigManager
    //#presumption(void onLoad()): getGlobalConfig(...).listeners != null
    //#post(void onLoad()): com/dmdirc/config/IdentityManager.globalconfig != null
    //#post(void onLoad()): java.lang.StringBuilder:toString(...)._tainted == 0
    //#post(void onLoad()): new ArrayList(getSources#1) num objects == 0
    //#post(void onLoad()): new ConfigManager(getGlobalConfig#1) num objects == 0
    //#post(void onLoad()): new MapList(ConfigManager#1) num objects == 0
    //#post(void onLoad()): new ArrayList(getSources#1) num objects <= 1
    //#post(void onLoad()): new ConfigManager(getGlobalConfig#1) num objects == new ArrayList(getSources#1) num objects
    //#post(void onLoad()): new MapList(ConfigManager#1) num objects == new ArrayList(getSources#1) num objects
    //#post(void onLoad()): init'ed(new ArrayList(getSources#1).__Lock)
    //#post(void onLoad()): new ConfigManager(getGlobalConfig#1).__Tag == com/dmdirc/config/ConfigManager
    //#post(void onLoad()): not_init'ed(new ConfigManager(getGlobalConfig#1).__Tag)
    //#post(void onLoad()): new ConfigManager(getGlobalConfig#1).channel == &java.lang.StringBuilder:toString(...)
    //#post(void onLoad()): not_init'ed(new ConfigManager(getGlobalConfig#1).channel)
    //#post(void onLoad()): not_init'ed(new ConfigManager(getGlobalConfig#1).ircd)
    //#post(void onLoad()): not_init'ed(new ConfigManager(getGlobalConfig#1).listeners)
    //#post(void onLoad()): not_init'ed(new ConfigManager(getGlobalConfig#1).network)
    //#post(void onLoad()): not_init'ed(new ConfigManager(getGlobalConfig#1).server)
    //#post(void onLoad()): not_init'ed(new ConfigManager(getGlobalConfig#1).sources)
    //#post(void onLoad()): new ConfigManager(getGlobalConfig#1).ircd == &""
    //#post(void onLoad()): new ConfigManager(getGlobalConfig#1).network == &""
    //#post(void onLoad()): new ConfigManager(getGlobalConfig#1).server == &""
    //#post(void onLoad()): new ConfigManager(getGlobalConfig#1).listeners == &new MapList(ConfigManager#1)
    //#post(void onLoad()): new ConfigManager(getGlobalConfig#1).sources == &new ArrayList(getSources#1)
    //#post(void onLoad()): init'ed(new MapList(ConfigManager#1).__Lock)
    //#unanalyzed(void onLoad()): Effects-of-calling:java.util.Map:entrySet
    //#unanalyzed(void onLoad()): Effects-of-calling:java.util.Set:iterator
    //#unanalyzed(void onLoad()): Effects-of-calling:java.util.Iterator:hasNext
    //#unanalyzed(void onLoad()): Effects-of-calling:java.util.Iterator:next
    //#unanalyzed(void onLoad()): Effects-of-calling:java.util.Map$Entry:getKey
    //#unanalyzed(void onLoad()): Effects-of-calling:java.util.Map$Entry:getValue
    //#unanalyzed(void onLoad()): Effects-of-calling:java.lang.Integer:valueOf
    //#unanalyzed(void onLoad()): Effects-of-calling:java.util.Map:put
    //#unanalyzed(void onLoad()): Effects-of-calling:java.lang.Throwable:__curr_excep_obj
    //#unanalyzed(void onLoad()): Effects-of-calling:java.util.ArrayList
    //#unanalyzed(void onLoad()): Effects-of-calling:com.dmdirc.logger.Logger:assertTrue
    //#unanalyzed(void onLoad()): Effects-of-calling:java.util.List:iterator
    //#unanalyzed(void onLoad()): Effects-of-calling:java.lang.StringBuilder
    //#unanalyzed(void onLoad()): Effects-of-calling:java.lang.StringBuilder:append
    //#unanalyzed(void onLoad()): Effects-of-calling:java.lang.StringBuilder:toString
    //#unanalyzed(void onLoad()): Effects-of-calling:java.util.List:add
    //#unanalyzed(void onLoad()): Effects-of-calling:getTarget
    //#unanalyzed(void onLoad()): Effects-of-calling:com.dmdirc.config.ConfigTarget$TYPE:ordinal
    //#unanalyzed(void onLoad()): Effects-of-calling:java.lang.String:equalsIgnoreCase
    //#unanalyzed(void onLoad()): Effects-of-calling:addListener
    //#unanalyzed(void onLoad()): Effects-of-calling:getSources
    //#unanalyzed(void onLoad()): Effects-of-calling:com.dmdirc.config.ConfigSource
    //#unanalyzed(void onLoad()): Effects-of-calling:com.dmdirc.util.MapList
    //#unanalyzed(void onLoad()): Effects-of-calling:addConfigManager
    //#unanalyzed(void onLoad()): Effects-of-calling:java.util.Collections:sort
    //#unanalyzed(void onLoad()): Effects-of-calling:java.util.Map:clear
    //#unanalyzed(void onLoad()): Effects-of-calling:getOptions
    //#unanalyzed(void onLoad()): Effects-of-calling:java.util.HashMap
    //#unanalyzed(void onLoad()): Effects-of-calling:java.util.List:size
    //#unanalyzed(void onLoad()): Effects-of-calling:java.util.List:get
    //#unanalyzed(void onLoad()): Effects-of-calling:java.util.Map:putAll
    //#unanalyzed(void onLoad()): Effects-of-calling:com.dmdirc.util.ConfigFile:getKeyDomain
    //#unanalyzed(void onLoad()): Effects-of-calling:java.lang.Integer:parseInt
    //#unanalyzed(void onLoad()): Effects-of-calling:com.dmdirc.util.MapList:add
        ActionManager.registerActionComponents(
    //#UserLevelPlugin.java:58: Warning: method not available - call not analyzed
    //#    call on void com.dmdirc.actions.ActionManager:registerActionComponents(ActionComponent[])
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.addons.userlevel.UserLevelPlugin
    //#    method: void onLoad()
    //#    unanalyzed callee: void com.dmdirc.actions.ActionManager:registerActionComponents(ActionComponent[])
                new ActionComponent[]{
                    new AccessLevelComponent(),
                    new ChannelAccessLevelComponent()
                });
        IdentityManager.getGlobalConfig().addChangeListener(DOMAIN, this);
        loadLevels();
    }
    //#UserLevelPlugin.java:65: end of method: void com.dmdirc.addons.userlevel.UserLevelPlugin.onLoad()

    /** {@inheritDoc} */
    @Override
    public void onUnload() {
        ActionManager.removeListener(this);
    //#UserLevelPlugin.java:70: method: void com.dmdirc.addons.userlevel.UserLevelPlugin.onUnload()
    //#UserLevelPlugin.java:70: Warning: method not available - call not analyzed
    //#    call on void com.dmdirc.actions.ActionManager:removeListener(ActionListener)
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.addons.userlevel.UserLevelPlugin
    //#    method: void onUnload()
    //#    unanalyzed callee: void com.dmdirc.actions.ActionManager:removeListener(ActionListener)
    //#input(void onUnload()): ""._tainted
    //#input(void onUnload()): "<Unknown>"._tainted
    //#input(void onUnload()): "@"._tainted
    //#input(void onUnload()): com.dmdirc.config.ConfigManager$1__static_init.new int[](ConfigManager$1__static_init#1).length
    //#input(void onUnload()): com.dmdirc.config.ConfigManager$1__static_init.new int[](ConfigManager$1__static_init#1)[0..4_294_967_295]
    //#input(void onUnload()): com/dmdirc/config/ConfigManager$1.$SwitchMap$com$dmdirc$config$ConfigTarget$TYPE
    //#input(void onUnload()): com/dmdirc/config/ConfigManager.__Descendant_Table[com/dmdirc/config/ConfigManager]
    //#input(void onUnload()): com/dmdirc/config/ConfigManager.__Descendant_Table[others]
    //#input(void onUnload()): com/dmdirc/config/ConfigManager.__Dispatch_Table.identityApplies(Lcom/dmdirc/config/Identity;)Z
    //#input(void onUnload()): com/dmdirc/config/ConfigManager.__Dispatch_Table.removeListener(Lcom/dmdirc/interfaces/ConfigChangeListener;)V
    //#input(void onUnload()): com/dmdirc/config/ConfigTarget.__Descendant_Table[com/dmdirc/config/ConfigTarget]
    //#input(void onUnload()): com/dmdirc/config/ConfigTarget.__Descendant_Table[others]
    //#input(void onUnload()): com/dmdirc/config/ConfigTarget.__Dispatch_Table.getData()Ljava/lang/String;
    //#input(void onUnload()): com/dmdirc/config/ConfigTarget.__Dispatch_Table.getType()Lcom/dmdirc/config/ConfigTarget$TYPE;
    //#input(void onUnload()): com/dmdirc/config/Identity.__Descendant_Table[com/dmdirc/config/Identity]
    //#input(void onUnload()): com/dmdirc/config/Identity.__Descendant_Table[others]
    //#input(void onUnload()): com/dmdirc/config/Identity.__Dispatch_Table.addListener(Lcom/dmdirc/interfaces/ConfigChangeListener;)V
    //#input(void onUnload()): com/dmdirc/config/Identity.__Dispatch_Table.getTarget()Lcom/dmdirc/config/ConfigTarget;
    //#input(void onUnload()): com/dmdirc/config/IdentityManager.__Class_Obj.__Lock
    //#input(void onUnload()): com/dmdirc/config/IdentityManager.globalconfig
    //#input(void onUnload()): com/dmdirc/config/IdentityManager.globalconfig.__Tag
    //#input(void onUnload()): com/dmdirc/config/IdentityManager.globalconfig.listeners
    //#input(void onUnload()): com/dmdirc/config/IdentityManager.globalconfig.listeners.__Lock
    //#input(void onUnload()): com/dmdirc/config/IdentityManager.identities
    //#input(void onUnload()): com/dmdirc/config/IdentityManager.managers
    //#input(void onUnload()): this
    //#output(void onUnload()): com/dmdirc/config/IdentityManager.globalconfig
    //#output(void onUnload()): java.lang.StringBuilder:toString(...)._tainted
    //#output(void onUnload()): new ArrayList(getSources#1) num objects
    //#output(void onUnload()): new ConfigManager(getGlobalConfig#1) num objects
    //#output(void onUnload()): new ConfigManager(getGlobalConfig#1).__Tag
    //#output(void onUnload()): new ConfigManager(getGlobalConfig#1).channel
    //#output(void onUnload()): new ConfigManager(getGlobalConfig#1).ircd
    //#output(void onUnload()): new ConfigManager(getGlobalConfig#1).listeners
    //#output(void onUnload()): new ConfigManager(getGlobalConfig#1).network
    //#output(void onUnload()): new ConfigManager(getGlobalConfig#1).server
    //#output(void onUnload()): new ConfigManager(getGlobalConfig#1).sources
    //#output(void onUnload()): new MapList(ConfigManager#1) num objects
    //#output(void onUnload()): new MapList(ConfigManager#1).__Lock
    //#new obj(void onUnload()): java.lang.StringBuilder:toString(...)
    //#new obj(void onUnload()): new ArrayList(getSources#1)
    //#new obj(void onUnload()): new ConfigManager(getGlobalConfig#1)
    //#new obj(void onUnload()): new MapList(ConfigManager#1)
    //#pre[4] (void onUnload()): init'ed(com/dmdirc/config/IdentityManager.globalconfig)
    //#pre[1] (void onUnload()): (soft) init'ed(com.dmdirc.config.ConfigManager$1__static_init.new int[](ConfigManager$1__static_init#1)[0..4_294_967_295])
    //#presumption(void onUnload()): getGlobalConfig(...).__Tag == com/dmdirc/config/ConfigManager
    //#presumption(void onUnload()): getGlobalConfig(...).listeners != null
    //#post(void onUnload()): com/dmdirc/config/IdentityManager.globalconfig == One-of{old com/dmdirc/config/IdentityManager.globalconfig, &new ConfigManager(getGlobalConfig#1)}
    //#post(void onUnload()): com/dmdirc/config/IdentityManager.globalconfig != null
    //#post(void onUnload()): java.lang.StringBuilder:toString(...)._tainted == 0
    //#post(void onUnload()): new ArrayList(getSources#1) num objects <= 1
    //#post(void onUnload()): new ConfigManager(getGlobalConfig#1) num objects == new ArrayList(getSources#1) num objects
    //#post(void onUnload()): new MapList(ConfigManager#1) num objects == new ArrayList(getSources#1) num objects
    //#post(void onUnload()): new ConfigManager(getGlobalConfig#1).__Tag == com/dmdirc/config/ConfigManager
    //#post(void onUnload()): new ConfigManager(getGlobalConfig#1).channel == &java.lang.StringBuilder:toString(...)
    //#post(void onUnload()): new ConfigManager(getGlobalConfig#1).ircd == &""
    //#post(void onUnload()): new ConfigManager(getGlobalConfig#1).network == &""
    //#post(void onUnload()): new ConfigManager(getGlobalConfig#1).server == &""
    //#post(void onUnload()): new ConfigManager(getGlobalConfig#1).listeners == &new MapList(ConfigManager#1)
    //#post(void onUnload()): new ConfigManager(getGlobalConfig#1).sources == &new ArrayList(getSources#1)
    //#post(void onUnload()): init'ed(new MapList(ConfigManager#1).__Lock)
    //#unanalyzed(void onUnload()): Effects-of-calling:java.util.ArrayList
    //#unanalyzed(void onUnload()): Effects-of-calling:com.dmdirc.logger.Logger:assertTrue
    //#unanalyzed(void onUnload()): Effects-of-calling:java.util.List:iterator
    //#unanalyzed(void onUnload()): Effects-of-calling:java.util.Iterator:hasNext
    //#unanalyzed(void onUnload()): Effects-of-calling:java.util.Iterator:next
    //#unanalyzed(void onUnload()): Effects-of-calling:java.lang.StringBuilder
    //#unanalyzed(void onUnload()): Effects-of-calling:java.lang.StringBuilder:append
    //#unanalyzed(void onUnload()): Effects-of-calling:java.lang.StringBuilder:toString
    //#unanalyzed(void onUnload()): Effects-of-calling:java.lang.Throwable:__curr_excep_obj
    //#unanalyzed(void onUnload()): Effects-of-calling:java.util.List:add
    //#unanalyzed(void onUnload()): Effects-of-calling:getTarget
    //#unanalyzed(void onUnload()): Effects-of-calling:com.dmdirc.config.ConfigTarget$TYPE:ordinal
    //#unanalyzed(void onUnload()): Effects-of-calling:java.lang.String:equalsIgnoreCase
    //#unanalyzed(void onUnload()): Effects-of-calling:addListener
    //#unanalyzed(void onUnload()): Effects-of-calling:getSources
    //#unanalyzed(void onUnload()): Effects-of-calling:com.dmdirc.config.ConfigSource
    //#unanalyzed(void onUnload()): Effects-of-calling:com.dmdirc.util.MapList
    //#unanalyzed(void onUnload()): Effects-of-calling:addConfigManager
    //#unanalyzed(void onUnload()): Effects-of-calling:java.util.Collections:sort
    //#unanalyzed(void onUnload()): Effects-of-calling:com.dmdirc.util.MapList:removeFromAll
        IdentityManager.getGlobalConfig().removeListener(this);
    }
    //#UserLevelPlugin.java:72: end of method: void com.dmdirc.addons.userlevel.UserLevelPlugin.onUnload()

    /** {@inheritDoc} */
    @Override
    public void processEvent(final ActionType type, final StringBuffer format,
                             final Object... arguments) {
        switch ((CoreActionType) type) {
    //#UserLevelPlugin.java:78: method: com.dmdirc.addons.userlevel.UserLevelPlugin$1.com.dmdirc.addons.userlevel.UserLevelPlugin$1__static_init
    //#UserLevelPlugin.java:78: Warning: method not available - call not analyzed
    //#    call on CoreActionType[] com.dmdirc.actions.CoreActionType:values()
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.addons.userlevel.UserLevelPlugin$1
    //#    method: com.dmdirc.addons.userlevel.UserLevelPlugin$1__static_init
    //#    unanalyzed callee: CoreActionType[] com.dmdirc.actions.CoreActionType:values()
    //#UserLevelPlugin.java:78: Warning: method not available - call not analyzed
    //#    call on int com.dmdirc.actions.CoreActionType:ordinal()
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.addons.userlevel.UserLevelPlugin$1
    //#    method: com.dmdirc.addons.userlevel.UserLevelPlugin$1__static_init
    //#    unanalyzed callee: int com.dmdirc.actions.CoreActionType:ordinal()
    //#input(com.dmdirc.addons.userlevel.UserLevelPlugin$1__static_init): com.dmdirc.actions.CoreActionType.CHANNEL_JOIN
    //#output(com.dmdirc.addons.userlevel.UserLevelPlugin$1__static_init): $SwitchMap$com$dmdirc$actions$CoreActionType
    //#output(com.dmdirc.addons.userlevel.UserLevelPlugin$1__static_init): __Descendant_Table[com/dmdirc/addons/userlevel/UserLevelPlugin$1]
    //#output(com.dmdirc.addons.userlevel.UserLevelPlugin$1__static_init): new int[](UserLevelPlugin$1__static_init#1) num objects
    //#output(com.dmdirc.addons.userlevel.UserLevelPlugin$1__static_init): $SwitchMap$com$dmdirc$actions$CoreActionType.length
    //#output(com.dmdirc.addons.userlevel.UserLevelPlugin$1__static_init): $SwitchMap$com$dmdirc$actions$CoreActionType[0..4_294_967_295]
    //#new obj(com.dmdirc.addons.userlevel.UserLevelPlugin$1__static_init): new int[](UserLevelPlugin$1__static_init#1)
    //#presumption(com.dmdirc.addons.userlevel.UserLevelPlugin$1__static_init): com.dmdirc.actions.CoreActionType.CHANNEL_JOIN != null
    //#presumption(com.dmdirc.addons.userlevel.UserLevelPlugin$1__static_init): com.dmdirc.actions.CoreActionType:ordinal(...)@78 >= 0
    //#presumption(com.dmdirc.addons.userlevel.UserLevelPlugin$1__static_init): com.dmdirc.actions.CoreActionType:ordinal(...)@78 < com.dmdirc.actions.CoreActionType:values(...).length@78
    //#presumption(com.dmdirc.addons.userlevel.UserLevelPlugin$1__static_init): com.dmdirc.actions.CoreActionType:values(...).length@78 >= 1
    //#presumption(com.dmdirc.addons.userlevel.UserLevelPlugin$1__static_init): com.dmdirc.actions.CoreActionType:values(...)@78 != null
    //#post(com.dmdirc.addons.userlevel.UserLevelPlugin$1__static_init): $SwitchMap$com$dmdirc$actions$CoreActionType == &new int[](UserLevelPlugin$1__static_init#1)
    //#post(com.dmdirc.addons.userlevel.UserLevelPlugin$1__static_init): __Descendant_Table[com/dmdirc/addons/userlevel/UserLevelPlugin$1] == &__Dispatch_Table
    //#post(com.dmdirc.addons.userlevel.UserLevelPlugin$1__static_init): new int[](UserLevelPlugin$1__static_init#1) num objects == 1
    //#post(com.dmdirc.addons.userlevel.UserLevelPlugin$1__static_init): $SwitchMap$com$dmdirc$actions$CoreActionType.length >= 1
    //#post(com.dmdirc.addons.userlevel.UserLevelPlugin$1__static_init): $SwitchMap$com$dmdirc$actions$CoreActionType[0..4_294_967_295] in {0,1}, if init'ed
    //#UserLevelPlugin.java:78: end of method: com.dmdirc.addons.userlevel.UserLevelPlugin$1.com.dmdirc.addons.userlevel.UserLevelPlugin$1__static_init
    //#UserLevelPlugin.java:78: method: void com.dmdirc.addons.userlevel.UserLevelPlugin.processEvent(ActionType, StringBuffer, Object[])
    //#UserLevelPlugin.java:78: Warning: method not available - call not analyzed
    //#    call on int com.dmdirc.actions.CoreActionType:ordinal()
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.addons.userlevel.UserLevelPlugin
    //#    method: void processEvent(ActionType, StringBuffer, Object[])
    //#    unanalyzed callee: int com.dmdirc.actions.CoreActionType:ordinal()
    //#input(void processEvent(ActionType, StringBuffer, Object[])): "!"._tainted
    //#input(void processEvent(ActionType, StringBuffer, Object[])): "@"._tainted
    //#input(void processEvent(ActionType, StringBuffer, Object[])): LEVELS
    //#input(void processEvent(ActionType, StringBuffer, Object[])): arguments
    //#input(void processEvent(ActionType, StringBuffer, Object[])): arguments.length
    //#input(void processEvent(ActionType, StringBuffer, Object[])): arguments[1]
    //#input(void processEvent(ActionType, StringBuffer, Object[])): com.dmdirc.addons.userlevel.UserLevelPlugin$1__static_init.new int[](UserLevelPlugin$1__static_init#1).length
    //#input(void processEvent(ActionType, StringBuffer, Object[])): com.dmdirc.addons.userlevel.UserLevelPlugin$1__static_init.new int[](UserLevelPlugin$1__static_init#1)[0..4_294_967_295]
    //#input(void processEvent(ActionType, StringBuffer, Object[])): com/dmdirc/addons/userlevel/UserLevelPlugin$1.$SwitchMap$com$dmdirc$actions$CoreActionType
    //#input(void processEvent(ActionType, StringBuffer, Object[])): type
    //#pre[6] (void processEvent(ActionType, StringBuffer, Object[])): type != null
    //#pre[1] (void processEvent(ActionType, StringBuffer, Object[])): (soft) arguments != null
    //#pre[2] (void processEvent(ActionType, StringBuffer, Object[])): (soft) arguments.length >= 2
    //#pre[3] (void processEvent(ActionType, StringBuffer, Object[])): (soft) arguments[1] != null
    //#pre[4] (void processEvent(ActionType, StringBuffer, Object[])): (soft) init'ed(com.dmdirc.addons.userlevel.UserLevelPlugin$1__static_init.new int[](UserLevelPlugin$1__static_init#1)[0..4_294_967_295])
    //#presumption(void processEvent(ActionType, StringBuffer, Object[])): com.dmdirc.actions.CoreActionType:ordinal(...)@78 >= 0
    //#presumption(void processEvent(ActionType, StringBuffer, Object[])): com.dmdirc.actions.CoreActionType:values(...).length >= 1
    //#presumption(void processEvent(ActionType, StringBuffer, Object[])): com.dmdirc.actions.CoreActionType:ordinal(...)@78 < com.dmdirc.actions.CoreActionType:values(...).length
    //#unanalyzed(void processEvent(ActionType, StringBuffer, Object[])): Effects-of-calling:java.lang.StringBuilder
    //#unanalyzed(void processEvent(ActionType, StringBuffer, Object[])): Effects-of-calling:com.dmdirc.parser.irc.ClientInfo:getNickname
    //#unanalyzed(void processEvent(ActionType, StringBuffer, Object[])): Effects-of-calling:java.lang.StringBuilder:append
    //#unanalyzed(void processEvent(ActionType, StringBuffer, Object[])): Effects-of-calling:com.dmdirc.parser.irc.ClientInfo:getIdent
    //#unanalyzed(void processEvent(ActionType, StringBuffer, Object[])): Effects-of-calling:com.dmdirc.parser.irc.ClientInfo:getHost
    //#unanalyzed(void processEvent(ActionType, StringBuffer, Object[])): Effects-of-calling:java.lang.StringBuilder:toString
    //#unanalyzed(void processEvent(ActionType, StringBuffer, Object[])): Effects-of-calling:java.util.Map:entrySet
    //#unanalyzed(void processEvent(ActionType, StringBuffer, Object[])): Effects-of-calling:java.util.Set:iterator
    //#unanalyzed(void processEvent(ActionType, StringBuffer, Object[])): Effects-of-calling:java.util.Iterator:hasNext
    //#unanalyzed(void processEvent(ActionType, StringBuffer, Object[])): Effects-of-calling:java.util.Iterator:next
    //#unanalyzed(void processEvent(ActionType, StringBuffer, Object[])): Effects-of-calling:java.util.Map$Entry:getKey
    //#unanalyzed(void processEvent(ActionType, StringBuffer, Object[])): Effects-of-calling:java.lang.String:matches
    //#unanalyzed(void processEvent(ActionType, StringBuffer, Object[])): Effects-of-calling:java.util.Map$Entry:getValue
    //#unanalyzed(void processEvent(ActionType, StringBuffer, Object[])): Effects-of-calling:java.lang.Integer:intValue
    //#unanalyzed(void processEvent(ActionType, StringBuffer, Object[])): Effects-of-calling:java.lang.Math:max
    //#unanalyzed(void processEvent(ActionType, StringBuffer, Object[])): Effects-of-calling:com.dmdirc.parser.irc.ClientInfo:getMap
    //#unanalyzed(void processEvent(ActionType, StringBuffer, Object[])): Effects-of-calling:java.lang.Integer:valueOf
    //#unanalyzed(void processEvent(ActionType, StringBuffer, Object[])): Effects-of-calling:java.util.Map:put
    //#unanalyzed(void processEvent(ActionType, StringBuffer, Object[])): Effects-of-calling:java.lang.Throwable:__curr_excep_obj
    //#unanalyzed(void processEvent(ActionType, StringBuffer, Object[])): Effects-of-calling:com.dmdirc.parser.irc.ChannelClientInfo:getClient
    //#test_vector(void processEvent(ActionType, StringBuffer, Object[])): com.dmdirc.addons.userlevel.UserLevelPlugin$1__static_init.new int[](UserLevelPlugin$1__static_init#1)[0..4_294_967_295]: {1}, {-2_147_483_648..0, 2..4_294_967_295}
            case CHANNEL_JOIN:
                doChannelLevel((ChannelClientInfo) arguments[1]);
                break;
    //#UserLevelPlugin.java:81: end of method: void com.dmdirc.addons.userlevel.UserLevelPlugin.com.dmdirc.addons.userlevel.UserLevelPlugin()
        }
    }
    //#UserLevelPlugin.java:83: end of method: void com.dmdirc.addons.userlevel.UserLevelPlugin.processEvent(ActionType, StringBuffer, Object[])
    
    /**
     * Updates the specified channel client's channel user level.
     * 
     * @param client The client whose user level is to be updated
     */
    protected static void doChannelLevel(final ChannelClientInfo client) {
        doGlobalLevel(client.getClient());
    //#UserLevelPlugin.java:91: method: void com.dmdirc.addons.userlevel.UserLevelPlugin.doChannelLevel(ChannelClientInfo)
    //#UserLevelPlugin.java:91: Warning: method not available - call not analyzed
    //#    call on ClientInfo com.dmdirc.parser.irc.ChannelClientInfo:getClient()
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.addons.userlevel.UserLevelPlugin
    //#    method: void doChannelLevel(ChannelClientInfo)
    //#    unanalyzed callee: ClientInfo com.dmdirc.parser.irc.ChannelClientInfo:getClient()
    //#input(void doChannelLevel(ChannelClientInfo)): "!"._tainted
    //#input(void doChannelLevel(ChannelClientInfo)): "@"._tainted
    //#input(void doChannelLevel(ChannelClientInfo)): LEVELS
    //#input(void doChannelLevel(ChannelClientInfo)): client
    //#pre[1] (void doChannelLevel(ChannelClientInfo)): client != null
    //#presumption(void doChannelLevel(ChannelClientInfo)): com.dmdirc.parser.irc.ChannelClientInfo:getClient(...)@91 != null
    //#unanalyzed(void doChannelLevel(ChannelClientInfo)): Effects-of-calling:java.lang.StringBuilder
    //#unanalyzed(void doChannelLevel(ChannelClientInfo)): Effects-of-calling:com.dmdirc.parser.irc.ClientInfo:getNickname
    //#unanalyzed(void doChannelLevel(ChannelClientInfo)): Effects-of-calling:java.lang.StringBuilder:append
    //#unanalyzed(void doChannelLevel(ChannelClientInfo)): Effects-of-calling:com.dmdirc.parser.irc.ClientInfo:getIdent
    //#unanalyzed(void doChannelLevel(ChannelClientInfo)): Effects-of-calling:com.dmdirc.parser.irc.ClientInfo:getHost
    //#unanalyzed(void doChannelLevel(ChannelClientInfo)): Effects-of-calling:java.lang.StringBuilder:toString
    //#unanalyzed(void doChannelLevel(ChannelClientInfo)): Effects-of-calling:java.util.Map:entrySet
    //#unanalyzed(void doChannelLevel(ChannelClientInfo)): Effects-of-calling:java.util.Set:iterator
    //#unanalyzed(void doChannelLevel(ChannelClientInfo)): Effects-of-calling:java.util.Iterator:hasNext
    //#unanalyzed(void doChannelLevel(ChannelClientInfo)): Effects-of-calling:java.util.Iterator:next
    //#unanalyzed(void doChannelLevel(ChannelClientInfo)): Effects-of-calling:java.util.Map$Entry:getKey
    //#unanalyzed(void doChannelLevel(ChannelClientInfo)): Effects-of-calling:java.lang.String:matches
    //#unanalyzed(void doChannelLevel(ChannelClientInfo)): Effects-of-calling:java.util.Map$Entry:getValue
    //#unanalyzed(void doChannelLevel(ChannelClientInfo)): Effects-of-calling:java.lang.Integer:intValue
    //#unanalyzed(void doChannelLevel(ChannelClientInfo)): Effects-of-calling:java.lang.Math:max
    //#unanalyzed(void doChannelLevel(ChannelClientInfo)): Effects-of-calling:com.dmdirc.parser.irc.ClientInfo:getMap
    //#unanalyzed(void doChannelLevel(ChannelClientInfo)): Effects-of-calling:java.lang.Integer:valueOf
    //#unanalyzed(void doChannelLevel(ChannelClientInfo)): Effects-of-calling:java.util.Map:put
    //#unanalyzed(void doChannelLevel(ChannelClientInfo)): Effects-of-calling:java.lang.Throwable:__curr_excep_obj
    }
    //#UserLevelPlugin.java:92: end of method: void com.dmdirc.addons.userlevel.UserLevelPlugin.doChannelLevel(ChannelClientInfo)
    
    /**
     * Updates the specified client's global user level.
     * 
     * @param client The client whose user level is to be updated
     */
    @SuppressWarnings("unchecked")
    protected static void doGlobalLevel(final ClientInfo client) {
        final String host = client.getNickname() + "!" + client.getIdent()
    //#UserLevelPlugin.java:101: method: void com.dmdirc.addons.userlevel.UserLevelPlugin.doGlobalLevel(ClientInfo)
    //#UserLevelPlugin.java:101: Warning: method not available - call not analyzed
    //#    call on String com.dmdirc.parser.irc.ClientInfo:getNickname()
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.addons.userlevel.UserLevelPlugin
    //#    method: void doGlobalLevel(ClientInfo)
    //#    unanalyzed callee: String com.dmdirc.parser.irc.ClientInfo:getNickname()
    //#UserLevelPlugin.java:101: Warning: method not available - call not analyzed
    //#    call on String com.dmdirc.parser.irc.ClientInfo:getIdent()
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.addons.userlevel.UserLevelPlugin
    //#    method: void doGlobalLevel(ClientInfo)
    //#    unanalyzed callee: String com.dmdirc.parser.irc.ClientInfo:getIdent()
    //#UserLevelPlugin.java:101: Warning: method not available - call not analyzed
    //#    call on String com.dmdirc.parser.irc.ClientInfo:getHost()
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.addons.userlevel.UserLevelPlugin
    //#    method: void doGlobalLevel(ClientInfo)
    //#    unanalyzed callee: String com.dmdirc.parser.irc.ClientInfo:getHost()
    //#input(void doGlobalLevel(ClientInfo)): "!"._tainted
    //#input(void doGlobalLevel(ClientInfo)): "@"._tainted
    //#input(void doGlobalLevel(ClientInfo)): LEVELS
    //#input(void doGlobalLevel(ClientInfo)): client
    //#input(void doGlobalLevel(ClientInfo)): LEVELS.__Lock
    //#pre[1] (void doGlobalLevel(ClientInfo)): client != null
    //#presumption(void doGlobalLevel(ClientInfo)): com.dmdirc.parser.irc.ClientInfo:getMap(...)@114 != null
    //#presumption(void doGlobalLevel(ClientInfo)): java.util.Iterator:next(...)@107 != null
    //#presumption(void doGlobalLevel(ClientInfo)): java.util.Map:entrySet(...)@107 != null
    //#presumption(void doGlobalLevel(ClientInfo)): java.util.Map_Entry:getValue(...)@109 != null
    //#test_vector(void doGlobalLevel(ClientInfo)): java.lang.String:matches(...)@108: {0}, {1}
    //#test_vector(void doGlobalLevel(ClientInfo)): java.util.Iterator:hasNext(...)@107: {1}, {0}
                + "@" + client.getHost();
        
        int level = 0;
        
        synchronized (LEVELS) {
            for (Map.Entry<String, Integer> entry : LEVELS.entrySet()) {
                if (host.matches(entry.getKey())) {
                    level = Math.max(level, entry.getValue());
                }
            }
        }
        
        client.getMap().put("level", level);
    //#UserLevelPlugin.java:114: Warning: method not available - call not analyzed
    //#    call on Map com.dmdirc.parser.irc.ClientInfo:getMap()
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.addons.userlevel.UserLevelPlugin
    //#    method: void doGlobalLevel(ClientInfo)
    //#    unanalyzed callee: Map com.dmdirc.parser.irc.ClientInfo:getMap()
    }
    //#UserLevelPlugin.java:115: end of method: void com.dmdirc.addons.userlevel.UserLevelPlugin.doGlobalLevel(ClientInfo)

    /** {@inheritDoc} */
    @Override
    public void configChanged(final String domain, final String key) {
        if (DOMAIN.equals(domain)) {
    //#UserLevelPlugin.java:120: method: void com.dmdirc.addons.userlevel.UserLevelPlugin.configChanged(String, String)
    //#input(void configChanged(String, String)): ""._tainted
    //#input(void configChanged(String, String)): "<Unknown>"._tainted
    //#input(void configChanged(String, String)): "@"._tainted
    //#input(void configChanged(String, String)): LEVELS
    //#input(void configChanged(String, String)): com.dmdirc.config.ConfigManager$1__static_init.new int[](ConfigManager$1__static_init#1).length
    //#input(void configChanged(String, String)): com.dmdirc.config.ConfigManager$1__static_init.new int[](ConfigManager$1__static_init#1)[0..4_294_967_295]
    //#input(void configChanged(String, String)): com/dmdirc/config/ConfigManager$1.$SwitchMap$com$dmdirc$config$ConfigTarget$TYPE
    //#input(void configChanged(String, String)): com/dmdirc/config/ConfigManager.__Descendant_Table[com/dmdirc/config/ConfigManager]
    //#input(void configChanged(String, String)): com/dmdirc/config/ConfigManager.__Descendant_Table[others]
    //#input(void configChanged(String, String)): com/dmdirc/config/ConfigManager.__Dispatch_Table.getOptions(Ljava/lang/String;)Ljava/util/Map;
    //#input(void configChanged(String, String)): com/dmdirc/config/ConfigManager.__Dispatch_Table.identityApplies(Lcom/dmdirc/config/Identity;)Z
    //#input(void configChanged(String, String)): com/dmdirc/config/ConfigTarget.__Descendant_Table[com/dmdirc/config/ConfigTarget]
    //#input(void configChanged(String, String)): com/dmdirc/config/ConfigTarget.__Descendant_Table[others]
    //#input(void configChanged(String, String)): com/dmdirc/config/ConfigTarget.__Dispatch_Table.getData()Ljava/lang/String;
    //#input(void configChanged(String, String)): com/dmdirc/config/ConfigTarget.__Dispatch_Table.getType()Lcom/dmdirc/config/ConfigTarget$TYPE;
    //#input(void configChanged(String, String)): com/dmdirc/config/Identity.__Descendant_Table[com/dmdirc/config/Identity]
    //#input(void configChanged(String, String)): com/dmdirc/config/Identity.__Descendant_Table[others]
    //#input(void configChanged(String, String)): com/dmdirc/config/Identity.__Dispatch_Table.addListener(Lcom/dmdirc/interfaces/ConfigChangeListener;)V
    //#input(void configChanged(String, String)): com/dmdirc/config/Identity.__Dispatch_Table.getOptions(Ljava/lang/String;)Ljava/util/Map;
    //#input(void configChanged(String, String)): com/dmdirc/config/Identity.__Dispatch_Table.getTarget()Lcom/dmdirc/config/ConfigTarget;
    //#input(void configChanged(String, String)): com/dmdirc/config/IdentityManager.__Class_Obj.__Lock
    //#input(void configChanged(String, String)): com/dmdirc/config/IdentityManager.globalconfig
    //#input(void configChanged(String, String)): com/dmdirc/config/IdentityManager.globalconfig.__Tag
    //#input(void configChanged(String, String)): com/dmdirc/config/IdentityManager.globalconfig.sources
    //#input(void configChanged(String, String)): com/dmdirc/config/IdentityManager.identities
    //#input(void configChanged(String, String)): com/dmdirc/config/IdentityManager.managers
    //#input(void configChanged(String, String)): domain
    //#input(void configChanged(String, String)): this
    //#output(void configChanged(String, String)): com/dmdirc/config/IdentityManager.globalconfig
    //#output(void configChanged(String, String)): java.lang.StringBuilder:toString(...)._tainted
    //#output(void configChanged(String, String)): new ArrayList(getSources#1) num objects
    //#output(void configChanged(String, String)): new ArrayList(getSources#1).__Lock
    //#output(void configChanged(String, String)): new ConfigManager(getGlobalConfig#1) num objects
    //#output(void configChanged(String, String)): new ConfigManager(getGlobalConfig#1).__Tag
    //#output(void configChanged(String, String)): new ConfigManager(getGlobalConfig#1).channel
    //#output(void configChanged(String, String)): new ConfigManager(getGlobalConfig#1).ircd
    //#output(void configChanged(String, String)): new ConfigManager(getGlobalConfig#1).listeners
    //#output(void configChanged(String, String)): new ConfigManager(getGlobalConfig#1).network
    //#output(void configChanged(String, String)): new ConfigManager(getGlobalConfig#1).server
    //#output(void configChanged(String, String)): new ConfigManager(getGlobalConfig#1).sources
    //#output(void configChanged(String, String)): new MapList(ConfigManager#1) num objects
    //#new obj(void configChanged(String, String)): java.lang.StringBuilder:toString(...)
    //#new obj(void configChanged(String, String)): new ArrayList(getSources#1)
    //#new obj(void configChanged(String, String)): new ConfigManager(getGlobalConfig#1)
    //#new obj(void configChanged(String, String)): new MapList(ConfigManager#1)
    //#pre[1] (void configChanged(String, String)): (soft) init'ed(com.dmdirc.config.ConfigManager$1__static_init.new int[](ConfigManager$1__static_init#1)[0..4_294_967_295])
    //#pre[8] (void configChanged(String, String)): (soft) init'ed(com/dmdirc/config/IdentityManager.globalconfig)
    //#post(void configChanged(String, String)): com/dmdirc/config/IdentityManager.globalconfig == One-of{old com/dmdirc/config/IdentityManager.globalconfig, &new ConfigManager(getGlobalConfig#1)}
    //#post(void configChanged(String, String)): init'ed(com/dmdirc/config/IdentityManager.globalconfig)
    //#post(void configChanged(String, String)): java.lang.StringBuilder:toString(...)._tainted == 0
    //#post(void configChanged(String, String)): new ArrayList(getSources#1) num objects <= 1
    //#post(void configChanged(String, String)): init'ed(new ArrayList(getSources#1).__Lock)
    //#post(void configChanged(String, String)): new ConfigManager(getGlobalConfig#1) num objects <= 1
    //#post(void configChanged(String, String)): init'ed(new ConfigManager(getGlobalConfig#1).__Tag)
    //#post(void configChanged(String, String)): init'ed(new ConfigManager(getGlobalConfig#1).channel)
    //#post(void configChanged(String, String)): init'ed(new ConfigManager(getGlobalConfig#1).ircd)
    //#post(void configChanged(String, String)): init'ed(new ConfigManager(getGlobalConfig#1).listeners)
    //#post(void configChanged(String, String)): init'ed(new ConfigManager(getGlobalConfig#1).network)
    //#post(void configChanged(String, String)): init'ed(new ConfigManager(getGlobalConfig#1).server)
    //#post(void configChanged(String, String)): init'ed(new ConfigManager(getGlobalConfig#1).sources)
    //#post(void configChanged(String, String)): new MapList(ConfigManager#1) num objects <= 1
    //#unanalyzed(void configChanged(String, String)): Effects-of-calling:java.util.Map:entrySet
    //#unanalyzed(void configChanged(String, String)): Effects-of-calling:java.util.Set:iterator
    //#unanalyzed(void configChanged(String, String)): Effects-of-calling:java.util.Iterator:hasNext
    //#unanalyzed(void configChanged(String, String)): Effects-of-calling:java.util.Iterator:next
    //#unanalyzed(void configChanged(String, String)): Effects-of-calling:java.util.Map$Entry:getKey
    //#unanalyzed(void configChanged(String, String)): Effects-of-calling:java.util.Map$Entry:getValue
    //#unanalyzed(void configChanged(String, String)): Effects-of-calling:java.lang.Integer:valueOf
    //#unanalyzed(void configChanged(String, String)): Effects-of-calling:java.util.Map:put
    //#unanalyzed(void configChanged(String, String)): Effects-of-calling:java.lang.Throwable:__curr_excep_obj
    //#unanalyzed(void configChanged(String, String)): Effects-of-calling:java.util.ArrayList
    //#unanalyzed(void configChanged(String, String)): Effects-of-calling:com.dmdirc.logger.Logger:assertTrue
    //#unanalyzed(void configChanged(String, String)): Effects-of-calling:java.util.List:iterator
    //#unanalyzed(void configChanged(String, String)): Effects-of-calling:java.lang.StringBuilder
    //#unanalyzed(void configChanged(String, String)): Effects-of-calling:java.lang.StringBuilder:append
    //#unanalyzed(void configChanged(String, String)): Effects-of-calling:java.lang.StringBuilder:toString
    //#unanalyzed(void configChanged(String, String)): Effects-of-calling:java.util.List:add
    //#unanalyzed(void configChanged(String, String)): Effects-of-calling:getTarget
    //#unanalyzed(void configChanged(String, String)): Effects-of-calling:com.dmdirc.config.ConfigTarget$TYPE:ordinal
    //#unanalyzed(void configChanged(String, String)): Effects-of-calling:java.lang.String:equalsIgnoreCase
    //#unanalyzed(void configChanged(String, String)): Effects-of-calling:addListener
    //#unanalyzed(void configChanged(String, String)): Effects-of-calling:getSources
    //#unanalyzed(void configChanged(String, String)): Effects-of-calling:com.dmdirc.config.ConfigSource
    //#unanalyzed(void configChanged(String, String)): Effects-of-calling:com.dmdirc.util.MapList
    //#unanalyzed(void configChanged(String, String)): Effects-of-calling:addConfigManager
    //#unanalyzed(void configChanged(String, String)): Effects-of-calling:java.util.Collections:sort
    //#unanalyzed(void configChanged(String, String)): Effects-of-calling:java.util.Map:clear
    //#unanalyzed(void configChanged(String, String)): Effects-of-calling:getOptions
    //#unanalyzed(void configChanged(String, String)): Effects-of-calling:java.util.HashMap
    //#unanalyzed(void configChanged(String, String)): Effects-of-calling:java.util.List:size
    //#unanalyzed(void configChanged(String, String)): Effects-of-calling:java.util.List:get
    //#unanalyzed(void configChanged(String, String)): Effects-of-calling:java.util.Map:putAll
    //#unanalyzed(void configChanged(String, String)): Effects-of-calling:com.dmdirc.util.ConfigFile:getKeyDomain
    //#unanalyzed(void configChanged(String, String)): Effects-of-calling:java.lang.Integer:parseInt
    //#test_vector(void configChanged(String, String)): java.lang.String:equals(...)@120: {0}, {1}
            loadLevels();
        }
    }
    //#UserLevelPlugin.java:123: end of method: void com.dmdirc.addons.userlevel.UserLevelPlugin.configChanged(String, String)
    
    /**
     * Loads all levels from the config file into our map.
     */
    private void loadLevels() {
        LEVELS.clear();
    //#UserLevelPlugin.java:129: method: void com.dmdirc.addons.userlevel.UserLevelPlugin.loadLevels()
    //#input(void loadLevels()): ""._tainted
    //#input(void loadLevels()): "<Unknown>"._tainted
    //#input(void loadLevels()): "@"._tainted
    //#input(void loadLevels()): LEVELS
    //#input(void loadLevels()): com.dmdirc.config.ConfigManager$1__static_init.new int[](ConfigManager$1__static_init#1).length
    //#input(void loadLevels()): com.dmdirc.config.ConfigManager$1__static_init.new int[](ConfigManager$1__static_init#1)[0..4_294_967_295]
    //#input(void loadLevels()): com/dmdirc/config/ConfigManager$1.$SwitchMap$com$dmdirc$config$ConfigTarget$TYPE
    //#input(void loadLevels()): com/dmdirc/config/ConfigManager.__Descendant_Table[com/dmdirc/config/ConfigManager]
    //#input(void loadLevels()): com/dmdirc/config/ConfigManager.__Descendant_Table[others]
    //#input(void loadLevels()): com/dmdirc/config/ConfigManager.__Dispatch_Table.getOptions(Ljava/lang/String;)Ljava/util/Map;
    //#input(void loadLevels()): com/dmdirc/config/ConfigManager.__Dispatch_Table.identityApplies(Lcom/dmdirc/config/Identity;)Z
    //#input(void loadLevels()): com/dmdirc/config/ConfigTarget.__Descendant_Table[com/dmdirc/config/ConfigTarget]
    //#input(void loadLevels()): com/dmdirc/config/ConfigTarget.__Descendant_Table[others]
    //#input(void loadLevels()): com/dmdirc/config/ConfigTarget.__Dispatch_Table.getData()Ljava/lang/String;
    //#input(void loadLevels()): com/dmdirc/config/ConfigTarget.__Dispatch_Table.getType()Lcom/dmdirc/config/ConfigTarget$TYPE;
    //#input(void loadLevels()): com/dmdirc/config/Identity.__Descendant_Table[com/dmdirc/config/Identity]
    //#input(void loadLevels()): com/dmdirc/config/Identity.__Descendant_Table[others]
    //#input(void loadLevels()): com/dmdirc/config/Identity.__Dispatch_Table.addListener(Lcom/dmdirc/interfaces/ConfigChangeListener;)V
    //#input(void loadLevels()): com/dmdirc/config/Identity.__Dispatch_Table.getOptions(Ljava/lang/String;)Ljava/util/Map;
    //#input(void loadLevels()): com/dmdirc/config/Identity.__Dispatch_Table.getTarget()Lcom/dmdirc/config/ConfigTarget;
    //#input(void loadLevels()): com/dmdirc/config/IdentityManager.__Class_Obj.__Lock
    //#input(void loadLevels()): com/dmdirc/config/IdentityManager.globalconfig
    //#input(void loadLevels()): com/dmdirc/config/IdentityManager.globalconfig.__Tag
    //#input(void loadLevels()): com/dmdirc/config/IdentityManager.globalconfig.sources
    //#input(void loadLevels()): com/dmdirc/config/IdentityManager.globalconfig.sources.__Lock
    //#input(void loadLevels()): com/dmdirc/config/IdentityManager.identities
    //#input(void loadLevels()): com/dmdirc/config/IdentityManager.managers
    //#output(void loadLevels()): com/dmdirc/config/IdentityManager.globalconfig
    //#output(void loadLevels()): java.lang.StringBuilder:toString(...)._tainted
    //#output(void loadLevels()): new ArrayList(getSources#1) num objects
    //#output(void loadLevels()): new ArrayList(getSources#1).__Lock
    //#output(void loadLevels()): new ConfigManager(getGlobalConfig#1) num objects
    //#output(void loadLevels()): new ConfigManager(getGlobalConfig#1).__Tag
    //#output(void loadLevels()): new ConfigManager(getGlobalConfig#1).channel
    //#output(void loadLevels()): new ConfigManager(getGlobalConfig#1).ircd
    //#output(void loadLevels()): new ConfigManager(getGlobalConfig#1).listeners
    //#output(void loadLevels()): new ConfigManager(getGlobalConfig#1).network
    //#output(void loadLevels()): new ConfigManager(getGlobalConfig#1).server
    //#output(void loadLevels()): new ConfigManager(getGlobalConfig#1).sources
    //#output(void loadLevels()): new MapList(ConfigManager#1) num objects
    //#new obj(void loadLevels()): java.lang.StringBuilder:toString(...)
    //#new obj(void loadLevels()): new ArrayList(getSources#1)
    //#new obj(void loadLevels()): new ConfigManager(getGlobalConfig#1)
    //#new obj(void loadLevels()): new MapList(ConfigManager#1)
    //#pre[4] (void loadLevels()): init'ed(com/dmdirc/config/IdentityManager.globalconfig)
    //#pre[1] (void loadLevels()): (soft) init'ed(com.dmdirc.config.ConfigManager$1__static_init.new int[](ConfigManager$1__static_init#1)[0..4_294_967_295])
    //#presumption(void loadLevels()): getGlobalConfig(...).__Tag == com/dmdirc/config/ConfigManager
    //#presumption(void loadLevels()): getGlobalConfig(...).sources != null
    //#presumption(void loadLevels()): java.util.Iterator:next(...)@132 != null
    //#presumption(void loadLevels()): java.util.Map:entrySet(...)@132 != null
    //#post(void loadLevels()): com/dmdirc/config/IdentityManager.globalconfig == One-of{old com/dmdirc/config/IdentityManager.globalconfig, &new ConfigManager(getGlobalConfig#1)}
    //#post(void loadLevels()): com/dmdirc/config/IdentityManager.globalconfig != null
    //#post(void loadLevels()): java.lang.StringBuilder:toString(...)._tainted == 0
    //#post(void loadLevels()): new ArrayList(getSources#1) num objects <= 1
    //#post(void loadLevels()): new ConfigManager(getGlobalConfig#1) num objects == new ArrayList(getSources#1) num objects
    //#post(void loadLevels()): new MapList(ConfigManager#1) num objects == new ArrayList(getSources#1) num objects
    //#post(void loadLevels()): init'ed(new ArrayList(getSources#1).__Lock)
    //#post(void loadLevels()): new ConfigManager(getGlobalConfig#1).__Tag == com/dmdirc/config/ConfigManager
    //#post(void loadLevels()): new ConfigManager(getGlobalConfig#1).channel == &java.lang.StringBuilder:toString(...)
    //#post(void loadLevels()): new ConfigManager(getGlobalConfig#1).ircd == &""
    //#post(void loadLevels()): new ConfigManager(getGlobalConfig#1).network == &""
    //#post(void loadLevels()): new ConfigManager(getGlobalConfig#1).server == &""
    //#post(void loadLevels()): new ConfigManager(getGlobalConfig#1).listeners == &new MapList(ConfigManager#1)
    //#post(void loadLevels()): new ConfigManager(getGlobalConfig#1).sources == &new ArrayList(getSources#1)
    //#unanalyzed(void loadLevels()): Effects-of-calling:java.util.ArrayList
    //#unanalyzed(void loadLevels()): Effects-of-calling:com.dmdirc.logger.Logger:assertTrue
    //#unanalyzed(void loadLevels()): Effects-of-calling:java.util.List:iterator
    //#unanalyzed(void loadLevels()): Effects-of-calling:java.util.Iterator:hasNext
    //#unanalyzed(void loadLevels()): Effects-of-calling:java.util.Iterator:next
    //#unanalyzed(void loadLevels()): Effects-of-calling:java.lang.StringBuilder
    //#unanalyzed(void loadLevels()): Effects-of-calling:java.lang.StringBuilder:append
    //#unanalyzed(void loadLevels()): Effects-of-calling:java.lang.StringBuilder:toString
    //#unanalyzed(void loadLevels()): Effects-of-calling:java.lang.Throwable:__curr_excep_obj
    //#unanalyzed(void loadLevels()): Effects-of-calling:java.util.List:add
    //#unanalyzed(void loadLevels()): Effects-of-calling:getTarget
    //#unanalyzed(void loadLevels()): Effects-of-calling:com.dmdirc.config.ConfigTarget$TYPE:ordinal
    //#unanalyzed(void loadLevels()): Effects-of-calling:java.lang.String:equalsIgnoreCase
    //#unanalyzed(void loadLevels()): Effects-of-calling:addListener
    //#unanalyzed(void loadLevels()): Effects-of-calling:getSources
    //#unanalyzed(void loadLevels()): Effects-of-calling:com.dmdirc.config.ConfigSource
    //#unanalyzed(void loadLevels()): Effects-of-calling:com.dmdirc.util.MapList
    //#unanalyzed(void loadLevels()): Effects-of-calling:addConfigManager
    //#unanalyzed(void loadLevels()): Effects-of-calling:java.util.Collections:sort
    //#unanalyzed(void loadLevels()): Effects-of-calling:getOptions
    //#unanalyzed(void loadLevels()): Effects-of-calling:java.util.HashMap
    //#unanalyzed(void loadLevels()): Effects-of-calling:java.util.List:size
    //#unanalyzed(void loadLevels()): Effects-of-calling:java.util.List:get
    //#unanalyzed(void loadLevels()): Effects-of-calling:java.util.Map:putAll
    //#unanalyzed(void loadLevels()): Effects-of-calling:com.dmdirc.util.ConfigFile:getKeyDomain
    //#test_vector(void loadLevels()): java.util.Iterator:hasNext(...)@132: {0}, {1}
        
        for (Map.Entry<String, String> item 
                : IdentityManager.getGlobalConfig().getOptions(DOMAIN).entrySet()) {
            try {
                LEVELS.put(item.getKey(), Integer.parseInt(item.getValue()));
            } catch (NumberFormatException ex) {
                LEVELS.put(item.getKey(), 0);
            }
        }
    }
    //#UserLevelPlugin.java:139: end of method: void com.dmdirc.addons.userlevel.UserLevelPlugin.loadLevels()

}
    //#UserLevelPlugin.java:: end of class: com.dmdirc.addons.userlevel.UserLevelPlugin$1
    //#UserLevelPlugin.java:: end of class: com.dmdirc.addons.userlevel.UserLevelPlugin
