//# 9 errors, 457 messages
//#
/*
    //#ProcessingManager.java:1:1: class: com.dmdirc.parser.irc.ProcessingManager
    //#ProcessingManager.java:1:1: method: com.dmdirc.parser.irc.ProcessingManager.com.dmdirc.parser.irc.ProcessingManager__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.Hashtable;

/**
 * IRC Parser Processing Manager.
 * Manages adding/removing/calling processing stuff.
 *
 * @author Shane Mc Cormack
 */
public class ProcessingManager {
	/** Reference to the parser object that owns this ProcessingManager */
	IRCParser myParser;

	/** Hashtable used to store the different types of IRCProcessor known. */
	private final Hashtable<String,IRCProcessor> processHash = new Hashtable<String,IRCProcessor>();

	/**
	 * Debugging Data to the console.
	 */
	private void doDebug(final String line, final Object... args) {
		myParser.callDebugInfo(IRCParser.DEBUG_PROCESSOR, line, args);
    //#ProcessingManager.java:44: method: void com.dmdirc.parser.irc.ProcessingManager.doDebug(String, Object[])
    //#input(void doDebug(String, Object[])): "Callback not found: "._tainted
    //#input(void doDebug(String, Object[])): "OnDebugInfo"._tainted
    //#input(void doDebug(String, Object[])): args
    //#input(void doDebug(String, Object[])): com/dmdirc/parser/irc/IRCParser.__Descendant_Table[com/dmdirc/parser/irc/IRCParser]
    //#input(void doDebug(String, Object[])): com/dmdirc/parser/irc/IRCParser.__Descendant_Table[others]
    //#input(void doDebug(String, Object[])): com/dmdirc/parser/irc/IRCParser.__Dispatch_Table.callDebugInfo(ILjava/lang/String;)Z
    //#input(void doDebug(String, Object[])): com/dmdirc/parser/irc/IRCParser.__Dispatch_Table.callDebugInfo(ILjava/lang/String;[Ljava/lang/Object;)Z
    //#input(void doDebug(String, Object[])): com/dmdirc/parser/irc/callbacks/CallbackObject.__Descendant_Table[com/dmdirc/parser/irc/callbacks/CallbackObjectSpecific]
    //#input(void doDebug(String, Object[])): com/dmdirc/parser/irc/callbacks/CallbackObject.__Descendant_Table[com/dmdirc/parser/irc/callbacks/CallbackObject]
    //#input(void doDebug(String, Object[])): com/dmdirc/parser/irc/callbacks/CallbackObject.__Descendant_Table[others]
    //#input(void doDebug(String, Object[])): com/dmdirc/parser/irc/callbacks/CallbackObject.__Dispatch_Table.call([Ljava/lang/Object;)Z
    //#input(void doDebug(String, Object[])): com/dmdirc/parser/irc/callbacks/CallbackObjectSpecific.__Dispatch_Table.call([Ljava/lang/Object;)Z
    //#input(void doDebug(String, Object[])): line
    //#input(void doDebug(String, Object[])): this
    //#input(void doDebug(String, Object[])): this.myParser
    //#input(void doDebug(String, Object[])): this.myParser.__Tag
    //#input(void doDebug(String, Object[])): this.myParser.myCallbackManager
    //#input(void doDebug(String, Object[])): this.myParser.myCallbackManager.callbackHash
    //#pre[4] (void doDebug(String, Object[])): this.myParser != null
    //#pre[5] (void doDebug(String, Object[])): this.myParser.__Tag == com/dmdirc/parser/irc/IRCParser
    //#pre[6] (void doDebug(String, Object[])): this.myParser.myCallbackManager != null
    //#pre[7] (void doDebug(String, Object[])): this.myParser.myCallbackManager.callbackHash != null
    //#unanalyzed(void doDebug(String, Object[])): Effects-of-calling:call
    //#unanalyzed(void doDebug(String, Object[])): Effects-of-calling:java.util.Map:containsKey
    //#unanalyzed(void doDebug(String, Object[])): Effects-of-calling:java.lang.String:toLowerCase
    //#unanalyzed(void doDebug(String, Object[])): Effects-of-calling:java.lang.StringBuilder
    //#unanalyzed(void doDebug(String, Object[])): Effects-of-calling:java.lang.StringBuilder:append
    //#unanalyzed(void doDebug(String, Object[])): Effects-of-calling:java.lang.StringBuilder:toString
    //#unanalyzed(void doDebug(String, Object[])): Effects-of-calling:java.lang.RuntimeException
    //#unanalyzed(void doDebug(String, Object[])): Effects-of-calling:java.util.Map:get
    //#unanalyzed(void doDebug(String, Object[])): Effects-of-calling:callDebugInfo
    //#unanalyzed(void doDebug(String, Object[])): Effects-of-calling:java.lang.String:format
    //#unanalyzed(void doDebug(String, Object[])): Effects-of-calling:java.lang.Integer:valueOf
	}
    //#ProcessingManager.java:45: end of method: void com.dmdirc.parser.irc.ProcessingManager.doDebug(String, Object[])

	/**
	 * Constructor to create a ProcessingManager.
	 *
	 * @param parser IRCParser that owns this Processing Manager
	 */
	public ProcessingManager(IRCParser parser) {
    //#ProcessingManager.java:52: method: void com.dmdirc.parser.irc.ProcessingManager.com.dmdirc.parser.irc.ProcessingManager(IRCParser)
    //#input(void com.dmdirc.parser.irc.ProcessingManager(IRCParser)): "&#09; Added handler for: "._tainted
    //#input(void com.dmdirc.parser.irc.ProcessingManager(IRCParser)): "Adding processor: "._tainted
    //#input(void com.dmdirc.parser.irc.ProcessingManager(IRCParser)): "Callback not found: "._tainted
    //#input(void com.dmdirc.parser.irc.ProcessingManager(IRCParser)): "OnDebugInfo"._tainted
    //#input(void com.dmdirc.parser.irc.ProcessingManager(IRCParser)): __Descendant_Table[com/dmdirc/parser/irc/ProcessingManager]
    //#input(void com.dmdirc.parser.irc.ProcessingManager(IRCParser)): __Descendant_Table[others]
    //#input(void com.dmdirc.parser.irc.ProcessingManager(IRCParser)): __Dispatch_Table.addProcessor(Lcom/dmdirc/parser/irc/IRCProcessor;)V
    //#input(void com.dmdirc.parser.irc.ProcessingManager(IRCParser)): __Dispatch_Table.addProcessor([Ljava/lang/String;Lcom/dmdirc/parser/irc/IRCProcessor;)V
    //#input(void com.dmdirc.parser.irc.ProcessingManager(IRCParser)): com/dmdirc/parser/irc/IRCParser.__Descendant_Table[com/dmdirc/parser/irc/IRCParser]
    //#input(void com.dmdirc.parser.irc.ProcessingManager(IRCParser)): com/dmdirc/parser/irc/IRCParser.__Descendant_Table[others]
    //#input(void com.dmdirc.parser.irc.ProcessingManager(IRCParser)): com/dmdirc/parser/irc/IRCParser.__Dispatch_Table.callDebugInfo(ILjava/lang/String;)Z
    //#input(void com.dmdirc.parser.irc.ProcessingManager(IRCParser)): com/dmdirc/parser/irc/IRCParser.__Dispatch_Table.callDebugInfo(ILjava/lang/String;[Ljava/lang/Object;)Z
    //#input(void com.dmdirc.parser.irc.ProcessingManager(IRCParser)): com/dmdirc/parser/irc/IRCProcessor.__Descendant_Table[others]
    //#input(void com.dmdirc.parser.irc.ProcessingManager(IRCParser)): com/dmdirc/parser/irc/IRCProcessor.__Dispatch_Table.handles()[Ljava/lang/String;
    //#input(void com.dmdirc.parser.irc.ProcessingManager(IRCParser)): com/dmdirc/parser/irc/Process001.__Dispatch_Table.handles()[Ljava/lang/String;
    //#input(void com.dmdirc.parser.irc.ProcessingManager(IRCParser)): com/dmdirc/parser/irc/Process004005.__Dispatch_Table.handles()[Ljava/lang/String;
    //#input(void com.dmdirc.parser.irc.ProcessingManager(IRCParser)): com/dmdirc/parser/irc/Process464.__Dispatch_Table.handles()[Ljava/lang/String;
    //#input(void com.dmdirc.parser.irc.ProcessingManager(IRCParser)): com/dmdirc/parser/irc/ProcessAway.__Dispatch_Table.handles()[Ljava/lang/String;
    //#input(void com.dmdirc.parser.irc.ProcessingManager(IRCParser)): com/dmdirc/parser/irc/ProcessInvite.__Dispatch_Table.handles()[Ljava/lang/String;
    //#input(void com.dmdirc.parser.irc.ProcessingManager(IRCParser)): com/dmdirc/parser/irc/ProcessJoin.__Dispatch_Table.handles()[Ljava/lang/String;
    //#input(void com.dmdirc.parser.irc.ProcessingManager(IRCParser)): com/dmdirc/parser/irc/ProcessKick.__Dispatch_Table.handles()[Ljava/lang/String;
    //#input(void com.dmdirc.parser.irc.ProcessingManager(IRCParser)): com/dmdirc/parser/irc/ProcessListModes.__Dispatch_Table.handles()[Ljava/lang/String;
    //#input(void com.dmdirc.parser.irc.ProcessingManager(IRCParser)): com/dmdirc/parser/irc/ProcessMOTD.__Dispatch_Table.handles()[Ljava/lang/String;
    //#input(void com.dmdirc.parser.irc.ProcessingManager(IRCParser)): com/dmdirc/parser/irc/ProcessMessage.__Dispatch_Table.handles()[Ljava/lang/String;
    //#input(void com.dmdirc.parser.irc.ProcessingManager(IRCParser)): com/dmdirc/parser/irc/ProcessMode.__Dispatch_Table.handles()[Ljava/lang/String;
    //#input(void com.dmdirc.parser.irc.ProcessingManager(IRCParser)): com/dmdirc/parser/irc/ProcessNames.__Dispatch_Table.handles()[Ljava/lang/String;
    //#input(void com.dmdirc.parser.irc.ProcessingManager(IRCParser)): com/dmdirc/parser/irc/ProcessNick.__Dispatch_Table.handles()[Ljava/lang/String;
    //#input(void com.dmdirc.parser.irc.ProcessingManager(IRCParser)): com/dmdirc/parser/irc/ProcessNickInUse.__Dispatch_Table.handles()[Ljava/lang/String;
    //#input(void com.dmdirc.parser.irc.ProcessingManager(IRCParser)): com/dmdirc/parser/irc/ProcessNoticeAuth.__Dispatch_Table.handles()[Ljava/lang/String;
    //#input(void com.dmdirc.parser.irc.ProcessingManager(IRCParser)): com/dmdirc/parser/irc/ProcessPart.__Dispatch_Table.handles()[Ljava/lang/String;
    //#input(void com.dmdirc.parser.irc.ProcessingManager(IRCParser)): com/dmdirc/parser/irc/ProcessQuit.__Dispatch_Table.handles()[Ljava/lang/String;
    //#input(void com.dmdirc.parser.irc.ProcessingManager(IRCParser)): com/dmdirc/parser/irc/ProcessTopic.__Dispatch_Table.handles()[Ljava/lang/String;
    //#input(void com.dmdirc.parser.irc.ProcessingManager(IRCParser)): com/dmdirc/parser/irc/ProcessWallops.__Dispatch_Table.handles()[Ljava/lang/String;
    //#input(void com.dmdirc.parser.irc.ProcessingManager(IRCParser)): com/dmdirc/parser/irc/ProcessWho.__Dispatch_Table.handles()[Ljava/lang/String;
    //#input(void com.dmdirc.parser.irc.ProcessingManager(IRCParser)): com/dmdirc/parser/irc/callbacks/CallbackObject.__Descendant_Table[com/dmdirc/parser/irc/callbacks/CallbackObjectSpecific]
    //#input(void com.dmdirc.parser.irc.ProcessingManager(IRCParser)): com/dmdirc/parser/irc/callbacks/CallbackObject.__Descendant_Table[com/dmdirc/parser/irc/callbacks/CallbackObject]
    //#input(void com.dmdirc.parser.irc.ProcessingManager(IRCParser)): com/dmdirc/parser/irc/callbacks/CallbackObject.__Descendant_Table[others]
    //#input(void com.dmdirc.parser.irc.ProcessingManager(IRCParser)): com/dmdirc/parser/irc/callbacks/CallbackObject.__Dispatch_Table.call([Ljava/lang/Object;)Z
    //#input(void com.dmdirc.parser.irc.ProcessingManager(IRCParser)): com/dmdirc/parser/irc/callbacks/CallbackObjectSpecific.__Dispatch_Table.call([Ljava/lang/Object;)Z
    //#input(void com.dmdirc.parser.irc.ProcessingManager(IRCParser)): parser
    //#input(void com.dmdirc.parser.irc.ProcessingManager(IRCParser)): parser.__Tag
    //#input(void com.dmdirc.parser.irc.ProcessingManager(IRCParser)): parser.myCallbackManager
    //#input(void com.dmdirc.parser.irc.ProcessingManager(IRCParser)): parser.myCallbackManager.callbackHash
    //#input(void com.dmdirc.parser.irc.ProcessingManager(IRCParser)): this
    //#input(void com.dmdirc.parser.irc.ProcessingManager(IRCParser)): this.__Tag
    //#output(void com.dmdirc.parser.irc.ProcessingManager(IRCParser)): new Hashtable(ProcessingManager#1) num objects
    //#output(void com.dmdirc.parser.irc.ProcessingManager(IRCParser)): this.myParser
    //#output(void com.dmdirc.parser.irc.ProcessingManager(IRCParser)): this.processHash
    //#new obj(void com.dmdirc.parser.irc.ProcessingManager(IRCParser)): new Hashtable(ProcessingManager#1)
    //#pre[1] (void com.dmdirc.parser.irc.ProcessingManager(IRCParser)): parser != null
    //#pre[2] (void com.dmdirc.parser.irc.ProcessingManager(IRCParser)): parser.__Tag == com/dmdirc/parser/irc/IRCParser
    //#pre[3] (void com.dmdirc.parser.irc.ProcessingManager(IRCParser)): parser.myCallbackManager != null
    //#pre[4] (void com.dmdirc.parser.irc.ProcessingManager(IRCParser)): parser.myCallbackManager.callbackHash != null
    //#pre[6] (void com.dmdirc.parser.irc.ProcessingManager(IRCParser)): this.__Tag == com/dmdirc/parser/irc/ProcessingManager
    //#post(void com.dmdirc.parser.irc.ProcessingManager(IRCParser)): this.myParser == parser
    //#post(void com.dmdirc.parser.irc.ProcessingManager(IRCParser)): this.myParser != null
    //#post(void com.dmdirc.parser.irc.ProcessingManager(IRCParser)): this.processHash == &new Hashtable(ProcessingManager#1)
    //#post(void com.dmdirc.parser.irc.ProcessingManager(IRCParser)): new Hashtable(ProcessingManager#1) num objects == 1
    //#unanalyzed(void com.dmdirc.parser.irc.ProcessingManager(IRCParser)): Effects-of-calling:java.lang.String:toLowerCase
    //#unanalyzed(void com.dmdirc.parser.irc.ProcessingManager(IRCParser)): Effects-of-calling:java.util.Hashtable:containsKey
    //#unanalyzed(void com.dmdirc.parser.irc.ProcessingManager(IRCParser)): Effects-of-calling:java.lang.StringBuilder
    //#unanalyzed(void com.dmdirc.parser.irc.ProcessingManager(IRCParser)): Effects-of-calling:java.lang.StringBuilder:append
    //#unanalyzed(void com.dmdirc.parser.irc.ProcessingManager(IRCParser)): Effects-of-calling:java.lang.StringBuilder:toString
    //#unanalyzed(void com.dmdirc.parser.irc.ProcessingManager(IRCParser)): Effects-of-calling:call
    //#unanalyzed(void com.dmdirc.parser.irc.ProcessingManager(IRCParser)): Effects-of-calling:java.lang.Object:getClass
    //#unanalyzed(void com.dmdirc.parser.irc.ProcessingManager(IRCParser)): Effects-of-calling:java.lang.Class:getPackage
    //#unanalyzed(void com.dmdirc.parser.irc.ProcessingManager(IRCParser)): Effects-of-calling:java.lang.Package:getName
    //#unanalyzed(void com.dmdirc.parser.irc.ProcessingManager(IRCParser)): Effects-of-calling:java.lang.String:length
    //#unanalyzed(void com.dmdirc.parser.irc.ProcessingManager(IRCParser)): Effects-of-calling:java.lang.Class:getName
    //#unanalyzed(void com.dmdirc.parser.irc.ProcessingManager(IRCParser)): Effects-of-calling:java.lang.String:substring
    //#unanalyzed(void com.dmdirc.parser.irc.ProcessingManager(IRCParser)): Effects-of-calling:doDebug
    //#unanalyzed(void com.dmdirc.parser.irc.ProcessingManager(IRCParser)): Effects-of-calling:java.util.Hashtable:remove
    //#unanalyzed(void com.dmdirc.parser.irc.ProcessingManager(IRCParser)): Effects-of-calling:java.util.Hashtable:put
    //#unanalyzed(void com.dmdirc.parser.irc.ProcessingManager(IRCParser)): Effects-of-calling:handles
    //#unanalyzed(void com.dmdirc.parser.irc.ProcessingManager(IRCParser)): Effects-of-calling:callDebugInfo
    //#unanalyzed(void com.dmdirc.parser.irc.ProcessingManager(IRCParser)): Effects-of-calling:com.dmdirc.parser.irc.IRCProcessor
    //#unanalyzed(void com.dmdirc.parser.irc.ProcessingManager(IRCParser)): Effects-of-calling:java.util.Map:containsKey
    //#unanalyzed(void com.dmdirc.parser.irc.ProcessingManager(IRCParser)): Effects-of-calling:java.lang.RuntimeException
    //#unanalyzed(void com.dmdirc.parser.irc.ProcessingManager(IRCParser)): Effects-of-calling:java.util.Map:get
    //#unanalyzed(void com.dmdirc.parser.irc.ProcessingManager(IRCParser)): Effects-of-calling:java.lang.String:format
    //#unanalyzed(void com.dmdirc.parser.irc.ProcessingManager(IRCParser)): Effects-of-calling:java.lang.Integer:valueOf
		myParser = parser;
		//------------------------------------------------
		// Add processors
		//------------------------------------------------
		// NOTICE AUTH
		addProcessor(new ProcessNoticeAuth(myParser, this));
		// 001
		addProcessor(new Process001(myParser, this));
		// 004
		// 005
		addProcessor(new Process004005(myParser, this));
		// 464
		addProcessor(new Process464(myParser, this));
		// 301
		// 305
		// 306
		addProcessor(new ProcessAway(myParser, this));
		// 352
		addProcessor(new ProcessWho(myParser, this));
		// INVITE
		addProcessor(new ProcessInvite(myParser, this));
		// JOIN
		addProcessor(new ProcessJoin(myParser, this));
		// KICK
		addProcessor(new ProcessKick(myParser, this));
		// PRIVMSG
		// NOTICE
		addProcessor(new ProcessMessage(myParser, this));
		// MODE
		// 324
		addProcessor(new ProcessMode(myParser, this));
		// 372
		// 375
		// 376
		// 422
		addProcessor(new ProcessMOTD(myParser, this));
		// 353
		// 366
		addProcessor(new ProcessNames(myParser, this));
		// 433
		addProcessor(new ProcessNickInUse(myParser, this));
		// NICK
		addProcessor(new ProcessNick(myParser, this));
		// PART
		addProcessor(new ProcessPart(myParser, this));
		// QUIT
		addProcessor(new ProcessQuit(myParser, this));
		// TOPIC
		// 332
		// 333
		addProcessor(new ProcessTopic(myParser, this));
		// 344
		// 345
		// 346
		// 347
		// 348
		// 349
		// 367
		// 368
		addProcessor(new ProcessListModes(myParser, this));
		// WALLOPS
		addProcessor(new ProcessWallops(myParser, this));
	}
    //#ProcessingManager.java:115: end of method: void com.dmdirc.parser.irc.ProcessingManager.com.dmdirc.parser.irc.ProcessingManager(IRCParser)

	/**
	 * Add new Process type.
	 *
	 * @param processor IRCProcessor subclass for the processor.
	 */
	public void addProcessor(final IRCProcessor processor) {
		// handles() returns a String array of all the tokens
		// that this processor will parse.
		addProcessor(processor.handles(), processor);
    //#ProcessingManager.java:125: method: void com.dmdirc.parser.irc.ProcessingManager.addProcessor(IRCProcessor)
    //#ProcessingManager.java:125: ?null dereference
    //#    com/dmdirc/parser/irc/IRCProcessor.__Descendant_Table[processor.__Tag] != null
    //#    severity: SUPPRESSED
    //#    class: com.dmdirc.parser.irc.ProcessingManager
    //#    method: void addProcessor(IRCProcessor)
    //#    basic block: Entry_BB_1
    //#    assertion: com/dmdirc/parser/irc/IRCProcessor.__Descendant_Table[processor.__Tag] != null
    //#    VN: com/dmdirc/parser/irc/IRCProcessor.__Descendant_Table[processor.__Tag]
    //#    Expected: Inverse{null}
    //#    Bad: Addr_Set{null}
    //#    Attribs:  Ptr  null in Bad
    //#ProcessingManager.java:125: Warning: call too complex - analysis skipped
    //#    call on String[] handles()
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.parser.irc.ProcessingManager
    //#    method: void addProcessor(IRCProcessor)
    //#    unanalyzed callee: String[] handles()
    //#input(void addProcessor(IRCProcessor)): "&#09; Added handler for: "._tainted
    //#input(void addProcessor(IRCProcessor)): "Adding processor: "._tainted
    //#input(void addProcessor(IRCProcessor)): "Callback not found: "._tainted
    //#input(void addProcessor(IRCProcessor)): "OnDebugInfo"._tainted
    //#input(void addProcessor(IRCProcessor)): __Descendant_Table[com/dmdirc/parser/irc/ProcessingManager]
    //#input(void addProcessor(IRCProcessor)): __Descendant_Table[others]
    //#input(void addProcessor(IRCProcessor)): __Dispatch_Table.addProcessor([Ljava/lang/String;Lcom/dmdirc/parser/irc/IRCProcessor;)V
    //#input(void addProcessor(IRCProcessor)): com/dmdirc/parser/irc/IRCParser.__Descendant_Table[com/dmdirc/parser/irc/IRCParser]
    //#input(void addProcessor(IRCProcessor)): com/dmdirc/parser/irc/IRCParser.__Descendant_Table[others]
    //#input(void addProcessor(IRCProcessor)): com/dmdirc/parser/irc/IRCParser.__Dispatch_Table.callDebugInfo(ILjava/lang/String;)Z
    //#input(void addProcessor(IRCProcessor)): com/dmdirc/parser/irc/IRCParser.__Dispatch_Table.callDebugInfo(ILjava/lang/String;[Ljava/lang/Object;)Z
    //#input(void addProcessor(IRCProcessor)): com/dmdirc/parser/irc/IRCProcessor.__Descendant_Table[others]
    //#input(void addProcessor(IRCProcessor)): com/dmdirc/parser/irc/IRCProcessor.__Dispatch_Table.handles()[Ljava/lang/String;
    //#input(void addProcessor(IRCProcessor)): com/dmdirc/parser/irc/Process001.__Dispatch_Table.handles()[Ljava/lang/String;
    //#input(void addProcessor(IRCProcessor)): com/dmdirc/parser/irc/Process004005.__Dispatch_Table.handles()[Ljava/lang/String;
    //#input(void addProcessor(IRCProcessor)): com/dmdirc/parser/irc/Process464.__Dispatch_Table.handles()[Ljava/lang/String;
    //#input(void addProcessor(IRCProcessor)): com/dmdirc/parser/irc/ProcessAway.__Dispatch_Table.handles()[Ljava/lang/String;
    //#input(void addProcessor(IRCProcessor)): com/dmdirc/parser/irc/ProcessInvite.__Dispatch_Table.handles()[Ljava/lang/String;
    //#input(void addProcessor(IRCProcessor)): com/dmdirc/parser/irc/ProcessJoin.__Dispatch_Table.handles()[Ljava/lang/String;
    //#input(void addProcessor(IRCProcessor)): com/dmdirc/parser/irc/ProcessKick.__Dispatch_Table.handles()[Ljava/lang/String;
    //#input(void addProcessor(IRCProcessor)): com/dmdirc/parser/irc/ProcessListModes.__Dispatch_Table.handles()[Ljava/lang/String;
    //#input(void addProcessor(IRCProcessor)): com/dmdirc/parser/irc/ProcessMOTD.__Dispatch_Table.handles()[Ljava/lang/String;
    //#input(void addProcessor(IRCProcessor)): com/dmdirc/parser/irc/ProcessMessage.__Dispatch_Table.handles()[Ljava/lang/String;
    //#input(void addProcessor(IRCProcessor)): com/dmdirc/parser/irc/ProcessMode.__Dispatch_Table.handles()[Ljava/lang/String;
    //#input(void addProcessor(IRCProcessor)): com/dmdirc/parser/irc/ProcessNames.__Dispatch_Table.handles()[Ljava/lang/String;
    //#input(void addProcessor(IRCProcessor)): com/dmdirc/parser/irc/ProcessNick.__Dispatch_Table.handles()[Ljava/lang/String;
    //#input(void addProcessor(IRCProcessor)): com/dmdirc/parser/irc/ProcessNickInUse.__Dispatch_Table.handles()[Ljava/lang/String;
    //#input(void addProcessor(IRCProcessor)): com/dmdirc/parser/irc/ProcessNoticeAuth.__Dispatch_Table.handles()[Ljava/lang/String;
    //#input(void addProcessor(IRCProcessor)): com/dmdirc/parser/irc/ProcessPart.__Dispatch_Table.handles()[Ljava/lang/String;
    //#input(void addProcessor(IRCProcessor)): com/dmdirc/parser/irc/ProcessQuit.__Dispatch_Table.handles()[Ljava/lang/String;
    //#input(void addProcessor(IRCProcessor)): com/dmdirc/parser/irc/ProcessTopic.__Dispatch_Table.handles()[Ljava/lang/String;
    //#input(void addProcessor(IRCProcessor)): com/dmdirc/parser/irc/ProcessWallops.__Dispatch_Table.handles()[Ljava/lang/String;
    //#input(void addProcessor(IRCProcessor)): com/dmdirc/parser/irc/ProcessWho.__Dispatch_Table.handles()[Ljava/lang/String;
    //#input(void addProcessor(IRCProcessor)): com/dmdirc/parser/irc/callbacks/CallbackObject.__Descendant_Table[com/dmdirc/parser/irc/callbacks/CallbackObjectSpecific]
    //#input(void addProcessor(IRCProcessor)): com/dmdirc/parser/irc/callbacks/CallbackObject.__Descendant_Table[com/dmdirc/parser/irc/callbacks/CallbackObject]
    //#input(void addProcessor(IRCProcessor)): com/dmdirc/parser/irc/callbacks/CallbackObject.__Descendant_Table[others]
    //#input(void addProcessor(IRCProcessor)): com/dmdirc/parser/irc/callbacks/CallbackObject.__Dispatch_Table.call([Ljava/lang/Object;)Z
    //#input(void addProcessor(IRCProcessor)): com/dmdirc/parser/irc/callbacks/CallbackObjectSpecific.__Dispatch_Table.call([Ljava/lang/Object;)Z
    //#input(void addProcessor(IRCProcessor)): processor
    //#input(void addProcessor(IRCProcessor)): processor.__Tag
    //#input(void addProcessor(IRCProcessor)): this
    //#input(void addProcessor(IRCProcessor)): this.__Tag
    //#input(void addProcessor(IRCProcessor)): this.myParser
    //#input(void addProcessor(IRCProcessor)): this.myParser.__Tag
    //#input(void addProcessor(IRCProcessor)): this.myParser.myCallbackManager
    //#input(void addProcessor(IRCProcessor)): this.myParser.myCallbackManager.callbackHash
    //#input(void addProcessor(IRCProcessor)): this.processHash
    //#pre[1] (void addProcessor(IRCProcessor)): processor != null
    //#pre[4] (void addProcessor(IRCProcessor)): this.__Tag == com/dmdirc/parser/irc/ProcessingManager
    //#pre[5] (void addProcessor(IRCProcessor)): this.myParser != null
    //#pre[6] (void addProcessor(IRCProcessor)): this.myParser.__Tag == com/dmdirc/parser/irc/IRCParser
    //#pre[7] (void addProcessor(IRCProcessor)): this.myParser.myCallbackManager != null
    //#pre[8] (void addProcessor(IRCProcessor)): this.myParser.myCallbackManager.callbackHash != null
    //#pre[9] (void addProcessor(IRCProcessor)): (soft) this.processHash != null
    //#presumption(void addProcessor(IRCProcessor)): handles(...).length@125 <= 4_294_967_295
    //#presumption(void addProcessor(IRCProcessor)): handles(...)@125 != null
    //#presumption(void addProcessor(IRCProcessor)): handles(...)[0..4_294_967_295]@125 != null
    //#unanalyzed(void addProcessor(IRCProcessor)): Effects-of-calling:java.lang.String:toLowerCase
    //#unanalyzed(void addProcessor(IRCProcessor)): Effects-of-calling:java.util.Hashtable:containsKey
    //#unanalyzed(void addProcessor(IRCProcessor)): Effects-of-calling:java.lang.StringBuilder
    //#unanalyzed(void addProcessor(IRCProcessor)): Effects-of-calling:java.lang.StringBuilder:append
    //#unanalyzed(void addProcessor(IRCProcessor)): Effects-of-calling:java.lang.StringBuilder:toString
    //#unanalyzed(void addProcessor(IRCProcessor)): Effects-of-calling:call
    //#unanalyzed(void addProcessor(IRCProcessor)): Effects-of-calling:java.lang.Object:getClass
    //#unanalyzed(void addProcessor(IRCProcessor)): Effects-of-calling:java.lang.Class:getPackage
    //#unanalyzed(void addProcessor(IRCProcessor)): Effects-of-calling:java.lang.Package:getName
    //#unanalyzed(void addProcessor(IRCProcessor)): Effects-of-calling:java.lang.String:length
    //#unanalyzed(void addProcessor(IRCProcessor)): Effects-of-calling:java.lang.Class:getName
    //#unanalyzed(void addProcessor(IRCProcessor)): Effects-of-calling:java.lang.String:substring
    //#unanalyzed(void addProcessor(IRCProcessor)): Effects-of-calling:doDebug
    //#unanalyzed(void addProcessor(IRCProcessor)): Effects-of-calling:java.util.Hashtable:remove
    //#unanalyzed(void addProcessor(IRCProcessor)): Effects-of-calling:java.util.Hashtable:put
    //#unanalyzed(void addProcessor(IRCProcessor)): Effects-of-calling:callDebugInfo
    //#unanalyzed(void addProcessor(IRCProcessor)): Effects-of-calling:java.util.Map:containsKey
    //#unanalyzed(void addProcessor(IRCProcessor)): Effects-of-calling:java.lang.RuntimeException
    //#unanalyzed(void addProcessor(IRCProcessor)): Effects-of-calling:java.util.Map:get
    //#unanalyzed(void addProcessor(IRCProcessor)): Effects-of-calling:java.lang.String:format
    //#unanalyzed(void addProcessor(IRCProcessor)): Effects-of-calling:java.lang.Integer:valueOf
	}
    //#ProcessingManager.java:126: end of method: void com.dmdirc.parser.irc.ProcessingManager.addProcessor(IRCProcessor)

	/**
	 * Add a processor to tokens not-specified in the handles() reply.
	 *
	 * @param processor IRCProcessor subclass for the processor.
	 * @param handles String Array of tokens to add this processor as a hadler for
	 */
	public void addProcessor(final String[] handles, final IRCProcessor processor) {
		doDebug("Adding processor: "+processor.getName());
    //#ProcessingManager.java:135: method: void com.dmdirc.parser.irc.ProcessingManager.addProcessor(String[], IRCProcessor)
    //#input(void addProcessor(String[], IRCProcessor)): "&#09; Added handler for: "._tainted
    //#input(void addProcessor(String[], IRCProcessor)): "Adding processor: "._tainted
    //#input(void addProcessor(String[], IRCProcessor)): "Callback not found: "._tainted
    //#input(void addProcessor(String[], IRCProcessor)): "OnDebugInfo"._tainted
    //#input(void addProcessor(String[], IRCProcessor)): com/dmdirc/parser/irc/IRCParser.__Descendant_Table[com/dmdirc/parser/irc/IRCParser]
    //#input(void addProcessor(String[], IRCProcessor)): com/dmdirc/parser/irc/IRCParser.__Descendant_Table[others]
    //#input(void addProcessor(String[], IRCProcessor)): com/dmdirc/parser/irc/IRCParser.__Dispatch_Table.callDebugInfo(ILjava/lang/String;)Z
    //#input(void addProcessor(String[], IRCProcessor)): com/dmdirc/parser/irc/IRCParser.__Dispatch_Table.callDebugInfo(ILjava/lang/String;[Ljava/lang/Object;)Z
    //#input(void addProcessor(String[], IRCProcessor)): com/dmdirc/parser/irc/callbacks/CallbackObject.__Descendant_Table[com/dmdirc/parser/irc/callbacks/CallbackObjectSpecific]
    //#input(void addProcessor(String[], IRCProcessor)): com/dmdirc/parser/irc/callbacks/CallbackObject.__Descendant_Table[com/dmdirc/parser/irc/callbacks/CallbackObject]
    //#input(void addProcessor(String[], IRCProcessor)): com/dmdirc/parser/irc/callbacks/CallbackObject.__Descendant_Table[others]
    //#input(void addProcessor(String[], IRCProcessor)): com/dmdirc/parser/irc/callbacks/CallbackObject.__Dispatch_Table.call([Ljava/lang/Object;)Z
    //#input(void addProcessor(String[], IRCProcessor)): com/dmdirc/parser/irc/callbacks/CallbackObjectSpecific.__Dispatch_Table.call([Ljava/lang/Object;)Z
    //#input(void addProcessor(String[], IRCProcessor)): handles
    //#input(void addProcessor(String[], IRCProcessor)): handles.length
    //#input(void addProcessor(String[], IRCProcessor)): handles[0..4_294_967_295]
    //#input(void addProcessor(String[], IRCProcessor)): handles[0..4_294_967_295]._tainted
    //#input(void addProcessor(String[], IRCProcessor)): processor
    //#input(void addProcessor(String[], IRCProcessor)): this
    //#input(void addProcessor(String[], IRCProcessor)): this.myParser
    //#input(void addProcessor(String[], IRCProcessor)): this.myParser.__Tag
    //#input(void addProcessor(String[], IRCProcessor)): this.myParser.myCallbackManager
    //#input(void addProcessor(String[], IRCProcessor)): this.myParser.myCallbackManager.callbackHash
    //#input(void addProcessor(String[], IRCProcessor)): this.processHash
    //#pre[1] (void addProcessor(String[], IRCProcessor)): handles != null
    //#pre[2] (void addProcessor(String[], IRCProcessor)): handles.length <= 4_294_967_295
    //#pre[5] (void addProcessor(String[], IRCProcessor)): processor != null
    //#pre[7] (void addProcessor(String[], IRCProcessor)): this.myParser != null
    //#pre[8] (void addProcessor(String[], IRCProcessor)): this.myParser.__Tag == com/dmdirc/parser/irc/IRCParser
    //#pre[9] (void addProcessor(String[], IRCProcessor)): this.myParser.myCallbackManager != null
    //#pre[10] (void addProcessor(String[], IRCProcessor)): this.myParser.myCallbackManager.callbackHash != null
    //#pre[3] (void addProcessor(String[], IRCProcessor)): (soft) handles[0..4_294_967_295] != null
    //#pre[11] (void addProcessor(String[], IRCProcessor)): (soft) this.processHash != null
    //#unanalyzed(void addProcessor(String[], IRCProcessor)): Effects-of-calling:call
    //#unanalyzed(void addProcessor(String[], IRCProcessor)): Effects-of-calling:java.lang.Object:getClass
    //#unanalyzed(void addProcessor(String[], IRCProcessor)): Effects-of-calling:java.lang.Class:getPackage
    //#unanalyzed(void addProcessor(String[], IRCProcessor)): Effects-of-calling:java.lang.Package:getName
    //#unanalyzed(void addProcessor(String[], IRCProcessor)): Effects-of-calling:java.lang.String:length
    //#unanalyzed(void addProcessor(String[], IRCProcessor)): Effects-of-calling:java.lang.Class:getName
    //#unanalyzed(void addProcessor(String[], IRCProcessor)): Effects-of-calling:java.lang.String:substring
    //#unanalyzed(void addProcessor(String[], IRCProcessor)): Effects-of-calling:callDebugInfo
    //#unanalyzed(void addProcessor(String[], IRCProcessor)): Effects-of-calling:java.util.Map:containsKey
    //#unanalyzed(void addProcessor(String[], IRCProcessor)): Effects-of-calling:java.lang.String:toLowerCase
    //#unanalyzed(void addProcessor(String[], IRCProcessor)): Effects-of-calling:java.lang.StringBuilder
    //#unanalyzed(void addProcessor(String[], IRCProcessor)): Effects-of-calling:java.lang.StringBuilder:append
    //#unanalyzed(void addProcessor(String[], IRCProcessor)): Effects-of-calling:java.lang.StringBuilder:toString
    //#unanalyzed(void addProcessor(String[], IRCProcessor)): Effects-of-calling:java.lang.RuntimeException
    //#unanalyzed(void addProcessor(String[], IRCProcessor)): Effects-of-calling:java.util.Map:get
    //#unanalyzed(void addProcessor(String[], IRCProcessor)): Effects-of-calling:java.lang.String:format
    //#unanalyzed(void addProcessor(String[], IRCProcessor)): Effects-of-calling:java.lang.Integer:valueOf
    //#test_vector(void addProcessor(String[], IRCProcessor)): java.util.Hashtable:containsKey(...)@138: {0}, {1}

		for (int i = 0; i < handles.length; ++i) {
			if (processHash.containsKey(handles[i].toLowerCase())) {
				// New Processors take priority over old ones
				processHash.remove(handles[i].toLowerCase());
			}
			doDebug("\t Added handler for: "+handles[i]);
			processHash.put(handles[i].toLowerCase(), processor);
		}
	}
    //#ProcessingManager.java:145: end of method: void com.dmdirc.parser.irc.ProcessingManager.addProcessor(String[], IRCProcessor)

	/**
	 * Remove a Process type.
	 *
	 * @param processor IRCProcessor subclass for the processor.
	 */
	public void delProcessor(final IRCProcessor processor) {
		IRCProcessor testProcessor;
		doDebug("Deleting processor: "+processor.getName());
    //#ProcessingManager.java:154: method: void com.dmdirc.parser.irc.ProcessingManager.delProcessor(IRCProcessor)
    //#input(void delProcessor(IRCProcessor)): "&#09; Checking handler for: "._tainted
    //#input(void delProcessor(IRCProcessor)): "&#09; Removed handler for: "._tainted
    //#input(void delProcessor(IRCProcessor)): "Callback not found: "._tainted
    //#input(void delProcessor(IRCProcessor)): "Deleting processor: "._tainted
    //#input(void delProcessor(IRCProcessor)): "OnDebugInfo"._tainted
    //#input(void delProcessor(IRCProcessor)): com/dmdirc/parser/irc/IRCParser.__Descendant_Table[com/dmdirc/parser/irc/IRCParser]
    //#input(void delProcessor(IRCProcessor)): com/dmdirc/parser/irc/IRCParser.__Descendant_Table[others]
    //#input(void delProcessor(IRCProcessor)): com/dmdirc/parser/irc/IRCParser.__Dispatch_Table.callDebugInfo(ILjava/lang/String;)Z
    //#input(void delProcessor(IRCProcessor)): com/dmdirc/parser/irc/IRCParser.__Dispatch_Table.callDebugInfo(ILjava/lang/String;[Ljava/lang/Object;)Z
    //#input(void delProcessor(IRCProcessor)): com/dmdirc/parser/irc/IRCProcessor.__Descendant_Table[others]
    //#input(void delProcessor(IRCProcessor)): com/dmdirc/parser/irc/callbacks/CallbackObject.__Descendant_Table[com/dmdirc/parser/irc/callbacks/CallbackObjectSpecific]
    //#input(void delProcessor(IRCProcessor)): com/dmdirc/parser/irc/callbacks/CallbackObject.__Descendant_Table[com/dmdirc/parser/irc/callbacks/CallbackObject]
    //#input(void delProcessor(IRCProcessor)): com/dmdirc/parser/irc/callbacks/CallbackObject.__Descendant_Table[others]
    //#input(void delProcessor(IRCProcessor)): com/dmdirc/parser/irc/callbacks/CallbackObject.__Dispatch_Table.call([Ljava/lang/Object;)Z
    //#input(void delProcessor(IRCProcessor)): com/dmdirc/parser/irc/callbacks/CallbackObjectSpecific.__Dispatch_Table.call([Ljava/lang/Object;)Z
    //#input(void delProcessor(IRCProcessor)): processor
    //#input(void delProcessor(IRCProcessor)): this
    //#input(void delProcessor(IRCProcessor)): this.myParser
    //#input(void delProcessor(IRCProcessor)): this.myParser.__Tag
    //#input(void delProcessor(IRCProcessor)): this.myParser.myCallbackManager
    //#input(void delProcessor(IRCProcessor)): this.myParser.myCallbackManager.callbackHash
    //#input(void delProcessor(IRCProcessor)): this.processHash
    //#pre[1] (void delProcessor(IRCProcessor)): processor != null
    //#pre[3] (void delProcessor(IRCProcessor)): this.myParser != null
    //#pre[4] (void delProcessor(IRCProcessor)): this.myParser.__Tag == com/dmdirc/parser/irc/IRCParser
    //#pre[5] (void delProcessor(IRCProcessor)): this.myParser.myCallbackManager != null
    //#pre[6] (void delProcessor(IRCProcessor)): this.myParser.myCallbackManager.callbackHash != null
    //#pre[7] (void delProcessor(IRCProcessor)): this.processHash != null
    //#presumption(void delProcessor(IRCProcessor)): java.util.Hashtable:get(...)@157 != null
    //#unanalyzed(void delProcessor(IRCProcessor)): Effects-of-calling:call
    //#unanalyzed(void delProcessor(IRCProcessor)): Effects-of-calling:java.lang.Object:getClass
    //#unanalyzed(void delProcessor(IRCProcessor)): Effects-of-calling:java.lang.Class:getPackage
    //#unanalyzed(void delProcessor(IRCProcessor)): Effects-of-calling:java.lang.Package:getName
    //#unanalyzed(void delProcessor(IRCProcessor)): Effects-of-calling:java.lang.String:length
    //#unanalyzed(void delProcessor(IRCProcessor)): Effects-of-calling:java.lang.Class:getName
    //#unanalyzed(void delProcessor(IRCProcessor)): Effects-of-calling:java.lang.String:substring
    //#unanalyzed(void delProcessor(IRCProcessor)): Effects-of-calling:callDebugInfo
    //#unanalyzed(void delProcessor(IRCProcessor)): Effects-of-calling:java.util.Map:containsKey
    //#unanalyzed(void delProcessor(IRCProcessor)): Effects-of-calling:java.lang.String:toLowerCase
    //#unanalyzed(void delProcessor(IRCProcessor)): Effects-of-calling:java.lang.StringBuilder
    //#unanalyzed(void delProcessor(IRCProcessor)): Effects-of-calling:java.lang.StringBuilder:append
    //#unanalyzed(void delProcessor(IRCProcessor)): Effects-of-calling:java.lang.StringBuilder:toString
    //#unanalyzed(void delProcessor(IRCProcessor)): Effects-of-calling:java.lang.RuntimeException
    //#unanalyzed(void delProcessor(IRCProcessor)): Effects-of-calling:java.util.Map:get
    //#unanalyzed(void delProcessor(IRCProcessor)): Effects-of-calling:java.lang.String:format
    //#unanalyzed(void delProcessor(IRCProcessor)): Effects-of-calling:java.lang.Integer:valueOf
    //#test_vector(void delProcessor(IRCProcessor)): java.lang.String:equalsIgnoreCase(...)@158: {0}, {1}
    //#test_vector(void delProcessor(IRCProcessor)): java.util.Iterator:hasNext(...)@155: {0}, {1}
		for (String elementName : processHash.keySet()) {
			doDebug("\t Checking handler for: "+elementName);
			testProcessor = processHash.get(elementName);
    //#ProcessingManager.java:157: ?ClassCastException check
    //#    com/dmdirc/parser/irc/IRCProcessor.__Descendant_Table[java/util/Hashtable:get(...).__Tag] != null
    //#    severity: SUPPRESSED
    //#    class: com.dmdirc.parser.irc.ProcessingManager
    //#    method: void delProcessor(IRCProcessor)
    //#    basic block: bb_8
    //#    assertion: com/dmdirc/parser/irc/IRCProcessor.__Descendant_Table[java/util/Hashtable:get(...).__Tag] != null
    //#    VN: !(com/dmdirc/parser/irc/IRCProcessor.__Descendant_Table[java.util.Hashtable:get(...).__Tag] == null)
    //#    Expected: {-Inf..-1, 1..+Inf}
    //#    Bad: {0}
    //#    Attribs:  Int  Bad singleton  Bad overlaps +/-1000  Bad > Exp
			if (testProcessor.getName().equalsIgnoreCase(processor.getName())) {
    //#ProcessingManager.java:158: Warning: unused assignment in callee
    //#    Unused assignment to (java.lang.String:substring(...)._tainted) in getName
    //#    severity: LOW
    //#    class: com.dmdirc.parser.irc.ProcessingManager
    //#    method: void delProcessor(IRCProcessor)
				doDebug("\t Removed handler for: "+elementName);
				processHash.remove(elementName);
			}
		}
	}
    //#ProcessingManager.java:163: end of method: void com.dmdirc.parser.irc.ProcessingManager.delProcessor(IRCProcessor)

	/**
	 * Get the processor used for a specified token.
	 *
	 * @param sParam Type of line to process ("005", "PRIVMSG" etc)
	 * @return IRCProcessor for the given param.
	 * @throws ProcessorNotFoundException if no processer exists for the param
	 */
	public IRCProcessor getProcessor(final String sParam) throws ProcessorNotFoundException {
		if (processHash.containsKey(sParam.toLowerCase())) {
    //#ProcessingManager.java:173: method: IRCProcessor com.dmdirc.parser.irc.ProcessingManager.getProcessor(String)
    //#input(IRCProcessor getProcessor(String)): "No processors will handle "._tainted
    //#input(IRCProcessor getProcessor(String)): com/dmdirc/parser/irc/IRCProcessor.__Descendant_Table[others]
    //#input(IRCProcessor getProcessor(String)): sParam
    //#input(IRCProcessor getProcessor(String)): sParam._tainted
    //#input(IRCProcessor getProcessor(String)): this
    //#input(IRCProcessor getProcessor(String)): this.processHash
    //#output(IRCProcessor getProcessor(String)): return_value
    //#pre[1] (IRCProcessor getProcessor(String)): sParam != null
    //#pre[4] (IRCProcessor getProcessor(String)): this.processHash != null
    //#presumption(IRCProcessor getProcessor(String)): java.util.Hashtable:containsKey(...)@173 == 1
    //#post(IRCProcessor getProcessor(String)): init'ed(return_value)
    //#unanalyzed(IRCProcessor getProcessor(String)): Effects-of-calling:java.lang.Exception
			return processHash.get(sParam.toLowerCase());
    //#ProcessingManager.java:174: ?ClassCastException check
    //#    com/dmdirc/parser/irc/IRCProcessor.__Descendant_Table[java/util/Hashtable:get(...).__Tag] != null
    //#    severity: SUPPRESSED
    //#    class: com.dmdirc.parser.irc.ProcessingManager
    //#    method: IRCProcessor getProcessor(String)
    //#    basic block: bb_5
    //#    assertion: com/dmdirc/parser/irc/IRCProcessor.__Descendant_Table[java/util/Hashtable:get(...).__Tag] != null
    //#    VN: !(com/dmdirc/parser/irc/IRCProcessor.__Descendant_Table[java.util.Hashtable:get(...).__Tag] == null)
    //#    Expected: {-Inf..-1, 1..+Inf}
    //#    Bad: {0}
    //#    Attribs:  Int  Bad singleton  Bad overlaps +/-1000  Bad > Exp
		} else {
			throw new ProcessorNotFoundException("No processors will handle "+sParam);
    //#ProcessingManager.java:176: end of method: IRCProcessor com.dmdirc.parser.irc.ProcessingManager.getProcessor(String)
		}
	}

	/**
	 * Process a Line.
	 *
	 * @param sParam Type of line to process ("005", "PRIVMSG" etc)
	 * @param token IRCTokenised line to process
	 * @throws ProcessorNotFoundException exception if no processors exists to handle the line
	 */
	public void process(final String sParam, final String[] token) throws ProcessorNotFoundException {
		IRCProcessor messageProcessor = null;
    //#ProcessingManager.java:188: method: void com.dmdirc.parser.irc.ProcessingManager.process(String, String[])
    //#input(void process(String, String[])): "Callback not found: "._tainted
    //#input(void process(String, String[])): "Exception in Processor. ["._tainted
    //#input(void process(String, String[])): "No processors will handle "._tainted
    //#input(void process(String, String[])): "OnErrorInfo"._tainted
    //#input(void process(String, String[])): "OnNumeric"._tainted
    //#input(void process(String, String[])): "]: "._tainted
    //#input(void process(String, String[])): __Descendant_Table[com/dmdirc/parser/irc/ProcessingManager]
    //#input(void process(String, String[])): __Descendant_Table[others]
    //#input(void process(String, String[])): __Dispatch_Table.callNumeric(I[Ljava/lang/String;)Z
    //#input(void process(String, String[])): __Dispatch_Table.getProcessor(Ljava/lang/String;)Lcom/dmdirc/parser/irc/IRCProcessor;
    //#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.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.getLastLine()Ljava/lang/String;
    //#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/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/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/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[])): sParam._tainted
    //#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.processHash
    //#input(void process(String, String[])): token
    //#pre[1] (void process(String, String[])): (soft) sParam != null
    //#pre[4] (void process(String, String[])): (soft) this.__Tag == com/dmdirc/parser/irc/ProcessingManager
    //#pre[5] (void process(String, String[])): (soft) this.myParser != null
    //#pre[6] (void process(String, String[])): (soft) this.myParser.__Tag == com/dmdirc/parser/irc/IRCParser
    //#pre[7] (void process(String, String[])): (soft) init'ed(this.myParser.lastLine)
    //#pre[8] (void process(String, String[])): (soft) this.myParser.myCallbackManager != null
    //#pre[9] (void process(String, String[])): (soft) this.myParser.myCallbackManager.callbackHash != null
    //#pre[10] (void process(String, String[])): (soft) this.processHash != null
    //#unanalyzed(void process(String, String[])): Effects-of-calling:java.lang.String:toLowerCase
    //#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.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.Exception
    //#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:java.lang.Integer:valueOf
    //#unanalyzed(void process(String, String[])): Effects-of-calling:call
    //#unanalyzed(void process(String, String[])): Effects-of-calling:java.util.Map:containsKey
    //#unanalyzed(void process(String, String[])): Effects-of-calling:java.lang.RuntimeException
    //#unanalyzed(void process(String, String[])): Effects-of-calling:java.util.Map:get
		try {
			messageProcessor = getProcessor(sParam);
			messageProcessor.process(sParam, token);
    //#ProcessingManager.java:191: ?null dereference
    //#    messageProcessor != null
    //#    severity: MEDIUM
    //#    class: com.dmdirc.parser.irc.ProcessingManager
    //#    method: void process(String, String[])
    //#    basic block: bb_2
    //#    assertion: messageProcessor != null
    //#    VN: getProcessor(...)
    //#    Expected: Inverse{null}
    //#    Bad: Addr_Set{null}
    //#    Attribs:  Ptr  null in Bad
    //#ProcessingManager.java:191: ?use of default init
    //#    init'ed(messageProcessor.__Tag)
    //#    severity: SUPPRESSED
    //#    class: com.dmdirc.parser.irc.ProcessingManager
    //#    method: void process(String, String[])
    //#    basic block: bb_2
    //#    assertion: init'ed(messageProcessor.__Tag)
    //#    VN: messageProcessor.__Tag
    //#    Expected: {-Inf..+Inf}
    //#    Bad: {Invalid}
    //#    Attribs:  Int  Bad only invalid
    //#ProcessingManager.java:191: ?null dereference
    //#    com/dmdirc/parser/irc/IRCProcessor.__Descendant_Table[messageProcessor.__Tag] != null
    //#    severity: SUPPRESSED
    //#    class: com.dmdirc.parser.irc.ProcessingManager
    //#    method: void process(String, String[])
    //#    basic block: bb_2
    //#    assertion: com/dmdirc/parser/irc/IRCProcessor.__Descendant_Table[messageProcessor.__Tag] != null
    //#    VN: com/dmdirc/parser/irc/IRCProcessor.__Descendant_Table[messageProcessor.__Tag]
    //#    Expected: Inverse{null}
    //#    Bad: Addr_Set{null}
    //#    Attribs:  Ptr  null in Bad
    //#ProcessingManager.java:191: Warning: call too complex - analysis skipped
    //#    call on void process(String, String[])
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.parser.irc.ProcessingManager
    //#    method: void process(String, String[])
    //#    unanalyzed callee: void process(String, String[])
		} catch (ProcessorNotFoundException p) {
			throw p;
		} catch (Exception e) {
			final ParserError ei = new ParserError(ParserError.ERROR_ERROR,"Exception in Processor. ["+messageProcessor+"]: "+e.getMessage(), myParser.getLastLine());
			ei.setException(e);
			myParser.callErrorInfo(ei);
		} finally {
			// Try to call callNumeric. We don't want this to work if sParam is a non
			// integer param, hense the empty catch
			try {
				callNumeric(Integer.parseInt(sParam), token);
			} catch (NumberFormatException e) { }
		}
	}
    //#ProcessingManager.java:205: end of method: void com.dmdirc.parser.irc.ProcessingManager.process(String, String[])

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

}

    //#output(com.dmdirc.parser.irc.ProcessingManager__static_init): __Descendant_Table[com/dmdirc/parser/irc/ProcessingManager]
    //#output(com.dmdirc.parser.irc.ProcessingManager__static_init): __Dispatch_Table.addProcessor(Lcom/dmdirc/parser/irc/IRCProcessor;)V
    //#output(com.dmdirc.parser.irc.ProcessingManager__static_init): __Dispatch_Table.addProcessor([Ljava/lang/String;Lcom/dmdirc/parser/irc/IRCProcessor;)V
    //#output(com.dmdirc.parser.irc.ProcessingManager__static_init): __Dispatch_Table.callNumeric(I[Ljava/lang/String;)Z
    //#output(com.dmdirc.parser.irc.ProcessingManager__static_init): __Dispatch_Table.delProcessor(Lcom/dmdirc/parser/irc/IRCProcessor;)V
    //#output(com.dmdirc.parser.irc.ProcessingManager__static_init): __Dispatch_Table.doDebug(Ljava/lang/String;[Ljava/lang/Object;)V
    //#output(com.dmdirc.parser.irc.ProcessingManager__static_init): __Dispatch_Table.getProcessor(Ljava/lang/String;)Lcom/dmdirc/parser/irc/IRCProcessor;
    //#output(com.dmdirc.parser.irc.ProcessingManager__static_init): __Dispatch_Table.process(Ljava/lang/String;[Ljava/lang/String;)V
    //#post(com.dmdirc.parser.irc.ProcessingManager__static_init): __Descendant_Table[com/dmdirc/parser/irc/ProcessingManager] == &__Dispatch_Table
    //#post(com.dmdirc.parser.irc.ProcessingManager__static_init): __Dispatch_Table.addProcessor(Lcom/dmdirc/parser/irc/IRCProcessor;)V == &addProcessor
    //#post(com.dmdirc.parser.irc.ProcessingManager__static_init): __Dispatch_Table.addProcessor([Ljava/lang/String;Lcom/dmdirc/parser/irc/IRCProcessor;)V == &addProcessor
    //#post(com.dmdirc.parser.irc.ProcessingManager__static_init): __Dispatch_Table.callNumeric(I[Ljava/lang/String;)Z == &callNumeric
    //#post(com.dmdirc.parser.irc.ProcessingManager__static_init): __Dispatch_Table.delProcessor(Lcom/dmdirc/parser/irc/IRCProcessor;)V == &delProcessor
    //#post(com.dmdirc.parser.irc.ProcessingManager__static_init): __Dispatch_Table.doDebug(Ljava/lang/String;[Ljava/lang/Object;)V == &doDebug
    //#post(com.dmdirc.parser.irc.ProcessingManager__static_init): __Dispatch_Table.getProcessor(Ljava/lang/String;)Lcom/dmdirc/parser/irc/IRCProcessor; == &getProcessor
    //#post(com.dmdirc.parser.irc.ProcessingManager__static_init): __Dispatch_Table.process(Ljava/lang/String;[Ljava/lang/String;)V == &process
    //#ProcessingManager.java:: end of method: com.dmdirc.parser.irc.ProcessingManager.com.dmdirc.parser.irc.ProcessingManager__static_init
    //#ProcessingManager.java:: end of class: com.dmdirc.parser.irc.ProcessingManager
