//# 19 errors, 376 messages
//#
/*
    //#Process004005.java:1:1: class: com.dmdirc.parser.irc.Process004005
    //#Process004005.java:1:1: method: com.dmdirc.parser.irc.Process004005.com.dmdirc.parser.irc.Process004005__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.parser.irc;

/**
 * Process ISUPPORT lines.
 */
public class Process004005 extends IRCProcessor {
	/**
	 * Process ISUPPORT lines.
	 *
	 * @param sParam Type of line to process ("005", "004")
	 * @param token IRCTokenised line to process
	 */
	@Override
	public void process(final String sParam, final String[] token) {
		if (sParam.equals("003")) {
    //#Process004005.java:37: method: void com.dmdirc.parser.irc.Process004005.process(String, String[])
    //#Process004005.java:37: Warning: suspicious precondition
    //#    The precondition for token.length is not a contiguous range of values
    //#    severity: SUPPRESSED
    //#    class: com.dmdirc.parser.irc.Process004005
    //#    method: void process(String, String[])
    //#    suspicious precondition index: [32]
    //#    Attribs:  Soft
    //#input(void process(String, String[])): """._tainted
    //#input(void process(String, String[])): ""._tainted
    //#input(void process(String, String[])): "&#09; Added handler for: "._tainted
    //#input(void process(String, String[])): "' - assuming rfc1459"._tainted
    //#input(void process(String, String[])): "(ohv)@%+"._tainted
    //#input(void process(String, String[])): "Adding processor: "._tainted
    //#input(void process(String, String[])): "CHANMODES String not valid. Using default string of ""._tainted
    //#input(void process(String, String[])): "Callback not found: "._tainted
    //#input(void process(String, String[])): "No processors will handle "._tainted
    //#input(void process(String, String[])): "OnDebugInfo"._tainted
    //#input(void process(String, String[])): "OnErrorInfo"._tainted
    //#input(void process(String, String[])): "OnGotNetwork"._tainted
    //#input(void process(String, String[])): "PREFIX String not valid. Using default string of ""._tainted
    //#input(void process(String, String[])): "Unknown casemapping: '"._tainted
    //#input(void process(String, String[])): "__LISTMODE__"._tainted
    //#input(void process(String, String[])): "b,k,l,"._tainted
    //#input(void process(String, String[])): "imnpstrc"._tainted
    //#input(void process(String, String[])): __Descendant_Table[com/dmdirc/parser/irc/Process004005]
    //#input(void process(String, String[])): __Descendant_Table[others]
    //#input(void process(String, String[])): __Dispatch_Table.callGotNetwork()Z
    //#input(void process(String, String[])): com/dmdirc/parser/irc/IRCParser.__Descendant_Table[com/dmdirc/parser/irc/IRCParser]
    //#input(void process(String, String[])): com/dmdirc/parser/irc/IRCParser.__Descendant_Table[others]
    //#input(void process(String, String[])): com/dmdirc/parser/irc/IRCParser.__Dispatch_Table.addClient(Lcom/dmdirc/parser/irc/ClientInfo;)V
    //#input(void process(String, String[])): com/dmdirc/parser/irc/IRCParser.__Dispatch_Table.callDebugInfo(ILjava/lang/String;)Z
    //#input(void process(String, String[])): com/dmdirc/parser/irc/IRCParser.__Dispatch_Table.callDebugInfo(ILjava/lang/String;[Ljava/lang/Object;)Z
    //#input(void process(String, String[])): com/dmdirc/parser/irc/IRCParser.__Dispatch_Table.callErrorInfo(Lcom/dmdirc/parser/irc/ParserError;)Z
    //#input(void process(String, String[])): com/dmdirc/parser/irc/IRCParser.__Dispatch_Table.forceRemoveClient(Lcom/dmdirc/parser/irc/ClientInfo;)V
    //#input(void process(String, String[])): com/dmdirc/parser/irc/IRCParser.__Dispatch_Table.getCallbackManager()Lcom/dmdirc/parser/irc/callbacks/CallbackManager;
    //#input(void process(String, String[])): com/dmdirc/parser/irc/IRCParser.__Dispatch_Table.getIRCD(Z)Ljava/lang/String;
    //#input(void process(String, String[])): com/dmdirc/parser/irc/IRCParser.__Dispatch_Table.getIRCStringConverter()Lcom/dmdirc/parser/irc/IRCStringConverter;
    //#input(void process(String, String[])): com/dmdirc/parser/irc/IRCParser.__Dispatch_Table.getLastLine()Ljava/lang/String;
    //#input(void process(String, String[])): com/dmdirc/parser/irc/IRCParser.__Dispatch_Table.getMyself()Lcom/dmdirc/parser/irc/ClientInfo;
    //#input(void process(String, String[])): com/dmdirc/parser/irc/IRCParser.__Dispatch_Table.getProcessingManager()Lcom/dmdirc/parser/irc/ProcessingManager;
    //#input(void process(String, String[])): com/dmdirc/parser/irc/IRCParser.__Dispatch_Table.knownClients()I
    //#input(void process(String, String[])): com/dmdirc/parser/irc/IRCParser.__Dispatch_Table.parseChanModes()V
    //#input(void process(String, String[])): com/dmdirc/parser/irc/IRCParser.__Dispatch_Table.parseChanPrefix()V
    //#input(void process(String, String[])): com/dmdirc/parser/irc/IRCParser.__Dispatch_Table.parsePrefixModes()V
    //#input(void process(String, String[])): com/dmdirc/parser/irc/IRCParser.__Dispatch_Table.parseUserModes()V
    //#input(void process(String, String[])): com/dmdirc/parser/irc/IRCParser.__Dispatch_Table.removeClient(Lcom/dmdirc/parser/irc/ClientInfo;)V
    //#input(void process(String, String[])): com/dmdirc/parser/irc/IRCParser.__Dispatch_Table.updateCharArrays(B)V
    //#input(void process(String, String[])): com/dmdirc/parser/irc/IRCProcessor.__Descendant_Table[others]
    //#input(void process(String, String[])): com/dmdirc/parser/irc/IRCStringConverter.__Descendant_Table[com/dmdirc/parser/irc/IRCStringConverter]
    //#input(void process(String, String[])): com/dmdirc/parser/irc/IRCStringConverter.__Descendant_Table[others]
    //#input(void process(String, String[])): com/dmdirc/parser/irc/IRCStringConverter.__Dispatch_Table.getLimit()I
    //#input(void process(String, String[])): com/dmdirc/parser/irc/IRCStringConverter.__Dispatch_Table.toLowerCase(Ljava/lang/String;)Ljava/lang/String;
    //#input(void process(String, String[])): com/dmdirc/parser/irc/ProcessingManager.__Descendant_Table[com/dmdirc/parser/irc/ProcessingManager]
    //#input(void process(String, String[])): com/dmdirc/parser/irc/ProcessingManager.__Descendant_Table[others]
    //#input(void process(String, String[])): com/dmdirc/parser/irc/ProcessingManager.__Dispatch_Table.addProcessor([Ljava/lang/String;Lcom/dmdirc/parser/irc/IRCProcessor;)V
    //#input(void process(String, String[])): com/dmdirc/parser/irc/ProcessingManager.__Dispatch_Table.getProcessor(Ljava/lang/String;)Lcom/dmdirc/parser/irc/IRCProcessor;
    //#input(void process(String, String[])): com/dmdirc/parser/irc/callbacks/CallbackObject.__Descendant_Table[com/dmdirc/parser/irc/callbacks/CallbackObjectSpecific]
    //#input(void process(String, String[])): com/dmdirc/parser/irc/callbacks/CallbackObject.__Descendant_Table[com/dmdirc/parser/irc/callbacks/CallbackObject]
    //#input(void process(String, String[])): com/dmdirc/parser/irc/callbacks/CallbackObject.__Descendant_Table[others]
    //#input(void process(String, String[])): com/dmdirc/parser/irc/callbacks/CallbackObject.__Dispatch_Table.call([Ljava/lang/Object;)Z
    //#input(void process(String, String[])): com/dmdirc/parser/irc/callbacks/CallbackObjectSpecific.__Dispatch_Table.call([Ljava/lang/Object;)Z
    //#input(void process(String, String[])): sParam
    //#input(void process(String, String[])): this
    //#input(void process(String, String[])): this.__Tag
    //#input(void process(String, String[])): this.myParser
    //#input(void process(String, String[])): this.myParser...__Tag
    //#input(void process(String, String[])): this.myParser...myCallbackManager
    //#input(void process(String, String[])): this.myParser...myCallbackManager.callbackHash
    //#input(void process(String, String[])): this.myParser.__Tag
    //#input(void process(String, String[])): this.myParser.cMyself
    //#input(void process(String, String[])): this.myParser.cMyself.sNickname
    //#input(void process(String, String[])): this.myParser.h005Info
    //#input(void process(String, String[])): this.myParser.hChanModesBool
    //#input(void process(String, String[])): this.myParser.hChanModesOther
    //#input(void process(String, String[])): this.myParser.hChanPrefix
    //#input(void process(String, String[])): this.myParser.hClientList
    //#input(void process(String, String[])): this.myParser.hPrefixMap
    //#input(void process(String, String[])): this.myParser.hPrefixModes
    //#input(void process(String, String[])): this.myParser.hUserModes
    //#input(void process(String, String[])): this.myParser.lastLine
    //#input(void process(String, String[])): this.myParser.myCallbackManager
    //#input(void process(String, String[])): this.myParser.myCallbackManager.callbackHash
    //#input(void process(String, String[])): this.myParser.myProcessingManager
    //#input(void process(String, String[])): this.myParser.myProcessingManager.__Tag
    //#input(void process(String, String[])): this.myParser.myProcessingManager.myParser
    //#input(void process(String, String[])): this.myParser.myProcessingManager.processHash
    //#input(void process(String, String[])): this.myParser.sNetworkName
    //#input(void process(String, String[])): this.myParser.stringConverter
    //#input(void process(String, String[])): this.myParser.stringConverter.__Tag
    //#input(void process(String, String[])): this.myParser.stringConverter.limit
    //#input(void process(String, String[])): this.myParser.stringConverter.lowercase
    //#input(void process(String, String[])): this.myParser.stringConverter.lowercase.length
    //#input(void process(String, String[])): this.myParser.stringConverter.lowercase[0..65_535]
    //#input(void process(String, String[])): token
    //#input(void process(String, String[])): token.length
    //#input(void process(String, String[])): token[0..2, 7..4_294_967_295]
    //#input(void process(String, String[])): token[0..2, 7..4_294_967_295]._tainted
    //#input(void process(String, String[])): token[3]
    //#input(void process(String, String[])): token[3]._tainted
    //#input(void process(String, String[])): token[4]
    //#input(void process(String, String[])): token[4]._tainted
    //#input(void process(String, String[])): token[5]
    //#input(void process(String, String[])): token[5]._tainted
    //#input(void process(String, String[])): token[6]
    //#input(void process(String, String[])): token[6]._tainted
    //#output(void process(String, String[])): java.lang.StringBuilder:toString(...)._tainted
    //#output(void process(String, String[])): new IRCStringConverter(getIRCStringConverter#1) num objects
    //#output(void process(String, String[])): new IRCStringConverter(getIRCStringConverter#1).__Tag
    //#output(void process(String, String[])): new IRCStringConverter(getIRCStringConverter#1).limit
    //#output(void process(String, String[])): new IRCStringConverter(getIRCStringConverter#1).lowercase
    //#output(void process(String, String[])): new IRCStringConverter(getIRCStringConverter#1).uppercase
    //#output(void process(String, String[])): new IRCStringConverter(updateCharArrays#1) num objects
    //#output(void process(String, String[])): new IRCStringConverter(updateCharArrays#1).__Tag
    //#output(void process(String, String[])): new IRCStringConverter(updateCharArrays#1).limit
    //#output(void process(String, String[])): new IRCStringConverter(updateCharArrays#1).lowercase
    //#output(void process(String, String[])): new IRCStringConverter(updateCharArrays#1).uppercase
    //#output(void process(String, String[])): new char[](IRCStringConverter#1) num objects
    //#output(void process(String, String[])): new char[](IRCStringConverter#1).length
    //#output(void process(String, String[])): new char[](IRCStringConverter#1)[0..65_535]
    //#output(void process(String, String[])): new char[](IRCStringConverter#2) num objects
    //#output(void process(String, String[])): new char[](IRCStringConverter#2).length
    //#output(void process(String, String[])): new char[](IRCStringConverter#2)[0..65_567]
    //#output(void process(String, String[])): this.myParser.nNextKeyCMBool
    //#output(void process(String, String[])): this.myParser.nNextKeyPrefix
    //#output(void process(String, String[])): this.myParser.nNextKeyUser
    //#output(void process(String, String[])): this.myParser.sNetworkName
    //#output(void process(String, String[])): this.myParser.stringConverter
    //#new obj(void process(String, String[])): java.lang.StringBuilder:toString(...)
    //#new obj(void process(String, String[])): new IRCStringConverter(getIRCStringConverter#1)
    //#new obj(void process(String, String[])): new IRCStringConverter(updateCharArrays#1)
    //#new obj(void process(String, String[])): new char[](IRCStringConverter#1)
    //#new obj(void process(String, String[])): new char[](IRCStringConverter#2)
    //#pre[6] (void process(String, String[])): sParam != null
    //#pre[4] (void process(String, String[])): (soft) this.myParser.sNetworkName != null
    //#pre[5] (void process(String, String[])): (soft) init'ed(this.myParser.stringConverter)
    //#pre[8] (void process(String, String[])): (soft) this.__Tag == com/dmdirc/parser/irc/Process004005
    //#pre[9] (void process(String, String[])): (soft) this.myParser != null
    //#pre[10] (void process(String, String[])): (soft) this.myParser...__Tag == com/dmdirc/parser/irc/IRCParser
    //#pre[11] (void process(String, String[])): (soft) this.myParser...myCallbackManager != null
    //#pre[12] (void process(String, String[])): (soft) this.myParser...myCallbackManager.callbackHash != null
    //#pre[13] (void process(String, String[])): (soft) this.myParser.__Tag == com/dmdirc/parser/irc/IRCParser
    //#pre[14] (void process(String, String[])): (soft) this.myParser.cMyself != null
    //#pre[15] (void process(String, String[])): (soft) this.myParser.cMyself.sNickname != null
    //#pre[16] (void process(String, String[])): (soft) this.myParser.h005Info != null
    //#pre[17] (void process(String, String[])): (soft) this.myParser.hChanModesBool != null
    //#pre[18] (void process(String, String[])): (soft) this.myParser.hChanModesOther != null
    //#pre[19] (void process(String, String[])): (soft) this.myParser.hChanPrefix != null
    //#pre[20] (void process(String, String[])): (soft) this.myParser.hClientList != null
    //#pre[21] (void process(String, String[])): (soft) this.myParser.hPrefixMap != null
    //#pre[22] (void process(String, String[])): (soft) this.myParser.hPrefixModes != null
    //#pre[23] (void process(String, String[])): (soft) this.myParser.hUserModes != null
    //#pre[24] (void process(String, String[])): (soft) init'ed(this.myParser.lastLine)
    //#pre[25] (void process(String, String[])): (soft) this.myParser.myCallbackManager != null
    //#pre[26] (void process(String, String[])): (soft) this.myParser.myCallbackManager.callbackHash != null
    //#pre[27] (void process(String, String[])): (soft) this.myParser.myProcessingManager != null
    //#pre[28] (void process(String, String[])): (soft) this.myParser.myProcessingManager.__Tag == com/dmdirc/parser/irc/ProcessingManager
    //#pre[29] (void process(String, String[])): (soft) this.myParser.myProcessingManager.myParser != null
    //#pre[30] (void process(String, String[])): (soft) this.myParser.myProcessingManager.processHash != null
    //#pre[31] (void process(String, String[])): (soft) token != null
    //#pre[32] (void process(String, String[])): (soft) token.length in {4, 7..4_294_967_295}
    //#pre[33] (void process(String, String[])): (soft) token[0..2, 7..4_294_967_295] != null
    //#pre[36] (void process(String, String[])): (soft) token[3] != null
    //#pre[38] (void process(String, String[])): (soft) token[4] != null
    //#pre[40] (void process(String, String[])): (soft) token[5] != null
    //#pre[42] (void process(String, String[])): (soft) token[6] != null
    //#presumption(void process(String, String[])): getIRCStringConverter(...).__Tag == com/dmdirc/parser/irc/IRCStringConverter
    //#presumption(void process(String, String[])): java.lang.Integer:parseInt(...)@96 <= 4_294_967_294
    //#post(void process(String, String[])): java.lang.StringBuilder:toString(...)._tainted == 0
    //#post(void process(String, String[])): possibly_updated(this.myParser.nNextKeyCMBool)
    //#post(void process(String, String[])): possibly_updated(this.myParser.nNextKeyPrefix)
    //#post(void process(String, String[])): possibly_updated(this.myParser.nNextKeyUser)
    //#post(void process(String, String[])): this.myParser.sNetworkName != null
    //#post(void process(String, String[])): init'ed(this.myParser.stringConverter)
    //#post(void process(String, String[])): init'ed(new IRCStringConverter(getIRCStringConverter#1) num objects)
    //#post(void process(String, String[])): new IRCStringConverter(getIRCStringConverter#1) num objects == 0
    //#post(void process(String, String[])): init'ed(new IRCStringConverter(getIRCStringConverter#1).__Tag)
    //#post(void process(String, String[])): init'ed(new IRCStringConverter(getIRCStringConverter#1).limit)
    //#post(void process(String, String[])): init'ed(new IRCStringConverter(getIRCStringConverter#1).lowercase)
    //#post(void process(String, String[])): init'ed(new IRCStringConverter(getIRCStringConverter#1).uppercase)
    //#post(void process(String, String[])): new IRCStringConverter(updateCharArrays#1) num objects <= 4_294_967_292
    //#post(void process(String, String[])): init'ed(new IRCStringConverter(updateCharArrays#1).__Tag)
    //#post(void process(String, String[])): init'ed(new IRCStringConverter(updateCharArrays#1).limit)
    //#post(void process(String, String[])): init'ed(new IRCStringConverter(updateCharArrays#1).lowercase)
    //#post(void process(String, String[])): init'ed(new IRCStringConverter(updateCharArrays#1).uppercase)
    //#post(void process(String, String[])): init'ed(new char[](IRCStringConverter#1) num objects)
    //#post(void process(String, String[])): new char[](IRCStringConverter#1) num objects <= 4_294_967_292
    //#post(void process(String, String[])): new char[](IRCStringConverter#1) num objects == 0
    //#post(void process(String, String[])): init'ed(new char[](IRCStringConverter#1).length)
    //#post(void process(String, String[])): init'ed(new char[](IRCStringConverter#1)[0..65_535])
    //#post(void process(String, String[])): init'ed(new char[](IRCStringConverter#2) num objects)
    //#post(void process(String, String[])): new char[](IRCStringConverter#2) num objects <= 4_294_967_292
    //#post(void process(String, String[])): new char[](IRCStringConverter#2) num objects == 0
    //#post(void process(String, String[])): init'ed(new char[](IRCStringConverter#2).length)
    //#post(void process(String, String[])): init'ed(new char[](IRCStringConverter#2)[0..65_567])
    //#unanalyzed(void process(String, String[])): Effects-of-calling:getIRCD
    //#unanalyzed(void process(String, String[])): Effects-of-calling:getCallbackManager
    //#unanalyzed(void process(String, String[])): Effects-of-calling:getCallbackType
    //#unanalyzed(void process(String, String[])): Effects-of-calling:call
    //#unanalyzed(void process(String, String[])): Effects-of-calling:java.util.Map:containsKey
    //#unanalyzed(void process(String, String[])): Effects-of-calling:java.util.Map:get
    //#unanalyzed(void process(String, String[])): Effects-of-calling:java.lang.String:matches
    //#unanalyzed(void process(String, String[])): Effects-of-calling:java.lang.String:equalsIgnoreCase
    //#unanalyzed(void process(String, String[])): Effects-of-calling:java.lang.String:toLowerCase
    //#unanalyzed(void process(String, String[])): Effects-of-calling:java.lang.StringBuilder
    //#unanalyzed(void process(String, String[])): Effects-of-calling:java.lang.StringBuilder:append
    //#unanalyzed(void process(String, String[])): Effects-of-calling:java.lang.StringBuilder:toString
    //#unanalyzed(void process(String, String[])): Effects-of-calling:java.lang.RuntimeException
    //#unanalyzed(void process(String, String[])): Effects-of-calling:java.util.Map:clear
    //#unanalyzed(void process(String, String[])): Effects-of-calling:java.lang.Character:valueOf
    //#unanalyzed(void process(String, String[])): Effects-of-calling:java.lang.String:length
    //#unanalyzed(void process(String, String[])): Effects-of-calling:java.util.Map:put
    //#unanalyzed(void process(String, String[])): Effects-of-calling:callDebugInfo
    //#unanalyzed(void process(String, String[])): Effects-of-calling:java.lang.String:charAt
    //#unanalyzed(void process(String, String[])): Effects-of-calling:java.lang.String:format
    //#unanalyzed(void process(String, String[])): Effects-of-calling:java.lang.Integer:valueOf
    //#unanalyzed(void process(String, String[])): Effects-of-calling:java.lang.Long:valueOf
    //#unanalyzed(void process(String, String[])): Effects-of-calling:java.util.Map:size
    //#unanalyzed(void process(String, String[])): Effects-of-calling:getNickname
    //#unanalyzed(void process(String, String[])): Effects-of-calling:java.lang.String:toCharArray
    //#unanalyzed(void process(String, String[])): Effects-of-calling:java.lang.String
    //#unanalyzed(void process(String, String[])): Effects-of-calling:forceRemoveClient
    //#unanalyzed(void process(String, String[])): Effects-of-calling:java.util.Map:remove
    //#unanalyzed(void process(String, String[])): Effects-of-calling:java.lang.Boolean:valueOf
    //#unanalyzed(void process(String, String[])): Effects-of-calling:java.lang.String:substring
    //#unanalyzed(void process(String, String[])): Effects-of-calling:java.lang.String:split
    //#unanalyzed(void process(String, String[])): Effects-of-calling:java.lang.String:equals
    //#unanalyzed(void process(String, String[])): Effects-of-calling:java.lang.StringBuilder:insert
    //#unanalyzed(void process(String, String[])): Effects-of-calling:java.lang.Character:toString
    //#unanalyzed(void process(String, String[])): Effects-of-calling:java.lang.StringBuilder:indexOf
    //#unanalyzed(void process(String, String[])): Effects-of-calling:java.lang.Byte:valueOf
    //#unanalyzed(void process(String, String[])): Effects-of-calling:java.util.Hashtable:containsKey
    //#unanalyzed(void process(String, String[])): Effects-of-calling:java.util.Hashtable:get
    //#unanalyzed(void process(String, String[])): Effects-of-calling:java.lang.Exception
    //#unanalyzed(void process(String, String[])): Effects-of-calling:java.lang.Object:getClass
    //#unanalyzed(void process(String, String[])): Effects-of-calling:java.lang.Class:getPackage
    //#unanalyzed(void process(String, String[])): Effects-of-calling:java.lang.Package:getName
    //#unanalyzed(void process(String, String[])): Effects-of-calling:java.lang.Class:getName
    //#unanalyzed(void process(String, String[])): Effects-of-calling:doDebug
    //#unanalyzed(void process(String, String[])): Effects-of-calling:java.util.Hashtable:remove
    //#unanalyzed(void process(String, String[])): Effects-of-calling:java.util.Hashtable:put
    //#test_vector(void process(String, String[])): token.length: {4}, {7..4_294_967_295}
    //#test_vector(void process(String, String[])): java.lang.String:equals(...)@37: {0}, {1}
    //#test_vector(void process(String, String[])): java.lang.String:equals(...)@39: {0}, {1}
    //#test_vector(void process(String, String[])): java.lang.String:equals(...)@52: {0}, {1}
    //#test_vector(void process(String, String[])): java.lang.String:equals(...)@62: {0}, {1}
    //#test_vector(void process(String, String[])): java.lang.String:equals(...)@65: {0}, {1}
    //#test_vector(void process(String, String[])): java.lang.String:equals(...)@83: {0}, {1}
    //#test_vector(void process(String, String[])): java.lang.String:equals(...)@85: {0}, {1}
    //#test_vector(void process(String, String[])): java.lang.String:equals(...)@87: {0}, {1}
    //#test_vector(void process(String, String[])): java.lang.String:equals(...)@89: {0}, {1}
    //#test_vector(void process(String, String[])): java.lang.String:equalsIgnoreCase(...)@67: {0}, {1}
    //#test_vector(void process(String, String[])): java.lang.String:equalsIgnoreCase(...)@69: {0}, {1}
    //#test_vector(void process(String, String[])): java.lang.String:equalsIgnoreCase(...)@71: {1}, {0}
    //#test_vector(void process(String, String[])): java.util.Map:size(...)@2007: {-2_147_483_648..0, 2..4_294_967_295}, {1}
			myParser.h005Info.put("003IRCD",token[token.length-1]);
		} else if (sParam.equals("004")) {
			// 004
			if (token.length > 4) {
				myParser.h005Info.put("004IRCD",token[4]);
				myParser.h005Info.put("USERMODES",token[5]);
				myParser.h005Info.put("USERCHANMODES",token[6]);
			} else {
				final String[] bits = token[3].split(" ");
				myParser.h005Info.put("004IRCD",bits[1]);
    //#Process004005.java:47: ?use of default init
    //#    init'ed(bits.length)
    //#    severity: LOW
    //#    class: com.dmdirc.parser.irc.Process004005
    //#    method: void process(String, String[])
    //#    basic block: bb_6
    //#    assertion: init'ed(bits.length)
    //#    VN: undefined
    //#    Expected: {-Inf..+Inf}
    //#    Bad: {Invalid}
    //#    Attribs:  Int  Bad only invalid
    //#Process004005.java:47: ?!array index out of bounds
    //#    bits.length >= 2
    //#    severity: HIGH
    //#    class: com.dmdirc.parser.irc.Process004005
    //#    method: void process(String, String[])
    //#    basic block: bb_6
    //#    assertion: bits.length >= 2
    //#    VN: undefined - 1
    //#    Expected: {1..+Inf}
    //#    Bad: {-1}
    //#    Attribs:  Int  Bad singleton  Bad overlaps +/-1000  Bad < Exp
    //#Process004005.java:47: ?use of default init
    //#    init'ed(bits[1])
    //#    severity: SUPPRESSED
    //#    class: com.dmdirc.parser.irc.Process004005
    //#    method: void process(String, String[])
    //#    basic block: bb_6
    //#    assertion: init'ed(bits[1])
    //#    VN: undefined
    //#    Expected: Univ-VN-Set
    //#    Bad: {Invalid}
    //#    Attribs:  Ptr  Bad only invalid
				myParser.h005Info.put("USERMODES",bits[2]);
    //#Process004005.java:48: ?use of default init
    //#    init'ed(bits.length)
    //#    severity: LOW
    //#    class: com.dmdirc.parser.irc.Process004005
    //#    method: void process(String, String[])
    //#    basic block: bb_6
    //#    assertion: init'ed(bits.length)
    //#    VN: undefined
    //#    Expected: {-Inf..+Inf}
    //#    Bad: {Invalid}
    //#    Attribs:  Int  Bad only invalid
    //#Process004005.java:48: ?!array index out of bounds
    //#    bits.length >= 3
    //#    severity: HIGH
    //#    class: com.dmdirc.parser.irc.Process004005
    //#    method: void process(String, String[])
    //#    basic block: bb_6
    //#    assertion: bits.length >= 3
    //#    VN: undefined - 2
    //#    Expected: {1..+Inf}
    //#    Bad: {-2}
    //#    Attribs:  Int  Bad singleton  Bad overlaps +/-1000  Bad < Exp
    //#Process004005.java:48: ?use of default init
    //#    init'ed(bits[2])
    //#    severity: SUPPRESSED
    //#    class: com.dmdirc.parser.irc.Process004005
    //#    method: void process(String, String[])
    //#    basic block: bb_6
    //#    assertion: init'ed(bits[2])
    //#    VN: undefined
    //#    Expected: Univ-VN-Set
    //#    Bad: {Invalid}
    //#    Attribs:  Ptr  Bad only invalid
				myParser.h005Info.put("USERCHANMODES",bits[3]);
    //#Process004005.java:49: ?use of default init
    //#    init'ed(bits.length)
    //#    severity: LOW
    //#    class: com.dmdirc.parser.irc.Process004005
    //#    method: void process(String, String[])
    //#    basic block: bb_6
    //#    assertion: init'ed(bits.length)
    //#    VN: undefined
    //#    Expected: {-Inf..+Inf}
    //#    Bad: {Invalid}
    //#    Attribs:  Int  Bad only invalid
    //#Process004005.java:49: ?!array index out of bounds
    //#    bits.length >= 4
    //#    severity: HIGH
    //#    class: com.dmdirc.parser.irc.Process004005
    //#    method: void process(String, String[])
    //#    basic block: bb_6
    //#    assertion: bits.length >= 4
    //#    VN: undefined - 3
    //#    Expected: {1..+Inf}
    //#    Bad: {-3}
    //#    Attribs:  Int  Bad singleton  Bad overlaps +/-1000  Bad < Exp
    //#Process004005.java:49: ?use of default init
    //#    init'ed(bits[3])
    //#    severity: SUPPRESSED
    //#    class: com.dmdirc.parser.irc.Process004005
    //#    method: void process(String, String[])
    //#    basic block: bb_6
    //#    assertion: init'ed(bits[3])
    //#    VN: undefined
    //#    Expected: Univ-VN-Set
    //#    Bad: {Invalid}
    //#    Attribs:  Ptr  Bad only invalid
			}
			myParser.parseUserModes();
		} else if (sParam.equals("005")) {
			// 005
			String[] Bits = null;
    //#Process004005.java:54: Warning: unused assignment
    //#    Unused assignment into Bits
    //#    severity: SUPPRESSED
    //#    class: com.dmdirc.parser.irc.Process004005
    //#    method: void process(String, String[])
    //#    Attribs:  Uncertain
			String sKey = null, sValue = null;
    //#Process004005.java:55: Warning: unused assignment
    //#    Unused assignment into sKey
    //#    severity: SUPPRESSED
    //#    class: com.dmdirc.parser.irc.Process004005
    //#    method: void process(String, String[])
    //#    Attribs:  Uncertain
    //#Process004005.java:55: Warning: unused assignment
    //#    Unused assignment into sValue
    //#    severity: SUPPRESSED
    //#    class: com.dmdirc.parser.irc.Process004005
    //#    method: void process(String, String[])
    //#    Attribs:  Uncertain
			for (int i = 3; i < token.length ; i++) {
				Bits = token[i].split("=",2);
				sKey = Bits[0].toUpperCase();
    //#Process004005.java:58: ?use of default init
    //#    init'ed(Bits.length)
    //#    severity: LOW
    //#    class: com.dmdirc.parser.irc.Process004005
    //#    method: void process(String, String[])
    //#    basic block: bb_11
    //#    assertion: init'ed(Bits.length)
    //#    VN: undefined
    //#    Expected: {-Inf..+Inf}
    //#    Bad: {Invalid}
    //#    Attribs:  Int  Bad only invalid
    //#Process004005.java:58: ?use of default init
    //#    init'ed(Bits[0])
    //#    severity: SUPPRESSED
    //#    class: com.dmdirc.parser.irc.Process004005
    //#    method: void process(String, String[])
    //#    basic block: bb_11
    //#    assertion: init'ed(Bits[0])
    //#    VN: undefined
    //#    Expected: Univ-VN-Set
    //#    Bad: {Invalid}
    //#    Attribs:  Ptr  Bad only invalid
    //#Process004005.java:58: ?null dereference
    //#    not_init'ed(Bits[0])
    //#    severity: MEDIUM
    //#    class: com.dmdirc.parser.irc.Process004005
    //#    method: void process(String, String[])
    //#    basic block: bb_11
    //#    assertion: not_init'ed(Bits[0])
    //#    VN: undefined
    //#    Expected: Inverse{null} or Invalid
    //#    Bad: Addr_Set{null}
    //#    Attribs:  Ptr  null in Bad
				if (Bits.length == 2) { sValue = Bits[1]; } else { sValue = ""; }
    //#Process004005.java:59: ?use of default init
    //#    init'ed(Bits.length)
    //#    severity: LOW
    //#    class: com.dmdirc.parser.irc.Process004005
    //#    method: void process(String, String[])
    //#    basic block: bb_11
    //#    assertion: init'ed(Bits.length)
    //#    VN: undefined
    //#    Expected: {-Inf..+Inf}
    //#    Bad: {Invalid}
    //#    Attribs:  Int  Bad only invalid
    //#Process004005.java:59: Warning: test always goes same way
    //#    Test predetermined because Bits.length == 0
    //#    severity: LOW
    //#    class: com.dmdirc.parser.irc.Process004005
    //#    method: void process(String, String[])
    //#    from bb: bb_11
    //#    live edge: bb_11-->bb_13
    //#    tested vn: undefined - 2
    //#    tested vn values: {-2}
    //#Process004005.java:59: Warning: dead code
    //#    Dead code here because Bits.length == 0
    //#    severity: LOW
    //#    class: com.dmdirc.parser.irc.Process004005
    //#    method: void process(String, String[])
    //#    dead bb: bb_12
				callDebugInfo(IRCParser.DEBUG_INFO, "%s => %s",sKey,sValue);
				myParser.h005Info.put(sKey,sValue);
				if (sKey.equals("NETWORK")) {
					myParser.sNetworkName = sValue;
					callGotNetwork();
				} else if (sKey.equals("CASEMAPPING")) {
					byte limit = (byte)4;
					if (sValue.equalsIgnoreCase("strict-rfc1459")) {
						limit = (byte)3;
					} else if (sValue.equalsIgnoreCase("ascii")) {
						limit = (byte)0;
					} else if (!sValue.equalsIgnoreCase("rfc1459")) {
						myParser.callErrorInfo(new ParserError(ParserError.ERROR_WARNING, "Unknown casemapping: '"+sValue+"' - assuming rfc1459", myParser.getLastLine()));
					}
					final boolean limitChanged = (myParser.getIRCStringConverter().getLimit() != limit);
					myParser.updateCharArrays(limit);
					if (limitChanged && myParser.knownClients() == 1) {
							// This means that the casemapping is not rfc1459
							// We have only added ourselves so far (from 001)
							// We can fix the hashtable easily.
						myParser.removeClient(myParser.getMyself());
    //#Process004005.java:80: ?precondition failure
    //#    com/dmdirc/parser/irc/IRCParser.removeClient: (soft) init'ed(this.stringConverter.lowercase[0..65_535])
    //#    severity: SUPPRESSED
    //#    class: com.dmdirc.parser.irc.Process004005
    //#    method: void process(String, String[])
    //#    basic block: bb_28
    //#    assertion: (soft) init'ed(this.myParser.stringConverter.lowercase[0..65_535])
    //#    callee: void com/dmdirc/parser/irc/IRCParser.removeClient(ClientInfo)
    //#    callee assertion: (soft) init'ed(this.stringConverter.lowercase[0..65_535])
    //#    callee file: IRCParser.java
    //#    callee precondition index: [12]
    //#    callee srcpos: 1986
    //#    VN: this.myParser.stringConverter.lowercase[0..65_535]
    //#    Expected: {0..65_535}
    //#    Bad: {Invalid}
    //#    Attribs:  Int  Soft  Bad only invalid
						myParser.addClient(myParser.getMyself());
					}
				} else if (sKey.equals("CHANTYPES")) {
					myParser.parseChanPrefix();
				} else if (sKey.equals("PREFIX")) {
					myParser.parsePrefixModes();
				} else if (sKey.equals("CHANMODES")) {
					myParser.parseChanModes();
				} else if (sKey.equals("LISTMODE")) {
					// Support for potential future decent mode listing in the protocol
					// 
					// See my proposal: http://shane.dmdirc.com/listmodes.php
					// Add listmode handler
					String[] handles = new String[2];
					handles[0] = sValue; // List mode item
					sValue = ""+(Integer.parseInt(sValue) + 1);
					myParser.h005Info.put("LISTMODEEND", sValue);
					handles[1] = sValue; // List mode end
					// Add listmode handlers
					try {
						myParser.getProcessingManager().addProcessor(handles, myParser.getProcessingManager().getProcessor("__LISTMODE__"));
    //#Process004005.java:101: ?precondition failure
    //#    com/dmdirc/parser/irc/ProcessingManager.addProcessor: (soft) handles[0..4_294_967_295] != null
    //#    severity: SUPPRESSED
    //#    class: com.dmdirc.parser.irc.Process004005
    //#    method: void process(String, String[])
    //#    basic block: bb_38
    //#    assertion: (soft) handles[0..4_294_967_295] != null
    //#    callee: void com/dmdirc/parser/irc/ProcessingManager.addProcessor(String[], IRCProcessor)
    //#    callee assertion: (soft) handles[0..4_294_967_295] != null
    //#    callee file: ProcessingManager.java
    //#    callee precondition index: [3]
    //#    callee srcpos: 135
    //#    VN: handles[0..4_294_967_295]
    //#    Expected: Inverse{null}
    //#    Bad: Addr_Set{null, Invalid}
    //#    Attribs:  Ptr  null in Bad  Soft
    //#Process004005.java:101: ?precondition failure
    //#    com/dmdirc/parser/irc/ProcessingManager.addProcessor: processor != null
    //#    severity: MEDIUM
    //#    class: com.dmdirc.parser.irc.Process004005
    //#    method: void process(String, String[])
    //#    basic block: bb_38
    //#    assertion: getProcessor(...) != null
    //#    callee: void com/dmdirc/parser/irc/ProcessingManager.addProcessor(String[], IRCProcessor)
    //#    callee assertion: processor != null
    //#    callee file: ProcessingManager.java
    //#    callee precondition index: [5]
    //#    callee srcpos: 135
    //#    VN: getProcessor(...)
    //#    Expected: Inverse{null}
    //#    Bad: Addr_Set{null}
    //#    Attribs:  Ptr  null in Bad
					} catch (ProcessorNotFoundException e) { }
				}
			}
		}
	}
    //#Process004005.java:106: end of method: void com.dmdirc.parser.irc.Process004005.process(String, String[])
	
	/**
	 * What does this IRCProcessor handle.
	 *
	 * @return String[] with the names of the tokens we handle.
	 */
	@Override
	public String[] handles() {
		return new String[]{"003", "004", "005"};
    //#Process004005.java:115: method: String[] com.dmdirc.parser.irc.Process004005.handles()
    //#output(String[] handles()): new String[](handles#1) num objects
    //#output(String[] handles()): return_value.length
    //#output(String[] handles()): return_value[0]
    //#output(String[] handles()): return_value[1]
    //#output(String[] handles()): return_value[2]
    //#output(String[] handles()): return_value
    //#new obj(String[] handles()): new String[](handles#1)
    //#post(String[] handles()): return_value == &new String[](handles#1)
    //#post(String[] handles()): new String[](handles#1) num objects == 1
    //#post(String[] handles()): return_value.length == 3
    //#post(String[] handles()): return_value[0] == &"003"
    //#post(String[] handles()): return_value[1] == &"004"
    //#post(String[] handles()): return_value[2] == &"005"
    //#Process004005.java:115: end of method: String[] com.dmdirc.parser.irc.Process004005.handles()
	} 
	
	/**
	 * Callback to all objects implementing the GotNetwork Callback.
	 * This takes no params of its own, but works them out itself.
	 *
	 * @see IGotNetwork
	 * @return true if a method was called, false otherwise
	 */
	protected boolean callGotNetwork() {
		final String networkName = myParser.sNetworkName;
    //#Process004005.java:126: method: bool com.dmdirc.parser.irc.Process004005.callGotNetwork()
    //#input(bool callGotNetwork()): "Callback not found: "._tainted
    //#input(bool callGotNetwork()): "OnGotNetwork"._tainted
    //#input(bool callGotNetwork()): com/dmdirc/parser/irc/IRCParser.__Descendant_Table[com/dmdirc/parser/irc/IRCParser]
    //#input(bool callGotNetwork()): com/dmdirc/parser/irc/IRCParser.__Descendant_Table[others]
    //#input(bool callGotNetwork()): com/dmdirc/parser/irc/IRCParser.__Dispatch_Table.getCallbackManager()Lcom/dmdirc/parser/irc/callbacks/CallbackManager;
    //#input(bool callGotNetwork()): com/dmdirc/parser/irc/IRCParser.__Dispatch_Table.getIRCD(Z)Ljava/lang/String;
    //#input(bool callGotNetwork()): com/dmdirc/parser/irc/callbacks/CallbackObject.__Descendant_Table[com/dmdirc/parser/irc/callbacks/CallbackObjectSpecific]
    //#input(bool callGotNetwork()): com/dmdirc/parser/irc/callbacks/CallbackObject.__Descendant_Table[com/dmdirc/parser/irc/callbacks/CallbackObject]
    //#input(bool callGotNetwork()): com/dmdirc/parser/irc/callbacks/CallbackObject.__Descendant_Table[others]
    //#input(bool callGotNetwork()): com/dmdirc/parser/irc/callbacks/CallbackObject.__Dispatch_Table.call([Ljava/lang/Object;)Z
    //#input(bool callGotNetwork()): com/dmdirc/parser/irc/callbacks/CallbackObjectSpecific.__Dispatch_Table.call([Ljava/lang/Object;)Z
    //#input(bool callGotNetwork()): this
    //#input(bool callGotNetwork()): this.myParser
    //#input(bool callGotNetwork()): this.myParser.__Tag
    //#input(bool callGotNetwork()): this.myParser.h005Info
    //#input(bool callGotNetwork()): this.myParser.myCallbackManager
    //#input(bool callGotNetwork()): this.myParser.myCallbackManager.callbackHash
    //#input(bool callGotNetwork()): this.myParser.sNetworkName
    //#output(bool callGotNetwork()): return_value
    //#pre[2] (bool callGotNetwork()): this.myParser != null
    //#pre[3] (bool callGotNetwork()): this.myParser.__Tag == com/dmdirc/parser/irc/IRCParser
    //#pre[4] (bool callGotNetwork()): this.myParser.h005Info != null
    //#pre[5] (bool callGotNetwork()): this.myParser.myCallbackManager != null
    //#pre[6] (bool callGotNetwork()): this.myParser.myCallbackManager.callbackHash != null
    //#pre[7] (bool callGotNetwork()): (soft) this.myParser.sNetworkName != null
    //#presumption(bool callGotNetwork()): getCallbackManager(...)@130 init'ed
    //#post(bool callGotNetwork()): init'ed(return_value)
    //#unanalyzed(bool callGotNetwork()): Effects-of-calling:java.util.Map:containsKey
    //#unanalyzed(bool callGotNetwork()): Effects-of-calling:java.util.Map:get
    //#unanalyzed(bool callGotNetwork()): Effects-of-calling:java.lang.String:matches
    //#unanalyzed(bool callGotNetwork()): Effects-of-calling:java.lang.String:equalsIgnoreCase
    //#unanalyzed(bool callGotNetwork()): Effects-of-calling:getCallbackManager
    //#unanalyzed(bool callGotNetwork()): Effects-of-calling:java.lang.String:toLowerCase
    //#unanalyzed(bool callGotNetwork()): Effects-of-calling:java.lang.StringBuilder
    //#unanalyzed(bool callGotNetwork()): Effects-of-calling:java.lang.StringBuilder:append
    //#unanalyzed(bool callGotNetwork()): Effects-of-calling:java.lang.StringBuilder:toString
    //#unanalyzed(bool callGotNetwork()): Effects-of-calling:java.lang.RuntimeException
		final String ircdVersion = myParser.getIRCD(false);
		final String ircdType = myParser.getIRCD(true);
		
		return getCallbackManager().getCallbackType("OnGotNetwork").call(networkName, ircdVersion, ircdType);
    //#Process004005.java:130: ?null dereference
    //#    getCallbackType(...) != null
    //#    severity: MEDIUM
    //#    class: com.dmdirc.parser.irc.Process004005
    //#    method: bool callGotNetwork()
    //#    basic block: Entry_BB_1
    //#    assertion: getCallbackType(...) != null
    //#    VN: getCallbackType(...)
    //#    Expected: Inverse{null}
    //#    Bad: Addr_Set{null}
    //#    Attribs:  Ptr  null in Bad
    //#Process004005.java:130: ?use of default init
    //#    init'ed(getCallbackType(...).__Tag)
    //#    severity: SUPPRESSED
    //#    class: com.dmdirc.parser.irc.Process004005
    //#    method: bool callGotNetwork()
    //#    basic block: Entry_BB_1
    //#    assertion: init'ed(getCallbackType(...).__Tag)
    //#    VN: getCallbackType(...).__Tag
    //#    Expected: {-Inf..+Inf}
    //#    Bad: {Invalid}
    //#    Attribs:  Int  Bad only invalid
    //#Process004005.java:130: ?null dereference
    //#    com/dmdirc/parser/irc/callbacks/CallbackObject.__Descendant_Table[getCallbackType(...).__Tag] != null
    //#    severity: SUPPRESSED
    //#    class: com.dmdirc.parser.irc.Process004005
    //#    method: bool callGotNetwork()
    //#    basic block: Entry_BB_1
    //#    assertion: com/dmdirc/parser/irc/callbacks/CallbackObject.__Descendant_Table[getCallbackType(...).__Tag] != null
    //#    VN: com/dmdirc/parser/irc/callbacks/CallbackObject.__Descendant_Table[getCallbackType(...).__Tag]
    //#    Expected: Inverse{null}
    //#    Bad: Addr_Set{null}
    //#    Attribs:  Ptr  null in Bad
    //#Process004005.java:130: Warning: call too complex - analysis skipped
    //#    call on bool call(Object[])
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.parser.irc.Process004005
    //#    method: bool callGotNetwork()
    //#    unanalyzed callee: bool call(Object[])
    //#Process004005.java:130: end of method: bool com.dmdirc.parser.irc.Process004005.callGotNetwork()
	}
	
	/**
	 * Create a new instance of the IRCProcessor Object.
	 *
	 * @param parser IRCParser That owns this IRCProcessor
	 * @param manager ProcessingManager that is in charge of this IRCProcessor
	 */
	protected Process004005 (final IRCParser parser, final ProcessingManager manager) { super(parser, manager); }
    //#Process004005.java:139: method: void com.dmdirc.parser.irc.Process004005.com.dmdirc.parser.irc.Process004005(IRCParser, ProcessingManager)
    //#input(void com.dmdirc.parser.irc.Process004005(IRCParser, ProcessingManager)): manager
    //#input(void com.dmdirc.parser.irc.Process004005(IRCParser, ProcessingManager)): parser
    //#input(void com.dmdirc.parser.irc.Process004005(IRCParser, ProcessingManager)): this
    //#output(void com.dmdirc.parser.irc.Process004005(IRCParser, ProcessingManager)): this.myManager
    //#output(void com.dmdirc.parser.irc.Process004005(IRCParser, ProcessingManager)): this.myParser
    //#post(void com.dmdirc.parser.irc.Process004005(IRCParser, ProcessingManager)): this.myManager == manager
    //#post(void com.dmdirc.parser.irc.Process004005(IRCParser, ProcessingManager)): init'ed(this.myManager)
    //#post(void com.dmdirc.parser.irc.Process004005(IRCParser, ProcessingManager)): this.myParser == parser
    //#post(void com.dmdirc.parser.irc.Process004005(IRCParser, ProcessingManager)): init'ed(this.myParser)
    //#Process004005.java:139: end of method: void com.dmdirc.parser.irc.Process004005.com.dmdirc.parser.irc.Process004005(IRCParser, ProcessingManager)

}
    //#output(com.dmdirc.parser.irc.Process004005__static_init): __Descendant_Table[com/dmdirc/parser/irc/Process004005]
    //#output(com.dmdirc.parser.irc.Process004005__static_init): __Dispatch_Table.callDebugInfo(ILjava/lang/String;)Z
    //#output(com.dmdirc.parser.irc.Process004005__static_init): __Dispatch_Table.callDebugInfo(ILjava/lang/String;[Ljava/lang/Object;)Z
    //#output(com.dmdirc.parser.irc.Process004005__static_init): __Dispatch_Table.callErrorInfo(Lcom/dmdirc/parser/irc/ParserError;)Z
    //#output(com.dmdirc.parser.irc.Process004005__static_init): __Dispatch_Table.callGotNetwork()Z
    //#output(com.dmdirc.parser.irc.Process004005__static_init): __Dispatch_Table.getCallbackManager()Lcom/dmdirc/parser/irc/callbacks/CallbackManager;
    //#output(com.dmdirc.parser.irc.Process004005__static_init): __Dispatch_Table.getChannelInfo(Ljava/lang/String;)Lcom/dmdirc/parser/irc/ChannelInfo;
    //#output(com.dmdirc.parser.irc.Process004005__static_init): __Dispatch_Table.getClientInfo(Ljava/lang/String;)Lcom/dmdirc/parser/irc/ClientInfo;
    //#output(com.dmdirc.parser.irc.Process004005__static_init): __Dispatch_Table.getLowerName()Ljava/lang/String;
    //#output(com.dmdirc.parser.irc.Process004005__static_init): __Dispatch_Table.getName()Ljava/lang/String;
    //#output(com.dmdirc.parser.irc.Process004005__static_init): __Dispatch_Table.handles()[Ljava/lang/String;
    //#output(com.dmdirc.parser.irc.Process004005__static_init): __Dispatch_Table.isValidChannelName(Ljava/lang/String;)Z
    //#output(com.dmdirc.parser.irc.Process004005__static_init): __Dispatch_Table.process(Ljava/lang/String;[Ljava/lang/String;)V
    //#output(com.dmdirc.parser.irc.Process004005__static_init): __Dispatch_Table.sendString(Ljava/lang/String;)V
    //#output(com.dmdirc.parser.irc.Process004005__static_init): __Dispatch_Table.toString()Ljava/lang/String;
    //#output(com.dmdirc.parser.irc.Process004005__static_init): com/dmdirc/parser/irc/IRCProcessor.__Descendant_Table[com/dmdirc/parser/irc/Process004005]
    //#post(com.dmdirc.parser.irc.Process004005__static_init): __Descendant_Table[com/dmdirc/parser/irc/Process004005] == &__Dispatch_Table
    //#post(com.dmdirc.parser.irc.Process004005__static_init): com/dmdirc/parser/irc/IRCProcessor.__Descendant_Table[com/dmdirc/parser/irc/Process004005] == &__Dispatch_Table
    //#post(com.dmdirc.parser.irc.Process004005__static_init): __Dispatch_Table.callDebugInfo(ILjava/lang/String;)Z == &com/dmdirc/parser/irc/IRCProcessor.callDebugInfo
    //#post(com.dmdirc.parser.irc.Process004005__static_init): __Dispatch_Table.callDebugInfo(ILjava/lang/String;[Ljava/lang/Object;)Z == &com/dmdirc/parser/irc/IRCProcessor.callDebugInfo
    //#post(com.dmdirc.parser.irc.Process004005__static_init): __Dispatch_Table.callErrorInfo(Lcom/dmdirc/parser/irc/ParserError;)Z == &com/dmdirc/parser/irc/IRCProcessor.callErrorInfo
    //#post(com.dmdirc.parser.irc.Process004005__static_init): __Dispatch_Table.callGotNetwork()Z == &callGotNetwork
    //#post(com.dmdirc.parser.irc.Process004005__static_init): __Dispatch_Table.getCallbackManager()Lcom/dmdirc/parser/irc/callbacks/CallbackManager; == &com/dmdirc/parser/irc/IRCProcessor.getCallbackManager
    //#post(com.dmdirc.parser.irc.Process004005__static_init): __Dispatch_Table.getChannelInfo(Ljava/lang/String;)Lcom/dmdirc/parser/irc/ChannelInfo; == &com/dmdirc/parser/irc/IRCProcessor.getChannelInfo
    //#post(com.dmdirc.parser.irc.Process004005__static_init): __Dispatch_Table.getClientInfo(Ljava/lang/String;)Lcom/dmdirc/parser/irc/ClientInfo; == &com/dmdirc/parser/irc/IRCProcessor.getClientInfo
    //#post(com.dmdirc.parser.irc.Process004005__static_init): __Dispatch_Table.getLowerName()Ljava/lang/String; == &com/dmdirc/parser/irc/IRCProcessor.getLowerName
    //#post(com.dmdirc.parser.irc.Process004005__static_init): __Dispatch_Table.getName()Ljava/lang/String; == &com/dmdirc/parser/irc/IRCProcessor.getName
    //#post(com.dmdirc.parser.irc.Process004005__static_init): __Dispatch_Table.handles()[Ljava/lang/String; == &handles
    //#post(com.dmdirc.parser.irc.Process004005__static_init): __Dispatch_Table.isValidChannelName(Ljava/lang/String;)Z == &com/dmdirc/parser/irc/IRCProcessor.isValidChannelName
    //#post(com.dmdirc.parser.irc.Process004005__static_init): __Dispatch_Table.process(Ljava/lang/String;[Ljava/lang/String;)V == &process
    //#post(com.dmdirc.parser.irc.Process004005__static_init): __Dispatch_Table.sendString(Ljava/lang/String;)V == &com/dmdirc/parser/irc/IRCProcessor.sendString
    //#post(com.dmdirc.parser.irc.Process004005__static_init): __Dispatch_Table.toString()Ljava/lang/String; == &com/dmdirc/parser/irc/IRCProcessor.toString
    //#Process004005.java:: end of method: com.dmdirc.parser.irc.Process004005.com.dmdirc.parser.irc.Process004005__static_init
    //#Process004005.java:: end of class: com.dmdirc.parser.irc.Process004005
