//# 76 errors, 1,020 messages
//#
/*
    //#ProcessMessage.java:1:1: class: com.dmdirc.parser.irc.ProcessMessage
    //#ProcessMessage.java:1:1: method: com.dmdirc.parser.irc.ProcessMessage.com.dmdirc.parser.irc.ProcessMessage__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;

import java.util.regex.PatternSyntaxException;

/**
 * Process PRIVMSGs and NOTICEs.
 * This horrible handles PRIVMSGs and NOTICES<br>
 * This inclues CTCPs and CTCPReplies<br>
 * It handles all 3 targets (Channel, Private, Unknown)<br>
 * Actions are handled here aswell separately from CTCPs.<br>
 * Each type has 5 Calls, making 15 callbacks handled here.
 */
public class ProcessMessage extends IRCProcessor {
	/**
	 * Process PRIVMSGs and NOTICEs.
	 * This horrible thing handles PRIVMSGs and NOTICES<br>
	 * This inclues CTCPs and CTCPReplies<br>
	 * It handles all 3 targets (Channel, Private, Unknown)<br>
	 * Actions are handled here aswell separately from CTCPs.<br>
	 * Each type has 5 Calls, making 15 callbacks handled here.
	 *
	 * @param sParam Type of line to process ("NOTICE", "PRIVMSG")
	 * @param token IRCTokenised line to process
	 */
	@Override
	public void process(final String sParam, String[] token) {
		// Ignore people!
		String sMessage = "";
    //#ProcessMessage.java:50: method: void com.dmdirc.parser.irc.ProcessMessage.process(String, String[])
    //#ProcessMessage.java:50: Warning: unused assignment
    //#    Unused assignment into sMessage
    //#    severity: LOW
    //#    class: com.dmdirc.parser.irc.ProcessMessage
    //#    method: void process(String, String[])
    //#input(void process(String, String[])): ""._tainted
    //#input(void process(String, String[])): "(?i)"._tainted
    //#input(void process(String, String[])): ")"._tainted
    //#input(void process(String, String[])): "ACTION"._tainted
    //#input(void process(String, String[])): "Callback not found: "._tainted
    //#input(void process(String, String[])): "Error with ignore list regex: "._tainted
    //#input(void process(String, String[])): "Exception in Processor. ["._tainted
    //#input(void process(String, String[])): "Message for Other ("._tainted
    //#input(void process(String, String[])): "No processors will handle "._tainted
    //#input(void process(String, String[])): "Notice Auth"._tainted
    //#input(void process(String, String[])): "OnChannelAction"._tainted
    //#input(void process(String, String[])): "OnChannelCTCP"._tainted
    //#input(void process(String, String[])): "OnChannelCTCPReply"._tainted
    //#input(void process(String, String[])): "OnChannelMessage"._tainted
    //#input(void process(String, String[])): "OnChannelNotice"._tainted
    //#input(void process(String, String[])): "OnDebugInfo"._tainted
    //#input(void process(String, String[])): "OnErrorInfo"._tainted
    //#input(void process(String, String[])): "OnNumeric"._tainted
    //#input(void process(String, String[])): "OnPrivateAction"._tainted
    //#input(void process(String, String[])): "OnPrivateCTCP"._tainted
    //#input(void process(String, String[])): "OnPrivateCTCPReply"._tainted
    //#input(void process(String, String[])): "OnPrivateMessage"._tainted
    //#input(void process(String, String[])): "OnPrivateNotice"._tainted
    //#input(void process(String, String[])): "OnUnknownAction"._tainted
    //#input(void process(String, String[])): "OnUnknownCTCP"._tainted
    //#input(void process(String, String[])): "OnUnknownCTCPReply"._tainted
    //#input(void process(String, String[])): "OnUnknownMessage"._tainted
    //#input(void process(String, String[])): "OnUnknownNotice"._tainted
    //#input(void process(String, String[])): "]: "._tainted
    //#input(void process(String, String[])): __Descendant_Table[com/dmdirc/parser/irc/ProcessMessage]
    //#input(void process(String, String[])): __Descendant_Table[others]
    //#input(void process(String, String[])): __Dispatch_Table.callChannelAction(Lcom/dmdirc/parser/irc/ChannelInfo;Lcom/dmdirc/parser/irc/ChannelClientInfo;Ljava/lang/String;Ljava/lang/String;)Z
    //#input(void process(String, String[])): __Dispatch_Table.callChannelCTCP(Lcom/dmdirc/parser/irc/ChannelInfo;Lcom/dmdirc/parser/irc/ChannelClientInfo;Ljava/lang/String;Ljava/lang/String;Ljava/lang/String;)Z
    //#input(void process(String, String[])): __Dispatch_Table.callChannelCTCPReply(Lcom/dmdirc/parser/irc/ChannelInfo;Lcom/dmdirc/parser/irc/ChannelClientInfo;Ljava/lang/String;Ljava/lang/String;Ljava/lang/String;)Z
    //#input(void process(String, String[])): __Dispatch_Table.callChannelMessage(Lcom/dmdirc/parser/irc/ChannelInfo;Lcom/dmdirc/parser/irc/ChannelClientInfo;Ljava/lang/String;Ljava/lang/String;)Z
    //#input(void process(String, String[])): __Dispatch_Table.callChannelNotice(Lcom/dmdirc/parser/irc/ChannelInfo;Lcom/dmdirc/parser/irc/ChannelClientInfo;Ljava/lang/String;Ljava/lang/String;)Z
    //#input(void process(String, String[])): __Dispatch_Table.callPrivateAction(Ljava/lang/String;Ljava/lang/String;)Z
    //#input(void process(String, String[])): __Dispatch_Table.callPrivateCTCP(Ljava/lang/String;Ljava/lang/String;Ljava/lang/String;)Z
    //#input(void process(String, String[])): __Dispatch_Table.callPrivateCTCPReply(Ljava/lang/String;Ljava/lang/String;Ljava/lang/String;)Z
    //#input(void process(String, String[])): __Dispatch_Table.callPrivateMessage(Ljava/lang/String;Ljava/lang/String;)Z
    //#input(void process(String, String[])): __Dispatch_Table.callPrivateNotice(Ljava/lang/String;Ljava/lang/String;)Z
    //#input(void process(String, String[])): __Dispatch_Table.callUnknownAction(Ljava/lang/String;Ljava/lang/String;Ljava/lang/String;)Z
    //#input(void process(String, String[])): __Dispatch_Table.callUnknownCTCP(Ljava/lang/String;Ljava/lang/String;Ljava/lang/String;Ljava/lang/String;)Z
    //#input(void process(String, String[])): __Dispatch_Table.callUnknownCTCPReply(Ljava/lang/String;Ljava/lang/String;Ljava/lang/String;Ljava/lang/String;)Z
    //#input(void process(String, String[])): __Dispatch_Table.callUnknownMessage(Ljava/lang/String;Ljava/lang/String;Ljava/lang/String;)Z
    //#input(void process(String, String[])): __Dispatch_Table.callUnknownNotice(Ljava/lang/String;Ljava/lang/String;Ljava/lang/String;)Z
    //#input(void process(String, String[])): __Dispatch_Table.process(Ljava/lang/String;[Ljava/lang/String;)V
    //#input(void process(String, String[])): com/dmdirc/parser/irc/ChannelClientInfo.__Descendant_Table[com/dmdirc/parser/irc/ChannelClientInfo]
    //#input(void process(String, String[])): com/dmdirc/parser/irc/ChannelClientInfo.__Descendant_Table[others]
    //#input(void process(String, String[])): com/dmdirc/parser/irc/ChannelClientInfo.__Dispatch_Table.getClient()Lcom/dmdirc/parser/irc/ClientInfo;
    //#input(void process(String, String[])): com/dmdirc/parser/irc/ChannelInfo.__Descendant_Table[com/dmdirc/parser/irc/ChannelInfo]
    //#input(void process(String, String[])): com/dmdirc/parser/irc/ChannelInfo.__Descendant_Table[others]
    //#input(void process(String, String[])): com/dmdirc/parser/irc/ChannelInfo.__Dispatch_Table.getUser(Lcom/dmdirc/parser/irc/ClientInfo;)Lcom/dmdirc/parser/irc/ChannelClientInfo;
    //#input(void process(String, String[])): com/dmdirc/parser/irc/ClientInfo.__Descendant_Table[com/dmdirc/parser/irc/ClientInfo]
    //#input(void process(String, String[])): com/dmdirc/parser/irc/ClientInfo.__Descendant_Table[others]
    //#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.callDebugInfo(ILjava/lang/String;)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.getCallbackManager()Lcom/dmdirc/parser/irc/callbacks/CallbackManager;
    //#input(void process(String, String[])): com/dmdirc/parser/irc/IRCParser.__Dispatch_Table.getChannelInfo(Ljava/lang/String;)Lcom/dmdirc/parser/irc/ChannelInfo;
    //#input(void process(String, String[])): com/dmdirc/parser/irc/IRCParser.__Dispatch_Table.getClientInfo(Ljava/lang/String;)Lcom/dmdirc/parser/irc/ClientInfo;
    //#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.getIgnoreList()Lcom/dmdirc/parser/irc/RegexStringList;
    //#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.getMyNickname()Ljava/lang/String;
    //#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.isValidChannelName(Ljava/lang/String;)Z
    //#input(void process(String, String[])): com/dmdirc/parser/irc/IRCProcessor.__Descendant_Table[others]
    //#input(void process(String, String[])): com/dmdirc/parser/irc/IRCProcessor.__Dispatch_Table.process(Ljava/lang/String;[Ljava/lang/String;)V
    //#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.equalsIgnoreCase(Ljava/lang/String;Ljava/lang/String;)Z
    //#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/Process001.__Dispatch_Table.process(Ljava/lang/String;[Ljava/lang/String;)V
    //#input(void process(String, String[])): com/dmdirc/parser/irc/Process004005.__Dispatch_Table.process(Ljava/lang/String;[Ljava/lang/String;)V
    //#input(void process(String, String[])): com/dmdirc/parser/irc/Process464.__Dispatch_Table.process(Ljava/lang/String;[Ljava/lang/String;)V
    //#input(void process(String, String[])): com/dmdirc/parser/irc/ProcessAway.__Dispatch_Table.process(Ljava/lang/String;[Ljava/lang/String;)V
    //#input(void process(String, String[])): com/dmdirc/parser/irc/ProcessInvite.__Dispatch_Table.process(Ljava/lang/String;[Ljava/lang/String;)V
    //#input(void process(String, String[])): com/dmdirc/parser/irc/ProcessJoin.__Dispatch_Table.process(Ljava/lang/String;[Ljava/lang/String;)V
    //#input(void process(String, String[])): com/dmdirc/parser/irc/ProcessKick.__Dispatch_Table.process(Ljava/lang/String;[Ljava/lang/String;)V
    //#input(void process(String, String[])): com/dmdirc/parser/irc/ProcessListModes.__Dispatch_Table.process(Ljava/lang/String;[Ljava/lang/String;)V
    //#input(void process(String, String[])): com/dmdirc/parser/irc/ProcessMOTD.__Dispatch_Table.process(Ljava/lang/String;[Ljava/lang/String;)V
    //#input(void process(String, String[])): com/dmdirc/parser/irc/ProcessMode.__Dispatch_Table.process(Ljava/lang/String;[Ljava/lang/String;)V
    //#input(void process(String, String[])): com/dmdirc/parser/irc/ProcessNames.__Dispatch_Table.process(Ljava/lang/String;[Ljava/lang/String;)V
    //#input(void process(String, String[])): com/dmdirc/parser/irc/ProcessNick.__Dispatch_Table.process(Ljava/lang/String;[Ljava/lang/String;)V
    //#input(void process(String, String[])): com/dmdirc/parser/irc/ProcessNickInUse.__Dispatch_Table.process(Ljava/lang/String;[Ljava/lang/String;)V
    //#input(void process(String, String[])): com/dmdirc/parser/irc/ProcessNoticeAuth.__Dispatch_Table.process(Ljava/lang/String;[Ljava/lang/String;)V
    //#input(void process(String, String[])): com/dmdirc/parser/irc/ProcessPart.__Dispatch_Table.process(Ljava/lang/String;[Ljava/lang/String;)V
    //#input(void process(String, String[])): com/dmdirc/parser/irc/ProcessQuit.__Dispatch_Table.process(Ljava/lang/String;[Ljava/lang/String;)V
    //#input(void process(String, String[])): com/dmdirc/parser/irc/ProcessTopic.__Dispatch_Table.process(Ljava/lang/String;[Ljava/lang/String;)V
    //#input(void process(String, String[])): com/dmdirc/parser/irc/ProcessWallops.__Dispatch_Table.process(Ljava/lang/String;[Ljava/lang/String;)V
    //#input(void process(String, String[])): com/dmdirc/parser/irc/ProcessWho.__Dispatch_Table.process(Ljava/lang/String;[Ljava/lang/String;)V
    //#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.callNumeric(I[Ljava/lang/String;)Z
    //#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/ProcessingManager.__Dispatch_Table.process(Ljava/lang/String;[Ljava/lang/String;)V
    //#input(void process(String, String[])): com/dmdirc/parser/irc/RegexStringList.__Descendant_Table[com/dmdirc/parser/irc/RegexStringList]
    //#input(void process(String, String[])): com/dmdirc/parser/irc/RegexStringList.__Descendant_Table[others]
    //#input(void process(String, String[])): com/dmdirc/parser/irc/RegexStringList.__Dispatch_Table.count()I
    //#input(void process(String, String[])): com/dmdirc/parser/irc/RegexStringList.__Dispatch_Table.get(I)Ljava/lang/String;
    //#input(void process(String, String[])): com/dmdirc/parser/irc/RegexStringList.__Dispatch_Table.matches(Ljava/lang/String;)I
    //#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...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.__Tag
    //#input(void process(String, String[])): this.myParser.cMyself
    //#input(void process(String, String[])): this.myParser.cMyself.bIsFake
    //#input(void process(String, String[])): this.myParser.cMyself.sNickname
    //#input(void process(String, String[])): this.myParser.hChanPrefix
    //#input(void process(String, String[])): this.myParser.hChannelList
    //#input(void process(String, String[])): this.myParser.hClientList
    //#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.myIgnoreList
    //#input(void process(String, String[])): this.myParser.myIgnoreList.__Tag
    //#input(void process(String, String[])): this.myParser.myIgnoreList.ignoreInfo
    //#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.sThinkNickname
    //#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.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]
    //#input(void process(String, String[])): token[0]._tainted
    //#input(void process(String, String[])): token[1]
    //#input(void process(String, String[])): token[1]._tainted
    //#input(void process(String, String[])): token[2]
    //#input(void process(String, String[])): token[2]._tainted
    //#input(void process(String, String[])): token[3..4_294_967_295]
    //#input(void process(String, String[])): token[3..4_294_967_295]._tainted
    //#output(void process(String, String[])): java.lang.String:substring(...)._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 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.stringConverter
    //#output(void process(String, String[])): token[0]
    //#new obj(void process(String, String[])): java.lang.String:substring(...)
    //#new obj(void process(String, String[])): new IRCStringConverter(getIRCStringConverter#1)
    //#new obj(void process(String, String[])): new char[](IRCStringConverter#1)
    //#new obj(void process(String, String[])): new char[](IRCStringConverter#2)
    //#pre[2] (void process(String, String[])): token[0] != null
    //#pre[6] (void process(String, String[])): this.myParser != null
    //#pre[11] (void process(String, String[])): this.myParser.__Tag == com/dmdirc/parser/irc/IRCParser
    //#pre[34] (void process(String, String[])): token != null
    //#pre[1] (void process(String, String[])): (soft) init'ed(this.myParser.stringConverter)
    //#pre[3] (void process(String, String[])): (soft) sParam != null
    //#pre[5] (void process(String, String[])): (soft) this.__Tag == com/dmdirc/parser/irc/ProcessMessage
    //#pre[7] (void process(String, String[])): (soft) this.myParser...__Tag == com/dmdirc/parser/irc/IRCParser
    //#pre[8] (void process(String, String[])): (soft) init'ed(this.myParser...lastLine)
    //#pre[9] (void process(String, String[])): (soft) this.myParser...myCallbackManager != null
    //#pre[10] (void process(String, String[])): (soft) this.myParser...myCallbackManager.callbackHash != null
    //#pre[12] (void process(String, String[])): (soft) this.myParser.cMyself != null
    //#pre[13] (void process(String, String[])): (soft) init'ed(this.myParser.cMyself.bIsFake)
    //#pre[14] (void process(String, String[])): (soft) init'ed(this.myParser.cMyself.sNickname)
    //#pre[15] (void process(String, String[])): (soft) this.myParser.hChanPrefix != null
    //#pre[16] (void process(String, String[])): (soft) this.myParser.hChannelList != null
    //#pre[18] (void process(String, String[])): (soft) this.myParser.hClientList != null
    //#pre[19] (void process(String, String[])): (soft) init'ed(this.myParser.lastLine)
    //#pre[20] (void process(String, String[])): (soft) this.myParser.myCallbackManager != null
    //#pre[21] (void process(String, String[])): (soft) this.myParser.myCallbackManager.callbackHash != null
    //#pre[22] (void process(String, String[])): (soft) this.myParser.myIgnoreList != null
    //#pre[23] (void process(String, String[])): (soft) this.myParser.myIgnoreList.__Tag == com/dmdirc/parser/irc/RegexStringList
    //#pre[24] (void process(String, String[])): (soft) this.myParser.myIgnoreList.ignoreInfo != null
    //#pre[25] (void process(String, String[])): (soft) this.myParser.myProcessingManager != null
    //#pre[26] (void process(String, String[])): (soft) this.myParser.myProcessingManager.__Tag == com/dmdirc/parser/irc/ProcessingManager
    //#pre[27] (void process(String, String[])): (soft) this.myParser.myProcessingManager.myParser != null
    //#pre[28] (void process(String, String[])): (soft) this.myParser.myProcessingManager.processHash != null
    //#pre[29] (void process(String, String[])): (soft) init'ed(this.myParser.sThinkNickname)
    //#pre[30] (void process(String, String[])): (soft) this.myParser.stringConverter.__Tag == com/dmdirc/parser/irc/IRCStringConverter
    //#pre[31] (void process(String, String[])): (soft) this.myParser.stringConverter.lowercase != null
    //#pre[33] (void process(String, String[])): (soft) init'ed(this.myParser.stringConverter.lowercase[0..65_535])
    //#pre[35] (void process(String, String[])): (soft) token.length in {1..4_294_967_296}
    //#pre[37] (void process(String, String[])): (soft) token[1] != null
    //#pre[39] (void process(String, String[])): (soft) token[2] != null
    //#pre[41] (void process(String, String[])): (soft) token[3..4_294_967_295] != null
    //#presumption(void process(String, String[])): getIRCStringConverter(...).__Tag@159 == com/dmdirc/parser/irc/IRCStringConverter
    //#presumption(void process(String, String[])): getIRCStringConverter(...).lowercase.length@159 >= 1
    //#presumption(void process(String, String[])): getIRCStringConverter(...).lowercase@159 != null
    //#presumption(void process(String, String[])): iChannel.hChannelUserList != null
    //#presumption(void process(String, String[])): iClient.sHost != null
    //#presumption(void process(String, String[])): java.lang.Character:valueOf(...)@104 != null
    //#presumption(void process(String, String[])): java.lang.Character:valueOf(...)@104 != null
    //#presumption(void process(String, String[])): java.lang.Character:valueOf(...)@84 != null
    //#presumption(void process(String, String[])): java.lang.Character:valueOf(...)@93 != null
    //#presumption(void process(String, String[])): this.myParser.stringConverter.__Tag == com/dmdirc/parser/irc/IRCStringConverter
    //#presumption(void process(String, String[])): this.myParser.stringConverter.__Tag == com/dmdirc/parser/irc/IRCStringConverter
    //#presumption(void process(String, String[])): this.myParser.stringConverter.__Tag == com/dmdirc/parser/irc/IRCStringConverter
    //#presumption(void process(String, String[])): this.myParser.stringConverter.lowercase != null
    //#presumption(void process(String, String[])): this.myParser.stringConverter.lowercase != null
    //#presumption(void process(String, String[])): this.myParser.stringConverter.lowercase != null
    //#post(void process(String, String[])): possibly_updated(java.lang.String:substring(...)._tainted)
    //#post(void process(String, String[])): init'ed(this.myParser.stringConverter)
    //#post(void process(String, String[])): token[0] == One-of{old token[0], &java.lang.String:substring(...)}
    //#post(void process(String, String[])): token[0] != null
    //#post(void process(String, String[])): new IRCStringConverter(getIRCStringConverter#1) num objects <= 1
    //#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 char[](IRCStringConverter#1) num objects <= 1
    //#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[])): possibly_updated(new char[](IRCStringConverter#1)[0..65_535])
    //#post(void process(String, String[])): new char[](IRCStringConverter#2) num objects <= 1
    //#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[])): possibly_updated(new char[](IRCStringConverter#2)[0..65_567])
    //#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.List:size
    //#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:get
    //#unanalyzed(void process(String, String[])): Effects-of-calling:java.lang.StringBuilder:toString
    //#unanalyzed(void process(String, String[])): Effects-of-calling:java.lang.String:matches
    //#unanalyzed(void process(String, String[])): Effects-of-calling:java.util.List:get
    //#unanalyzed(void process(String, String[])): Effects-of-calling:getLastLine
    //#unanalyzed(void process(String, String[])): Effects-of-calling:java.lang.String:toCharArray
    //#unanalyzed(void process(String, String[])): Effects-of-calling:java.lang.String:length
    //#unanalyzed(void process(String, String[])): Effects-of-calling:java.util.Map:containsKey
    //#unanalyzed(void process(String, String[])): Effects-of-calling:java.lang.String:toLowerCase
    //#unanalyzed(void process(String, String[])): Effects-of-calling:java.lang.RuntimeException
    //#unanalyzed(void process(String, String[])): Effects-of-calling:java.util.Map:get
    //#unanalyzed(void process(String, String[])): Effects-of-calling:callErrorInfo
    //#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.Integer:valueOf
    //#unanalyzed(void process(String, String[])): Effects-of-calling:process
    //#unanalyzed(void process(String, String[])): Effects-of-calling:java.lang.Integer:parseInt
    //#unanalyzed(void process(String, String[])): Effects-of-calling:java.lang.Throwable:__curr_excep_obj
    //#unanalyzed(void process(String, String[])): Effects-of-calling:java.lang.Exception:getMessage
    //#unanalyzed(void process(String, String[])): Effects-of-calling:java.lang.String:format
    //#unanalyzed(void process(String, String[])): Effects-of-calling:callDebugInfo
    //#unanalyzed(void process(String, String[])): Effects-of-calling:getClientInfo
    //#unanalyzed(void process(String, String[])): Effects-of-calling:java.lang.String:isEmpty
    //#unanalyzed(void process(String, String[])): Effects-of-calling:java.lang.String:charAt
    //#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:isValidChannelName
    //#unanalyzed(void process(String, String[])): Effects-of-calling:getChannelInfo
    //#unanalyzed(void process(String, String[])): Effects-of-calling:java.util.Map:values
    //#unanalyzed(void process(String, String[])): Effects-of-calling:java.util.Collection:iterator
    //#unanalyzed(void process(String, String[])): Effects-of-calling:java.util.Iterator:hasNext
    //#unanalyzed(void process(String, String[])): Effects-of-calling:java.util.Iterator:next
    //#unanalyzed(void process(String, String[])): Effects-of-calling:getClient
    //#unanalyzed(void process(String, String[])): Effects-of-calling:isFake
    //#unanalyzed(void process(String, String[])): Effects-of-calling:getNickname
    //#unanalyzed(void process(String, String[])): Effects-of-calling:java.lang.String
    //#unanalyzed(void process(String, String[])): Effects-of-calling:parseHost
    //#unanalyzed(void process(String, String[])): Effects-of-calling:java.lang.Character:valueOf
    //#unanalyzed(void process(String, String[])): Effects-of-calling:java.util.Map:isEmpty
    //#unanalyzed(void process(String, String[])): Effects-of-calling:java.lang.String:equals
    //#test_vector(void process(String, String[])): token.length: {4..4_294_967_296}, {1,2}, {3}
    //#test_vector(void process(String, String[])): java.lang.Character:equals(...)@104: {0}, {1}
    //#test_vector(void process(String, String[])): java.lang.Character:equals(...)@93: {0}, {1}
    //#test_vector(void process(String, String[])): java.lang.String:charAt(...)@121: {0..57, 59..65_535}, {58}
    //#test_vector(void process(String, String[])): java.lang.String:charAt(...)@51: {0..57, 59..65_535}, {58}
    //#test_vector(void process(String, String[])): java.lang.String:equalsIgnoreCase(...)@142: {0}, {1}
    //#test_vector(void process(String, String[])): java.lang.String:equalsIgnoreCase(...)@152: {0}, {1}
    //#test_vector(void process(String, String[])): java.lang.String:equalsIgnoreCase(...)@160: {0}, {1}
    //#test_vector(void process(String, String[])): java.lang.String:equalsIgnoreCase(...)@170: {0}, {1}
    //#test_vector(void process(String, String[])): java.lang.String:equalsIgnoreCase(...)@179: {0}, {1}
    //#test_vector(void process(String, String[])): java.lang.String:equalsIgnoreCase(...)@189: {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(...)@90: {0}, {1}
    //#test_vector(void process(String, String[])): java.lang.String:equalsIgnoreCase(...)@93: {0}, {1}
    //#test_vector(void process(String, String[])): java.lang.String:indexOf(...)@67: {-2_147_483_648..-2, 0..4_294_967_295}, {-1}
    //#test_vector(void process(String, String[])): java.lang.String:isEmpty(...)@113: {1}, {0}
    //#test_vector(void process(String, String[])): java.lang.String:isEmpty(...)@126: {0}, {1}
    //#test_vector(void process(String, String[])): java.lang.String:length(...)@121: {0,1}, {2..4_294_967_295}
    //#test_vector(void process(String, String[])): java.lang.String:length(...)@89: {0,1}, {2..4_294_967_295}
		if (token[0].charAt(0) == ':') { sMessage = token[0].substring(1); } else { sMessage = token[0]; }
		// We use sMessage to be the users host (first token in the line)
		try {
			if (myParser.getIgnoreList().matches(sMessage) > -1) { return; }
		} catch (PatternSyntaxException pse) {
			final ParserError pe = new ParserError(ParserError.ERROR_WARNING, "Error with ignore list regex: "+pse, myParser.getLastLine());
			pe.setException(pse);
			callErrorInfo(pe);
		}
		
		// Lines such as:
		// "nick!user@host PRIVMSG"
		// are invalid, stop processing.
		if (token.length < 3) { return; }
		
		// Is this actually a notice auth?
		if (token[0].indexOf('!') == -1 && token[1].equalsIgnoreCase("NOTICE") && token[2].equalsIgnoreCase("AUTH")) {
			try {
				myParser.getProcessingManager().process("Notice Auth", token);
			} catch (ProcessorNotFoundException e) { }
			return;
		}
		
		ChannelClientInfo iChannelClient = null;
		ChannelInfo iChannel = null;
    //#ProcessMessage.java:75: Warning: unused assignment
    //#    Unused assignment into iChannel
    //#    severity: SUPPRESSED
    //#    class: com.dmdirc.parser.irc.ProcessMessage
    //#    method: void process(String, String[])
    //#    Attribs:  Uncertain
		ClientInfo iClient = null;
    //#ProcessMessage.java:76: Warning: unused assignment
    //#    Unused assignment into iClient
    //#    severity: SUPPRESSED
    //#    class: com.dmdirc.parser.irc.ProcessMessage
    //#    method: void process(String, String[])
    //#    Attribs:  Uncertain
		// "nick!user@host PRIVMSG #Channel" should be processed as "nick!user@host PRIVMSG #Channel :"
		if (token.length < 4) {
			sMessage = "";
		} else {
			sMessage = token[token.length-1];
		}
		String bits[] = sMessage.split(" ", 2);
		final Character Char1 = Character.valueOf((char)1);
		String sCTCP = "";
		boolean isAction = false;
		boolean isCTCP = false;
		
		if (sMessage.length() > 1) {
			if (sParam.equalsIgnoreCase("PRIVMSG")) {
				// Actions are special CTCPs
				// Bits is the message been split into 2 parts, the first word and the rest
				if (bits[0].equalsIgnoreCase(Char1+"ACTION") && Character.valueOf(sMessage.charAt(sMessage.length()-1)).equals(Char1)) {
    //#ProcessMessage.java:93: ?use of default init
    //#    init'ed(bits.length)
    //#    severity: LOW
    //#    class: com.dmdirc.parser.irc.ProcessMessage
    //#    method: void process(String, String[])
    //#    basic block: bb_23
    //#    assertion: init'ed(bits.length)
    //#    VN: undefined
    //#    Expected: {-Inf..+Inf}
    //#    Bad: {Invalid}
    //#    Attribs:  Int  Bad only invalid
    //#ProcessMessage.java:93: ?use of default init
    //#    init'ed(bits[0])
    //#    severity: SUPPRESSED
    //#    class: com.dmdirc.parser.irc.ProcessMessage
    //#    method: void process(String, String[])
    //#    basic block: bb_23
    //#    assertion: init'ed(bits[0])
    //#    VN: undefined
    //#    Expected: Univ-VN-Set
    //#    Bad: {Invalid}
    //#    Attribs:  Ptr  Bad only invalid
    //#ProcessMessage.java:93: ?null dereference
    //#    not_init'ed(bits[0])
    //#    severity: MEDIUM
    //#    class: com.dmdirc.parser.irc.ProcessMessage
    //#    method: void process(String, String[])
    //#    basic block: bb_23
    //#    assertion: not_init'ed(bits[0])
    //#    VN: undefined
    //#    Expected: Inverse{null} or Invalid
    //#    Bad: Addr_Set{null}
    //#    Attribs:  Ptr  null in Bad
					isAction = true;
					if (bits.length > 1) {
    //#ProcessMessage.java:95: ?use of default init
    //#    init'ed(bits.length)
    //#    severity: LOW
    //#    class: com.dmdirc.parser.irc.ProcessMessage
    //#    method: void process(String, String[])
    //#    basic block: bb_25
    //#    assertion: init'ed(bits.length)
    //#    VN: undefined
    //#    Expected: {-Inf..+Inf}
    //#    Bad: {Invalid}
    //#    Attribs:  Int  Bad only invalid
    //#ProcessMessage.java:95: Warning: test always goes same way
    //#    Test predetermined because bits.length == 0
    //#    severity: LOW
    //#    class: com.dmdirc.parser.irc.ProcessMessage
    //#    method: void process(String, String[])
    //#    from bb: bb_25
    //#    live edge: bb_25-->bb_27
    //#    tested vn: undefined - 1
    //#    tested vn values: {-1}
						sMessage = bits[1];
    //#ProcessMessage.java:96: Warning: dead code
    //#    Dead code here because bits.length == 0
    //#    severity: LOW
    //#    class: com.dmdirc.parser.irc.ProcessMessage
    //#    method: void process(String, String[])
    //#    dead bb: bb_26
						sMessage = sMessage.substring(0, sMessage.length()-1);
					} else { sMessage = ""; }
				}
			}
			// If the message is not an action, check if it is another type of CTCP
			if (!isAction) {
				// CTCPs have Character(1) at the start/end of the line
				if (Character.valueOf(sMessage.charAt(0)).equals(Char1) && Character.valueOf(sMessage.charAt(sMessage.length()-1)).equals(Char1)) {
					isCTCP = true;
					// Bits is the message been split into 2 parts, the first word and the rest
					// Some CTCPs have messages and some do not
					if (bits.length > 1) { sMessage = bits[1]; } else { sMessage = ""; }
    //#ProcessMessage.java:108: ?use of default init
    //#    init'ed(bits.length)
    //#    severity: LOW
    //#    class: com.dmdirc.parser.irc.ProcessMessage
    //#    method: void process(String, String[])
    //#    basic block: bb_31
    //#    assertion: init'ed(bits.length)
    //#    VN: undefined
    //#    Expected: {-Inf..+Inf}
    //#    Bad: {Invalid}
    //#    Attribs:  Int  Bad only invalid
    //#ProcessMessage.java:108: Warning: test always goes same way
    //#    Test predetermined because bits.length == 0
    //#    severity: LOW
    //#    class: com.dmdirc.parser.irc.ProcessMessage
    //#    method: void process(String, String[])
    //#    from bb: bb_31
    //#    live edge: bb_31-->bb_33
    //#    tested vn: undefined - 1
    //#    tested vn values: {-1}
    //#ProcessMessage.java:108: Warning: dead code
    //#    Dead code here because bits.length == 0
    //#    severity: LOW
    //#    class: com.dmdirc.parser.irc.ProcessMessage
    //#    method: void process(String, String[])
    //#    dead bb: bb_32
					// Remove the leading char1
					bits = bits[0].split(Char1.toString(),2);
    //#ProcessMessage.java:110: ?use of default init
    //#    init'ed(bits.length)
    //#    severity: LOW
    //#    class: com.dmdirc.parser.irc.ProcessMessage
    //#    method: void process(String, String[])
    //#    basic block: bb_34
    //#    assertion: init'ed(bits.length)
    //#    VN: undefined
    //#    Expected: {-Inf..+Inf}
    //#    Bad: {Invalid}
    //#    Attribs:  Int  Bad only invalid
    //#ProcessMessage.java:110: ?use of default init
    //#    init'ed(bits[0])
    //#    severity: SUPPRESSED
    //#    class: com.dmdirc.parser.irc.ProcessMessage
    //#    method: void process(String, String[])
    //#    basic block: bb_34
    //#    assertion: init'ed(bits[0])
    //#    VN: undefined
    //#    Expected: Univ-VN-Set
    //#    Bad: {Invalid}
    //#    Attribs:  Ptr  Bad only invalid
    //#ProcessMessage.java:110: ?null dereference
    //#    not_init'ed(bits[0])
    //#    severity: MEDIUM
    //#    class: com.dmdirc.parser.irc.ProcessMessage
    //#    method: void process(String, String[])
    //#    basic block: bb_34
    //#    assertion: not_init'ed(bits[0])
    //#    VN: undefined
    //#    Expected: Inverse{null} or Invalid
    //#    Bad: Addr_Set{null}
    //#    Attribs:  Ptr  null in Bad
					sCTCP = bits[1];
    //#ProcessMessage.java:111: ?use of default init
    //#    init'ed(bits.length)
    //#    severity: LOW
    //#    class: com.dmdirc.parser.irc.ProcessMessage
    //#    method: void process(String, String[])
    //#    basic block: bb_34
    //#    assertion: init'ed(bits.length)
    //#    VN: undefined
    //#    Expected: {-Inf..+Inf}
    //#    Bad: {Invalid}
    //#    Attribs:  Int  Bad only invalid
    //#ProcessMessage.java:111: ?!array index out of bounds
    //#    bits.length >= 2
    //#    severity: HIGH
    //#    class: com.dmdirc.parser.irc.ProcessMessage
    //#    method: void process(String, String[])
    //#    basic block: bb_34
    //#    assertion: bits.length >= 2
    //#    VN: undefined - 1
    //#    Expected: {1..+Inf}
    //#    Bad: {-1}
    //#    Attribs:  Int  Bad singleton  Bad overlaps +/-1000  Bad < Exp
    //#ProcessMessage.java:111: ?use of default init
    //#    init'ed(bits[1])
    //#    severity: SUPPRESSED
    //#    class: com.dmdirc.parser.irc.ProcessMessage
    //#    method: void process(String, String[])
    //#    basic block: bb_34
    //#    assertion: init'ed(bits[1])
    //#    VN: undefined
    //#    Expected: Univ-VN-Set
    //#    Bad: {Invalid}
    //#    Attribs:  Ptr  Bad only invalid
					// remove the trailing char1
					if (!sMessage.isEmpty()) { sMessage = sMessage.split(Char1.toString(),2)[0]; }
    //#ProcessMessage.java:113: ?use of default init
    //#    init'ed(java/lang/String:split(...).length)
    //#    severity: LOW
    //#    class: com.dmdirc.parser.irc.ProcessMessage
    //#    method: void process(String, String[])
    //#    basic block: bb_35
    //#    assertion: init'ed(java/lang/String:split(...).length)
    //#    VN: undefined
    //#    Expected: {-Inf..+Inf}
    //#    Bad: {Invalid}
    //#    Attribs:  Int  Bad only invalid
    //#ProcessMessage.java:113: ?use of default init
    //#    init'ed(java/lang/String:split(...)[0])
    //#    severity: SUPPRESSED
    //#    class: com.dmdirc.parser.irc.ProcessMessage
    //#    method: void process(String, String[])
    //#    basic block: bb_35
    //#    assertion: init'ed(java/lang/String:split(...)[0])
    //#    VN: undefined
    //#    Expected: Univ-VN-Set
    //#    Bad: {Invalid}
    //#    Attribs:  Ptr  Bad only invalid
					else { sCTCP = sCTCP.split(Char1.toString(),2)[0]; }
    //#ProcessMessage.java:114: ?use of default init
    //#    init'ed(sCTCP)
    //#    severity: SUPPRESSED
    //#    class: com.dmdirc.parser.irc.ProcessMessage
    //#    method: void process(String, String[])
    //#    basic block: bb_36
    //#    assertion: init'ed(sCTCP)
    //#    VN: undefined
    //#    Expected: Univ-VN-Set
    //#    Bad: {Invalid}
    //#    Attribs:  Ptr  Bad only invalid
    //#ProcessMessage.java:114: ?null dereference
    //#    not_init'ed(sCTCP)
    //#    severity: MEDIUM
    //#    class: com.dmdirc.parser.irc.ProcessMessage
    //#    method: void process(String, String[])
    //#    basic block: bb_36
    //#    assertion: not_init'ed(sCTCP)
    //#    VN: undefined
    //#    Expected: Inverse{null} or Invalid
    //#    Bad: Addr_Set{null}
    //#    Attribs:  Ptr  null in Bad
    //#ProcessMessage.java:114: ?use of default init
    //#    init'ed(java/lang/String:split(...).length)
    //#    severity: LOW
    //#    class: com.dmdirc.parser.irc.ProcessMessage
    //#    method: void process(String, String[])
    //#    basic block: bb_36
    //#    assertion: init'ed(java/lang/String:split(...).length)
    //#    VN: undefined
    //#    Expected: {-Inf..+Inf}
    //#    Bad: {Invalid}
    //#    Attribs:  Int  Bad only invalid
    //#ProcessMessage.java:114: ?use of default init
    //#    init'ed(java/lang/String:split(...)[0])
    //#    severity: SUPPRESSED
    //#    class: com.dmdirc.parser.irc.ProcessMessage
    //#    method: void process(String, String[])
    //#    basic block: bb_36
    //#    assertion: init'ed(java/lang/String:split(...)[0])
    //#    VN: undefined
    //#    Expected: Univ-VN-Set
    //#    Bad: {Invalid}
    //#    Attribs:  Ptr  Bad only invalid
					callDebugInfo(IRCParser.DEBUG_INFO, "CTCP: \"%s\" \"%s\"",sCTCP,sMessage);
    //#ProcessMessage.java:115: ?use of default init
    //#    init'ed(sCTCP)
    //#    severity: SUPPRESSED
    //#    class: com.dmdirc.parser.irc.ProcessMessage
    //#    method: void process(String, String[])
    //#    basic block: bb_37
    //#    assertion: init'ed(sCTCP)
    //#    VN: undefined
    //#    Expected: Univ-VN-Set
    //#    Bad: {Invalid}
    //#    Attribs:  Ptr  Bad only invalid
    //#ProcessMessage.java:115: ?use of default init
    //#    init'ed(sMessage)
    //#    severity: SUPPRESSED
    //#    class: com.dmdirc.parser.irc.ProcessMessage
    //#    method: void process(String, String[])
    //#    basic block: bb_37
    //#    assertion: init'ed(sMessage)
    //#    VN: sMessage
    //#    Expected: Univ-VN-Set
    //#    Bad: {Invalid}
    //#    Attribs:  Ptr  Bad only invalid
				}
			}
		}

		// Remove the leading : from the host.
		if (token[0].charAt(0) == ':' && token[0].length() > 1) { token[0] = token[0].substring(1); }

		iClient = getClientInfo(token[0]);
    //#ProcessMessage.java:123: ?precondition failure
    //#    com/dmdirc/parser/irc/IRCProcessor.getClientInfo: (soft) init'ed(this.myParser.stringConverter.lowercase[0..65_535])
    //#    severity: SUPPRESSED
    //#    class: com.dmdirc.parser.irc.ProcessMessage
    //#    method: void process(String, String[])
    //#    basic block: bb_41
    //#    assertion: (soft) init'ed(this.myParser.stringConverter.lowercase[0..65_535])
    //#    callee: ClientInfo com/dmdirc/parser/irc/IRCProcessor.getClientInfo(String)
    //#    callee assertion: (soft) init'ed(this.myParser.stringConverter.lowercase[0..65_535])
    //#    callee file: IRCProcessor.java
    //#    callee precondition index: [11]
    //#    callee srcpos: 106
    //#    VN: this.myParser.stringConverter.lowercase[0..65_535]
    //#    Expected: {0..65_535}
    //#    Bad: {Invalid}
    //#    Attribs:  Int  Soft  Bad only invalid  Uncertain
		if (IRCParser.ALWAYS_UPDATECLIENT && iClient != null) {
			// Facilitate DMDIRC Formatter
			if (iClient.getHost().isEmpty()) {iClient.setUserBits(token[0],false); }
		}
		
		// Fire the appropriate callbacks.
		// OnChannel* Callbacks are fired if the target was a channel
		// OnPrivate* Callbacks are fired if the target was us
		// OnUnknown* Callbacks are fired if the target was neither of the above
		// Actions and CTCPs are send as PRIVMSGS
		// CTCPReplies are sent as Notices
		if (isValidChannelName(token[2])) {
			iChannel = getChannelInfo(token[2]);
    //#ProcessMessage.java:136: ?precondition failure
    //#    com/dmdirc/parser/irc/IRCProcessor.getChannelInfo: (soft) this.myParser.stringConverter.__Tag == com/dmdirc/parser/irc/IRCStringConverter
    //#    severity: SUPPRESSED
    //#    class: com.dmdirc.parser.irc.ProcessMessage
    //#    method: void process(String, String[])
    //#    basic block: bb_45
    //#    assertion: (soft) this.myParser.stringConverter.__Tag == com/dmdirc/parser/irc/IRCStringConverter
    //#    callee: ChannelInfo com/dmdirc/parser/irc/IRCProcessor.getChannelInfo(String)
    //#    callee assertion: (soft) this.myParser.stringConverter.__Tag == com/dmdirc/parser/irc/IRCStringConverter
    //#    callee file: IRCProcessor.java
    //#    callee precondition index: [8]
    //#    callee srcpos: 116
    //#    VN: this.myParser.stringConverter.__Tag
    //#    Expected: {434_432}
    //#    Bad: {0..434_431, 434_433..+Inf}
    //#    Attribs:  Int  Exp singleton  Bad overlaps +/-1000  Soft  Bad < Exp  Bad > Exp
    //#ProcessMessage.java:136: ?precondition failure
    //#    com/dmdirc/parser/irc/IRCProcessor.getChannelInfo: (soft) this.myParser.stringConverter.lowercase != null
    //#    severity: SUPPRESSED
    //#    class: com.dmdirc.parser.irc.ProcessMessage
    //#    method: void process(String, String[])
    //#    basic block: bb_45
    //#    assertion: (soft) this.myParser.stringConverter.lowercase != null
    //#    callee: ChannelInfo com/dmdirc/parser/irc/IRCProcessor.getChannelInfo(String)
    //#    callee assertion: (soft) this.myParser.stringConverter.lowercase != null
    //#    callee file: IRCProcessor.java
    //#    callee precondition index: [9]
    //#    callee srcpos: 116
    //#    VN: this.myParser.stringConverter.lowercase
    //#    Expected: Inverse{null}
    //#    Bad: Addr_Set{null}
    //#    Attribs:  Ptr  null in Bad  Soft
    //#ProcessMessage.java:136: ?precondition failure
    //#    com/dmdirc/parser/irc/IRCProcessor.getChannelInfo: (soft) init'ed(this.myParser.stringConverter.lowercase[0..65_535])
    //#    severity: SUPPRESSED
    //#    class: com.dmdirc.parser.irc.ProcessMessage
    //#    method: void process(String, String[])
    //#    basic block: bb_45
    //#    assertion: (soft) init'ed(this.myParser.stringConverter.lowercase[0..65_535])
    //#    callee: ChannelInfo com/dmdirc/parser/irc/IRCProcessor.getChannelInfo(String)
    //#    callee assertion: (soft) init'ed(this.myParser.stringConverter.lowercase[0..65_535])
    //#    callee file: IRCProcessor.java
    //#    callee precondition index: [11]
    //#    callee srcpos: 116
    //#    VN: this.myParser.stringConverter.lowercase[0..65_535]
    //#    Expected: {0..65_535}
    //#    Bad: {Invalid}
    //#    Attribs:  Int  Soft  Bad only invalid
			if (iChannel == null) {
				// callErrorInfo(new ParserError(ParserError.ERROR_WARNING, "Got message for channel ("+token[2]+") that I am not on.", myParser.getLastLine()));
				return;
			}
			if (iClient != null) { iChannelClient = iChannel.getUser(iClient); }
    //#ProcessMessage.java:141: ?use of default init
    //#    init'ed(iChannel.__Tag)
    //#    severity: SUPPRESSED
    //#    class: com.dmdirc.parser.irc.ProcessMessage
    //#    method: void process(String, String[])
    //#    basic block: bb_48
    //#    assertion: init'ed(iChannel.__Tag)
    //#    VN: iChannel.__Tag
    //#    Expected: {-Inf..+Inf}
    //#    Bad: {Invalid}
    //#    Attribs:  Int  Bad only invalid
    //#ProcessMessage.java:141: ?null dereference
    //#    com/dmdirc/parser/irc/ChannelInfo.__Descendant_Table[iChannel.__Tag] != null
    //#    severity: SUPPRESSED
    //#    class: com.dmdirc.parser.irc.ProcessMessage
    //#    method: void process(String, String[])
    //#    basic block: bb_48
    //#    assertion: com/dmdirc/parser/irc/ChannelInfo.__Descendant_Table[iChannel.__Tag] != null
    //#    VN: com/dmdirc/parser/irc/ChannelInfo.__Descendant_Table[iChannel.__Tag]
    //#    Expected: Inverse{null}
    //#    Bad: Addr_Set{null}
    //#    Attribs:  Ptr  null in Bad
			if (sParam.equalsIgnoreCase("PRIVMSG")) {
				if (!isAction) {
					if (isCTCP) {
						callChannelCTCP(iChannel, iChannelClient, sCTCP, sMessage, token[0]);
    //#ProcessMessage.java:145: ?use of default init
    //#    init'ed(sCTCP)
    //#    severity: SUPPRESSED
    //#    class: com.dmdirc.parser.irc.ProcessMessage
    //#    method: void process(String, String[])
    //#    basic block: bb_52
    //#    assertion: init'ed(sCTCP)
    //#    VN: sCTCP
    //#    Expected: Univ-VN-Set
    //#    Bad: {Invalid}
    //#    Attribs:  Ptr  Bad only invalid
					} else {
						callChannelMessage(iChannel, iChannelClient, sMessage, token[0]);
					}
				} else {
					callChannelAction(iChannel, iChannelClient, sMessage, token[0]);
				}
			} else if (sParam.equalsIgnoreCase("NOTICE")) {
				if (isCTCP) {
					callChannelCTCPReply(iChannel, iChannelClient, sCTCP, sMessage, token[0]);
    //#ProcessMessage.java:154: ?use of default init
    //#    init'ed(sCTCP)
    //#    severity: SUPPRESSED
    //#    class: com.dmdirc.parser.irc.ProcessMessage
    //#    method: void process(String, String[])
    //#    basic block: bb_57
    //#    assertion: init'ed(sCTCP)
    //#    VN: sCTCP
    //#    Expected: Univ-VN-Set
    //#    Bad: {Invalid}
    //#    Attribs:  Ptr  Bad only invalid
				} else {
					callChannelNotice(iChannel, iChannelClient, sMessage, token[0]);
				}
			}
		} else if (myParser.getIRCStringConverter().equalsIgnoreCase(token[2], myParser.getMyNickname())) {
			if (sParam.equalsIgnoreCase("PRIVMSG")) {
				if (!isAction) {
					if (isCTCP) {
						callPrivateCTCP(sCTCP, sMessage, token[0]);
    //#ProcessMessage.java:163: ?use of default init
    //#    init'ed(sCTCP)
    //#    severity: SUPPRESSED
    //#    class: com.dmdirc.parser.irc.ProcessMessage
    //#    method: void process(String, String[])
    //#    basic block: bb_63
    //#    assertion: init'ed(sCTCP)
    //#    VN: sCTCP
    //#    Expected: Univ-VN-Set
    //#    Bad: {Invalid}
    //#    Attribs:  Ptr  Bad only invalid
					} else {
						callPrivateMessage(sMessage, token[0]);
					}
				} else {
					callPrivateAction(sMessage, token[0]);
				}
			} else if (sParam.equalsIgnoreCase("NOTICE")) {
				if (isCTCP) {
					callPrivateCTCPReply(sCTCP, sMessage, token[0]);
    //#ProcessMessage.java:172: ?use of default init
    //#    init'ed(sCTCP)
    //#    severity: SUPPRESSED
    //#    class: com.dmdirc.parser.irc.ProcessMessage
    //#    method: void process(String, String[])
    //#    basic block: bb_68
    //#    assertion: init'ed(sCTCP)
    //#    VN: sCTCP
    //#    Expected: Univ-VN-Set
    //#    Bad: {Invalid}
    //#    Attribs:  Ptr  Bad only invalid
				} else {
					callPrivateNotice(sMessage, token[0]);
				}
			}
		} else {
			callDebugInfo(IRCParser.DEBUG_INFO, "Message for Other ("+token[2]+")");
			if (sParam.equalsIgnoreCase("PRIVMSG")) {
				if (!isAction) {
					if (isCTCP) {
						callUnknownCTCP(sCTCP, sMessage, token[2], token[0]);
    //#ProcessMessage.java:182: ?use of default init
    //#    init'ed(sCTCP)
    //#    severity: SUPPRESSED
    //#    class: com.dmdirc.parser.irc.ProcessMessage
    //#    method: void process(String, String[])
    //#    basic block: bb_73
    //#    assertion: init'ed(sCTCP)
    //#    VN: sCTCP
    //#    Expected: Univ-VN-Set
    //#    Bad: {Invalid}
    //#    Attribs:  Ptr  Bad only invalid
					} else {
						callUnknownMessage(sMessage, token[2], token[0]);
					}
				} else {
					callUnknownAction(sMessage, token[2], token[0]);
				}
			} else if (sParam.equalsIgnoreCase("NOTICE")) {
				if (isCTCP) {
					callUnknownCTCPReply(sCTCP, sMessage, token[2], token[0]);
    //#ProcessMessage.java:191: ?use of default init
    //#    init'ed(sCTCP)
    //#    severity: SUPPRESSED
    //#    class: com.dmdirc.parser.irc.ProcessMessage
    //#    method: void process(String, String[])
    //#    basic block: bb_78
    //#    assertion: init'ed(sCTCP)
    //#    VN: sCTCP
    //#    Expected: Univ-VN-Set
    //#    Bad: {Invalid}
    //#    Attribs:  Ptr  Bad only invalid
				} else {
					callUnknownNotice(sMessage, token[2], token[0]);
				}
			}
		}
	}
    //#ProcessMessage.java:197: end of method: void com.dmdirc.parser.irc.ProcessMessage.process(String, String[])
	
	/**
	 * Callback to all objects implementing the ChannelAction Callback.
	 *
	 * @see com.dmdirc.parser.irc.callbacks.interfaces.IChannelAction
	 * @param cChannel Channel where the action was sent to
	 * @param cChannelClient ChannelClient who sent the action (may be null if server)
	 * @param sMessage action contents
	 * @param sHost Hostname of sender (or servername)
	 * @return true if a method was called, false otherwise
	 */
	protected boolean callChannelAction(final ChannelInfo cChannel, final ChannelClientInfo cChannelClient, final String sMessage, final String sHost) {
		return getCallbackManager().getCallbackType("OnChannelAction").call(cChannel, cChannelClient, sMessage, sHost);
    //#ProcessMessage.java:210: method: bool com.dmdirc.parser.irc.ProcessMessage.callChannelAction(ChannelInfo, ChannelClientInfo, String, String)
    //#ProcessMessage.java:210: ?null dereference
    //#    getCallbackType(...) != null
    //#    severity: MEDIUM
    //#    class: com.dmdirc.parser.irc.ProcessMessage
    //#    method: bool callChannelAction(ChannelInfo, ChannelClientInfo, String, String)
    //#    basic block: Entry_BB_1
    //#    assertion: getCallbackType(...) != null
    //#    VN: getCallbackType(...)
    //#    Expected: Inverse{null}
    //#    Bad: Addr_Set{null}
    //#    Attribs:  Ptr  null in Bad
    //#ProcessMessage.java:210: ?use of default init
    //#    init'ed(getCallbackType(...).__Tag)
    //#    severity: SUPPRESSED
    //#    class: com.dmdirc.parser.irc.ProcessMessage
    //#    method: bool callChannelAction(ChannelInfo, ChannelClientInfo, String, String)
    //#    basic block: Entry_BB_1
    //#    assertion: init'ed(getCallbackType(...).__Tag)
    //#    VN: getCallbackType(...).__Tag
    //#    Expected: {-Inf..+Inf}
    //#    Bad: {Invalid}
    //#    Attribs:  Int  Bad only invalid
    //#ProcessMessage.java:210: ?null dereference
    //#    com/dmdirc/parser/irc/callbacks/CallbackObject.__Descendant_Table[getCallbackType(...).__Tag] != null
    //#    severity: SUPPRESSED
    //#    class: com.dmdirc.parser.irc.ProcessMessage
    //#    method: bool callChannelAction(ChannelInfo, ChannelClientInfo, String, String)
    //#    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
    //#ProcessMessage.java:210: Warning: call too complex - analysis skipped
    //#    call on bool call(Object[])
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.parser.irc.ProcessMessage
    //#    method: bool callChannelAction(ChannelInfo, ChannelClientInfo, String, String)
    //#    unanalyzed callee: bool call(Object[])
    //#input(bool callChannelAction(ChannelInfo, ChannelClientInfo, String, String)): "Callback not found: "._tainted
    //#input(bool callChannelAction(ChannelInfo, ChannelClientInfo, String, String)): "OnChannelAction"._tainted
    //#input(bool callChannelAction(ChannelInfo, ChannelClientInfo, String, String)): cChannel
    //#input(bool callChannelAction(ChannelInfo, ChannelClientInfo, String, String)): cChannelClient
    //#input(bool callChannelAction(ChannelInfo, ChannelClientInfo, String, String)): com/dmdirc/parser/irc/IRCParser.__Descendant_Table[com/dmdirc/parser/irc/IRCParser]
    //#input(bool callChannelAction(ChannelInfo, ChannelClientInfo, String, String)): com/dmdirc/parser/irc/IRCParser.__Descendant_Table[others]
    //#input(bool callChannelAction(ChannelInfo, ChannelClientInfo, String, String)): com/dmdirc/parser/irc/IRCParser.__Dispatch_Table.getCallbackManager()Lcom/dmdirc/parser/irc/callbacks/CallbackManager;
    //#input(bool callChannelAction(ChannelInfo, ChannelClientInfo, String, String)): com/dmdirc/parser/irc/callbacks/CallbackObject.__Descendant_Table[com/dmdirc/parser/irc/callbacks/CallbackObjectSpecific]
    //#input(bool callChannelAction(ChannelInfo, ChannelClientInfo, String, String)): com/dmdirc/parser/irc/callbacks/CallbackObject.__Descendant_Table[com/dmdirc/parser/irc/callbacks/CallbackObject]
    //#input(bool callChannelAction(ChannelInfo, ChannelClientInfo, String, String)): com/dmdirc/parser/irc/callbacks/CallbackObject.__Descendant_Table[others]
    //#input(bool callChannelAction(ChannelInfo, ChannelClientInfo, String, String)): com/dmdirc/parser/irc/callbacks/CallbackObject.__Dispatch_Table.call([Ljava/lang/Object;)Z
    //#input(bool callChannelAction(ChannelInfo, ChannelClientInfo, String, String)): com/dmdirc/parser/irc/callbacks/CallbackObjectSpecific.__Dispatch_Table.call([Ljava/lang/Object;)Z
    //#input(bool callChannelAction(ChannelInfo, ChannelClientInfo, String, String)): sHost
    //#input(bool callChannelAction(ChannelInfo, ChannelClientInfo, String, String)): sMessage
    //#input(bool callChannelAction(ChannelInfo, ChannelClientInfo, String, String)): this
    //#input(bool callChannelAction(ChannelInfo, ChannelClientInfo, String, String)): this.myParser
    //#input(bool callChannelAction(ChannelInfo, ChannelClientInfo, String, String)): this.myParser.__Tag
    //#input(bool callChannelAction(ChannelInfo, ChannelClientInfo, String, String)): this.myParser.myCallbackManager
    //#input(bool callChannelAction(ChannelInfo, ChannelClientInfo, String, String)): this.myParser.myCallbackManager.callbackHash
    //#output(bool callChannelAction(ChannelInfo, ChannelClientInfo, String, String)): return_value
    //#pre[6] (bool callChannelAction(ChannelInfo, ChannelClientInfo, String, String)): this.myParser != null
    //#pre[7] (bool callChannelAction(ChannelInfo, ChannelClientInfo, String, String)): this.myParser.__Tag == com/dmdirc/parser/irc/IRCParser
    //#pre[8] (bool callChannelAction(ChannelInfo, ChannelClientInfo, String, String)): this.myParser.myCallbackManager != null
    //#pre[9] (bool callChannelAction(ChannelInfo, ChannelClientInfo, String, String)): this.myParser.myCallbackManager.callbackHash != null
    //#presumption(bool callChannelAction(ChannelInfo, ChannelClientInfo, String, String)): getCallbackManager(...)@210 init'ed
    //#post(bool callChannelAction(ChannelInfo, ChannelClientInfo, String, String)): init'ed(return_value)
    //#unanalyzed(bool callChannelAction(ChannelInfo, ChannelClientInfo, String, String)): Effects-of-calling:getCallbackManager
    //#unanalyzed(bool callChannelAction(ChannelInfo, ChannelClientInfo, String, String)): Effects-of-calling:java.util.Map:containsKey
    //#unanalyzed(bool callChannelAction(ChannelInfo, ChannelClientInfo, String, String)): Effects-of-calling:java.lang.String:toLowerCase
    //#unanalyzed(bool callChannelAction(ChannelInfo, ChannelClientInfo, String, String)): Effects-of-calling:java.lang.StringBuilder
    //#unanalyzed(bool callChannelAction(ChannelInfo, ChannelClientInfo, String, String)): Effects-of-calling:java.lang.StringBuilder:append
    //#unanalyzed(bool callChannelAction(ChannelInfo, ChannelClientInfo, String, String)): Effects-of-calling:java.lang.StringBuilder:toString
    //#unanalyzed(bool callChannelAction(ChannelInfo, ChannelClientInfo, String, String)): Effects-of-calling:java.lang.RuntimeException
    //#unanalyzed(bool callChannelAction(ChannelInfo, ChannelClientInfo, String, String)): Effects-of-calling:java.util.Map:get
    //#ProcessMessage.java:210: end of method: bool com.dmdirc.parser.irc.ProcessMessage.callChannelAction(ChannelInfo, ChannelClientInfo, String, String)
	}
	
	/**
	 * Callback to all objects implementing the ChannelCTCP Callback.
	 *
	 * @see com.dmdirc.parser.irc.callbacks.interfaces.IChannelCTCP
	 * @param cChannel Channel where CTCP was sent
	 * @param cChannelClient ChannelClient who sent the message (may be null if server)
	 * @param sType Type of CTCP (VERSION, TIME etc)
	 * @param sMessage Additional contents
	 * @param sHost Hostname of sender (or servername)
	 * @return true if a method was called, false otherwise
	 */
	protected boolean callChannelCTCP(final ChannelInfo cChannel, final ChannelClientInfo cChannelClient, final String sType, final String sMessage, final String sHost) {
		return getCallbackManager().getCallbackType("OnChannelCTCP").call(cChannel, cChannelClient, sType, sMessage, sHost);
    //#ProcessMessage.java:225: method: bool com.dmdirc.parser.irc.ProcessMessage.callChannelCTCP(ChannelInfo, ChannelClientInfo, String, String, String)
    //#ProcessMessage.java:225: ?null dereference
    //#    getCallbackType(...) != null
    //#    severity: MEDIUM
    //#    class: com.dmdirc.parser.irc.ProcessMessage
    //#    method: bool callChannelCTCP(ChannelInfo, ChannelClientInfo, String, String, String)
    //#    basic block: Entry_BB_1
    //#    assertion: getCallbackType(...) != null
    //#    VN: getCallbackType(...)
    //#    Expected: Inverse{null}
    //#    Bad: Addr_Set{null}
    //#    Attribs:  Ptr  null in Bad
    //#ProcessMessage.java:225: ?use of default init
    //#    init'ed(getCallbackType(...).__Tag)
    //#    severity: SUPPRESSED
    //#    class: com.dmdirc.parser.irc.ProcessMessage
    //#    method: bool callChannelCTCP(ChannelInfo, ChannelClientInfo, String, String, String)
    //#    basic block: Entry_BB_1
    //#    assertion: init'ed(getCallbackType(...).__Tag)
    //#    VN: getCallbackType(...).__Tag
    //#    Expected: {-Inf..+Inf}
    //#    Bad: {Invalid}
    //#    Attribs:  Int  Bad only invalid
    //#ProcessMessage.java:225: ?null dereference
    //#    com/dmdirc/parser/irc/callbacks/CallbackObject.__Descendant_Table[getCallbackType(...).__Tag] != null
    //#    severity: SUPPRESSED
    //#    class: com.dmdirc.parser.irc.ProcessMessage
    //#    method: bool callChannelCTCP(ChannelInfo, ChannelClientInfo, String, String, String)
    //#    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
    //#ProcessMessage.java:225: Warning: call too complex - analysis skipped
    //#    call on bool call(Object[])
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.parser.irc.ProcessMessage
    //#    method: bool callChannelCTCP(ChannelInfo, ChannelClientInfo, String, String, String)
    //#    unanalyzed callee: bool call(Object[])
    //#input(bool callChannelCTCP(ChannelInfo, ChannelClientInfo, String, String, String)): "Callback not found: "._tainted
    //#input(bool callChannelCTCP(ChannelInfo, ChannelClientInfo, String, String, String)): "OnChannelCTCP"._tainted
    //#input(bool callChannelCTCP(ChannelInfo, ChannelClientInfo, String, String, String)): cChannel
    //#input(bool callChannelCTCP(ChannelInfo, ChannelClientInfo, String, String, String)): cChannelClient
    //#input(bool callChannelCTCP(ChannelInfo, ChannelClientInfo, String, String, String)): com/dmdirc/parser/irc/IRCParser.__Descendant_Table[com/dmdirc/parser/irc/IRCParser]
    //#input(bool callChannelCTCP(ChannelInfo, ChannelClientInfo, String, String, String)): com/dmdirc/parser/irc/IRCParser.__Descendant_Table[others]
    //#input(bool callChannelCTCP(ChannelInfo, ChannelClientInfo, String, String, String)): com/dmdirc/parser/irc/IRCParser.__Dispatch_Table.getCallbackManager()Lcom/dmdirc/parser/irc/callbacks/CallbackManager;
    //#input(bool callChannelCTCP(ChannelInfo, ChannelClientInfo, String, String, String)): com/dmdirc/parser/irc/callbacks/CallbackObject.__Descendant_Table[com/dmdirc/parser/irc/callbacks/CallbackObjectSpecific]
    //#input(bool callChannelCTCP(ChannelInfo, ChannelClientInfo, String, String, String)): com/dmdirc/parser/irc/callbacks/CallbackObject.__Descendant_Table[com/dmdirc/parser/irc/callbacks/CallbackObject]
    //#input(bool callChannelCTCP(ChannelInfo, ChannelClientInfo, String, String, String)): com/dmdirc/parser/irc/callbacks/CallbackObject.__Descendant_Table[others]
    //#input(bool callChannelCTCP(ChannelInfo, ChannelClientInfo, String, String, String)): com/dmdirc/parser/irc/callbacks/CallbackObject.__Dispatch_Table.call([Ljava/lang/Object;)Z
    //#input(bool callChannelCTCP(ChannelInfo, ChannelClientInfo, String, String, String)): com/dmdirc/parser/irc/callbacks/CallbackObjectSpecific.__Dispatch_Table.call([Ljava/lang/Object;)Z
    //#input(bool callChannelCTCP(ChannelInfo, ChannelClientInfo, String, String, String)): sHost
    //#input(bool callChannelCTCP(ChannelInfo, ChannelClientInfo, String, String, String)): sMessage
    //#input(bool callChannelCTCP(ChannelInfo, ChannelClientInfo, String, String, String)): sType
    //#input(bool callChannelCTCP(ChannelInfo, ChannelClientInfo, String, String, String)): this
    //#input(bool callChannelCTCP(ChannelInfo, ChannelClientInfo, String, String, String)): this.myParser
    //#input(bool callChannelCTCP(ChannelInfo, ChannelClientInfo, String, String, String)): this.myParser.__Tag
    //#input(bool callChannelCTCP(ChannelInfo, ChannelClientInfo, String, String, String)): this.myParser.myCallbackManager
    //#input(bool callChannelCTCP(ChannelInfo, ChannelClientInfo, String, String, String)): this.myParser.myCallbackManager.callbackHash
    //#output(bool callChannelCTCP(ChannelInfo, ChannelClientInfo, String, String, String)): return_value
    //#pre[7] (bool callChannelCTCP(ChannelInfo, ChannelClientInfo, String, String, String)): this.myParser != null
    //#pre[8] (bool callChannelCTCP(ChannelInfo, ChannelClientInfo, String, String, String)): this.myParser.__Tag == com/dmdirc/parser/irc/IRCParser
    //#pre[9] (bool callChannelCTCP(ChannelInfo, ChannelClientInfo, String, String, String)): this.myParser.myCallbackManager != null
    //#pre[10] (bool callChannelCTCP(ChannelInfo, ChannelClientInfo, String, String, String)): this.myParser.myCallbackManager.callbackHash != null
    //#presumption(bool callChannelCTCP(ChannelInfo, ChannelClientInfo, String, String, String)): getCallbackManager(...)@225 init'ed
    //#post(bool callChannelCTCP(ChannelInfo, ChannelClientInfo, String, String, String)): init'ed(return_value)
    //#unanalyzed(bool callChannelCTCP(ChannelInfo, ChannelClientInfo, String, String, String)): Effects-of-calling:getCallbackManager
    //#unanalyzed(bool callChannelCTCP(ChannelInfo, ChannelClientInfo, String, String, String)): Effects-of-calling:java.util.Map:containsKey
    //#unanalyzed(bool callChannelCTCP(ChannelInfo, ChannelClientInfo, String, String, String)): Effects-of-calling:java.lang.String:toLowerCase
    //#unanalyzed(bool callChannelCTCP(ChannelInfo, ChannelClientInfo, String, String, String)): Effects-of-calling:java.lang.StringBuilder
    //#unanalyzed(bool callChannelCTCP(ChannelInfo, ChannelClientInfo, String, String, String)): Effects-of-calling:java.lang.StringBuilder:append
    //#unanalyzed(bool callChannelCTCP(ChannelInfo, ChannelClientInfo, String, String, String)): Effects-of-calling:java.lang.StringBuilder:toString
    //#unanalyzed(bool callChannelCTCP(ChannelInfo, ChannelClientInfo, String, String, String)): Effects-of-calling:java.lang.RuntimeException
    //#unanalyzed(bool callChannelCTCP(ChannelInfo, ChannelClientInfo, String, String, String)): Effects-of-calling:java.util.Map:get
    //#ProcessMessage.java:225: end of method: bool com.dmdirc.parser.irc.ProcessMessage.callChannelCTCP(ChannelInfo, ChannelClientInfo, String, String, String)
	}

	/**
	 * Callback to all objects implementing the ChannelCTCPReply Callback.
	 *
	 * @see com.dmdirc.parser.irc.callbacks.interfaces.IChannelCTCPReply
	 * @param cChannel Channel where CTCPReply was sent
	 * @param cChannelClient ChannelClient who sent the message (may be null if server)
	 * @param sType Type of CTCPRReply (VERSION, TIME etc)
	 * @param sMessage Reply Contents
	 * @param sHost Hostname of sender (or servername)
	 * @return true if a method was called, false otherwise
	 */
	protected boolean callChannelCTCPReply(final ChannelInfo cChannel, final ChannelClientInfo cChannelClient, final String sType, final String sMessage, final String sHost) {
		return getCallbackManager().getCallbackType("OnChannelCTCPReply").call(cChannel, cChannelClient, sType, sMessage, sHost);
    //#ProcessMessage.java:240: method: bool com.dmdirc.parser.irc.ProcessMessage.callChannelCTCPReply(ChannelInfo, ChannelClientInfo, String, String, String)
    //#ProcessMessage.java:240: ?null dereference
    //#    getCallbackType(...) != null
    //#    severity: MEDIUM
    //#    class: com.dmdirc.parser.irc.ProcessMessage
    //#    method: bool callChannelCTCPReply(ChannelInfo, ChannelClientInfo, String, String, String)
    //#    basic block: Entry_BB_1
    //#    assertion: getCallbackType(...) != null
    //#    VN: getCallbackType(...)
    //#    Expected: Inverse{null}
    //#    Bad: Addr_Set{null}
    //#    Attribs:  Ptr  null in Bad
    //#ProcessMessage.java:240: ?use of default init
    //#    init'ed(getCallbackType(...).__Tag)
    //#    severity: SUPPRESSED
    //#    class: com.dmdirc.parser.irc.ProcessMessage
    //#    method: bool callChannelCTCPReply(ChannelInfo, ChannelClientInfo, String, String, String)
    //#    basic block: Entry_BB_1
    //#    assertion: init'ed(getCallbackType(...).__Tag)
    //#    VN: getCallbackType(...).__Tag
    //#    Expected: {-Inf..+Inf}
    //#    Bad: {Invalid}
    //#    Attribs:  Int  Bad only invalid
    //#ProcessMessage.java:240: ?null dereference
    //#    com/dmdirc/parser/irc/callbacks/CallbackObject.__Descendant_Table[getCallbackType(...).__Tag] != null
    //#    severity: SUPPRESSED
    //#    class: com.dmdirc.parser.irc.ProcessMessage
    //#    method: bool callChannelCTCPReply(ChannelInfo, ChannelClientInfo, String, String, String)
    //#    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
    //#ProcessMessage.java:240: Warning: call too complex - analysis skipped
    //#    call on bool call(Object[])
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.parser.irc.ProcessMessage
    //#    method: bool callChannelCTCPReply(ChannelInfo, ChannelClientInfo, String, String, String)
    //#    unanalyzed callee: bool call(Object[])
    //#input(bool callChannelCTCPReply(ChannelInfo, ChannelClientInfo, String, String, String)): "Callback not found: "._tainted
    //#input(bool callChannelCTCPReply(ChannelInfo, ChannelClientInfo, String, String, String)): "OnChannelCTCPReply"._tainted
    //#input(bool callChannelCTCPReply(ChannelInfo, ChannelClientInfo, String, String, String)): cChannel
    //#input(bool callChannelCTCPReply(ChannelInfo, ChannelClientInfo, String, String, String)): cChannelClient
    //#input(bool callChannelCTCPReply(ChannelInfo, ChannelClientInfo, String, String, String)): com/dmdirc/parser/irc/IRCParser.__Descendant_Table[com/dmdirc/parser/irc/IRCParser]
    //#input(bool callChannelCTCPReply(ChannelInfo, ChannelClientInfo, String, String, String)): com/dmdirc/parser/irc/IRCParser.__Descendant_Table[others]
    //#input(bool callChannelCTCPReply(ChannelInfo, ChannelClientInfo, String, String, String)): com/dmdirc/parser/irc/IRCParser.__Dispatch_Table.getCallbackManager()Lcom/dmdirc/parser/irc/callbacks/CallbackManager;
    //#input(bool callChannelCTCPReply(ChannelInfo, ChannelClientInfo, String, String, String)): com/dmdirc/parser/irc/callbacks/CallbackObject.__Descendant_Table[com/dmdirc/parser/irc/callbacks/CallbackObjectSpecific]
    //#input(bool callChannelCTCPReply(ChannelInfo, ChannelClientInfo, String, String, String)): com/dmdirc/parser/irc/callbacks/CallbackObject.__Descendant_Table[com/dmdirc/parser/irc/callbacks/CallbackObject]
    //#input(bool callChannelCTCPReply(ChannelInfo, ChannelClientInfo, String, String, String)): com/dmdirc/parser/irc/callbacks/CallbackObject.__Descendant_Table[others]
    //#input(bool callChannelCTCPReply(ChannelInfo, ChannelClientInfo, String, String, String)): com/dmdirc/parser/irc/callbacks/CallbackObject.__Dispatch_Table.call([Ljava/lang/Object;)Z
    //#input(bool callChannelCTCPReply(ChannelInfo, ChannelClientInfo, String, String, String)): com/dmdirc/parser/irc/callbacks/CallbackObjectSpecific.__Dispatch_Table.call([Ljava/lang/Object;)Z
    //#input(bool callChannelCTCPReply(ChannelInfo, ChannelClientInfo, String, String, String)): sHost
    //#input(bool callChannelCTCPReply(ChannelInfo, ChannelClientInfo, String, String, String)): sMessage
    //#input(bool callChannelCTCPReply(ChannelInfo, ChannelClientInfo, String, String, String)): sType
    //#input(bool callChannelCTCPReply(ChannelInfo, ChannelClientInfo, String, String, String)): this
    //#input(bool callChannelCTCPReply(ChannelInfo, ChannelClientInfo, String, String, String)): this.myParser
    //#input(bool callChannelCTCPReply(ChannelInfo, ChannelClientInfo, String, String, String)): this.myParser.__Tag
    //#input(bool callChannelCTCPReply(ChannelInfo, ChannelClientInfo, String, String, String)): this.myParser.myCallbackManager
    //#input(bool callChannelCTCPReply(ChannelInfo, ChannelClientInfo, String, String, String)): this.myParser.myCallbackManager.callbackHash
    //#output(bool callChannelCTCPReply(ChannelInfo, ChannelClientInfo, String, String, String)): return_value
    //#pre[7] (bool callChannelCTCPReply(ChannelInfo, ChannelClientInfo, String, String, String)): this.myParser != null
    //#pre[8] (bool callChannelCTCPReply(ChannelInfo, ChannelClientInfo, String, String, String)): this.myParser.__Tag == com/dmdirc/parser/irc/IRCParser
    //#pre[9] (bool callChannelCTCPReply(ChannelInfo, ChannelClientInfo, String, String, String)): this.myParser.myCallbackManager != null
    //#pre[10] (bool callChannelCTCPReply(ChannelInfo, ChannelClientInfo, String, String, String)): this.myParser.myCallbackManager.callbackHash != null
    //#presumption(bool callChannelCTCPReply(ChannelInfo, ChannelClientInfo, String, String, String)): getCallbackManager(...)@240 init'ed
    //#post(bool callChannelCTCPReply(ChannelInfo, ChannelClientInfo, String, String, String)): init'ed(return_value)
    //#unanalyzed(bool callChannelCTCPReply(ChannelInfo, ChannelClientInfo, String, String, String)): Effects-of-calling:getCallbackManager
    //#unanalyzed(bool callChannelCTCPReply(ChannelInfo, ChannelClientInfo, String, String, String)): Effects-of-calling:java.util.Map:containsKey
    //#unanalyzed(bool callChannelCTCPReply(ChannelInfo, ChannelClientInfo, String, String, String)): Effects-of-calling:java.lang.String:toLowerCase
    //#unanalyzed(bool callChannelCTCPReply(ChannelInfo, ChannelClientInfo, String, String, String)): Effects-of-calling:java.lang.StringBuilder
    //#unanalyzed(bool callChannelCTCPReply(ChannelInfo, ChannelClientInfo, String, String, String)): Effects-of-calling:java.lang.StringBuilder:append
    //#unanalyzed(bool callChannelCTCPReply(ChannelInfo, ChannelClientInfo, String, String, String)): Effects-of-calling:java.lang.StringBuilder:toString
    //#unanalyzed(bool callChannelCTCPReply(ChannelInfo, ChannelClientInfo, String, String, String)): Effects-of-calling:java.lang.RuntimeException
    //#unanalyzed(bool callChannelCTCPReply(ChannelInfo, ChannelClientInfo, String, String, String)): Effects-of-calling:java.util.Map:get
    //#ProcessMessage.java:240: end of method: bool com.dmdirc.parser.irc.ProcessMessage.callChannelCTCPReply(ChannelInfo, ChannelClientInfo, String, String, String)
	}
	
	/**
	 * Callback to all objects implementing the ChannelMessage Callback.
	 *
	 * @see com.dmdirc.parser.irc.callbacks.interfaces.IChannelMessage
	 * @param cChannel Channel where the message was sent to
	 * @param cChannelClient ChannelClient who sent the message (may be null if server)
	 * @param sMessage Message contents
	 * @param sHost Hostname of sender (or servername)
	 * @return true if a method was called, false otherwise
	 */
	protected boolean callChannelMessage(final ChannelInfo cChannel, final ChannelClientInfo cChannelClient, final String sMessage, final String sHost) {
		return getCallbackManager().getCallbackType("OnChannelMessage").call(cChannel, cChannelClient, sMessage, sHost);
    //#ProcessMessage.java:254: method: bool com.dmdirc.parser.irc.ProcessMessage.callChannelMessage(ChannelInfo, ChannelClientInfo, String, String)
    //#ProcessMessage.java:254: ?null dereference
    //#    getCallbackType(...) != null
    //#    severity: MEDIUM
    //#    class: com.dmdirc.parser.irc.ProcessMessage
    //#    method: bool callChannelMessage(ChannelInfo, ChannelClientInfo, String, String)
    //#    basic block: Entry_BB_1
    //#    assertion: getCallbackType(...) != null
    //#    VN: getCallbackType(...)
    //#    Expected: Inverse{null}
    //#    Bad: Addr_Set{null}
    //#    Attribs:  Ptr  null in Bad
    //#ProcessMessage.java:254: ?use of default init
    //#    init'ed(getCallbackType(...).__Tag)
    //#    severity: SUPPRESSED
    //#    class: com.dmdirc.parser.irc.ProcessMessage
    //#    method: bool callChannelMessage(ChannelInfo, ChannelClientInfo, String, String)
    //#    basic block: Entry_BB_1
    //#    assertion: init'ed(getCallbackType(...).__Tag)
    //#    VN: getCallbackType(...).__Tag
    //#    Expected: {-Inf..+Inf}
    //#    Bad: {Invalid}
    //#    Attribs:  Int  Bad only invalid
    //#ProcessMessage.java:254: ?null dereference
    //#    com/dmdirc/parser/irc/callbacks/CallbackObject.__Descendant_Table[getCallbackType(...).__Tag] != null
    //#    severity: SUPPRESSED
    //#    class: com.dmdirc.parser.irc.ProcessMessage
    //#    method: bool callChannelMessage(ChannelInfo, ChannelClientInfo, String, String)
    //#    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
    //#ProcessMessage.java:254: Warning: call too complex - analysis skipped
    //#    call on bool call(Object[])
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.parser.irc.ProcessMessage
    //#    method: bool callChannelMessage(ChannelInfo, ChannelClientInfo, String, String)
    //#    unanalyzed callee: bool call(Object[])
    //#input(bool callChannelMessage(ChannelInfo, ChannelClientInfo, String, String)): "Callback not found: "._tainted
    //#input(bool callChannelMessage(ChannelInfo, ChannelClientInfo, String, String)): "OnChannelMessage"._tainted
    //#input(bool callChannelMessage(ChannelInfo, ChannelClientInfo, String, String)): cChannel
    //#input(bool callChannelMessage(ChannelInfo, ChannelClientInfo, String, String)): cChannelClient
    //#input(bool callChannelMessage(ChannelInfo, ChannelClientInfo, String, String)): com/dmdirc/parser/irc/IRCParser.__Descendant_Table[com/dmdirc/parser/irc/IRCParser]
    //#input(bool callChannelMessage(ChannelInfo, ChannelClientInfo, String, String)): com/dmdirc/parser/irc/IRCParser.__Descendant_Table[others]
    //#input(bool callChannelMessage(ChannelInfo, ChannelClientInfo, String, String)): com/dmdirc/parser/irc/IRCParser.__Dispatch_Table.getCallbackManager()Lcom/dmdirc/parser/irc/callbacks/CallbackManager;
    //#input(bool callChannelMessage(ChannelInfo, ChannelClientInfo, String, String)): com/dmdirc/parser/irc/callbacks/CallbackObject.__Descendant_Table[com/dmdirc/parser/irc/callbacks/CallbackObjectSpecific]
    //#input(bool callChannelMessage(ChannelInfo, ChannelClientInfo, String, String)): com/dmdirc/parser/irc/callbacks/CallbackObject.__Descendant_Table[com/dmdirc/parser/irc/callbacks/CallbackObject]
    //#input(bool callChannelMessage(ChannelInfo, ChannelClientInfo, String, String)): com/dmdirc/parser/irc/callbacks/CallbackObject.__Descendant_Table[others]
    //#input(bool callChannelMessage(ChannelInfo, ChannelClientInfo, String, String)): com/dmdirc/parser/irc/callbacks/CallbackObject.__Dispatch_Table.call([Ljava/lang/Object;)Z
    //#input(bool callChannelMessage(ChannelInfo, ChannelClientInfo, String, String)): com/dmdirc/parser/irc/callbacks/CallbackObjectSpecific.__Dispatch_Table.call([Ljava/lang/Object;)Z
    //#input(bool callChannelMessage(ChannelInfo, ChannelClientInfo, String, String)): sHost
    //#input(bool callChannelMessage(ChannelInfo, ChannelClientInfo, String, String)): sMessage
    //#input(bool callChannelMessage(ChannelInfo, ChannelClientInfo, String, String)): this
    //#input(bool callChannelMessage(ChannelInfo, ChannelClientInfo, String, String)): this.myParser
    //#input(bool callChannelMessage(ChannelInfo, ChannelClientInfo, String, String)): this.myParser.__Tag
    //#input(bool callChannelMessage(ChannelInfo, ChannelClientInfo, String, String)): this.myParser.myCallbackManager
    //#input(bool callChannelMessage(ChannelInfo, ChannelClientInfo, String, String)): this.myParser.myCallbackManager.callbackHash
    //#output(bool callChannelMessage(ChannelInfo, ChannelClientInfo, String, String)): return_value
    //#pre[6] (bool callChannelMessage(ChannelInfo, ChannelClientInfo, String, String)): this.myParser != null
    //#pre[7] (bool callChannelMessage(ChannelInfo, ChannelClientInfo, String, String)): this.myParser.__Tag == com/dmdirc/parser/irc/IRCParser
    //#pre[8] (bool callChannelMessage(ChannelInfo, ChannelClientInfo, String, String)): this.myParser.myCallbackManager != null
    //#pre[9] (bool callChannelMessage(ChannelInfo, ChannelClientInfo, String, String)): this.myParser.myCallbackManager.callbackHash != null
    //#presumption(bool callChannelMessage(ChannelInfo, ChannelClientInfo, String, String)): getCallbackManager(...)@254 init'ed
    //#post(bool callChannelMessage(ChannelInfo, ChannelClientInfo, String, String)): init'ed(return_value)
    //#unanalyzed(bool callChannelMessage(ChannelInfo, ChannelClientInfo, String, String)): Effects-of-calling:getCallbackManager
    //#unanalyzed(bool callChannelMessage(ChannelInfo, ChannelClientInfo, String, String)): Effects-of-calling:java.util.Map:containsKey
    //#unanalyzed(bool callChannelMessage(ChannelInfo, ChannelClientInfo, String, String)): Effects-of-calling:java.lang.String:toLowerCase
    //#unanalyzed(bool callChannelMessage(ChannelInfo, ChannelClientInfo, String, String)): Effects-of-calling:java.lang.StringBuilder
    //#unanalyzed(bool callChannelMessage(ChannelInfo, ChannelClientInfo, String, String)): Effects-of-calling:java.lang.StringBuilder:append
    //#unanalyzed(bool callChannelMessage(ChannelInfo, ChannelClientInfo, String, String)): Effects-of-calling:java.lang.StringBuilder:toString
    //#unanalyzed(bool callChannelMessage(ChannelInfo, ChannelClientInfo, String, String)): Effects-of-calling:java.lang.RuntimeException
    //#unanalyzed(bool callChannelMessage(ChannelInfo, ChannelClientInfo, String, String)): Effects-of-calling:java.util.Map:get
    //#ProcessMessage.java:254: end of method: bool com.dmdirc.parser.irc.ProcessMessage.callChannelMessage(ChannelInfo, ChannelClientInfo, String, String)
	}
	
	/**
	 * Callback to all objects implementing the ChannelNotice Callback.
	 *
	 * @see com.dmdirc.parser.irc.callbacks.interfaces.IChannelNotice
	 * @param cChannel Channel where the notice was sent to
	 * @param cChannelClient ChannelClient who sent the notice (may be null if server)
	 * @param sMessage notice contents
	 * @param sHost Hostname of sender (or servername)
	 * @return true if a method was called, false otherwise
	 */
	protected boolean callChannelNotice(final ChannelInfo cChannel, final ChannelClientInfo cChannelClient, final String sMessage, final String sHost) {
		return getCallbackManager().getCallbackType("OnChannelNotice").call(cChannel, cChannelClient, sMessage, sHost);
    //#ProcessMessage.java:268: method: bool com.dmdirc.parser.irc.ProcessMessage.callChannelNotice(ChannelInfo, ChannelClientInfo, String, String)
    //#ProcessMessage.java:268: ?null dereference
    //#    getCallbackType(...) != null
    //#    severity: MEDIUM
    //#    class: com.dmdirc.parser.irc.ProcessMessage
    //#    method: bool callChannelNotice(ChannelInfo, ChannelClientInfo, String, String)
    //#    basic block: Entry_BB_1
    //#    assertion: getCallbackType(...) != null
    //#    VN: getCallbackType(...)
    //#    Expected: Inverse{null}
    //#    Bad: Addr_Set{null}
    //#    Attribs:  Ptr  null in Bad
    //#ProcessMessage.java:268: ?use of default init
    //#    init'ed(getCallbackType(...).__Tag)
    //#    severity: SUPPRESSED
    //#    class: com.dmdirc.parser.irc.ProcessMessage
    //#    method: bool callChannelNotice(ChannelInfo, ChannelClientInfo, String, String)
    //#    basic block: Entry_BB_1
    //#    assertion: init'ed(getCallbackType(...).__Tag)
    //#    VN: getCallbackType(...).__Tag
    //#    Expected: {-Inf..+Inf}
    //#    Bad: {Invalid}
    //#    Attribs:  Int  Bad only invalid
    //#ProcessMessage.java:268: ?null dereference
    //#    com/dmdirc/parser/irc/callbacks/CallbackObject.__Descendant_Table[getCallbackType(...).__Tag] != null
    //#    severity: SUPPRESSED
    //#    class: com.dmdirc.parser.irc.ProcessMessage
    //#    method: bool callChannelNotice(ChannelInfo, ChannelClientInfo, String, String)
    //#    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
    //#ProcessMessage.java:268: Warning: call too complex - analysis skipped
    //#    call on bool call(Object[])
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.parser.irc.ProcessMessage
    //#    method: bool callChannelNotice(ChannelInfo, ChannelClientInfo, String, String)
    //#    unanalyzed callee: bool call(Object[])
    //#input(bool callChannelNotice(ChannelInfo, ChannelClientInfo, String, String)): "Callback not found: "._tainted
    //#input(bool callChannelNotice(ChannelInfo, ChannelClientInfo, String, String)): "OnChannelNotice"._tainted
    //#input(bool callChannelNotice(ChannelInfo, ChannelClientInfo, String, String)): cChannel
    //#input(bool callChannelNotice(ChannelInfo, ChannelClientInfo, String, String)): cChannelClient
    //#input(bool callChannelNotice(ChannelInfo, ChannelClientInfo, String, String)): com/dmdirc/parser/irc/IRCParser.__Descendant_Table[com/dmdirc/parser/irc/IRCParser]
    //#input(bool callChannelNotice(ChannelInfo, ChannelClientInfo, String, String)): com/dmdirc/parser/irc/IRCParser.__Descendant_Table[others]
    //#input(bool callChannelNotice(ChannelInfo, ChannelClientInfo, String, String)): com/dmdirc/parser/irc/IRCParser.__Dispatch_Table.getCallbackManager()Lcom/dmdirc/parser/irc/callbacks/CallbackManager;
    //#input(bool callChannelNotice(ChannelInfo, ChannelClientInfo, String, String)): com/dmdirc/parser/irc/callbacks/CallbackObject.__Descendant_Table[com/dmdirc/parser/irc/callbacks/CallbackObjectSpecific]
    //#input(bool callChannelNotice(ChannelInfo, ChannelClientInfo, String, String)): com/dmdirc/parser/irc/callbacks/CallbackObject.__Descendant_Table[com/dmdirc/parser/irc/callbacks/CallbackObject]
    //#input(bool callChannelNotice(ChannelInfo, ChannelClientInfo, String, String)): com/dmdirc/parser/irc/callbacks/CallbackObject.__Descendant_Table[others]
    //#input(bool callChannelNotice(ChannelInfo, ChannelClientInfo, String, String)): com/dmdirc/parser/irc/callbacks/CallbackObject.__Dispatch_Table.call([Ljava/lang/Object;)Z
    //#input(bool callChannelNotice(ChannelInfo, ChannelClientInfo, String, String)): com/dmdirc/parser/irc/callbacks/CallbackObjectSpecific.__Dispatch_Table.call([Ljava/lang/Object;)Z
    //#input(bool callChannelNotice(ChannelInfo, ChannelClientInfo, String, String)): sHost
    //#input(bool callChannelNotice(ChannelInfo, ChannelClientInfo, String, String)): sMessage
    //#input(bool callChannelNotice(ChannelInfo, ChannelClientInfo, String, String)): this
    //#input(bool callChannelNotice(ChannelInfo, ChannelClientInfo, String, String)): this.myParser
    //#input(bool callChannelNotice(ChannelInfo, ChannelClientInfo, String, String)): this.myParser.__Tag
    //#input(bool callChannelNotice(ChannelInfo, ChannelClientInfo, String, String)): this.myParser.myCallbackManager
    //#input(bool callChannelNotice(ChannelInfo, ChannelClientInfo, String, String)): this.myParser.myCallbackManager.callbackHash
    //#output(bool callChannelNotice(ChannelInfo, ChannelClientInfo, String, String)): return_value
    //#pre[6] (bool callChannelNotice(ChannelInfo, ChannelClientInfo, String, String)): this.myParser != null
    //#pre[7] (bool callChannelNotice(ChannelInfo, ChannelClientInfo, String, String)): this.myParser.__Tag == com/dmdirc/parser/irc/IRCParser
    //#pre[8] (bool callChannelNotice(ChannelInfo, ChannelClientInfo, String, String)): this.myParser.myCallbackManager != null
    //#pre[9] (bool callChannelNotice(ChannelInfo, ChannelClientInfo, String, String)): this.myParser.myCallbackManager.callbackHash != null
    //#presumption(bool callChannelNotice(ChannelInfo, ChannelClientInfo, String, String)): getCallbackManager(...)@268 init'ed
    //#post(bool callChannelNotice(ChannelInfo, ChannelClientInfo, String, String)): init'ed(return_value)
    //#unanalyzed(bool callChannelNotice(ChannelInfo, ChannelClientInfo, String, String)): Effects-of-calling:getCallbackManager
    //#unanalyzed(bool callChannelNotice(ChannelInfo, ChannelClientInfo, String, String)): Effects-of-calling:java.util.Map:containsKey
    //#unanalyzed(bool callChannelNotice(ChannelInfo, ChannelClientInfo, String, String)): Effects-of-calling:java.lang.String:toLowerCase
    //#unanalyzed(bool callChannelNotice(ChannelInfo, ChannelClientInfo, String, String)): Effects-of-calling:java.lang.StringBuilder
    //#unanalyzed(bool callChannelNotice(ChannelInfo, ChannelClientInfo, String, String)): Effects-of-calling:java.lang.StringBuilder:append
    //#unanalyzed(bool callChannelNotice(ChannelInfo, ChannelClientInfo, String, String)): Effects-of-calling:java.lang.StringBuilder:toString
    //#unanalyzed(bool callChannelNotice(ChannelInfo, ChannelClientInfo, String, String)): Effects-of-calling:java.lang.RuntimeException
    //#unanalyzed(bool callChannelNotice(ChannelInfo, ChannelClientInfo, String, String)): Effects-of-calling:java.util.Map:get
    //#ProcessMessage.java:268: end of method: bool com.dmdirc.parser.irc.ProcessMessage.callChannelNotice(ChannelInfo, ChannelClientInfo, String, String)
	}
	
	/**
	 * Callback to all objects implementing the PrivateAction Callback.
	 *
	 * @see com.dmdirc.parser.irc.callbacks.interfaces.IPrivateAction
	 * @param sMessage action contents
	 * @param sHost Hostname of sender (or servername)
	 * @return true if a method was called, false otherwise
	 */
	protected boolean callPrivateAction(final String sMessage, final String sHost) {
		return getCallbackManager().getCallbackType("OnPrivateAction").call(sMessage, sHost);
    //#ProcessMessage.java:280: method: bool com.dmdirc.parser.irc.ProcessMessage.callPrivateAction(String, String)
    //#ProcessMessage.java:280: ?null dereference
    //#    getCallbackType(...) != null
    //#    severity: MEDIUM
    //#    class: com.dmdirc.parser.irc.ProcessMessage
    //#    method: bool callPrivateAction(String, String)
    //#    basic block: Entry_BB_1
    //#    assertion: getCallbackType(...) != null
    //#    VN: getCallbackType(...)
    //#    Expected: Inverse{null}
    //#    Bad: Addr_Set{null}
    //#    Attribs:  Ptr  null in Bad
    //#ProcessMessage.java:280: ?use of default init
    //#    init'ed(getCallbackType(...).__Tag)
    //#    severity: SUPPRESSED
    //#    class: com.dmdirc.parser.irc.ProcessMessage
    //#    method: bool callPrivateAction(String, String)
    //#    basic block: Entry_BB_1
    //#    assertion: init'ed(getCallbackType(...).__Tag)
    //#    VN: getCallbackType(...).__Tag
    //#    Expected: {-Inf..+Inf}
    //#    Bad: {Invalid}
    //#    Attribs:  Int  Bad only invalid
    //#ProcessMessage.java:280: ?null dereference
    //#    com/dmdirc/parser/irc/callbacks/CallbackObject.__Descendant_Table[getCallbackType(...).__Tag] != null
    //#    severity: SUPPRESSED
    //#    class: com.dmdirc.parser.irc.ProcessMessage
    //#    method: bool callPrivateAction(String, String)
    //#    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
    //#ProcessMessage.java:280: Warning: call too complex - analysis skipped
    //#    call on bool call(Object[])
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.parser.irc.ProcessMessage
    //#    method: bool callPrivateAction(String, String)
    //#    unanalyzed callee: bool call(Object[])
    //#input(bool callPrivateAction(String, String)): "Callback not found: "._tainted
    //#input(bool callPrivateAction(String, String)): "OnPrivateAction"._tainted
    //#input(bool callPrivateAction(String, String)): com/dmdirc/parser/irc/IRCParser.__Descendant_Table[com/dmdirc/parser/irc/IRCParser]
    //#input(bool callPrivateAction(String, String)): com/dmdirc/parser/irc/IRCParser.__Descendant_Table[others]
    //#input(bool callPrivateAction(String, String)): com/dmdirc/parser/irc/IRCParser.__Dispatch_Table.getCallbackManager()Lcom/dmdirc/parser/irc/callbacks/CallbackManager;
    //#input(bool callPrivateAction(String, String)): com/dmdirc/parser/irc/callbacks/CallbackObject.__Descendant_Table[com/dmdirc/parser/irc/callbacks/CallbackObjectSpecific]
    //#input(bool callPrivateAction(String, String)): com/dmdirc/parser/irc/callbacks/CallbackObject.__Descendant_Table[com/dmdirc/parser/irc/callbacks/CallbackObject]
    //#input(bool callPrivateAction(String, String)): com/dmdirc/parser/irc/callbacks/CallbackObject.__Descendant_Table[others]
    //#input(bool callPrivateAction(String, String)): com/dmdirc/parser/irc/callbacks/CallbackObject.__Dispatch_Table.call([Ljava/lang/Object;)Z
    //#input(bool callPrivateAction(String, String)): com/dmdirc/parser/irc/callbacks/CallbackObjectSpecific.__Dispatch_Table.call([Ljava/lang/Object;)Z
    //#input(bool callPrivateAction(String, String)): sHost
    //#input(bool callPrivateAction(String, String)): sMessage
    //#input(bool callPrivateAction(String, String)): this
    //#input(bool callPrivateAction(String, String)): this.myParser
    //#input(bool callPrivateAction(String, String)): this.myParser.__Tag
    //#input(bool callPrivateAction(String, String)): this.myParser.myCallbackManager
    //#input(bool callPrivateAction(String, String)): this.myParser.myCallbackManager.callbackHash
    //#output(bool callPrivateAction(String, String)): return_value
    //#pre[4] (bool callPrivateAction(String, String)): this.myParser != null
    //#pre[5] (bool callPrivateAction(String, String)): this.myParser.__Tag == com/dmdirc/parser/irc/IRCParser
    //#pre[6] (bool callPrivateAction(String, String)): this.myParser.myCallbackManager != null
    //#pre[7] (bool callPrivateAction(String, String)): this.myParser.myCallbackManager.callbackHash != null
    //#presumption(bool callPrivateAction(String, String)): getCallbackManager(...)@280 init'ed
    //#post(bool callPrivateAction(String, String)): init'ed(return_value)
    //#unanalyzed(bool callPrivateAction(String, String)): Effects-of-calling:getCallbackManager
    //#unanalyzed(bool callPrivateAction(String, String)): Effects-of-calling:java.util.Map:containsKey
    //#unanalyzed(bool callPrivateAction(String, String)): Effects-of-calling:java.lang.String:toLowerCase
    //#unanalyzed(bool callPrivateAction(String, String)): Effects-of-calling:java.lang.StringBuilder
    //#unanalyzed(bool callPrivateAction(String, String)): Effects-of-calling:java.lang.StringBuilder:append
    //#unanalyzed(bool callPrivateAction(String, String)): Effects-of-calling:java.lang.StringBuilder:toString
    //#unanalyzed(bool callPrivateAction(String, String)): Effects-of-calling:java.lang.RuntimeException
    //#unanalyzed(bool callPrivateAction(String, String)): Effects-of-calling:java.util.Map:get
    //#ProcessMessage.java:280: end of method: bool com.dmdirc.parser.irc.ProcessMessage.callPrivateAction(String, String)
	}

	/**
	 * Callback to all objects implementing the PrivateCTCP Callback.
	 *
	 * @see com.dmdirc.parser.irc.callbacks.interfaces.IPrivateCTCP
	 * @param sType Type of CTCP (VERSION, TIME etc)
	 * @param sMessage Additional contents
	 * @param sHost Hostname of sender (or servername)
	 * @return true if a method was called, false otherwise
	 */
	protected boolean callPrivateCTCP(final String sType, final String sMessage, final String sHost) {
		return getCallbackManager().getCallbackType("OnPrivateCTCP").call(sType, sMessage, sHost);
    //#ProcessMessage.java:293: method: bool com.dmdirc.parser.irc.ProcessMessage.callPrivateCTCP(String, String, String)
    //#ProcessMessage.java:293: ?null dereference
    //#    getCallbackType(...) != null
    //#    severity: MEDIUM
    //#    class: com.dmdirc.parser.irc.ProcessMessage
    //#    method: bool callPrivateCTCP(String, String, String)
    //#    basic block: Entry_BB_1
    //#    assertion: getCallbackType(...) != null
    //#    VN: getCallbackType(...)
    //#    Expected: Inverse{null}
    //#    Bad: Addr_Set{null}
    //#    Attribs:  Ptr  null in Bad
    //#ProcessMessage.java:293: ?use of default init
    //#    init'ed(getCallbackType(...).__Tag)
    //#    severity: SUPPRESSED
    //#    class: com.dmdirc.parser.irc.ProcessMessage
    //#    method: bool callPrivateCTCP(String, String, String)
    //#    basic block: Entry_BB_1
    //#    assertion: init'ed(getCallbackType(...).__Tag)
    //#    VN: getCallbackType(...).__Tag
    //#    Expected: {-Inf..+Inf}
    //#    Bad: {Invalid}
    //#    Attribs:  Int  Bad only invalid
    //#ProcessMessage.java:293: ?null dereference
    //#    com/dmdirc/parser/irc/callbacks/CallbackObject.__Descendant_Table[getCallbackType(...).__Tag] != null
    //#    severity: SUPPRESSED
    //#    class: com.dmdirc.parser.irc.ProcessMessage
    //#    method: bool callPrivateCTCP(String, String, String)
    //#    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
    //#ProcessMessage.java:293: Warning: call too complex - analysis skipped
    //#    call on bool call(Object[])
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.parser.irc.ProcessMessage
    //#    method: bool callPrivateCTCP(String, String, String)
    //#    unanalyzed callee: bool call(Object[])
    //#input(bool callPrivateCTCP(String, String, String)): "Callback not found: "._tainted
    //#input(bool callPrivateCTCP(String, String, String)): "OnPrivateCTCP"._tainted
    //#input(bool callPrivateCTCP(String, String, String)): com/dmdirc/parser/irc/IRCParser.__Descendant_Table[com/dmdirc/parser/irc/IRCParser]
    //#input(bool callPrivateCTCP(String, String, String)): com/dmdirc/parser/irc/IRCParser.__Descendant_Table[others]
    //#input(bool callPrivateCTCP(String, String, String)): com/dmdirc/parser/irc/IRCParser.__Dispatch_Table.getCallbackManager()Lcom/dmdirc/parser/irc/callbacks/CallbackManager;
    //#input(bool callPrivateCTCP(String, String, String)): com/dmdirc/parser/irc/callbacks/CallbackObject.__Descendant_Table[com/dmdirc/parser/irc/callbacks/CallbackObjectSpecific]
    //#input(bool callPrivateCTCP(String, String, String)): com/dmdirc/parser/irc/callbacks/CallbackObject.__Descendant_Table[com/dmdirc/parser/irc/callbacks/CallbackObject]
    //#input(bool callPrivateCTCP(String, String, String)): com/dmdirc/parser/irc/callbacks/CallbackObject.__Descendant_Table[others]
    //#input(bool callPrivateCTCP(String, String, String)): com/dmdirc/parser/irc/callbacks/CallbackObject.__Dispatch_Table.call([Ljava/lang/Object;)Z
    //#input(bool callPrivateCTCP(String, String, String)): com/dmdirc/parser/irc/callbacks/CallbackObjectSpecific.__Dispatch_Table.call([Ljava/lang/Object;)Z
    //#input(bool callPrivateCTCP(String, String, String)): sHost
    //#input(bool callPrivateCTCP(String, String, String)): sMessage
    //#input(bool callPrivateCTCP(String, String, String)): sType
    //#input(bool callPrivateCTCP(String, String, String)): this
    //#input(bool callPrivateCTCP(String, String, String)): this.myParser
    //#input(bool callPrivateCTCP(String, String, String)): this.myParser.__Tag
    //#input(bool callPrivateCTCP(String, String, String)): this.myParser.myCallbackManager
    //#input(bool callPrivateCTCP(String, String, String)): this.myParser.myCallbackManager.callbackHash
    //#output(bool callPrivateCTCP(String, String, String)): return_value
    //#pre[5] (bool callPrivateCTCP(String, String, String)): this.myParser != null
    //#pre[6] (bool callPrivateCTCP(String, String, String)): this.myParser.__Tag == com/dmdirc/parser/irc/IRCParser
    //#pre[7] (bool callPrivateCTCP(String, String, String)): this.myParser.myCallbackManager != null
    //#pre[8] (bool callPrivateCTCP(String, String, String)): this.myParser.myCallbackManager.callbackHash != null
    //#presumption(bool callPrivateCTCP(String, String, String)): getCallbackManager(...)@293 init'ed
    //#post(bool callPrivateCTCP(String, String, String)): init'ed(return_value)
    //#unanalyzed(bool callPrivateCTCP(String, String, String)): Effects-of-calling:getCallbackManager
    //#unanalyzed(bool callPrivateCTCP(String, String, String)): Effects-of-calling:java.util.Map:containsKey
    //#unanalyzed(bool callPrivateCTCP(String, String, String)): Effects-of-calling:java.lang.String:toLowerCase
    //#unanalyzed(bool callPrivateCTCP(String, String, String)): Effects-of-calling:java.lang.StringBuilder
    //#unanalyzed(bool callPrivateCTCP(String, String, String)): Effects-of-calling:java.lang.StringBuilder:append
    //#unanalyzed(bool callPrivateCTCP(String, String, String)): Effects-of-calling:java.lang.StringBuilder:toString
    //#unanalyzed(bool callPrivateCTCP(String, String, String)): Effects-of-calling:java.lang.RuntimeException
    //#unanalyzed(bool callPrivateCTCP(String, String, String)): Effects-of-calling:java.util.Map:get
    //#ProcessMessage.java:293: end of method: bool com.dmdirc.parser.irc.ProcessMessage.callPrivateCTCP(String, String, String)
	}

	/**
	 * Callback to all objects implementing the PrivateCTCPReply Callback.
	 *
	 * @see com.dmdirc.parser.irc.callbacks.interfaces.IPrivateCTCPReply
	 * @param sType Type of CTCPRReply (VERSION, TIME etc)
	 * @param sMessage Reply Contents
	 * @param sHost Hostname of sender (or servername)
	 * @return true if a method was called, false otherwise
	 */
	protected boolean callPrivateCTCPReply(final String sType, final String sMessage, final String sHost) {
		return getCallbackManager().getCallbackType("OnPrivateCTCPReply").call(sType, sMessage, sHost);
    //#ProcessMessage.java:306: method: bool com.dmdirc.parser.irc.ProcessMessage.callPrivateCTCPReply(String, String, String)
    //#ProcessMessage.java:306: ?null dereference
    //#    getCallbackType(...) != null
    //#    severity: MEDIUM
    //#    class: com.dmdirc.parser.irc.ProcessMessage
    //#    method: bool callPrivateCTCPReply(String, String, String)
    //#    basic block: Entry_BB_1
    //#    assertion: getCallbackType(...) != null
    //#    VN: getCallbackType(...)
    //#    Expected: Inverse{null}
    //#    Bad: Addr_Set{null}
    //#    Attribs:  Ptr  null in Bad
    //#ProcessMessage.java:306: ?use of default init
    //#    init'ed(getCallbackType(...).__Tag)
    //#    severity: SUPPRESSED
    //#    class: com.dmdirc.parser.irc.ProcessMessage
    //#    method: bool callPrivateCTCPReply(String, String, String)
    //#    basic block: Entry_BB_1
    //#    assertion: init'ed(getCallbackType(...).__Tag)
    //#    VN: getCallbackType(...).__Tag
    //#    Expected: {-Inf..+Inf}
    //#    Bad: {Invalid}
    //#    Attribs:  Int  Bad only invalid
    //#ProcessMessage.java:306: ?null dereference
    //#    com/dmdirc/parser/irc/callbacks/CallbackObject.__Descendant_Table[getCallbackType(...).__Tag] != null
    //#    severity: SUPPRESSED
    //#    class: com.dmdirc.parser.irc.ProcessMessage
    //#    method: bool callPrivateCTCPReply(String, String, String)
    //#    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
    //#ProcessMessage.java:306: Warning: call too complex - analysis skipped
    //#    call on bool call(Object[])
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.parser.irc.ProcessMessage
    //#    method: bool callPrivateCTCPReply(String, String, String)
    //#    unanalyzed callee: bool call(Object[])
    //#input(bool callPrivateCTCPReply(String, String, String)): "Callback not found: "._tainted
    //#input(bool callPrivateCTCPReply(String, String, String)): "OnPrivateCTCPReply"._tainted
    //#input(bool callPrivateCTCPReply(String, String, String)): com/dmdirc/parser/irc/IRCParser.__Descendant_Table[com/dmdirc/parser/irc/IRCParser]
    //#input(bool callPrivateCTCPReply(String, String, String)): com/dmdirc/parser/irc/IRCParser.__Descendant_Table[others]
    //#input(bool callPrivateCTCPReply(String, String, String)): com/dmdirc/parser/irc/IRCParser.__Dispatch_Table.getCallbackManager()Lcom/dmdirc/parser/irc/callbacks/CallbackManager;
    //#input(bool callPrivateCTCPReply(String, String, String)): com/dmdirc/parser/irc/callbacks/CallbackObject.__Descendant_Table[com/dmdirc/parser/irc/callbacks/CallbackObjectSpecific]
    //#input(bool callPrivateCTCPReply(String, String, String)): com/dmdirc/parser/irc/callbacks/CallbackObject.__Descendant_Table[com/dmdirc/parser/irc/callbacks/CallbackObject]
    //#input(bool callPrivateCTCPReply(String, String, String)): com/dmdirc/parser/irc/callbacks/CallbackObject.__Descendant_Table[others]
    //#input(bool callPrivateCTCPReply(String, String, String)): com/dmdirc/parser/irc/callbacks/CallbackObject.__Dispatch_Table.call([Ljava/lang/Object;)Z
    //#input(bool callPrivateCTCPReply(String, String, String)): com/dmdirc/parser/irc/callbacks/CallbackObjectSpecific.__Dispatch_Table.call([Ljava/lang/Object;)Z
    //#input(bool callPrivateCTCPReply(String, String, String)): sHost
    //#input(bool callPrivateCTCPReply(String, String, String)): sMessage
    //#input(bool callPrivateCTCPReply(String, String, String)): sType
    //#input(bool callPrivateCTCPReply(String, String, String)): this
    //#input(bool callPrivateCTCPReply(String, String, String)): this.myParser
    //#input(bool callPrivateCTCPReply(String, String, String)): this.myParser.__Tag
    //#input(bool callPrivateCTCPReply(String, String, String)): this.myParser.myCallbackManager
    //#input(bool callPrivateCTCPReply(String, String, String)): this.myParser.myCallbackManager.callbackHash
    //#output(bool callPrivateCTCPReply(String, String, String)): return_value
    //#pre[5] (bool callPrivateCTCPReply(String, String, String)): this.myParser != null
    //#pre[6] (bool callPrivateCTCPReply(String, String, String)): this.myParser.__Tag == com/dmdirc/parser/irc/IRCParser
    //#pre[7] (bool callPrivateCTCPReply(String, String, String)): this.myParser.myCallbackManager != null
    //#pre[8] (bool callPrivateCTCPReply(String, String, String)): this.myParser.myCallbackManager.callbackHash != null
    //#presumption(bool callPrivateCTCPReply(String, String, String)): getCallbackManager(...)@306 init'ed
    //#post(bool callPrivateCTCPReply(String, String, String)): init'ed(return_value)
    //#unanalyzed(bool callPrivateCTCPReply(String, String, String)): Effects-of-calling:getCallbackManager
    //#unanalyzed(bool callPrivateCTCPReply(String, String, String)): Effects-of-calling:java.util.Map:containsKey
    //#unanalyzed(bool callPrivateCTCPReply(String, String, String)): Effects-of-calling:java.lang.String:toLowerCase
    //#unanalyzed(bool callPrivateCTCPReply(String, String, String)): Effects-of-calling:java.lang.StringBuilder
    //#unanalyzed(bool callPrivateCTCPReply(String, String, String)): Effects-of-calling:java.lang.StringBuilder:append
    //#unanalyzed(bool callPrivateCTCPReply(String, String, String)): Effects-of-calling:java.lang.StringBuilder:toString
    //#unanalyzed(bool callPrivateCTCPReply(String, String, String)): Effects-of-calling:java.lang.RuntimeException
    //#unanalyzed(bool callPrivateCTCPReply(String, String, String)): Effects-of-calling:java.util.Map:get
    //#ProcessMessage.java:306: end of method: bool com.dmdirc.parser.irc.ProcessMessage.callPrivateCTCPReply(String, String, String)
	}

	/**
	 * Callback to all objects implementing the PrivateMessage Callback.
	 *
	 * @see com.dmdirc.parser.irc.callbacks.interfaces.IPrivateMessage
	 * @param sMessage Message contents
	 * @param sHost Hostname of sender (or servername)
	 * @return true if a method was called, false otherwise
	 */
	protected boolean callPrivateMessage(final String sMessage, final String sHost) {
		return getCallbackManager().getCallbackType("OnPrivateMessage").call(sMessage, sHost);
    //#ProcessMessage.java:318: method: bool com.dmdirc.parser.irc.ProcessMessage.callPrivateMessage(String, String)
    //#ProcessMessage.java:318: ?null dereference
    //#    getCallbackType(...) != null
    //#    severity: MEDIUM
    //#    class: com.dmdirc.parser.irc.ProcessMessage
    //#    method: bool callPrivateMessage(String, String)
    //#    basic block: Entry_BB_1
    //#    assertion: getCallbackType(...) != null
    //#    VN: getCallbackType(...)
    //#    Expected: Inverse{null}
    //#    Bad: Addr_Set{null}
    //#    Attribs:  Ptr  null in Bad
    //#ProcessMessage.java:318: ?use of default init
    //#    init'ed(getCallbackType(...).__Tag)
    //#    severity: SUPPRESSED
    //#    class: com.dmdirc.parser.irc.ProcessMessage
    //#    method: bool callPrivateMessage(String, String)
    //#    basic block: Entry_BB_1
    //#    assertion: init'ed(getCallbackType(...).__Tag)
    //#    VN: getCallbackType(...).__Tag
    //#    Expected: {-Inf..+Inf}
    //#    Bad: {Invalid}
    //#    Attribs:  Int  Bad only invalid
    //#ProcessMessage.java:318: ?null dereference
    //#    com/dmdirc/parser/irc/callbacks/CallbackObject.__Descendant_Table[getCallbackType(...).__Tag] != null
    //#    severity: SUPPRESSED
    //#    class: com.dmdirc.parser.irc.ProcessMessage
    //#    method: bool callPrivateMessage(String, String)
    //#    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
    //#ProcessMessage.java:318: Warning: call too complex - analysis skipped
    //#    call on bool call(Object[])
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.parser.irc.ProcessMessage
    //#    method: bool callPrivateMessage(String, String)
    //#    unanalyzed callee: bool call(Object[])
    //#input(bool callPrivateMessage(String, String)): "Callback not found: "._tainted
    //#input(bool callPrivateMessage(String, String)): "OnPrivateMessage"._tainted
    //#input(bool callPrivateMessage(String, String)): com/dmdirc/parser/irc/IRCParser.__Descendant_Table[com/dmdirc/parser/irc/IRCParser]
    //#input(bool callPrivateMessage(String, String)): com/dmdirc/parser/irc/IRCParser.__Descendant_Table[others]
    //#input(bool callPrivateMessage(String, String)): com/dmdirc/parser/irc/IRCParser.__Dispatch_Table.getCallbackManager()Lcom/dmdirc/parser/irc/callbacks/CallbackManager;
    //#input(bool callPrivateMessage(String, String)): com/dmdirc/parser/irc/callbacks/CallbackObject.__Descendant_Table[com/dmdirc/parser/irc/callbacks/CallbackObjectSpecific]
    //#input(bool callPrivateMessage(String, String)): com/dmdirc/parser/irc/callbacks/CallbackObject.__Descendant_Table[com/dmdirc/parser/irc/callbacks/CallbackObject]
    //#input(bool callPrivateMessage(String, String)): com/dmdirc/parser/irc/callbacks/CallbackObject.__Descendant_Table[others]
    //#input(bool callPrivateMessage(String, String)): com/dmdirc/parser/irc/callbacks/CallbackObject.__Dispatch_Table.call([Ljava/lang/Object;)Z
    //#input(bool callPrivateMessage(String, String)): com/dmdirc/parser/irc/callbacks/CallbackObjectSpecific.__Dispatch_Table.call([Ljava/lang/Object;)Z
    //#input(bool callPrivateMessage(String, String)): sHost
    //#input(bool callPrivateMessage(String, String)): sMessage
    //#input(bool callPrivateMessage(String, String)): this
    //#input(bool callPrivateMessage(String, String)): this.myParser
    //#input(bool callPrivateMessage(String, String)): this.myParser.__Tag
    //#input(bool callPrivateMessage(String, String)): this.myParser.myCallbackManager
    //#input(bool callPrivateMessage(String, String)): this.myParser.myCallbackManager.callbackHash
    //#output(bool callPrivateMessage(String, String)): return_value
    //#pre[4] (bool callPrivateMessage(String, String)): this.myParser != null
    //#pre[5] (bool callPrivateMessage(String, String)): this.myParser.__Tag == com/dmdirc/parser/irc/IRCParser
    //#pre[6] (bool callPrivateMessage(String, String)): this.myParser.myCallbackManager != null
    //#pre[7] (bool callPrivateMessage(String, String)): this.myParser.myCallbackManager.callbackHash != null
    //#presumption(bool callPrivateMessage(String, String)): getCallbackManager(...)@318 init'ed
    //#post(bool callPrivateMessage(String, String)): init'ed(return_value)
    //#unanalyzed(bool callPrivateMessage(String, String)): Effects-of-calling:getCallbackManager
    //#unanalyzed(bool callPrivateMessage(String, String)): Effects-of-calling:java.util.Map:containsKey
    //#unanalyzed(bool callPrivateMessage(String, String)): Effects-of-calling:java.lang.String:toLowerCase
    //#unanalyzed(bool callPrivateMessage(String, String)): Effects-of-calling:java.lang.StringBuilder
    //#unanalyzed(bool callPrivateMessage(String, String)): Effects-of-calling:java.lang.StringBuilder:append
    //#unanalyzed(bool callPrivateMessage(String, String)): Effects-of-calling:java.lang.StringBuilder:toString
    //#unanalyzed(bool callPrivateMessage(String, String)): Effects-of-calling:java.lang.RuntimeException
    //#unanalyzed(bool callPrivateMessage(String, String)): Effects-of-calling:java.util.Map:get
    //#ProcessMessage.java:318: end of method: bool com.dmdirc.parser.irc.ProcessMessage.callPrivateMessage(String, String)
	}

	/**
	 * Callback to all objects implementing the PrivateNotice Callback.
	 *
	 * @see com.dmdirc.parser.irc.callbacks.interfaces.IPrivateNotice
	 * @param sMessage Notice contents
	 * @param sHost Hostname of sender (or servername)
	 * @return true if a method was called, false otherwise
	 */
	protected boolean callPrivateNotice(final String sMessage, final String sHost) {
		return getCallbackManager().getCallbackType("OnPrivateNotice").call(sMessage, sHost);
    //#ProcessMessage.java:330: method: bool com.dmdirc.parser.irc.ProcessMessage.callPrivateNotice(String, String)
    //#ProcessMessage.java:330: ?null dereference
    //#    getCallbackType(...) != null
    //#    severity: MEDIUM
    //#    class: com.dmdirc.parser.irc.ProcessMessage
    //#    method: bool callPrivateNotice(String, String)
    //#    basic block: Entry_BB_1
    //#    assertion: getCallbackType(...) != null
    //#    VN: getCallbackType(...)
    //#    Expected: Inverse{null}
    //#    Bad: Addr_Set{null}
    //#    Attribs:  Ptr  null in Bad
    //#ProcessMessage.java:330: ?use of default init
    //#    init'ed(getCallbackType(...).__Tag)
    //#    severity: SUPPRESSED
    //#    class: com.dmdirc.parser.irc.ProcessMessage
    //#    method: bool callPrivateNotice(String, String)
    //#    basic block: Entry_BB_1
    //#    assertion: init'ed(getCallbackType(...).__Tag)
    //#    VN: getCallbackType(...).__Tag
    //#    Expected: {-Inf..+Inf}
    //#    Bad: {Invalid}
    //#    Attribs:  Int  Bad only invalid
    //#ProcessMessage.java:330: ?null dereference
    //#    com/dmdirc/parser/irc/callbacks/CallbackObject.__Descendant_Table[getCallbackType(...).__Tag] != null
    //#    severity: SUPPRESSED
    //#    class: com.dmdirc.parser.irc.ProcessMessage
    //#    method: bool callPrivateNotice(String, String)
    //#    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
    //#ProcessMessage.java:330: Warning: call too complex - analysis skipped
    //#    call on bool call(Object[])
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.parser.irc.ProcessMessage
    //#    method: bool callPrivateNotice(String, String)
    //#    unanalyzed callee: bool call(Object[])
    //#input(bool callPrivateNotice(String, String)): "Callback not found: "._tainted
    //#input(bool callPrivateNotice(String, String)): "OnPrivateNotice"._tainted
    //#input(bool callPrivateNotice(String, String)): com/dmdirc/parser/irc/IRCParser.__Descendant_Table[com/dmdirc/parser/irc/IRCParser]
    //#input(bool callPrivateNotice(String, String)): com/dmdirc/parser/irc/IRCParser.__Descendant_Table[others]
    //#input(bool callPrivateNotice(String, String)): com/dmdirc/parser/irc/IRCParser.__Dispatch_Table.getCallbackManager()Lcom/dmdirc/parser/irc/callbacks/CallbackManager;
    //#input(bool callPrivateNotice(String, String)): com/dmdirc/parser/irc/callbacks/CallbackObject.__Descendant_Table[com/dmdirc/parser/irc/callbacks/CallbackObjectSpecific]
    //#input(bool callPrivateNotice(String, String)): com/dmdirc/parser/irc/callbacks/CallbackObject.__Descendant_Table[com/dmdirc/parser/irc/callbacks/CallbackObject]
    //#input(bool callPrivateNotice(String, String)): com/dmdirc/parser/irc/callbacks/CallbackObject.__Descendant_Table[others]
    //#input(bool callPrivateNotice(String, String)): com/dmdirc/parser/irc/callbacks/CallbackObject.__Dispatch_Table.call([Ljava/lang/Object;)Z
    //#input(bool callPrivateNotice(String, String)): com/dmdirc/parser/irc/callbacks/CallbackObjectSpecific.__Dispatch_Table.call([Ljava/lang/Object;)Z
    //#input(bool callPrivateNotice(String, String)): sHost
    //#input(bool callPrivateNotice(String, String)): sMessage
    //#input(bool callPrivateNotice(String, String)): this
    //#input(bool callPrivateNotice(String, String)): this.myParser
    //#input(bool callPrivateNotice(String, String)): this.myParser.__Tag
    //#input(bool callPrivateNotice(String, String)): this.myParser.myCallbackManager
    //#input(bool callPrivateNotice(String, String)): this.myParser.myCallbackManager.callbackHash
    //#output(bool callPrivateNotice(String, String)): return_value
    //#pre[4] (bool callPrivateNotice(String, String)): this.myParser != null
    //#pre[5] (bool callPrivateNotice(String, String)): this.myParser.__Tag == com/dmdirc/parser/irc/IRCParser
    //#pre[6] (bool callPrivateNotice(String, String)): this.myParser.myCallbackManager != null
    //#pre[7] (bool callPrivateNotice(String, String)): this.myParser.myCallbackManager.callbackHash != null
    //#presumption(bool callPrivateNotice(String, String)): getCallbackManager(...)@330 init'ed
    //#post(bool callPrivateNotice(String, String)): init'ed(return_value)
    //#unanalyzed(bool callPrivateNotice(String, String)): Effects-of-calling:getCallbackManager
    //#unanalyzed(bool callPrivateNotice(String, String)): Effects-of-calling:java.util.Map:containsKey
    //#unanalyzed(bool callPrivateNotice(String, String)): Effects-of-calling:java.lang.String:toLowerCase
    //#unanalyzed(bool callPrivateNotice(String, String)): Effects-of-calling:java.lang.StringBuilder
    //#unanalyzed(bool callPrivateNotice(String, String)): Effects-of-calling:java.lang.StringBuilder:append
    //#unanalyzed(bool callPrivateNotice(String, String)): Effects-of-calling:java.lang.StringBuilder:toString
    //#unanalyzed(bool callPrivateNotice(String, String)): Effects-of-calling:java.lang.RuntimeException
    //#unanalyzed(bool callPrivateNotice(String, String)): Effects-of-calling:java.util.Map:get
    //#ProcessMessage.java:330: end of method: bool com.dmdirc.parser.irc.ProcessMessage.callPrivateNotice(String, String)
	}
	
	/**
	 * Callback to all objects implementing the UnknownAction Callback.
	 *
	 * @see com.dmdirc.parser.irc.callbacks.interfaces.IUnknownAction
	 * @param sMessage Action contents
	 * @param sTarget Actual target of action
	 * @param sHost Hostname of sender (or servername)
	 * @return true if a method was called, false otherwise
	 */
	protected boolean callUnknownAction(final String sMessage, final String sTarget, final String sHost) {
		return getCallbackManager().getCallbackType("OnUnknownAction").call(sMessage, sTarget, sHost);
    //#ProcessMessage.java:343: method: bool com.dmdirc.parser.irc.ProcessMessage.callUnknownAction(String, String, String)
    //#ProcessMessage.java:343: ?null dereference
    //#    getCallbackType(...) != null
    //#    severity: MEDIUM
    //#    class: com.dmdirc.parser.irc.ProcessMessage
    //#    method: bool callUnknownAction(String, String, String)
    //#    basic block: Entry_BB_1
    //#    assertion: getCallbackType(...) != null
    //#    VN: getCallbackType(...)
    //#    Expected: Inverse{null}
    //#    Bad: Addr_Set{null}
    //#    Attribs:  Ptr  null in Bad
    //#ProcessMessage.java:343: ?use of default init
    //#    init'ed(getCallbackType(...).__Tag)
    //#    severity: SUPPRESSED
    //#    class: com.dmdirc.parser.irc.ProcessMessage
    //#    method: bool callUnknownAction(String, String, String)
    //#    basic block: Entry_BB_1
    //#    assertion: init'ed(getCallbackType(...).__Tag)
    //#    VN: getCallbackType(...).__Tag
    //#    Expected: {-Inf..+Inf}
    //#    Bad: {Invalid}
    //#    Attribs:  Int  Bad only invalid
    //#ProcessMessage.java:343: ?null dereference
    //#    com/dmdirc/parser/irc/callbacks/CallbackObject.__Descendant_Table[getCallbackType(...).__Tag] != null
    //#    severity: SUPPRESSED
    //#    class: com.dmdirc.parser.irc.ProcessMessage
    //#    method: bool callUnknownAction(String, String, String)
    //#    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
    //#ProcessMessage.java:343: Warning: call too complex - analysis skipped
    //#    call on bool call(Object[])
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.parser.irc.ProcessMessage
    //#    method: bool callUnknownAction(String, String, String)
    //#    unanalyzed callee: bool call(Object[])
    //#input(bool callUnknownAction(String, String, String)): "Callback not found: "._tainted
    //#input(bool callUnknownAction(String, String, String)): "OnUnknownAction"._tainted
    //#input(bool callUnknownAction(String, String, String)): com/dmdirc/parser/irc/IRCParser.__Descendant_Table[com/dmdirc/parser/irc/IRCParser]
    //#input(bool callUnknownAction(String, String, String)): com/dmdirc/parser/irc/IRCParser.__Descendant_Table[others]
    //#input(bool callUnknownAction(String, String, String)): com/dmdirc/parser/irc/IRCParser.__Dispatch_Table.getCallbackManager()Lcom/dmdirc/parser/irc/callbacks/CallbackManager;
    //#input(bool callUnknownAction(String, String, String)): com/dmdirc/parser/irc/callbacks/CallbackObject.__Descendant_Table[com/dmdirc/parser/irc/callbacks/CallbackObjectSpecific]
    //#input(bool callUnknownAction(String, String, String)): com/dmdirc/parser/irc/callbacks/CallbackObject.__Descendant_Table[com/dmdirc/parser/irc/callbacks/CallbackObject]
    //#input(bool callUnknownAction(String, String, String)): com/dmdirc/parser/irc/callbacks/CallbackObject.__Descendant_Table[others]
    //#input(bool callUnknownAction(String, String, String)): com/dmdirc/parser/irc/callbacks/CallbackObject.__Dispatch_Table.call([Ljava/lang/Object;)Z
    //#input(bool callUnknownAction(String, String, String)): com/dmdirc/parser/irc/callbacks/CallbackObjectSpecific.__Dispatch_Table.call([Ljava/lang/Object;)Z
    //#input(bool callUnknownAction(String, String, String)): sHost
    //#input(bool callUnknownAction(String, String, String)): sMessage
    //#input(bool callUnknownAction(String, String, String)): sTarget
    //#input(bool callUnknownAction(String, String, String)): this
    //#input(bool callUnknownAction(String, String, String)): this.myParser
    //#input(bool callUnknownAction(String, String, String)): this.myParser.__Tag
    //#input(bool callUnknownAction(String, String, String)): this.myParser.myCallbackManager
    //#input(bool callUnknownAction(String, String, String)): this.myParser.myCallbackManager.callbackHash
    //#output(bool callUnknownAction(String, String, String)): return_value
    //#pre[5] (bool callUnknownAction(String, String, String)): this.myParser != null
    //#pre[6] (bool callUnknownAction(String, String, String)): this.myParser.__Tag == com/dmdirc/parser/irc/IRCParser
    //#pre[7] (bool callUnknownAction(String, String, String)): this.myParser.myCallbackManager != null
    //#pre[8] (bool callUnknownAction(String, String, String)): this.myParser.myCallbackManager.callbackHash != null
    //#presumption(bool callUnknownAction(String, String, String)): getCallbackManager(...)@343 init'ed
    //#post(bool callUnknownAction(String, String, String)): init'ed(return_value)
    //#unanalyzed(bool callUnknownAction(String, String, String)): Effects-of-calling:getCallbackManager
    //#unanalyzed(bool callUnknownAction(String, String, String)): Effects-of-calling:java.util.Map:containsKey
    //#unanalyzed(bool callUnknownAction(String, String, String)): Effects-of-calling:java.lang.String:toLowerCase
    //#unanalyzed(bool callUnknownAction(String, String, String)): Effects-of-calling:java.lang.StringBuilder
    //#unanalyzed(bool callUnknownAction(String, String, String)): Effects-of-calling:java.lang.StringBuilder:append
    //#unanalyzed(bool callUnknownAction(String, String, String)): Effects-of-calling:java.lang.StringBuilder:toString
    //#unanalyzed(bool callUnknownAction(String, String, String)): Effects-of-calling:java.lang.RuntimeException
    //#unanalyzed(bool callUnknownAction(String, String, String)): Effects-of-calling:java.util.Map:get
    //#ProcessMessage.java:343: end of method: bool com.dmdirc.parser.irc.ProcessMessage.callUnknownAction(String, String, String)
	}

	/**
	 * Callback to all objects implementing the UnknownCTCP Callback.
	 *
	 * @see com.dmdirc.parser.irc.callbacks.interfaces.IUnknownCTCP
	 * @param sType Type of CTCP (VERSION, TIME etc)
	 * @param sMessage Additional contents
	 * @param sTarget Actual Target of CTCP
	 * @param sHost Hostname of sender (or servername)
	 * @return true if a method was called, false otherwise
	 */
	protected boolean callUnknownCTCP(final String sType, final String sMessage, final String sTarget, final String sHost) {
		return getCallbackManager().getCallbackType("OnUnknownCTCP").call(sType, sMessage, sTarget, sHost);
    //#ProcessMessage.java:357: method: bool com.dmdirc.parser.irc.ProcessMessage.callUnknownCTCP(String, String, String, String)
    //#ProcessMessage.java:357: ?null dereference
    //#    getCallbackType(...) != null
    //#    severity: MEDIUM
    //#    class: com.dmdirc.parser.irc.ProcessMessage
    //#    method: bool callUnknownCTCP(String, String, String, String)
    //#    basic block: Entry_BB_1
    //#    assertion: getCallbackType(...) != null
    //#    VN: getCallbackType(...)
    //#    Expected: Inverse{null}
    //#    Bad: Addr_Set{null}
    //#    Attribs:  Ptr  null in Bad
    //#ProcessMessage.java:357: ?use of default init
    //#    init'ed(getCallbackType(...).__Tag)
    //#    severity: SUPPRESSED
    //#    class: com.dmdirc.parser.irc.ProcessMessage
    //#    method: bool callUnknownCTCP(String, String, String, String)
    //#    basic block: Entry_BB_1
    //#    assertion: init'ed(getCallbackType(...).__Tag)
    //#    VN: getCallbackType(...).__Tag
    //#    Expected: {-Inf..+Inf}
    //#    Bad: {Invalid}
    //#    Attribs:  Int  Bad only invalid
    //#ProcessMessage.java:357: ?null dereference
    //#    com/dmdirc/parser/irc/callbacks/CallbackObject.__Descendant_Table[getCallbackType(...).__Tag] != null
    //#    severity: SUPPRESSED
    //#    class: com.dmdirc.parser.irc.ProcessMessage
    //#    method: bool callUnknownCTCP(String, String, String, String)
    //#    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
    //#ProcessMessage.java:357: Warning: call too complex - analysis skipped
    //#    call on bool call(Object[])
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.parser.irc.ProcessMessage
    //#    method: bool callUnknownCTCP(String, String, String, String)
    //#    unanalyzed callee: bool call(Object[])
    //#input(bool callUnknownCTCP(String, String, String, String)): "Callback not found: "._tainted
    //#input(bool callUnknownCTCP(String, String, String, String)): "OnUnknownCTCP"._tainted
    //#input(bool callUnknownCTCP(String, String, String, String)): com/dmdirc/parser/irc/IRCParser.__Descendant_Table[com/dmdirc/parser/irc/IRCParser]
    //#input(bool callUnknownCTCP(String, String, String, String)): com/dmdirc/parser/irc/IRCParser.__Descendant_Table[others]
    //#input(bool callUnknownCTCP(String, String, String, String)): com/dmdirc/parser/irc/IRCParser.__Dispatch_Table.getCallbackManager()Lcom/dmdirc/parser/irc/callbacks/CallbackManager;
    //#input(bool callUnknownCTCP(String, String, String, String)): com/dmdirc/parser/irc/callbacks/CallbackObject.__Descendant_Table[com/dmdirc/parser/irc/callbacks/CallbackObjectSpecific]
    //#input(bool callUnknownCTCP(String, String, String, String)): com/dmdirc/parser/irc/callbacks/CallbackObject.__Descendant_Table[com/dmdirc/parser/irc/callbacks/CallbackObject]
    //#input(bool callUnknownCTCP(String, String, String, String)): com/dmdirc/parser/irc/callbacks/CallbackObject.__Descendant_Table[others]
    //#input(bool callUnknownCTCP(String, String, String, String)): com/dmdirc/parser/irc/callbacks/CallbackObject.__Dispatch_Table.call([Ljava/lang/Object;)Z
    //#input(bool callUnknownCTCP(String, String, String, String)): com/dmdirc/parser/irc/callbacks/CallbackObjectSpecific.__Dispatch_Table.call([Ljava/lang/Object;)Z
    //#input(bool callUnknownCTCP(String, String, String, String)): sHost
    //#input(bool callUnknownCTCP(String, String, String, String)): sMessage
    //#input(bool callUnknownCTCP(String, String, String, String)): sTarget
    //#input(bool callUnknownCTCP(String, String, String, String)): sType
    //#input(bool callUnknownCTCP(String, String, String, String)): this
    //#input(bool callUnknownCTCP(String, String, String, String)): this.myParser
    //#input(bool callUnknownCTCP(String, String, String, String)): this.myParser.__Tag
    //#input(bool callUnknownCTCP(String, String, String, String)): this.myParser.myCallbackManager
    //#input(bool callUnknownCTCP(String, String, String, String)): this.myParser.myCallbackManager.callbackHash
    //#output(bool callUnknownCTCP(String, String, String, String)): return_value
    //#pre[6] (bool callUnknownCTCP(String, String, String, String)): this.myParser != null
    //#pre[7] (bool callUnknownCTCP(String, String, String, String)): this.myParser.__Tag == com/dmdirc/parser/irc/IRCParser
    //#pre[8] (bool callUnknownCTCP(String, String, String, String)): this.myParser.myCallbackManager != null
    //#pre[9] (bool callUnknownCTCP(String, String, String, String)): this.myParser.myCallbackManager.callbackHash != null
    //#presumption(bool callUnknownCTCP(String, String, String, String)): getCallbackManager(...)@357 init'ed
    //#post(bool callUnknownCTCP(String, String, String, String)): init'ed(return_value)
    //#unanalyzed(bool callUnknownCTCP(String, String, String, String)): Effects-of-calling:getCallbackManager
    //#unanalyzed(bool callUnknownCTCP(String, String, String, String)): Effects-of-calling:java.util.Map:containsKey
    //#unanalyzed(bool callUnknownCTCP(String, String, String, String)): Effects-of-calling:java.lang.String:toLowerCase
    //#unanalyzed(bool callUnknownCTCP(String, String, String, String)): Effects-of-calling:java.lang.StringBuilder
    //#unanalyzed(bool callUnknownCTCP(String, String, String, String)): Effects-of-calling:java.lang.StringBuilder:append
    //#unanalyzed(bool callUnknownCTCP(String, String, String, String)): Effects-of-calling:java.lang.StringBuilder:toString
    //#unanalyzed(bool callUnknownCTCP(String, String, String, String)): Effects-of-calling:java.lang.RuntimeException
    //#unanalyzed(bool callUnknownCTCP(String, String, String, String)): Effects-of-calling:java.util.Map:get
    //#ProcessMessage.java:357: end of method: bool com.dmdirc.parser.irc.ProcessMessage.callUnknownCTCP(String, String, String, String)
	}

	/**
	 * Callback to all objects implementing the UnknownCTCPReply Callback.
	 *
	 * @see com.dmdirc.parser.irc.callbacks.interfaces.IUnknownCTCPReply
	 * @param sType Type of CTCPRReply (VERSION, TIME etc)
	 * @param sMessage Reply Contents
	 * @param sTarget Actual Target of CTCPReply
	 * @param sHost Hostname of sender (or servername)
	 * @return true if a method was called, false otherwise
	 */
	protected boolean callUnknownCTCPReply(final String sType, final String sMessage, final String sTarget, final String sHost) {
		return getCallbackManager().getCallbackType("OnUnknownCTCPReply").call(sType, sMessage, sTarget, sHost);
    //#ProcessMessage.java:371: method: bool com.dmdirc.parser.irc.ProcessMessage.callUnknownCTCPReply(String, String, String, String)
    //#ProcessMessage.java:371: ?null dereference
    //#    getCallbackType(...) != null
    //#    severity: MEDIUM
    //#    class: com.dmdirc.parser.irc.ProcessMessage
    //#    method: bool callUnknownCTCPReply(String, String, String, String)
    //#    basic block: Entry_BB_1
    //#    assertion: getCallbackType(...) != null
    //#    VN: getCallbackType(...)
    //#    Expected: Inverse{null}
    //#    Bad: Addr_Set{null}
    //#    Attribs:  Ptr  null in Bad
    //#ProcessMessage.java:371: ?use of default init
    //#    init'ed(getCallbackType(...).__Tag)
    //#    severity: SUPPRESSED
    //#    class: com.dmdirc.parser.irc.ProcessMessage
    //#    method: bool callUnknownCTCPReply(String, String, String, String)
    //#    basic block: Entry_BB_1
    //#    assertion: init'ed(getCallbackType(...).__Tag)
    //#    VN: getCallbackType(...).__Tag
    //#    Expected: {-Inf..+Inf}
    //#    Bad: {Invalid}
    //#    Attribs:  Int  Bad only invalid
    //#ProcessMessage.java:371: ?null dereference
    //#    com/dmdirc/parser/irc/callbacks/CallbackObject.__Descendant_Table[getCallbackType(...).__Tag] != null
    //#    severity: SUPPRESSED
    //#    class: com.dmdirc.parser.irc.ProcessMessage
    //#    method: bool callUnknownCTCPReply(String, String, String, String)
    //#    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
    //#ProcessMessage.java:371: Warning: call too complex - analysis skipped
    //#    call on bool call(Object[])
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.parser.irc.ProcessMessage
    //#    method: bool callUnknownCTCPReply(String, String, String, String)
    //#    unanalyzed callee: bool call(Object[])
    //#input(bool callUnknownCTCPReply(String, String, String, String)): "Callback not found: "._tainted
    //#input(bool callUnknownCTCPReply(String, String, String, String)): "OnUnknownCTCPReply"._tainted
    //#input(bool callUnknownCTCPReply(String, String, String, String)): com/dmdirc/parser/irc/IRCParser.__Descendant_Table[com/dmdirc/parser/irc/IRCParser]
    //#input(bool callUnknownCTCPReply(String, String, String, String)): com/dmdirc/parser/irc/IRCParser.__Descendant_Table[others]
    //#input(bool callUnknownCTCPReply(String, String, String, String)): com/dmdirc/parser/irc/IRCParser.__Dispatch_Table.getCallbackManager()Lcom/dmdirc/parser/irc/callbacks/CallbackManager;
    //#input(bool callUnknownCTCPReply(String, String, String, String)): com/dmdirc/parser/irc/callbacks/CallbackObject.__Descendant_Table[com/dmdirc/parser/irc/callbacks/CallbackObjectSpecific]
    //#input(bool callUnknownCTCPReply(String, String, String, String)): com/dmdirc/parser/irc/callbacks/CallbackObject.__Descendant_Table[com/dmdirc/parser/irc/callbacks/CallbackObject]
    //#input(bool callUnknownCTCPReply(String, String, String, String)): com/dmdirc/parser/irc/callbacks/CallbackObject.__Descendant_Table[others]
    //#input(bool callUnknownCTCPReply(String, String, String, String)): com/dmdirc/parser/irc/callbacks/CallbackObject.__Dispatch_Table.call([Ljava/lang/Object;)Z
    //#input(bool callUnknownCTCPReply(String, String, String, String)): com/dmdirc/parser/irc/callbacks/CallbackObjectSpecific.__Dispatch_Table.call([Ljava/lang/Object;)Z
    //#input(bool callUnknownCTCPReply(String, String, String, String)): sHost
    //#input(bool callUnknownCTCPReply(String, String, String, String)): sMessage
    //#input(bool callUnknownCTCPReply(String, String, String, String)): sTarget
    //#input(bool callUnknownCTCPReply(String, String, String, String)): sType
    //#input(bool callUnknownCTCPReply(String, String, String, String)): this
    //#input(bool callUnknownCTCPReply(String, String, String, String)): this.myParser
    //#input(bool callUnknownCTCPReply(String, String, String, String)): this.myParser.__Tag
    //#input(bool callUnknownCTCPReply(String, String, String, String)): this.myParser.myCallbackManager
    //#input(bool callUnknownCTCPReply(String, String, String, String)): this.myParser.myCallbackManager.callbackHash
    //#output(bool callUnknownCTCPReply(String, String, String, String)): return_value
    //#pre[6] (bool callUnknownCTCPReply(String, String, String, String)): this.myParser != null
    //#pre[7] (bool callUnknownCTCPReply(String, String, String, String)): this.myParser.__Tag == com/dmdirc/parser/irc/IRCParser
    //#pre[8] (bool callUnknownCTCPReply(String, String, String, String)): this.myParser.myCallbackManager != null
    //#pre[9] (bool callUnknownCTCPReply(String, String, String, String)): this.myParser.myCallbackManager.callbackHash != null
    //#presumption(bool callUnknownCTCPReply(String, String, String, String)): getCallbackManager(...)@371 init'ed
    //#post(bool callUnknownCTCPReply(String, String, String, String)): init'ed(return_value)
    //#unanalyzed(bool callUnknownCTCPReply(String, String, String, String)): Effects-of-calling:getCallbackManager
    //#unanalyzed(bool callUnknownCTCPReply(String, String, String, String)): Effects-of-calling:java.util.Map:containsKey
    //#unanalyzed(bool callUnknownCTCPReply(String, String, String, String)): Effects-of-calling:java.lang.String:toLowerCase
    //#unanalyzed(bool callUnknownCTCPReply(String, String, String, String)): Effects-of-calling:java.lang.StringBuilder
    //#unanalyzed(bool callUnknownCTCPReply(String, String, String, String)): Effects-of-calling:java.lang.StringBuilder:append
    //#unanalyzed(bool callUnknownCTCPReply(String, String, String, String)): Effects-of-calling:java.lang.StringBuilder:toString
    //#unanalyzed(bool callUnknownCTCPReply(String, String, String, String)): Effects-of-calling:java.lang.RuntimeException
    //#unanalyzed(bool callUnknownCTCPReply(String, String, String, String)): Effects-of-calling:java.util.Map:get
    //#ProcessMessage.java:371: end of method: bool com.dmdirc.parser.irc.ProcessMessage.callUnknownCTCPReply(String, String, String, String)
	}

	/**
	 * Callback to all objects implementing the UnknownMessage Callback.
	 *
	 * @see com.dmdirc.parser.irc.callbacks.interfaces.IUnknownMessage
	 * @param sMessage Message contents
	 * @param sTarget Actual target of message
	 * @param sHost Hostname of sender (or servername)
	 * @return true if a method was called, false otherwise
	 */
	protected boolean callUnknownMessage(final String sMessage, final String sTarget, final String sHost) {
		return getCallbackManager().getCallbackType("OnUnknownMessage").call(sMessage, sTarget, sHost);
    //#ProcessMessage.java:384: method: bool com.dmdirc.parser.irc.ProcessMessage.callUnknownMessage(String, String, String)
    //#ProcessMessage.java:384: ?null dereference
    //#    getCallbackType(...) != null
    //#    severity: MEDIUM
    //#    class: com.dmdirc.parser.irc.ProcessMessage
    //#    method: bool callUnknownMessage(String, String, String)
    //#    basic block: Entry_BB_1
    //#    assertion: getCallbackType(...) != null
    //#    VN: getCallbackType(...)
    //#    Expected: Inverse{null}
    //#    Bad: Addr_Set{null}
    //#    Attribs:  Ptr  null in Bad
    //#ProcessMessage.java:384: ?use of default init
    //#    init'ed(getCallbackType(...).__Tag)
    //#    severity: SUPPRESSED
    //#    class: com.dmdirc.parser.irc.ProcessMessage
    //#    method: bool callUnknownMessage(String, String, String)
    //#    basic block: Entry_BB_1
    //#    assertion: init'ed(getCallbackType(...).__Tag)
    //#    VN: getCallbackType(...).__Tag
    //#    Expected: {-Inf..+Inf}
    //#    Bad: {Invalid}
    //#    Attribs:  Int  Bad only invalid
    //#ProcessMessage.java:384: ?null dereference
    //#    com/dmdirc/parser/irc/callbacks/CallbackObject.__Descendant_Table[getCallbackType(...).__Tag] != null
    //#    severity: SUPPRESSED
    //#    class: com.dmdirc.parser.irc.ProcessMessage
    //#    method: bool callUnknownMessage(String, String, String)
    //#    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
    //#ProcessMessage.java:384: Warning: call too complex - analysis skipped
    //#    call on bool call(Object[])
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.parser.irc.ProcessMessage
    //#    method: bool callUnknownMessage(String, String, String)
    //#    unanalyzed callee: bool call(Object[])
    //#input(bool callUnknownMessage(String, String, String)): "Callback not found: "._tainted
    //#input(bool callUnknownMessage(String, String, String)): "OnUnknownMessage"._tainted
    //#input(bool callUnknownMessage(String, String, String)): com/dmdirc/parser/irc/IRCParser.__Descendant_Table[com/dmdirc/parser/irc/IRCParser]
    //#input(bool callUnknownMessage(String, String, String)): com/dmdirc/parser/irc/IRCParser.__Descendant_Table[others]
    //#input(bool callUnknownMessage(String, String, String)): com/dmdirc/parser/irc/IRCParser.__Dispatch_Table.getCallbackManager()Lcom/dmdirc/parser/irc/callbacks/CallbackManager;
    //#input(bool callUnknownMessage(String, String, String)): com/dmdirc/parser/irc/callbacks/CallbackObject.__Descendant_Table[com/dmdirc/parser/irc/callbacks/CallbackObjectSpecific]
    //#input(bool callUnknownMessage(String, String, String)): com/dmdirc/parser/irc/callbacks/CallbackObject.__Descendant_Table[com/dmdirc/parser/irc/callbacks/CallbackObject]
    //#input(bool callUnknownMessage(String, String, String)): com/dmdirc/parser/irc/callbacks/CallbackObject.__Descendant_Table[others]
    //#input(bool callUnknownMessage(String, String, String)): com/dmdirc/parser/irc/callbacks/CallbackObject.__Dispatch_Table.call([Ljava/lang/Object;)Z
    //#input(bool callUnknownMessage(String, String, String)): com/dmdirc/parser/irc/callbacks/CallbackObjectSpecific.__Dispatch_Table.call([Ljava/lang/Object;)Z
    //#input(bool callUnknownMessage(String, String, String)): sHost
    //#input(bool callUnknownMessage(String, String, String)): sMessage
    //#input(bool callUnknownMessage(String, String, String)): sTarget
    //#input(bool callUnknownMessage(String, String, String)): this
    //#input(bool callUnknownMessage(String, String, String)): this.myParser
    //#input(bool callUnknownMessage(String, String, String)): this.myParser.__Tag
    //#input(bool callUnknownMessage(String, String, String)): this.myParser.myCallbackManager
    //#input(bool callUnknownMessage(String, String, String)): this.myParser.myCallbackManager.callbackHash
    //#output(bool callUnknownMessage(String, String, String)): return_value
    //#pre[5] (bool callUnknownMessage(String, String, String)): this.myParser != null
    //#pre[6] (bool callUnknownMessage(String, String, String)): this.myParser.__Tag == com/dmdirc/parser/irc/IRCParser
    //#pre[7] (bool callUnknownMessage(String, String, String)): this.myParser.myCallbackManager != null
    //#pre[8] (bool callUnknownMessage(String, String, String)): this.myParser.myCallbackManager.callbackHash != null
    //#presumption(bool callUnknownMessage(String, String, String)): getCallbackManager(...)@384 init'ed
    //#post(bool callUnknownMessage(String, String, String)): init'ed(return_value)
    //#unanalyzed(bool callUnknownMessage(String, String, String)): Effects-of-calling:getCallbackManager
    //#unanalyzed(bool callUnknownMessage(String, String, String)): Effects-of-calling:java.util.Map:containsKey
    //#unanalyzed(bool callUnknownMessage(String, String, String)): Effects-of-calling:java.lang.String:toLowerCase
    //#unanalyzed(bool callUnknownMessage(String, String, String)): Effects-of-calling:java.lang.StringBuilder
    //#unanalyzed(bool callUnknownMessage(String, String, String)): Effects-of-calling:java.lang.StringBuilder:append
    //#unanalyzed(bool callUnknownMessage(String, String, String)): Effects-of-calling:java.lang.StringBuilder:toString
    //#unanalyzed(bool callUnknownMessage(String, String, String)): Effects-of-calling:java.lang.RuntimeException
    //#unanalyzed(bool callUnknownMessage(String, String, String)): Effects-of-calling:java.util.Map:get
    //#ProcessMessage.java:384: end of method: bool com.dmdirc.parser.irc.ProcessMessage.callUnknownMessage(String, String, String)
	}

	/**
	 * Callback to all objects implementing the UnknownNotice Callback.
	 *
	 * @see com.dmdirc.parser.irc.callbacks.interfaces.IUnknownNotice
	 * @param sMessage Notice contents
	 * @param sTarget Actual target of notice
	 * @param sHost Hostname of sender (or servername)
	 * @return true if a method was called, false otherwise
	 */
	protected boolean callUnknownNotice(final String sMessage, final String sTarget, final String sHost) {
		return getCallbackManager().getCallbackType("OnUnknownNotice").call(sMessage, sTarget, sHost);
    //#ProcessMessage.java:397: method: bool com.dmdirc.parser.irc.ProcessMessage.callUnknownNotice(String, String, String)
    //#ProcessMessage.java:397: ?null dereference
    //#    getCallbackType(...) != null
    //#    severity: MEDIUM
    //#    class: com.dmdirc.parser.irc.ProcessMessage
    //#    method: bool callUnknownNotice(String, String, String)
    //#    basic block: Entry_BB_1
    //#    assertion: getCallbackType(...) != null
    //#    VN: getCallbackType(...)
    //#    Expected: Inverse{null}
    //#    Bad: Addr_Set{null}
    //#    Attribs:  Ptr  null in Bad
    //#ProcessMessage.java:397: ?use of default init
    //#    init'ed(getCallbackType(...).__Tag)
    //#    severity: SUPPRESSED
    //#    class: com.dmdirc.parser.irc.ProcessMessage
    //#    method: bool callUnknownNotice(String, String, String)
    //#    basic block: Entry_BB_1
    //#    assertion: init'ed(getCallbackType(...).__Tag)
    //#    VN: getCallbackType(...).__Tag
    //#    Expected: {-Inf..+Inf}
    //#    Bad: {Invalid}
    //#    Attribs:  Int  Bad only invalid
    //#ProcessMessage.java:397: ?null dereference
    //#    com/dmdirc/parser/irc/callbacks/CallbackObject.__Descendant_Table[getCallbackType(...).__Tag] != null
    //#    severity: SUPPRESSED
    //#    class: com.dmdirc.parser.irc.ProcessMessage
    //#    method: bool callUnknownNotice(String, String, String)
    //#    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
    //#ProcessMessage.java:397: Warning: call too complex - analysis skipped
    //#    call on bool call(Object[])
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.parser.irc.ProcessMessage
    //#    method: bool callUnknownNotice(String, String, String)
    //#    unanalyzed callee: bool call(Object[])
    //#input(bool callUnknownNotice(String, String, String)): "Callback not found: "._tainted
    //#input(bool callUnknownNotice(String, String, String)): "OnUnknownNotice"._tainted
    //#input(bool callUnknownNotice(String, String, String)): com/dmdirc/parser/irc/IRCParser.__Descendant_Table[com/dmdirc/parser/irc/IRCParser]
    //#input(bool callUnknownNotice(String, String, String)): com/dmdirc/parser/irc/IRCParser.__Descendant_Table[others]
    //#input(bool callUnknownNotice(String, String, String)): com/dmdirc/parser/irc/IRCParser.__Dispatch_Table.getCallbackManager()Lcom/dmdirc/parser/irc/callbacks/CallbackManager;
    //#input(bool callUnknownNotice(String, String, String)): com/dmdirc/parser/irc/callbacks/CallbackObject.__Descendant_Table[com/dmdirc/parser/irc/callbacks/CallbackObjectSpecific]
    //#input(bool callUnknownNotice(String, String, String)): com/dmdirc/parser/irc/callbacks/CallbackObject.__Descendant_Table[com/dmdirc/parser/irc/callbacks/CallbackObject]
    //#input(bool callUnknownNotice(String, String, String)): com/dmdirc/parser/irc/callbacks/CallbackObject.__Descendant_Table[others]
    //#input(bool callUnknownNotice(String, String, String)): com/dmdirc/parser/irc/callbacks/CallbackObject.__Dispatch_Table.call([Ljava/lang/Object;)Z
    //#input(bool callUnknownNotice(String, String, String)): com/dmdirc/parser/irc/callbacks/CallbackObjectSpecific.__Dispatch_Table.call([Ljava/lang/Object;)Z
    //#input(bool callUnknownNotice(String, String, String)): sHost
    //#input(bool callUnknownNotice(String, String, String)): sMessage
    //#input(bool callUnknownNotice(String, String, String)): sTarget
    //#input(bool callUnknownNotice(String, String, String)): this
    //#input(bool callUnknownNotice(String, String, String)): this.myParser
    //#input(bool callUnknownNotice(String, String, String)): this.myParser.__Tag
    //#input(bool callUnknownNotice(String, String, String)): this.myParser.myCallbackManager
    //#input(bool callUnknownNotice(String, String, String)): this.myParser.myCallbackManager.callbackHash
    //#output(bool callUnknownNotice(String, String, String)): return_value
    //#pre[5] (bool callUnknownNotice(String, String, String)): this.myParser != null
    //#pre[6] (bool callUnknownNotice(String, String, String)): this.myParser.__Tag == com/dmdirc/parser/irc/IRCParser
    //#pre[7] (bool callUnknownNotice(String, String, String)): this.myParser.myCallbackManager != null
    //#pre[8] (bool callUnknownNotice(String, String, String)): this.myParser.myCallbackManager.callbackHash != null
    //#presumption(bool callUnknownNotice(String, String, String)): getCallbackManager(...)@397 init'ed
    //#post(bool callUnknownNotice(String, String, String)): init'ed(return_value)
    //#unanalyzed(bool callUnknownNotice(String, String, String)): Effects-of-calling:getCallbackManager
    //#unanalyzed(bool callUnknownNotice(String, String, String)): Effects-of-calling:java.util.Map:containsKey
    //#unanalyzed(bool callUnknownNotice(String, String, String)): Effects-of-calling:java.lang.String:toLowerCase
    //#unanalyzed(bool callUnknownNotice(String, String, String)): Effects-of-calling:java.lang.StringBuilder
    //#unanalyzed(bool callUnknownNotice(String, String, String)): Effects-of-calling:java.lang.StringBuilder:append
    //#unanalyzed(bool callUnknownNotice(String, String, String)): Effects-of-calling:java.lang.StringBuilder:toString
    //#unanalyzed(bool callUnknownNotice(String, String, String)): Effects-of-calling:java.lang.RuntimeException
    //#unanalyzed(bool callUnknownNotice(String, String, String)): Effects-of-calling:java.util.Map:get
    //#ProcessMessage.java:397: end of method: bool com.dmdirc.parser.irc.ProcessMessage.callUnknownNotice(String, String, String)
	}

	
	/**
	 * What does this IRCProcessor handle.
	 *
	 * @return String[] with the names of the tokens we handle.
	 */
	@Override
	public String[] handles() {
		return new String[]{"PRIVMSG", "NOTICE"};
    //#ProcessMessage.java:408: method: String[] com.dmdirc.parser.irc.ProcessMessage.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
    //#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 == 2
    //#post(String[] handles()): return_value[0] == &"PRIVMSG"
    //#post(String[] handles()): return_value[1] == &"NOTICE"
    //#ProcessMessage.java:408: end of method: String[] com.dmdirc.parser.irc.ProcessMessage.handles()
	}
	
	/**
	 * 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 ProcessMessage (IRCParser parser, ProcessingManager manager) { super(parser, manager); }
    //#ProcessMessage.java:417: method: void com.dmdirc.parser.irc.ProcessMessage.com.dmdirc.parser.irc.ProcessMessage(IRCParser, ProcessingManager)
    //#input(void com.dmdirc.parser.irc.ProcessMessage(IRCParser, ProcessingManager)): manager
    //#input(void com.dmdirc.parser.irc.ProcessMessage(IRCParser, ProcessingManager)): parser
    //#input(void com.dmdirc.parser.irc.ProcessMessage(IRCParser, ProcessingManager)): this
    //#output(void com.dmdirc.parser.irc.ProcessMessage(IRCParser, ProcessingManager)): this.myManager
    //#output(void com.dmdirc.parser.irc.ProcessMessage(IRCParser, ProcessingManager)): this.myParser
    //#post(void com.dmdirc.parser.irc.ProcessMessage(IRCParser, ProcessingManager)): this.myManager == manager
    //#post(void com.dmdirc.parser.irc.ProcessMessage(IRCParser, ProcessingManager)): init'ed(this.myManager)
    //#post(void com.dmdirc.parser.irc.ProcessMessage(IRCParser, ProcessingManager)): this.myParser == parser
    //#post(void com.dmdirc.parser.irc.ProcessMessage(IRCParser, ProcessingManager)): init'ed(this.myParser)
    //#ProcessMessage.java:417: end of method: void com.dmdirc.parser.irc.ProcessMessage.com.dmdirc.parser.irc.ProcessMessage(IRCParser, ProcessingManager)

}
    //#output(com.dmdirc.parser.irc.ProcessMessage__static_init): __Descendant_Table[com/dmdirc/parser/irc/ProcessMessage]
    //#output(com.dmdirc.parser.irc.ProcessMessage__static_init): __Dispatch_Table.callChannelAction(Lcom/dmdirc/parser/irc/ChannelInfo;Lcom/dmdirc/parser/irc/ChannelClientInfo;Ljava/lang/String;Ljava/lang/String;)Z
    //#output(com.dmdirc.parser.irc.ProcessMessage__static_init): __Dispatch_Table.callChannelCTCP(Lcom/dmdirc/parser/irc/ChannelInfo;Lcom/dmdirc/parser/irc/ChannelClientInfo;Ljava/lang/String;Ljava/lang/String;Ljava/lang/String;)Z
    //#output(com.dmdirc.parser.irc.ProcessMessage__static_init): __Dispatch_Table.callChannelCTCPReply(Lcom/dmdirc/parser/irc/ChannelInfo;Lcom/dmdirc/parser/irc/ChannelClientInfo;Ljava/lang/String;Ljava/lang/String;Ljava/lang/String;)Z
    //#output(com.dmdirc.parser.irc.ProcessMessage__static_init): __Dispatch_Table.callChannelMessage(Lcom/dmdirc/parser/irc/ChannelInfo;Lcom/dmdirc/parser/irc/ChannelClientInfo;Ljava/lang/String;Ljava/lang/String;)Z
    //#output(com.dmdirc.parser.irc.ProcessMessage__static_init): __Dispatch_Table.callChannelNotice(Lcom/dmdirc/parser/irc/ChannelInfo;Lcom/dmdirc/parser/irc/ChannelClientInfo;Ljava/lang/String;Ljava/lang/String;)Z
    //#output(com.dmdirc.parser.irc.ProcessMessage__static_init): __Dispatch_Table.callDebugInfo(ILjava/lang/String;)Z
    //#output(com.dmdirc.parser.irc.ProcessMessage__static_init): __Dispatch_Table.callDebugInfo(ILjava/lang/String;[Ljava/lang/Object;)Z
    //#output(com.dmdirc.parser.irc.ProcessMessage__static_init): __Dispatch_Table.callErrorInfo(Lcom/dmdirc/parser/irc/ParserError;)Z
    //#output(com.dmdirc.parser.irc.ProcessMessage__static_init): __Dispatch_Table.callPrivateAction(Ljava/lang/String;Ljava/lang/String;)Z
    //#output(com.dmdirc.parser.irc.ProcessMessage__static_init): __Dispatch_Table.callPrivateCTCP(Ljava/lang/String;Ljava/lang/String;Ljava/lang/String;)Z
    //#output(com.dmdirc.parser.irc.ProcessMessage__static_init): __Dispatch_Table.callPrivateCTCPReply(Ljava/lang/String;Ljava/lang/String;Ljava/lang/String;)Z
    //#output(com.dmdirc.parser.irc.ProcessMessage__static_init): __Dispatch_Table.callPrivateMessage(Ljava/lang/String;Ljava/lang/String;)Z
    //#output(com.dmdirc.parser.irc.ProcessMessage__static_init): __Dispatch_Table.callPrivateNotice(Ljava/lang/String;Ljava/lang/String;)Z
    //#output(com.dmdirc.parser.irc.ProcessMessage__static_init): __Dispatch_Table.callUnknownAction(Ljava/lang/String;Ljava/lang/String;Ljava/lang/String;)Z
    //#output(com.dmdirc.parser.irc.ProcessMessage__static_init): __Dispatch_Table.callUnknownCTCP(Ljava/lang/String;Ljava/lang/String;Ljava/lang/String;Ljava/lang/String;)Z
    //#output(com.dmdirc.parser.irc.ProcessMessage__static_init): __Dispatch_Table.callUnknownCTCPReply(Ljava/lang/String;Ljava/lang/String;Ljava/lang/String;Ljava/lang/String;)Z
    //#output(com.dmdirc.parser.irc.ProcessMessage__static_init): __Dispatch_Table.callUnknownMessage(Ljava/lang/String;Ljava/lang/String;Ljava/lang/String;)Z
    //#output(com.dmdirc.parser.irc.ProcessMessage__static_init): __Dispatch_Table.callUnknownNotice(Ljava/lang/String;Ljava/lang/String;Ljava/lang/String;)Z
    //#output(com.dmdirc.parser.irc.ProcessMessage__static_init): __Dispatch_Table.getCallbackManager()Lcom/dmdirc/parser/irc/callbacks/CallbackManager;
    //#output(com.dmdirc.parser.irc.ProcessMessage__static_init): __Dispatch_Table.getChannelInfo(Ljava/lang/String;)Lcom/dmdirc/parser/irc/ChannelInfo;
    //#output(com.dmdirc.parser.irc.ProcessMessage__static_init): __Dispatch_Table.getClientInfo(Ljava/lang/String;)Lcom/dmdirc/parser/irc/ClientInfo;
    //#output(com.dmdirc.parser.irc.ProcessMessage__static_init): __Dispatch_Table.getLowerName()Ljava/lang/String;
    //#output(com.dmdirc.parser.irc.ProcessMessage__static_init): __Dispatch_Table.getName()Ljava/lang/String;
    //#output(com.dmdirc.parser.irc.ProcessMessage__static_init): __Dispatch_Table.handles()[Ljava/lang/String;
    //#output(com.dmdirc.parser.irc.ProcessMessage__static_init): __Dispatch_Table.isValidChannelName(Ljava/lang/String;)Z
    //#output(com.dmdirc.parser.irc.ProcessMessage__static_init): __Dispatch_Table.process(Ljava/lang/String;[Ljava/lang/String;)V
    //#output(com.dmdirc.parser.irc.ProcessMessage__static_init): __Dispatch_Table.sendString(Ljava/lang/String;)V
    //#output(com.dmdirc.parser.irc.ProcessMessage__static_init): __Dispatch_Table.toString()Ljava/lang/String;
    //#output(com.dmdirc.parser.irc.ProcessMessage__static_init): com/dmdirc/parser/irc/IRCProcessor.__Descendant_Table[com/dmdirc/parser/irc/ProcessMessage]
    //#post(com.dmdirc.parser.irc.ProcessMessage__static_init): __Descendant_Table[com/dmdirc/parser/irc/ProcessMessage] == &__Dispatch_Table
    //#post(com.dmdirc.parser.irc.ProcessMessage__static_init): com/dmdirc/parser/irc/IRCProcessor.__Descendant_Table[com/dmdirc/parser/irc/ProcessMessage] == &__Dispatch_Table
    //#post(com.dmdirc.parser.irc.ProcessMessage__static_init): __Dispatch_Table.callChannelAction(Lcom/dmdirc/parser/irc/ChannelInfo;Lcom/dmdirc/parser/irc/ChannelClientInfo;Ljava/lang/String;Ljava/lang/String;)Z == &callChannelAction
    //#post(com.dmdirc.parser.irc.ProcessMessage__static_init): __Dispatch_Table.callChannelCTCP(Lcom/dmdirc/parser/irc/ChannelInfo;Lcom/dmdirc/parser/irc/ChannelClientInfo;Ljava/lang/String;Ljava/lang/String;Ljava/lang/String;)Z == &callChannelCTCP
    //#post(com.dmdirc.parser.irc.ProcessMessage__static_init): __Dispatch_Table.callChannelCTCPReply(Lcom/dmdirc/parser/irc/ChannelInfo;Lcom/dmdirc/parser/irc/ChannelClientInfo;Ljava/lang/String;Ljava/lang/String;Ljava/lang/String;)Z == &callChannelCTCPReply
    //#post(com.dmdirc.parser.irc.ProcessMessage__static_init): __Dispatch_Table.callChannelMessage(Lcom/dmdirc/parser/irc/ChannelInfo;Lcom/dmdirc/parser/irc/ChannelClientInfo;Ljava/lang/String;Ljava/lang/String;)Z == &callChannelMessage
    //#post(com.dmdirc.parser.irc.ProcessMessage__static_init): __Dispatch_Table.callChannelNotice(Lcom/dmdirc/parser/irc/ChannelInfo;Lcom/dmdirc/parser/irc/ChannelClientInfo;Ljava/lang/String;Ljava/lang/String;)Z == &callChannelNotice
    //#post(com.dmdirc.parser.irc.ProcessMessage__static_init): __Dispatch_Table.callDebugInfo(ILjava/lang/String;)Z == &com/dmdirc/parser/irc/IRCProcessor.callDebugInfo
    //#post(com.dmdirc.parser.irc.ProcessMessage__static_init): __Dispatch_Table.callDebugInfo(ILjava/lang/String;[Ljava/lang/Object;)Z == &com/dmdirc/parser/irc/IRCProcessor.callDebugInfo
    //#post(com.dmdirc.parser.irc.ProcessMessage__static_init): __Dispatch_Table.callErrorInfo(Lcom/dmdirc/parser/irc/ParserError;)Z == &com/dmdirc/parser/irc/IRCProcessor.callErrorInfo
    //#post(com.dmdirc.parser.irc.ProcessMessage__static_init): __Dispatch_Table.callPrivateAction(Ljava/lang/String;Ljava/lang/String;)Z == &callPrivateAction
    //#post(com.dmdirc.parser.irc.ProcessMessage__static_init): __Dispatch_Table.callPrivateCTCP(Ljava/lang/String;Ljava/lang/String;Ljava/lang/String;)Z == &callPrivateCTCP
    //#post(com.dmdirc.parser.irc.ProcessMessage__static_init): __Dispatch_Table.callPrivateCTCPReply(Ljava/lang/String;Ljava/lang/String;Ljava/lang/String;)Z == &callPrivateCTCPReply
    //#post(com.dmdirc.parser.irc.ProcessMessage__static_init): __Dispatch_Table.callPrivateMessage(Ljava/lang/String;Ljava/lang/String;)Z == &callPrivateMessage
    //#post(com.dmdirc.parser.irc.ProcessMessage__static_init): __Dispatch_Table.callPrivateNotice(Ljava/lang/String;Ljava/lang/String;)Z == &callPrivateNotice
    //#post(com.dmdirc.parser.irc.ProcessMessage__static_init): __Dispatch_Table.callUnknownAction(Ljava/lang/String;Ljava/lang/String;Ljava/lang/String;)Z == &callUnknownAction
    //#post(com.dmdirc.parser.irc.ProcessMessage__static_init): __Dispatch_Table.callUnknownCTCP(Ljava/lang/String;Ljava/lang/String;Ljava/lang/String;Ljava/lang/String;)Z == &callUnknownCTCP
    //#post(com.dmdirc.parser.irc.ProcessMessage__static_init): __Dispatch_Table.callUnknownCTCPReply(Ljava/lang/String;Ljava/lang/String;Ljava/lang/String;Ljava/lang/String;)Z == &callUnknownCTCPReply
    //#post(com.dmdirc.parser.irc.ProcessMessage__static_init): __Dispatch_Table.callUnknownMessage(Ljava/lang/String;Ljava/lang/String;Ljava/lang/String;)Z == &callUnknownMessage
    //#post(com.dmdirc.parser.irc.ProcessMessage__static_init): __Dispatch_Table.callUnknownNotice(Ljava/lang/String;Ljava/lang/String;Ljava/lang/String;)Z == &callUnknownNotice
    //#post(com.dmdirc.parser.irc.ProcessMessage__static_init): __Dispatch_Table.getCallbackManager()Lcom/dmdirc/parser/irc/callbacks/CallbackManager; == &com/dmdirc/parser/irc/IRCProcessor.getCallbackManager
    //#post(com.dmdirc.parser.irc.ProcessMessage__static_init): __Dispatch_Table.getChannelInfo(Ljava/lang/String;)Lcom/dmdirc/parser/irc/ChannelInfo; == &com/dmdirc/parser/irc/IRCProcessor.getChannelInfo
    //#post(com.dmdirc.parser.irc.ProcessMessage__static_init): __Dispatch_Table.getClientInfo(Ljava/lang/String;)Lcom/dmdirc/parser/irc/ClientInfo; == &com/dmdirc/parser/irc/IRCProcessor.getClientInfo
    //#post(com.dmdirc.parser.irc.ProcessMessage__static_init): __Dispatch_Table.getLowerName()Ljava/lang/String; == &com/dmdirc/parser/irc/IRCProcessor.getLowerName
    //#post(com.dmdirc.parser.irc.ProcessMessage__static_init): __Dispatch_Table.getName()Ljava/lang/String; == &com/dmdirc/parser/irc/IRCProcessor.getName
    //#post(com.dmdirc.parser.irc.ProcessMessage__static_init): __Dispatch_Table.handles()[Ljava/lang/String; == &handles
    //#post(com.dmdirc.parser.irc.ProcessMessage__static_init): __Dispatch_Table.isValidChannelName(Ljava/lang/String;)Z == &com/dmdirc/parser/irc/IRCProcessor.isValidChannelName
    //#post(com.dmdirc.parser.irc.ProcessMessage__static_init): __Dispatch_Table.process(Ljava/lang/String;[Ljava/lang/String;)V == &process
    //#post(com.dmdirc.parser.irc.ProcessMessage__static_init): __Dispatch_Table.sendString(Ljava/lang/String;)V == &com/dmdirc/parser/irc/IRCProcessor.sendString
    //#post(com.dmdirc.parser.irc.ProcessMessage__static_init): __Dispatch_Table.toString()Ljava/lang/String; == &com/dmdirc/parser/irc/IRCProcessor.toString
    //#ProcessMessage.java:: end of method: com.dmdirc.parser.irc.ProcessMessage.com.dmdirc.parser.irc.ProcessMessage__static_init
    //#ProcessMessage.java:: end of class: com.dmdirc.parser.irc.ProcessMessage
