//# 18 errors, 424 messages
//#
/*
    //#ProcessJoin.java:1:1: class: com.dmdirc.parser.irc.ProcessJoin
    //#ProcessJoin.java:1:1: method: com.dmdirc.parser.irc.ProcessJoin.com.dmdirc.parser.irc.ProcessJoin__static_init
 * Copyright (c) 2006-2009 Chris Smith, Shane Mc Cormack, Gregory Holmes
 *
 * Permission is hereby granted, free of charge, to any person obtaining a copy
 * of this software and associated documentation files (the "Software"), to deal
 * in the Software without restriction, including without limitation the rights
 * to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
 * copies of the Software, and to permit persons to whom the Software is
 * furnished to do so, subject to the following conditions:
 *
 * The above copyright notice and this permission notice shall be included in
 * all copies or substantial portions of the Software.
 *
 * THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
 * IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
 * FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
 * AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
 * LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
 * OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
 * SOFTWARE.
 */

package com.dmdirc.parser.irc;

/**
 * Process a channel join.
 */
public class ProcessJoin extends IRCProcessor {

	/**
	 * Process a channel join.
	 *
	 * @param sParam Type of line to process ("JOIN")
	 * @param token IRCTokenised line to process
	 */
	@Override
	public void process(final String sParam, final String[] token) {
		if (sParam.equals("329")) {
    //#ProcessJoin.java:38: method: void com.dmdirc.parser.irc.ProcessJoin.process(String, String[])
    //#input(void process(String, String[])): " for mode "._tainted
    //#input(void process(String, String[])): "Callback not found: "._tainted
    //#input(void process(String, String[])): "Exception in Processor. ["._tainted
    //#input(void process(String, String[])): "Intercepted mode request for "._tainted
    //#input(void process(String, String[])): "MODE "._tainted
    //#input(void process(String, String[])): "No processors will handle "._tainted
    //#input(void process(String, String[])): "OnChannelJoin"._tainted
    //#input(void process(String, String[])): "OnChannelSelfJoin"._tainted
    //#input(void process(String, String[])): "OnDataOut"._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[])): "PART"._tainted
    //#input(void process(String, String[])): "]: "._tainted
    //#input(void process(String, String[])): __Descendant_Table[com/dmdirc/parser/irc/ProcessJoin]
    //#input(void process(String, String[])): __Descendant_Table[others]
    //#input(void process(String, String[])): __Dispatch_Table.callChannelJoin(Lcom/dmdirc/parser/irc/ChannelInfo;Lcom/dmdirc/parser/irc/ChannelClientInfo;)Z
    //#input(void process(String, String[])): __Dispatch_Table.callChannelSelfJoin(Lcom/dmdirc/parser/irc/ChannelInfo;)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.getChannel()Lcom/dmdirc/parser/irc/ChannelInfo;
    //#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/ChannelClientInfo.__Dispatch_Table.getNickname()Ljava/lang/String;
    //#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.addClient(Lcom/dmdirc/parser/irc/ClientInfo;)Lcom/dmdirc/parser/irc/ChannelClientInfo;
    //#input(void process(String, String[])): com/dmdirc/parser/irc/ChannelInfo.__Dispatch_Table.getListModeQueue()Ljava/util/Queue;
    //#input(void process(String, String[])): com/dmdirc/parser/irc/ChannelInfo.__Dispatch_Table.getName()Ljava/lang/String;
    //#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/ChannelInfo.__Dispatch_Table.setCreateTime(J)V
    //#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.addChannel(Lcom/dmdirc/parser/irc/ChannelInfo;)V
    //#input(void process(String, String[])): com/dmdirc/parser/irc/IRCParser.__Dispatch_Table.addClient(Lcom/dmdirc/parser/irc/ClientInfo;)V
    //#input(void process(String, String[])): com/dmdirc/parser/irc/IRCParser.__Dispatch_Table.callDataOut(Ljava/lang/String;Z)Z
    //#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.doSendString(Ljava/lang/String;Z)V
    //#input(void process(String, String[])): com/dmdirc/parser/irc/IRCParser.__Dispatch_Table.getCallbackManager()Lcom/dmdirc/parser/irc/callbacks/CallbackManager;
    //#input(void process(String, String[])): com/dmdirc/parser/irc/IRCParser.__Dispatch_Table.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.getLastLine()Ljava/lang/String;
    //#input(void process(String, String[])): com/dmdirc/parser/irc/IRCParser.__Dispatch_Table.getMyself()Lcom/dmdirc/parser/irc/ClientInfo;
    //#input(void process(String, String[])): com/dmdirc/parser/irc/IRCParser.__Dispatch_Table.getProcessingManager()Lcom/dmdirc/parser/irc/ProcessingManager;
    //#input(void process(String, String[])): com/dmdirc/parser/irc/IRCParser.__Dispatch_Table.getSocketState()Lcom/dmdirc/parser/irc/SocketState;
    //#input(void process(String, String[])): com/dmdirc/parser/irc/IRCParser.__Dispatch_Table.sendString(Ljava/lang/String;)V
    //#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.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/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/ProcessMessage.__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/SocketState.OPEN
    //#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.currentSocketState
    //#input(void process(String, String[])): this.myParser.hChanModesOther
    //#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.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.out
    //#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,2, 5..4_294_967_295]
    //#input(void process(String, String[])): token[1,2, 5..4_294_967_295]._tainted
    //#input(void process(String, String[])): token[3]
    //#input(void process(String, String[])): token[3]._tainted
    //#input(void process(String, String[])): token[4]
    //#input(void process(String, String[])): token[4]._tainted
    //#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.cMyself.myAwayReason
    //#output(void process(String, String[])): this.myParser.stringConverter
    //#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[3] (void process(String, String[])): sParam != null
    //#pre[30] (void process(String, String[])): token != null
    //#pre[31] (void process(String, String[])): token.length <= 4_294_967_296
    //#pre[2] (void process(String, String[])): (soft) init'ed(this.myParser.stringConverter)
    //#pre[5] (void process(String, String[])): (soft) this.__Tag == com/dmdirc/parser/irc/ProcessJoin
    //#pre[6] (void process(String, String[])): (soft) this.myParser != null
    //#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[11] (void process(String, String[])): (soft) this.myParser.__Tag == com/dmdirc/parser/irc/IRCParser
    //#pre[12] (void process(String, String[])): (soft) this.myParser.cMyself != null
    //#pre[13] (void process(String, String[])): (soft) init'ed(this.myParser.currentSocketState)
    //#pre[14] (void process(String, String[])): (soft) this.myParser.hChanModesOther != null
    //#pre[15] (void process(String, String[])): (soft) this.myParser.hChannelList != null
    //#pre[17] (void process(String, String[])): (soft) this.myParser.hClientList != null
    //#pre[18] (void process(String, String[])): (soft) init'ed(this.myParser.lastLine)
    //#pre[19] (void process(String, String[])): (soft) this.myParser.myCallbackManager != null
    //#pre[20] (void process(String, String[])): (soft) this.myParser.myCallbackManager.callbackHash != null
    //#pre[21] (void process(String, String[])): (soft) this.myParser.myProcessingManager != null
    //#pre[22] (void process(String, String[])): (soft) this.myParser.myProcessingManager.__Tag == com/dmdirc/parser/irc/ProcessingManager
    //#pre[23] (void process(String, String[])): (soft) this.myParser.myProcessingManager.myParser != null
    //#pre[24] (void process(String, String[])): (soft) this.myParser.myProcessingManager.processHash != null
    //#pre[25] (void process(String, String[])): (soft) init'ed(this.myParser.out)
    //#pre[26] (void process(String, String[])): (soft) this.myParser.stringConverter.__Tag == com/dmdirc/parser/irc/IRCStringConverter
    //#pre[27] (void process(String, String[])): (soft) this.myParser.stringConverter.lowercase != null
    //#pre[29] (void process(String, String[])): (soft) init'ed(this.myParser.stringConverter.lowercase[0..65_535])
    //#pre[32] (void process(String, String[])): (soft) token[0] != null
    //#pre[34] (void process(String, String[])): (soft) token[1,2, 5..4_294_967_295] != null
    //#pre[36] (void process(String, String[])): (soft) token[3] != null
    //#pre[38] (void process(String, String[])): (soft) token[4] != null
    //#presumption(void process(String, String[])): iChannel.__Tag@55 == com/dmdirc/parser/irc/ChannelInfo
    //#presumption(void process(String, String[])): iChannel.hChannelUserList@55 != null
    //#presumption(void process(String, String[])): iChannel.myParser.__Tag@55 == com/dmdirc/parser/irc/IRCParser
    //#presumption(void process(String, String[])): iChannel.myParser.__Tag@55 == com/dmdirc/parser/irc/IRCParser
    //#presumption(void process(String, String[])): iChannel.myParser@55 != null
    //#presumption(void process(String, String[])): iChannel.sName@55 != null
    //#presumption(void process(String, String[])): iClient.myChannelClientInfos@54 != null
    //#presumption(void process(String, String[])): iClient.myParser.__Tag@55 == com/dmdirc/parser/irc/IRCParser
    //#presumption(void process(String, String[])): iClient.myParser@54 != null
    //#presumption(void process(String, String[])): iClient.sHost@54 != null
    //#presumption(void process(String, String[])): iClient.sHost@59 != null
    //#presumption(void process(String, String[])): this.myParser.stringConverter.__Tag == com/dmdirc/parser/irc/IRCStringConverter
    //#presumption(void process(String, String[])): this.myParser.stringConverter.__Tag@54 == com/dmdirc/parser/irc/IRCStringConverter
    //#presumption(void process(String, String[])): this.myParser.stringConverter.__Tag@55 == com/dmdirc/parser/irc/IRCStringConverter
    //#presumption(void process(String, String[])): this.myParser.stringConverter.__Tag@59 == com/dmdirc/parser/irc/IRCStringConverter
    //#presumption(void process(String, String[])): this.myParser.stringConverter.lowercase != null
    //#presumption(void process(String, String[])): this.myParser.stringConverter.lowercase@54 != null
    //#presumption(void process(String, String[])): this.myParser.stringConverter.lowercase@55 != null
    //#presumption(void process(String, String[])): this.myParser.stringConverter.lowercase@59 != null
    //#post(void process(String, String[])): init'ed(java.lang.String:substring(...)._tainted)
    //#post(void process(String, String[])): possibly_updated(this.myParser.cMyself.myAwayReason)
    //#post(void process(String, String[])): init'ed(this.myParser.stringConverter)
    //#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[])): possibly_updated(new IRCStringConverter(getIRCStringConverter#1).__Tag)
    //#post(void process(String, String[])): init'ed(new IRCStringConverter(getIRCStringConverter#1).limit)
    //#post(void process(String, String[])): possibly_updated(new IRCStringConverter(getIRCStringConverter#1).limit)
    //#post(void process(String, String[])): init'ed(new IRCStringConverter(getIRCStringConverter#1).lowercase)
    //#post(void process(String, String[])): possibly_updated(new IRCStringConverter(getIRCStringConverter#1).lowercase)
    //#post(void process(String, String[])): init'ed(new IRCStringConverter(getIRCStringConverter#1).uppercase)
    //#post(void process(String, String[])): possibly_updated(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).length)
    //#post(void process(String, String[])): possibly_updated(new char[](IRCStringConverter#1)[0..65_535])
    //#post(void process(String, String[])): init'ed(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).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:getUser
    //#unanalyzed(void process(String, String[])): Effects-of-calling:getLastLine
    //#unanalyzed(void process(String, String[])): Effects-of-calling:callErrorInfo
    //#unanalyzed(void process(String, String[])): Effects-of-calling:getName
    //#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.StringBuilder
    //#unanalyzed(void process(String, String[])): Effects-of-calling:java.lang.StringBuilder:append
    //#unanalyzed(void process(String, String[])): Effects-of-calling:java.lang.StringBuilder:toString
    //#unanalyzed(void process(String, String[])): Effects-of-calling:java.lang.RuntimeException
    //#unanalyzed(void process(String, String[])): Effects-of-calling:java.util.Map:get
    //#unanalyzed(void process(String, String[])): Effects-of-calling:java.lang.Throwable:__curr_excep_obj
    //#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.lang.String
    //#unanalyzed(void process(String, String[])): Effects-of-calling:parseHost
    //#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:java.util.Hashtable
    //#unanalyzed(void process(String, String[])): Effects-of-calling:java.util.LinkedList
    //#unanalyzed(void process(String, String[])): Effects-of-calling:java.util.HashMap
    //#unanalyzed(void process(String, String[])): Effects-of-calling:getNickname
    //#unanalyzed(void process(String, String[])): Effects-of-calling:java.util.Map:put
    //#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: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.Exception:getMessage
    //#unanalyzed(void process(String, String[])): Effects-of-calling:java.lang.System:currentTimeMillis
    //#unanalyzed(void process(String, String[])): Effects-of-calling:com.dmdirc.parser.irc.ChannelClientInfo
    //#unanalyzed(void process(String, String[])): Effects-of-calling:sendString
    //#unanalyzed(void process(String, String[])): Effects-of-calling:getChannel
    //#unanalyzed(void process(String, String[])): Effects-of-calling:java.lang.String:indexOf
    //#unanalyzed(void process(String, String[])): Effects-of-calling:java.lang.String:equalsIgnoreCase
    //#unanalyzed(void process(String, String[])): Effects-of-calling:java.lang.Character:valueOf
    //#unanalyzed(void process(String, String[])): Effects-of-calling:java.lang.Byte:byteValue
    //#unanalyzed(void process(String, String[])): Effects-of-calling:doSendString
    //#unanalyzed(void process(String, String[])): Effects-of-calling:java.lang.Boolean:valueOf
    //#unanalyzed(void process(String, String[])): Effects-of-calling:java.io.PrintWriter:printf
    //#unanalyzed(void process(String, String[])): Effects-of-calling:setAwayReason
    //#unanalyzed(void process(String, String[])): Effects-of-calling:getListModeQueue
    //#unanalyzed(void process(String, String[])): Effects-of-calling:java.util.LinkedList:contains
    //#unanalyzed(void process(String, String[])): Effects-of-calling:java.util.Queue:offer
    //#unanalyzed(void process(String, String[])): Effects-of-calling:java.util.LinkedList:offer
    //#test_vector(void process(String, String[])): token.length: {5..4_294_967_296}, {0..2}
    //#test_vector(void process(String, String[])): java.lang.String:equals(...)@38: {0}, {1}
    //#test_vector(void process(String, String[])): java.lang.String:isEmpty(...)@62: {0}, {1}
			if (token.length < 5) { return; }
			ChannelInfo iChannel = myParser.getChannelInfo(token[3]);
    //#ProcessJoin.java:40: ?precondition failure
    //#    com/dmdirc/parser/irc/IRCParser.getChannelInfo: (soft) init'ed(this.stringConverter.lowercase[0..65_535])
    //#    severity: SUPPRESSED
    //#    class: com.dmdirc.parser.irc.ProcessJoin
    //#    method: void process(String, String[])
    //#    basic block: bb_4
    //#    assertion: (soft) init'ed(this.myParser.stringConverter.lowercase[0..65_535])
    //#    callee: ChannelInfo com/dmdirc/parser/irc/IRCParser.getChannelInfo(String)
    //#    callee assertion: (soft) init'ed(this.stringConverter.lowercase[0..65_535])
    //#    callee file: IRCParser.java
    //#    callee precondition index: [9]
    //#    callee srcpos: 894
    //#    VN: this.myParser.stringConverter.lowercase[0..65_535]
    //#    Expected: {0..65_535}
    //#    Bad: {Invalid}
    //#    Attribs:  Int  Soft  Bad only invalid
			if (iChannel != null) {
				try {
					iChannel.setCreateTime(Integer.parseInt(token[4]));
    //#ProcessJoin.java:43: ?use of default init
    //#    init'ed(iChannel.__Tag)
    //#    severity: SUPPRESSED
    //#    class: com.dmdirc.parser.irc.ProcessJoin
    //#    method: void process(String, String[])
    //#    basic block: bb_6
    //#    assertion: init'ed(iChannel.__Tag)
    //#    VN: iChannel.__Tag
    //#    Expected: {-Inf..+Inf}
    //#    Bad: {Invalid}
    //#    Attribs:  Int  Bad only invalid
    //#ProcessJoin.java:43: ?null dereference
    //#    com/dmdirc/parser/irc/ChannelInfo.__Descendant_Table[iChannel.__Tag] != null
    //#    severity: SUPPRESSED
    //#    class: com.dmdirc.parser.irc.ProcessJoin
    //#    method: void process(String, String[])
    //#    basic block: bb_6
    //#    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
				} catch (NumberFormatException nfe) { /* Oh well, not a normal ircd I guess */ }
			}
		} else {
			// :nick!ident@host JOIN (:)#Channel
			Byte nTemp;
			if (token.length < 3) { return; }
			ClientInfo iClient;
			ChannelInfo iChannel;
			ChannelClientInfo iChannelClient;
			
			iClient = myParser.getClientInfo(token[0]);
    //#ProcessJoin.java:54: ?precondition failure
    //#    com/dmdirc/parser/irc/IRCParser.getClientInfo: (soft) init'ed(this.stringConverter.lowercase[0..65_535])
    //#    severity: SUPPRESSED
    //#    class: com.dmdirc.parser.irc.ProcessJoin
    //#    method: void process(String, String[])
    //#    basic block: bb_11
    //#    assertion: (soft) init'ed(this.myParser.stringConverter.lowercase[0..65_535])
    //#    callee: ClientInfo com/dmdirc/parser/irc/IRCParser.getClientInfo(String)
    //#    callee assertion: (soft) init'ed(this.stringConverter.lowercase[0..65_535])
    //#    callee file: IRCParser.java
    //#    callee precondition index: [10]
    //#    callee srcpos: 870
    //#    VN: this.myParser.stringConverter.lowercase[0..65_535]
    //#    Expected: {0..65_535}
    //#    Bad: {Invalid}
    //#    Attribs:  Int  Soft  Bad only invalid
			iChannel = myParser.getChannelInfo(token[token.length-1]);
			
			if (iClient == null) { 
				iClient = new ClientInfo(myParser, token[0]);
				myParser.addClient(iClient);
    //#ProcessJoin.java:59: ?!precondition failure
    //#    com/dmdirc/parser/irc/IRCParser.addClient: client.sNickname != null
    //#    severity: HIGH
    //#    class: com.dmdirc.parser.irc.ProcessJoin
    //#    method: void process(String, String[])
    //#    basic block: bb_12
    //#    assertion: undefined != null
    //#    callee: void com/dmdirc/parser/irc/IRCParser.addClient(ClientInfo)
    //#    callee assertion: client.sNickname != null
    //#    callee file: IRCParser.java
    //#    callee precondition index: [2]
    //#    callee srcpos: 1976
    //#    VN: undefined
    //#    Expected: Inverse{null}
    //#    Bad: Addr_Set{null, Invalid}
    //#    Attribs:  Ptr  null in Bad
			}
			// Check to see if we know the host/ident for this client to facilitate dmdirc Formatter
			if (iClient.getHost().isEmpty()) { iClient.setUserBits(token[0],false); }
			if (iChannel != null) {
				if (iClient == myParser.getMyself()) {
					try {
						if (iChannel.getUser(iClient) != null) {
    //#ProcessJoin.java:66: ?use of default init
    //#    init'ed(iChannel.__Tag)
    //#    severity: SUPPRESSED
    //#    class: com.dmdirc.parser.irc.ProcessJoin
    //#    method: void process(String, String[])
    //#    basic block: bb_18
    //#    assertion: init'ed(iChannel.__Tag)
    //#    VN: iChannel.__Tag
    //#    Expected: {-Inf..+Inf}
    //#    Bad: {Invalid}
    //#    Attribs:  Int  Bad only invalid
    //#ProcessJoin.java:66: ?null dereference
    //#    com/dmdirc/parser/irc/ChannelInfo.__Descendant_Table[iChannel.__Tag] != null
    //#    severity: SUPPRESSED
    //#    class: com.dmdirc.parser.irc.ProcessJoin
    //#    method: void process(String, String[])
    //#    basic block: bb_18
    //#    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 we are joining a channel we are already on, fake a part from
							// the channel internally, and rejoin.
							myParser.getProcessingManager().process("PART", token);
						} else {
							// Otherwise we have a channel known, that we are not in?
							myParser.callErrorInfo(new ParserError(ParserError.ERROR_FATAL, "Joined known channel that we wern't already on..", myParser.getLastLine()));
						}
					} catch (ProcessorNotFoundException e) { }
				} else if (iChannel.getUser(iClient) != null) {
    //#ProcessJoin.java:75: ?use of default init
    //#    init'ed(iChannel.__Tag)
    //#    severity: SUPPRESSED
    //#    class: com.dmdirc.parser.irc.ProcessJoin
    //#    method: void process(String, String[])
    //#    basic block: bb_23
    //#    assertion: init'ed(iChannel.__Tag)
    //#    VN: iChannel.__Tag
    //#    Expected: {-Inf..+Inf}
    //#    Bad: {Invalid}
    //#    Attribs:  Int  Bad only invalid
    //#ProcessJoin.java:75: ?null dereference
    //#    com/dmdirc/parser/irc/ChannelInfo.__Descendant_Table[iChannel.__Tag] != null
    //#    severity: SUPPRESSED
    //#    class: com.dmdirc.parser.irc.ProcessJoin
    //#    method: void process(String, String[])
    //#    basic block: bb_23
    //#    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
					// Client joined channel that we already know of.
					return;
				} else {
					// This is only done if we are already the channel, and it isn't us that
					// joined.
					iChannelClient = iChannel.addClient(iClient);
					callChannelJoin(iChannel, iChannelClient);
					return;
				}
			}
			//if (iClient != myParser.getMyself()) {
				// callErrorInfo(new ParserError(ParserError.ERROR_WARNING, "Got join for channel ("+token[token.length-1]+") that I am not on. [Me: "+myParser.getMyself()+"]", myParser.getLastLine()));
			//}
			iChannel = new ChannelInfo(myParser, token[token.length-1]);
			// Add ourself to the channel, this will be overridden by the NAMES reply
			iChannel.addClient(iClient);
			myParser.addChannel(iChannel);
    //#ProcessJoin.java:92: ?precondition failure
    //#    com/dmdirc/parser/irc/IRCParser.addChannel: (soft) this.stringConverter.__Tag == com/dmdirc/parser/irc/IRCStringConverter
    //#    severity: SUPPRESSED
    //#    class: com.dmdirc.parser.irc.ProcessJoin
    //#    method: void process(String, String[])
    //#    basic block: bb_26
    //#    assertion: (soft) this.myParser.stringConverter.__Tag == com/dmdirc/parser/irc/IRCStringConverter
    //#    callee: void com/dmdirc/parser/irc/IRCParser.addChannel(ChannelInfo)
    //#    callee assertion: (soft) this.stringConverter.__Tag == com/dmdirc/parser/irc/IRCStringConverter
    //#    callee file: IRCParser.java
    //#    callee precondition index: [8]
    //#    callee srcpos: 2033
    //#    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
    //#ProcessJoin.java:92: ?precondition failure
    //#    com/dmdirc/parser/irc/IRCParser.addChannel: (soft) this.stringConverter.lowercase != null
    //#    severity: SUPPRESSED
    //#    class: com.dmdirc.parser.irc.ProcessJoin
    //#    method: void process(String, String[])
    //#    basic block: bb_26
    //#    assertion: (soft) this.myParser.stringConverter.lowercase != null
    //#    callee: void com/dmdirc/parser/irc/IRCParser.addChannel(ChannelInfo)
    //#    callee assertion: (soft) this.stringConverter.lowercase != null
    //#    callee file: IRCParser.java
    //#    callee precondition index: [9]
    //#    callee srcpos: 2033
    //#    VN: this.myParser.stringConverter.lowercase
    //#    Expected: Inverse{null}
    //#    Bad: Addr_Set{null}
    //#    Attribs:  Ptr  null in Bad  Soft
    //#ProcessJoin.java:92: ?precondition failure
    //#    com/dmdirc/parser/irc/IRCParser.addChannel: (soft) init'ed(this.stringConverter.lowercase[0..65_535])
    //#    severity: SUPPRESSED
    //#    class: com.dmdirc.parser.irc.ProcessJoin
    //#    method: void process(String, String[])
    //#    basic block: bb_26
    //#    assertion: (soft) init'ed(this.myParser.stringConverter.lowercase[0..65_535])
    //#    callee: void com/dmdirc/parser/irc/IRCParser.addChannel(ChannelInfo)
    //#    callee assertion: (soft) init'ed(this.stringConverter.lowercase[0..65_535])
    //#    callee file: IRCParser.java
    //#    callee precondition index: [11]
    //#    callee srcpos: 2033
    //#    VN: this.myParser.stringConverter.lowercase[0..65_535]
    //#    Expected: {0..65_535}
    //#    Bad: {Invalid}
    //#    Attribs:  Int  Soft  Bad only invalid
			sendString("MODE "+iChannel.getName());
			
			callChannelSelfJoin(iChannel);
		}
	}
    //#ProcessJoin.java:97: end of method: void com.dmdirc.parser.irc.ProcessJoin.process(String, String[])
	

	/**
	 * Callback to all objects implementing the ChannelJoin Callback.
	 *
	 * @see IChannelJoin
	 * @param cChannel Channel Object
	 * @param cChannelClient ChannelClient object for new person
	 * @return true if a method was called, false otherwise
	 */
	protected boolean callChannelJoin(final ChannelInfo cChannel, final ChannelClientInfo cChannelClient) {
		return getCallbackManager().getCallbackType("OnChannelJoin").call(cChannel, cChannelClient);
    //#ProcessJoin.java:109: method: bool com.dmdirc.parser.irc.ProcessJoin.callChannelJoin(ChannelInfo, ChannelClientInfo)
    //#ProcessJoin.java:109: ?null dereference
    //#    getCallbackType(...) != null
    //#    severity: MEDIUM
    //#    class: com.dmdirc.parser.irc.ProcessJoin
    //#    method: bool callChannelJoin(ChannelInfo, ChannelClientInfo)
    //#    basic block: Entry_BB_1
    //#    assertion: getCallbackType(...) != null
    //#    VN: getCallbackType(...)
    //#    Expected: Inverse{null}
    //#    Bad: Addr_Set{null}
    //#    Attribs:  Ptr  null in Bad
    //#ProcessJoin.java:109: ?use of default init
    //#    init'ed(getCallbackType(...).__Tag)
    //#    severity: SUPPRESSED
    //#    class: com.dmdirc.parser.irc.ProcessJoin
    //#    method: bool callChannelJoin(ChannelInfo, ChannelClientInfo)
    //#    basic block: Entry_BB_1
    //#    assertion: init'ed(getCallbackType(...).__Tag)
    //#    VN: getCallbackType(...).__Tag
    //#    Expected: {-Inf..+Inf}
    //#    Bad: {Invalid}
    //#    Attribs:  Int  Bad only invalid
    //#ProcessJoin.java:109: ?null dereference
    //#    com/dmdirc/parser/irc/callbacks/CallbackObject.__Descendant_Table[getCallbackType(...).__Tag] != null
    //#    severity: SUPPRESSED
    //#    class: com.dmdirc.parser.irc.ProcessJoin
    //#    method: bool callChannelJoin(ChannelInfo, ChannelClientInfo)
    //#    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
    //#ProcessJoin.java:109: Warning: call too complex - analysis skipped
    //#    call on bool call(Object[])
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.parser.irc.ProcessJoin
    //#    method: bool callChannelJoin(ChannelInfo, ChannelClientInfo)
    //#    unanalyzed callee: bool call(Object[])
    //#input(bool callChannelJoin(ChannelInfo, ChannelClientInfo)): "Callback not found: "._tainted
    //#input(bool callChannelJoin(ChannelInfo, ChannelClientInfo)): "OnChannelJoin"._tainted
    //#input(bool callChannelJoin(ChannelInfo, ChannelClientInfo)): cChannel
    //#input(bool callChannelJoin(ChannelInfo, ChannelClientInfo)): cChannelClient
    //#input(bool callChannelJoin(ChannelInfo, ChannelClientInfo)): com/dmdirc/parser/irc/IRCParser.__Descendant_Table[com/dmdirc/parser/irc/IRCParser]
    //#input(bool callChannelJoin(ChannelInfo, ChannelClientInfo)): com/dmdirc/parser/irc/IRCParser.__Descendant_Table[others]
    //#input(bool callChannelJoin(ChannelInfo, ChannelClientInfo)): com/dmdirc/parser/irc/IRCParser.__Dispatch_Table.getCallbackManager()Lcom/dmdirc/parser/irc/callbacks/CallbackManager;
    //#input(bool callChannelJoin(ChannelInfo, ChannelClientInfo)): com/dmdirc/parser/irc/callbacks/CallbackObject.__Descendant_Table[com/dmdirc/parser/irc/callbacks/CallbackObjectSpecific]
    //#input(bool callChannelJoin(ChannelInfo, ChannelClientInfo)): com/dmdirc/parser/irc/callbacks/CallbackObject.__Descendant_Table[com/dmdirc/parser/irc/callbacks/CallbackObject]
    //#input(bool callChannelJoin(ChannelInfo, ChannelClientInfo)): com/dmdirc/parser/irc/callbacks/CallbackObject.__Descendant_Table[others]
    //#input(bool callChannelJoin(ChannelInfo, ChannelClientInfo)): com/dmdirc/parser/irc/callbacks/CallbackObject.__Dispatch_Table.call([Ljava/lang/Object;)Z
    //#input(bool callChannelJoin(ChannelInfo, ChannelClientInfo)): com/dmdirc/parser/irc/callbacks/CallbackObjectSpecific.__Dispatch_Table.call([Ljava/lang/Object;)Z
    //#input(bool callChannelJoin(ChannelInfo, ChannelClientInfo)): this
    //#input(bool callChannelJoin(ChannelInfo, ChannelClientInfo)): this.myParser
    //#input(bool callChannelJoin(ChannelInfo, ChannelClientInfo)): this.myParser.__Tag
    //#input(bool callChannelJoin(ChannelInfo, ChannelClientInfo)): this.myParser.myCallbackManager
    //#input(bool callChannelJoin(ChannelInfo, ChannelClientInfo)): this.myParser.myCallbackManager.callbackHash
    //#output(bool callChannelJoin(ChannelInfo, ChannelClientInfo)): return_value
    //#pre[4] (bool callChannelJoin(ChannelInfo, ChannelClientInfo)): this.myParser != null
    //#pre[5] (bool callChannelJoin(ChannelInfo, ChannelClientInfo)): this.myParser.__Tag == com/dmdirc/parser/irc/IRCParser
    //#pre[6] (bool callChannelJoin(ChannelInfo, ChannelClientInfo)): this.myParser.myCallbackManager != null
    //#pre[7] (bool callChannelJoin(ChannelInfo, ChannelClientInfo)): this.myParser.myCallbackManager.callbackHash != null
    //#presumption(bool callChannelJoin(ChannelInfo, ChannelClientInfo)): getCallbackManager(...)@109 init'ed
    //#post(bool callChannelJoin(ChannelInfo, ChannelClientInfo)): init'ed(return_value)
    //#unanalyzed(bool callChannelJoin(ChannelInfo, ChannelClientInfo)): Effects-of-calling:getCallbackManager
    //#unanalyzed(bool callChannelJoin(ChannelInfo, ChannelClientInfo)): Effects-of-calling:java.util.Map:containsKey
    //#unanalyzed(bool callChannelJoin(ChannelInfo, ChannelClientInfo)): Effects-of-calling:java.lang.String:toLowerCase
    //#unanalyzed(bool callChannelJoin(ChannelInfo, ChannelClientInfo)): Effects-of-calling:java.lang.StringBuilder
    //#unanalyzed(bool callChannelJoin(ChannelInfo, ChannelClientInfo)): Effects-of-calling:java.lang.StringBuilder:append
    //#unanalyzed(bool callChannelJoin(ChannelInfo, ChannelClientInfo)): Effects-of-calling:java.lang.StringBuilder:toString
    //#unanalyzed(bool callChannelJoin(ChannelInfo, ChannelClientInfo)): Effects-of-calling:java.lang.RuntimeException
    //#unanalyzed(bool callChannelJoin(ChannelInfo, ChannelClientInfo)): Effects-of-calling:java.util.Map:get
    //#ProcessJoin.java:109: end of method: bool com.dmdirc.parser.irc.ProcessJoin.callChannelJoin(ChannelInfo, ChannelClientInfo)
	}
	
	/**
	 * Callback to all objects implementing the ChannelSelfJoin Callback.
	 *
	 * @see IChannelSelfJoin
	 * @param cChannel Channel Object
	 * @return true if a method was called, false otherwise
	 */
	protected boolean callChannelSelfJoin(final ChannelInfo cChannel) {
		return  getCallbackManager().getCallbackType("OnChannelSelfJoin").call(cChannel);
    //#ProcessJoin.java:120: method: bool com.dmdirc.parser.irc.ProcessJoin.callChannelSelfJoin(ChannelInfo)
    //#ProcessJoin.java:120: ?null dereference
    //#    getCallbackType(...) != null
    //#    severity: MEDIUM
    //#    class: com.dmdirc.parser.irc.ProcessJoin
    //#    method: bool callChannelSelfJoin(ChannelInfo)
    //#    basic block: Entry_BB_1
    //#    assertion: getCallbackType(...) != null
    //#    VN: getCallbackType(...)
    //#    Expected: Inverse{null}
    //#    Bad: Addr_Set{null}
    //#    Attribs:  Ptr  null in Bad
    //#ProcessJoin.java:120: ?use of default init
    //#    init'ed(getCallbackType(...).__Tag)
    //#    severity: SUPPRESSED
    //#    class: com.dmdirc.parser.irc.ProcessJoin
    //#    method: bool callChannelSelfJoin(ChannelInfo)
    //#    basic block: Entry_BB_1
    //#    assertion: init'ed(getCallbackType(...).__Tag)
    //#    VN: getCallbackType(...).__Tag
    //#    Expected: {-Inf..+Inf}
    //#    Bad: {Invalid}
    //#    Attribs:  Int  Bad only invalid
    //#ProcessJoin.java:120: ?null dereference
    //#    com/dmdirc/parser/irc/callbacks/CallbackObject.__Descendant_Table[getCallbackType(...).__Tag] != null
    //#    severity: SUPPRESSED
    //#    class: com.dmdirc.parser.irc.ProcessJoin
    //#    method: bool callChannelSelfJoin(ChannelInfo)
    //#    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
    //#ProcessJoin.java:120: Warning: call too complex - analysis skipped
    //#    call on bool call(Object[])
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.parser.irc.ProcessJoin
    //#    method: bool callChannelSelfJoin(ChannelInfo)
    //#    unanalyzed callee: bool call(Object[])
    //#input(bool callChannelSelfJoin(ChannelInfo)): "Callback not found: "._tainted
    //#input(bool callChannelSelfJoin(ChannelInfo)): "OnChannelSelfJoin"._tainted
    //#input(bool callChannelSelfJoin(ChannelInfo)): cChannel
    //#input(bool callChannelSelfJoin(ChannelInfo)): com/dmdirc/parser/irc/IRCParser.__Descendant_Table[com/dmdirc/parser/irc/IRCParser]
    //#input(bool callChannelSelfJoin(ChannelInfo)): com/dmdirc/parser/irc/IRCParser.__Descendant_Table[others]
    //#input(bool callChannelSelfJoin(ChannelInfo)): com/dmdirc/parser/irc/IRCParser.__Dispatch_Table.getCallbackManager()Lcom/dmdirc/parser/irc/callbacks/CallbackManager;
    //#input(bool callChannelSelfJoin(ChannelInfo)): com/dmdirc/parser/irc/callbacks/CallbackObject.__Descendant_Table[com/dmdirc/parser/irc/callbacks/CallbackObjectSpecific]
    //#input(bool callChannelSelfJoin(ChannelInfo)): com/dmdirc/parser/irc/callbacks/CallbackObject.__Descendant_Table[com/dmdirc/parser/irc/callbacks/CallbackObject]
    //#input(bool callChannelSelfJoin(ChannelInfo)): com/dmdirc/parser/irc/callbacks/CallbackObject.__Descendant_Table[others]
    //#input(bool callChannelSelfJoin(ChannelInfo)): com/dmdirc/parser/irc/callbacks/CallbackObject.__Dispatch_Table.call([Ljava/lang/Object;)Z
    //#input(bool callChannelSelfJoin(ChannelInfo)): com/dmdirc/parser/irc/callbacks/CallbackObjectSpecific.__Dispatch_Table.call([Ljava/lang/Object;)Z
    //#input(bool callChannelSelfJoin(ChannelInfo)): this
    //#input(bool callChannelSelfJoin(ChannelInfo)): this.myParser
    //#input(bool callChannelSelfJoin(ChannelInfo)): this.myParser.__Tag
    //#input(bool callChannelSelfJoin(ChannelInfo)): this.myParser.myCallbackManager
    //#input(bool callChannelSelfJoin(ChannelInfo)): this.myParser.myCallbackManager.callbackHash
    //#output(bool callChannelSelfJoin(ChannelInfo)): return_value
    //#pre[3] (bool callChannelSelfJoin(ChannelInfo)): this.myParser != null
    //#pre[4] (bool callChannelSelfJoin(ChannelInfo)): this.myParser.__Tag == com/dmdirc/parser/irc/IRCParser
    //#pre[5] (bool callChannelSelfJoin(ChannelInfo)): this.myParser.myCallbackManager != null
    //#pre[6] (bool callChannelSelfJoin(ChannelInfo)): this.myParser.myCallbackManager.callbackHash != null
    //#presumption(bool callChannelSelfJoin(ChannelInfo)): getCallbackManager(...)@120 init'ed
    //#post(bool callChannelSelfJoin(ChannelInfo)): init'ed(return_value)
    //#unanalyzed(bool callChannelSelfJoin(ChannelInfo)): Effects-of-calling:getCallbackManager
    //#unanalyzed(bool callChannelSelfJoin(ChannelInfo)): Effects-of-calling:java.util.Map:containsKey
    //#unanalyzed(bool callChannelSelfJoin(ChannelInfo)): Effects-of-calling:java.lang.String:toLowerCase
    //#unanalyzed(bool callChannelSelfJoin(ChannelInfo)): Effects-of-calling:java.lang.StringBuilder
    //#unanalyzed(bool callChannelSelfJoin(ChannelInfo)): Effects-of-calling:java.lang.StringBuilder:append
    //#unanalyzed(bool callChannelSelfJoin(ChannelInfo)): Effects-of-calling:java.lang.StringBuilder:toString
    //#unanalyzed(bool callChannelSelfJoin(ChannelInfo)): Effects-of-calling:java.lang.RuntimeException
    //#unanalyzed(bool callChannelSelfJoin(ChannelInfo)): Effects-of-calling:java.util.Map:get
    //#ProcessJoin.java:120: end of method: bool com.dmdirc.parser.irc.ProcessJoin.callChannelSelfJoin(ChannelInfo)
	}
	
	/**
	 * What does this IRCProcessor handle.
	 *
	 * @return String[] with the names of the tokens we handle.
	 */
	@Override
	public String[] handles() {
		return new String[]{"JOIN", "329"};
    //#ProcessJoin.java:130: method: String[] com.dmdirc.parser.irc.ProcessJoin.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] == &"JOIN"
    //#post(String[] handles()): return_value[1] == &"329"
    //#ProcessJoin.java:130: end of method: String[] com.dmdirc.parser.irc.ProcessJoin.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 ProcessJoin (IRCParser parser, ProcessingManager manager) { super(parser, manager); }
    //#ProcessJoin.java:139: method: void com.dmdirc.parser.irc.ProcessJoin.com.dmdirc.parser.irc.ProcessJoin(IRCParser, ProcessingManager)
    //#input(void com.dmdirc.parser.irc.ProcessJoin(IRCParser, ProcessingManager)): manager
    //#input(void com.dmdirc.parser.irc.ProcessJoin(IRCParser, ProcessingManager)): parser
    //#input(void com.dmdirc.parser.irc.ProcessJoin(IRCParser, ProcessingManager)): this
    //#output(void com.dmdirc.parser.irc.ProcessJoin(IRCParser, ProcessingManager)): this.myManager
    //#output(void com.dmdirc.parser.irc.ProcessJoin(IRCParser, ProcessingManager)): this.myParser
    //#post(void com.dmdirc.parser.irc.ProcessJoin(IRCParser, ProcessingManager)): this.myManager == manager
    //#post(void com.dmdirc.parser.irc.ProcessJoin(IRCParser, ProcessingManager)): init'ed(this.myManager)
    //#post(void com.dmdirc.parser.irc.ProcessJoin(IRCParser, ProcessingManager)): this.myParser == parser
    //#post(void com.dmdirc.parser.irc.ProcessJoin(IRCParser, ProcessingManager)): init'ed(this.myParser)
    //#ProcessJoin.java:139: end of method: void com.dmdirc.parser.irc.ProcessJoin.com.dmdirc.parser.irc.ProcessJoin(IRCParser, ProcessingManager)

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