//# 9 errors, 294 messages
//#
/*
    //#ProcessMOTD.java:1:1: class: com.dmdirc.parser.irc.ProcessMOTD
    //#ProcessMOTD.java:1:1: method: com.dmdirc.parser.irc.ProcessMOTD.com.dmdirc.parser.irc.ProcessMOTD__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 MOTD Related Line.
 */
public class ProcessMOTD extends IRCProcessor {

	/**
	 * Process a MOTD Related Line.
	 *
	 * @param sParam Type of line to process ("375", "372", "376", "422")
	 * @param token IRCTokenised line to process
	 */
	@Override
	public void process(String sParam, String[] token) {
		if (sParam.equals("375")) {
    //#ProcessMOTD.java:38: method: void com.dmdirc.parser.irc.ProcessMOTD.process(String, String[])
    //#input(void process(String, String[])): """._tainted
    //#input(void process(String, String[])): "(ohv)@%+"._tainted
    //#input(void process(String, String[])): "CHANMODES String not valid. Using default string of ""._tainted
    //#input(void process(String, String[])): "Callback not found: "._tainted
    //#input(void process(String, String[])): "OnDebugInfo"._tainted
    //#input(void process(String, String[])): "OnErrorInfo"._tainted
    //#input(void process(String, String[])): "OnMOTDEnd"._tainted
    //#input(void process(String, String[])): "OnMOTDLine"._tainted
    //#input(void process(String, String[])): "OnMOTDStart"._tainted
    //#input(void process(String, String[])): "PREFIX String not valid. Using default string of ""._tainted
    //#input(void process(String, String[])): "b,k,l,"._tainted
    //#input(void process(String, String[])): "imnpstrc"._tainted
    //#input(void process(String, String[])): __Descendant_Table[com/dmdirc/parser/irc/ProcessMOTD]
    //#input(void process(String, String[])): __Descendant_Table[others]
    //#input(void process(String, String[])): __Dispatch_Table.callMOTDEnd(ZLjava/lang/String;)Z
    //#input(void process(String, String[])): __Dispatch_Table.callMOTDLine(Ljava/lang/String;)Z
    //#input(void process(String, String[])): __Dispatch_Table.callMOTDStart(Ljava/lang/String;)Z
    //#input(void process(String, String[])): com/dmdirc/parser/irc/IRCParser.__Descendant_Table[com/dmdirc/parser/irc/IRCParser]
    //#input(void process(String, String[])): com/dmdirc/parser/irc/IRCParser.__Descendant_Table[others]
    //#input(void process(String, String[])): com/dmdirc/parser/irc/IRCParser.__Dispatch_Table.callDebugInfo(ILjava/lang/String;)Z
    //#input(void process(String, String[])): com/dmdirc/parser/irc/IRCParser.__Dispatch_Table.callDebugInfo(ILjava/lang/String;[Ljava/lang/Object;)Z
    //#input(void process(String, String[])): com/dmdirc/parser/irc/IRCParser.__Dispatch_Table.callErrorInfo(Lcom/dmdirc/parser/irc/ParserError;)Z
    //#input(void process(String, String[])): com/dmdirc/parser/irc/IRCParser.__Dispatch_Table.getCallbackManager()Lcom/dmdirc/parser/irc/callbacks/CallbackManager;
    //#input(void process(String, String[])): com/dmdirc/parser/irc/IRCParser.__Dispatch_Table.getIRCD(Z)Ljava/lang/String;
    //#input(void process(String, String[])): com/dmdirc/parser/irc/IRCParser.__Dispatch_Table.getLastLine()Ljava/lang/String;
    //#input(void process(String, String[])): com/dmdirc/parser/irc/IRCParser.__Dispatch_Table.parseChanModes()V
    //#input(void process(String, String[])): com/dmdirc/parser/irc/IRCParser.__Dispatch_Table.parseChanPrefix()V
    //#input(void process(String, String[])): com/dmdirc/parser/irc/IRCParser.__Dispatch_Table.parsePrefixModes()V
    //#input(void process(String, String[])): com/dmdirc/parser/irc/IRCParser.__Dispatch_Table.parseUserModes()V
    //#input(void process(String, String[])): com/dmdirc/parser/irc/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.h005Info
    //#input(void process(String, String[])): this.myParser.hChanModesBool
    //#input(void process(String, String[])): this.myParser.hChanModesOther
    //#input(void process(String, String[])): this.myParser.hChanPrefix
    //#input(void process(String, String[])): this.myParser.hPrefixMap
    //#input(void process(String, String[])): this.myParser.hPrefixModes
    //#input(void process(String, String[])): this.myParser.hUserModes
    //#input(void process(String, String[])): this.myParser.lastLine
    //#input(void process(String, String[])): this.myParser.myCallbackManager
    //#input(void process(String, String[])): this.myParser.myCallbackManager.callbackHash
    //#input(void process(String, String[])): this.myParser.sNetworkName
    //#input(void process(String, String[])): token
    //#input(void process(String, String[])): token.length
    //#input(void process(String, String[])): token[0..4_294_967_295]
    //#output(void process(String, String[])): this.myParser.nNextKeyCMBool
    //#output(void process(String, String[])): this.myParser.nNextKeyPrefix
    //#output(void process(String, String[])): this.myParser.nNextKeyUser
    //#pre[4] (void process(String, String[])): sParam != null
    //#pre[6] (void process(String, String[])): this.__Tag == com/dmdirc/parser/irc/ProcessMOTD
    //#pre[20] (void process(String, String[])): token != null
    //#pre[21] (void process(String, String[])): token.length in {1..4_294_967_296}
    //#pre[7] (void process(String, String[])): (soft) this.myParser != null
    //#pre[8] (void process(String, String[])): (soft) this.myParser.__Tag == com/dmdirc/parser/irc/IRCParser
    //#pre[9] (void process(String, String[])): (soft) this.myParser.h005Info != null
    //#pre[10] (void process(String, String[])): (soft) this.myParser.hChanModesBool != null
    //#pre[11] (void process(String, String[])): (soft) this.myParser.hChanModesOther != null
    //#pre[12] (void process(String, String[])): (soft) this.myParser.hChanPrefix != null
    //#pre[13] (void process(String, String[])): (soft) this.myParser.hPrefixMap != null
    //#pre[14] (void process(String, String[])): (soft) this.myParser.hPrefixModes != null
    //#pre[15] (void process(String, String[])): (soft) this.myParser.hUserModes != null
    //#pre[16] (void process(String, String[])): (soft) init'ed(this.myParser.lastLine)
    //#pre[17] (void process(String, String[])): (soft) this.myParser.myCallbackManager != null
    //#pre[18] (void process(String, String[])): (soft) this.myParser.myCallbackManager.callbackHash != null
    //#pre[19] (void process(String, String[])): (soft) this.myParser.sNetworkName != null
    //#pre[22] (void process(String, String[])): (soft) init'ed(token[0..4_294_967_295])
    //#post(void process(String, String[])): possibly_updated(this.myParser.nNextKeyCMBool)
    //#post(void process(String, String[])): possibly_updated(this.myParser.nNextKeyPrefix)
    //#post(void process(String, String[])): possibly_updated(this.myParser.nNextKeyUser)
    //#unanalyzed(void process(String, String[])): Effects-of-calling:getCallbackManager
    //#unanalyzed(void process(String, String[])): Effects-of-calling:getCallbackType
    //#unanalyzed(void process(String, String[])): Effects-of-calling:call
    //#unanalyzed(void process(String, String[])): Effects-of-calling:java.lang.Boolean:valueOf
    //#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.util.Map:clear
    //#unanalyzed(void process(String, String[])): Effects-of-calling:java.lang.Character:valueOf
    //#unanalyzed(void process(String, String[])): Effects-of-calling:java.lang.String:length
    //#unanalyzed(void process(String, String[])): Effects-of-calling:java.util.Map:put
    //#unanalyzed(void process(String, String[])): Effects-of-calling:callDebugInfo
    //#unanalyzed(void process(String, String[])): Effects-of-calling:java.lang.String:charAt
    //#unanalyzed(void process(String, String[])): Effects-of-calling:java.lang.String:format
    //#unanalyzed(void process(String, String[])): Effects-of-calling:java.lang.Integer:valueOf
    //#unanalyzed(void process(String, String[])): Effects-of-calling:java.lang.String:substring
    //#unanalyzed(void process(String, String[])): Effects-of-calling:java.lang.String:split
    //#unanalyzed(void process(String, String[])): Effects-of-calling:java.lang.String:equals
    //#unanalyzed(void process(String, String[])): Effects-of-calling:java.lang.Long:valueOf
    //#unanalyzed(void process(String, String[])): Effects-of-calling:java.lang.String:matches
    //#unanalyzed(void process(String, String[])): Effects-of-calling:java.lang.String:equalsIgnoreCase
    //#unanalyzed(void process(String, String[])): Effects-of-calling:java.lang.StringBuilder:insert
    //#unanalyzed(void process(String, String[])): Effects-of-calling:java.lang.Character:toString
    //#unanalyzed(void process(String, String[])): Effects-of-calling:java.lang.StringBuilder:indexOf
    //#unanalyzed(void process(String, String[])): Effects-of-calling:java.lang.Byte:valueOf
    //#test_vector(void process(String, String[])): java.lang.String:equals(...)@38: {0}, {1}
    //#test_vector(void process(String, String[])): java.lang.String:equals(...)@40: {0}, {1}
    //#test_vector(void process(String, String[])): java.util.Map:containsKey(...)@43: {1}, {0}
    //#test_vector(void process(String, String[])): java.util.Map:containsKey(...)@44: {1}, {0}
    //#test_vector(void process(String, String[])): java.util.Map:containsKey(...)@45: {1}, {0}
    //#test_vector(void process(String, String[])): java.util.Map:containsKey(...)@46: {1}, {0}
			callMOTDStart(token[token.length-1]);
		} else if (sParam.equals("372")) {
			callMOTDLine(token[token.length-1]);
		} else {
			if (!myParser.h005Info.containsKey("CHANTYPES")) { myParser.parseChanPrefix(); }
			if (!myParser.h005Info.containsKey("PREFIX")) { myParser.parsePrefixModes(); }
			if (!myParser.h005Info.containsKey("USERMODES")) { myParser.parseUserModes(); }
			if (!myParser.h005Info.containsKey("CHANMODES")) { myParser.parseChanModes(); }
			callMOTDEnd(sParam.equals("422"), token[token.length-1]);
		}
	}
    //#ProcessMOTD.java:49: end of method: void com.dmdirc.parser.irc.ProcessMOTD.process(String, String[])
	
	/**
	 * Callback to all objects implementing the MOTDEnd Callback.
	 *
	 * @param noMOTD Was this an MOTDEnd or NoMOTD
	 * @param data The contents of the line (incase of language changes or so)
	 * @see IMOTDEnd
	 * @return true if a method was called, false otherwise
	 */
	protected boolean callMOTDEnd(final boolean noMOTD, final String data) {
		return getCallbackManager().getCallbackType("OnMOTDEnd").call(noMOTD, data);
    //#ProcessMOTD.java:60: method: bool com.dmdirc.parser.irc.ProcessMOTD.callMOTDEnd(bool, String)
    //#ProcessMOTD.java:60: ?null dereference
    //#    getCallbackType(...) != null
    //#    severity: MEDIUM
    //#    class: com.dmdirc.parser.irc.ProcessMOTD
    //#    method: bool callMOTDEnd(bool, String)
    //#    basic block: Entry_BB_1
    //#    assertion: getCallbackType(...) != null
    //#    VN: getCallbackType(...)
    //#    Expected: Inverse{null}
    //#    Bad: Addr_Set{null}
    //#    Attribs:  Ptr  null in Bad
    //#ProcessMOTD.java:60: ?use of default init
    //#    init'ed(getCallbackType(...).__Tag)
    //#    severity: SUPPRESSED
    //#    class: com.dmdirc.parser.irc.ProcessMOTD
    //#    method: bool callMOTDEnd(bool, String)
    //#    basic block: Entry_BB_1
    //#    assertion: init'ed(getCallbackType(...).__Tag)
    //#    VN: getCallbackType(...).__Tag
    //#    Expected: {-Inf..+Inf}
    //#    Bad: {Invalid}
    //#    Attribs:  Int  Bad only invalid
    //#ProcessMOTD.java:60: ?null dereference
    //#    com/dmdirc/parser/irc/callbacks/CallbackObject.__Descendant_Table[getCallbackType(...).__Tag] != null
    //#    severity: SUPPRESSED
    //#    class: com.dmdirc.parser.irc.ProcessMOTD
    //#    method: bool callMOTDEnd(bool, 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
    //#ProcessMOTD.java:60: Warning: call too complex - analysis skipped
    //#    call on bool call(Object[])
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.parser.irc.ProcessMOTD
    //#    method: bool callMOTDEnd(bool, String)
    //#    unanalyzed callee: bool call(Object[])
    //#input(bool callMOTDEnd(bool, String)): "Callback not found: "._tainted
    //#input(bool callMOTDEnd(bool, String)): "OnMOTDEnd"._tainted
    //#input(bool callMOTDEnd(bool, String)): com/dmdirc/parser/irc/IRCParser.__Descendant_Table[com/dmdirc/parser/irc/IRCParser]
    //#input(bool callMOTDEnd(bool, String)): com/dmdirc/parser/irc/IRCParser.__Descendant_Table[others]
    //#input(bool callMOTDEnd(bool, String)): com/dmdirc/parser/irc/IRCParser.__Dispatch_Table.getCallbackManager()Lcom/dmdirc/parser/irc/callbacks/CallbackManager;
    //#input(bool callMOTDEnd(bool, String)): com/dmdirc/parser/irc/callbacks/CallbackObject.__Descendant_Table[com/dmdirc/parser/irc/callbacks/CallbackObjectSpecific]
    //#input(bool callMOTDEnd(bool, String)): com/dmdirc/parser/irc/callbacks/CallbackObject.__Descendant_Table[com/dmdirc/parser/irc/callbacks/CallbackObject]
    //#input(bool callMOTDEnd(bool, String)): com/dmdirc/parser/irc/callbacks/CallbackObject.__Descendant_Table[others]
    //#input(bool callMOTDEnd(bool, String)): com/dmdirc/parser/irc/callbacks/CallbackObject.__Dispatch_Table.call([Ljava/lang/Object;)Z
    //#input(bool callMOTDEnd(bool, String)): com/dmdirc/parser/irc/callbacks/CallbackObjectSpecific.__Dispatch_Table.call([Ljava/lang/Object;)Z
    //#input(bool callMOTDEnd(bool, String)): data
    //#input(bool callMOTDEnd(bool, String)): noMOTD
    //#input(bool callMOTDEnd(bool, String)): this
    //#input(bool callMOTDEnd(bool, String)): this.myParser
    //#input(bool callMOTDEnd(bool, String)): this.myParser.__Tag
    //#input(bool callMOTDEnd(bool, String)): this.myParser.myCallbackManager
    //#input(bool callMOTDEnd(bool, String)): this.myParser.myCallbackManager.callbackHash
    //#output(bool callMOTDEnd(bool, String)): return_value
    //#pre[4] (bool callMOTDEnd(bool, String)): this.myParser != null
    //#pre[5] (bool callMOTDEnd(bool, String)): this.myParser.__Tag == com/dmdirc/parser/irc/IRCParser
    //#pre[6] (bool callMOTDEnd(bool, String)): this.myParser.myCallbackManager != null
    //#pre[7] (bool callMOTDEnd(bool, String)): this.myParser.myCallbackManager.callbackHash != null
    //#presumption(bool callMOTDEnd(bool, String)): getCallbackManager(...)@60 init'ed
    //#post(bool callMOTDEnd(bool, String)): init'ed(return_value)
    //#unanalyzed(bool callMOTDEnd(bool, String)): Effects-of-calling:getCallbackManager
    //#unanalyzed(bool callMOTDEnd(bool, String)): Effects-of-calling:java.util.Map:containsKey
    //#unanalyzed(bool callMOTDEnd(bool, String)): Effects-of-calling:java.lang.String:toLowerCase
    //#unanalyzed(bool callMOTDEnd(bool, String)): Effects-of-calling:java.lang.StringBuilder
    //#unanalyzed(bool callMOTDEnd(bool, String)): Effects-of-calling:java.lang.StringBuilder:append
    //#unanalyzed(bool callMOTDEnd(bool, String)): Effects-of-calling:java.lang.StringBuilder:toString
    //#unanalyzed(bool callMOTDEnd(bool, String)): Effects-of-calling:java.lang.RuntimeException
    //#unanalyzed(bool callMOTDEnd(bool, String)): Effects-of-calling:java.util.Map:get
    //#ProcessMOTD.java:60: end of method: bool com.dmdirc.parser.irc.ProcessMOTD.callMOTDEnd(bool, String)
	}
	
	/**
	 * Callback to all objects implementing the MOTDLine Callback.
	 *
	 * @see IMOTDLine
	 * @param data Incomming Line.
	 * @return true if a method was called, false otherwise
	 */
	protected boolean callMOTDLine(final String data) {
		return getCallbackManager().getCallbackType("OnMOTDLine").call(data);
    //#ProcessMOTD.java:71: method: bool com.dmdirc.parser.irc.ProcessMOTD.callMOTDLine(String)
    //#ProcessMOTD.java:71: ?null dereference
    //#    getCallbackType(...) != null
    //#    severity: MEDIUM
    //#    class: com.dmdirc.parser.irc.ProcessMOTD
    //#    method: bool callMOTDLine(String)
    //#    basic block: Entry_BB_1
    //#    assertion: getCallbackType(...) != null
    //#    VN: getCallbackType(...)
    //#    Expected: Inverse{null}
    //#    Bad: Addr_Set{null}
    //#    Attribs:  Ptr  null in Bad
    //#ProcessMOTD.java:71: ?use of default init
    //#    init'ed(getCallbackType(...).__Tag)
    //#    severity: SUPPRESSED
    //#    class: com.dmdirc.parser.irc.ProcessMOTD
    //#    method: bool callMOTDLine(String)
    //#    basic block: Entry_BB_1
    //#    assertion: init'ed(getCallbackType(...).__Tag)
    //#    VN: getCallbackType(...).__Tag
    //#    Expected: {-Inf..+Inf}
    //#    Bad: {Invalid}
    //#    Attribs:  Int  Bad only invalid
    //#ProcessMOTD.java:71: ?null dereference
    //#    com/dmdirc/parser/irc/callbacks/CallbackObject.__Descendant_Table[getCallbackType(...).__Tag] != null
    //#    severity: SUPPRESSED
    //#    class: com.dmdirc.parser.irc.ProcessMOTD
    //#    method: bool callMOTDLine(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
    //#ProcessMOTD.java:71: Warning: call too complex - analysis skipped
    //#    call on bool call(Object[])
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.parser.irc.ProcessMOTD
    //#    method: bool callMOTDLine(String)
    //#    unanalyzed callee: bool call(Object[])
    //#input(bool callMOTDLine(String)): "Callback not found: "._tainted
    //#input(bool callMOTDLine(String)): "OnMOTDLine"._tainted
    //#input(bool callMOTDLine(String)): com/dmdirc/parser/irc/IRCParser.__Descendant_Table[com/dmdirc/parser/irc/IRCParser]
    //#input(bool callMOTDLine(String)): com/dmdirc/parser/irc/IRCParser.__Descendant_Table[others]
    //#input(bool callMOTDLine(String)): com/dmdirc/parser/irc/IRCParser.__Dispatch_Table.getCallbackManager()Lcom/dmdirc/parser/irc/callbacks/CallbackManager;
    //#input(bool callMOTDLine(String)): com/dmdirc/parser/irc/callbacks/CallbackObject.__Descendant_Table[com/dmdirc/parser/irc/callbacks/CallbackObjectSpecific]
    //#input(bool callMOTDLine(String)): com/dmdirc/parser/irc/callbacks/CallbackObject.__Descendant_Table[com/dmdirc/parser/irc/callbacks/CallbackObject]
    //#input(bool callMOTDLine(String)): com/dmdirc/parser/irc/callbacks/CallbackObject.__Descendant_Table[others]
    //#input(bool callMOTDLine(String)): com/dmdirc/parser/irc/callbacks/CallbackObject.__Dispatch_Table.call([Ljava/lang/Object;)Z
    //#input(bool callMOTDLine(String)): com/dmdirc/parser/irc/callbacks/CallbackObjectSpecific.__Dispatch_Table.call([Ljava/lang/Object;)Z
    //#input(bool callMOTDLine(String)): data
    //#input(bool callMOTDLine(String)): this
    //#input(bool callMOTDLine(String)): this.myParser
    //#input(bool callMOTDLine(String)): this.myParser.__Tag
    //#input(bool callMOTDLine(String)): this.myParser.myCallbackManager
    //#input(bool callMOTDLine(String)): this.myParser.myCallbackManager.callbackHash
    //#output(bool callMOTDLine(String)): return_value
    //#pre[3] (bool callMOTDLine(String)): this.myParser != null
    //#pre[4] (bool callMOTDLine(String)): this.myParser.__Tag == com/dmdirc/parser/irc/IRCParser
    //#pre[5] (bool callMOTDLine(String)): this.myParser.myCallbackManager != null
    //#pre[6] (bool callMOTDLine(String)): this.myParser.myCallbackManager.callbackHash != null
    //#presumption(bool callMOTDLine(String)): getCallbackManager(...)@71 init'ed
    //#post(bool callMOTDLine(String)): init'ed(return_value)
    //#unanalyzed(bool callMOTDLine(String)): Effects-of-calling:getCallbackManager
    //#unanalyzed(bool callMOTDLine(String)): Effects-of-calling:java.util.Map:containsKey
    //#unanalyzed(bool callMOTDLine(String)): Effects-of-calling:java.lang.String:toLowerCase
    //#unanalyzed(bool callMOTDLine(String)): Effects-of-calling:java.lang.StringBuilder
    //#unanalyzed(bool callMOTDLine(String)): Effects-of-calling:java.lang.StringBuilder:append
    //#unanalyzed(bool callMOTDLine(String)): Effects-of-calling:java.lang.StringBuilder:toString
    //#unanalyzed(bool callMOTDLine(String)): Effects-of-calling:java.lang.RuntimeException
    //#unanalyzed(bool callMOTDLine(String)): Effects-of-calling:java.util.Map:get
    //#ProcessMOTD.java:71: end of method: bool com.dmdirc.parser.irc.ProcessMOTD.callMOTDLine(String)
	}
	
	/**
	 * Callback to all objects implementing the MOTDStart Callback.
	 *
	 * @see IMOTDStart
	 * @param data Incomming Line.
	 * @return true if a method was called, false otherwise
	 */
	protected boolean callMOTDStart(String data) {
		return getCallbackManager().getCallbackType("OnMOTDStart").call(data);
    //#ProcessMOTD.java:82: method: bool com.dmdirc.parser.irc.ProcessMOTD.callMOTDStart(String)
    //#ProcessMOTD.java:82: ?null dereference
    //#    getCallbackType(...) != null
    //#    severity: MEDIUM
    //#    class: com.dmdirc.parser.irc.ProcessMOTD
    //#    method: bool callMOTDStart(String)
    //#    basic block: Entry_BB_1
    //#    assertion: getCallbackType(...) != null
    //#    VN: getCallbackType(...)
    //#    Expected: Inverse{null}
    //#    Bad: Addr_Set{null}
    //#    Attribs:  Ptr  null in Bad
    //#ProcessMOTD.java:82: ?use of default init
    //#    init'ed(getCallbackType(...).__Tag)
    //#    severity: SUPPRESSED
    //#    class: com.dmdirc.parser.irc.ProcessMOTD
    //#    method: bool callMOTDStart(String)
    //#    basic block: Entry_BB_1
    //#    assertion: init'ed(getCallbackType(...).__Tag)
    //#    VN: getCallbackType(...).__Tag
    //#    Expected: {-Inf..+Inf}
    //#    Bad: {Invalid}
    //#    Attribs:  Int  Bad only invalid
    //#ProcessMOTD.java:82: ?null dereference
    //#    com/dmdirc/parser/irc/callbacks/CallbackObject.__Descendant_Table[getCallbackType(...).__Tag] != null
    //#    severity: SUPPRESSED
    //#    class: com.dmdirc.parser.irc.ProcessMOTD
    //#    method: bool callMOTDStart(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
    //#ProcessMOTD.java:82: Warning: call too complex - analysis skipped
    //#    call on bool call(Object[])
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.parser.irc.ProcessMOTD
    //#    method: bool callMOTDStart(String)
    //#    unanalyzed callee: bool call(Object[])
    //#input(bool callMOTDStart(String)): "Callback not found: "._tainted
    //#input(bool callMOTDStart(String)): "OnMOTDStart"._tainted
    //#input(bool callMOTDStart(String)): com/dmdirc/parser/irc/IRCParser.__Descendant_Table[com/dmdirc/parser/irc/IRCParser]
    //#input(bool callMOTDStart(String)): com/dmdirc/parser/irc/IRCParser.__Descendant_Table[others]
    //#input(bool callMOTDStart(String)): com/dmdirc/parser/irc/IRCParser.__Dispatch_Table.getCallbackManager()Lcom/dmdirc/parser/irc/callbacks/CallbackManager;
    //#input(bool callMOTDStart(String)): com/dmdirc/parser/irc/callbacks/CallbackObject.__Descendant_Table[com/dmdirc/parser/irc/callbacks/CallbackObjectSpecific]
    //#input(bool callMOTDStart(String)): com/dmdirc/parser/irc/callbacks/CallbackObject.__Descendant_Table[com/dmdirc/parser/irc/callbacks/CallbackObject]
    //#input(bool callMOTDStart(String)): com/dmdirc/parser/irc/callbacks/CallbackObject.__Descendant_Table[others]
    //#input(bool callMOTDStart(String)): com/dmdirc/parser/irc/callbacks/CallbackObject.__Dispatch_Table.call([Ljava/lang/Object;)Z
    //#input(bool callMOTDStart(String)): com/dmdirc/parser/irc/callbacks/CallbackObjectSpecific.__Dispatch_Table.call([Ljava/lang/Object;)Z
    //#input(bool callMOTDStart(String)): data
    //#input(bool callMOTDStart(String)): this
    //#input(bool callMOTDStart(String)): this.myParser
    //#input(bool callMOTDStart(String)): this.myParser.__Tag
    //#input(bool callMOTDStart(String)): this.myParser.myCallbackManager
    //#input(bool callMOTDStart(String)): this.myParser.myCallbackManager.callbackHash
    //#output(bool callMOTDStart(String)): return_value
    //#pre[3] (bool callMOTDStart(String)): this.myParser != null
    //#pre[4] (bool callMOTDStart(String)): this.myParser.__Tag == com/dmdirc/parser/irc/IRCParser
    //#pre[5] (bool callMOTDStart(String)): this.myParser.myCallbackManager != null
    //#pre[6] (bool callMOTDStart(String)): this.myParser.myCallbackManager.callbackHash != null
    //#presumption(bool callMOTDStart(String)): getCallbackManager(...)@82 init'ed
    //#post(bool callMOTDStart(String)): init'ed(return_value)
    //#unanalyzed(bool callMOTDStart(String)): Effects-of-calling:getCallbackManager
    //#unanalyzed(bool callMOTDStart(String)): Effects-of-calling:java.util.Map:containsKey
    //#unanalyzed(bool callMOTDStart(String)): Effects-of-calling:java.lang.String:toLowerCase
    //#unanalyzed(bool callMOTDStart(String)): Effects-of-calling:java.lang.StringBuilder
    //#unanalyzed(bool callMOTDStart(String)): Effects-of-calling:java.lang.StringBuilder:append
    //#unanalyzed(bool callMOTDStart(String)): Effects-of-calling:java.lang.StringBuilder:toString
    //#unanalyzed(bool callMOTDStart(String)): Effects-of-calling:java.lang.RuntimeException
    //#unanalyzed(bool callMOTDStart(String)): Effects-of-calling:java.util.Map:get
    //#ProcessMOTD.java:82: end of method: bool com.dmdirc.parser.irc.ProcessMOTD.callMOTDStart(String)
	}
	
	/**
	 * What does this IRCProcessor handle.
	 *
	 * @return String[] with the names of the tokens we handle.
	 */
	@Override
	public String[] handles() {
		return new String[]{"372", "375", "376", "422"};
    //#ProcessMOTD.java:92: method: String[] com.dmdirc.parser.irc.ProcessMOTD.handles()
    //#output(String[] handles()): new String[](handles#1) num objects
    //#output(String[] handles()): return_value.length
    //#output(String[] handles()): return_value[0]
    //#output(String[] handles()): return_value[1]
    //#output(String[] handles()): return_value[2]
    //#output(String[] handles()): return_value[3]
    //#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 == 4
    //#post(String[] handles()): return_value[0] == &"372"
    //#post(String[] handles()): return_value[1] == &"375"
    //#post(String[] handles()): return_value[2] == &"376"
    //#post(String[] handles()): return_value[3] == &"422"
    //#ProcessMOTD.java:92: end of method: String[] com.dmdirc.parser.irc.ProcessMOTD.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 ProcessMOTD (IRCParser parser, ProcessingManager manager) { super(parser, manager); }
    //#ProcessMOTD.java:101: method: void com.dmdirc.parser.irc.ProcessMOTD.com.dmdirc.parser.irc.ProcessMOTD(IRCParser, ProcessingManager)
    //#input(void com.dmdirc.parser.irc.ProcessMOTD(IRCParser, ProcessingManager)): manager
    //#input(void com.dmdirc.parser.irc.ProcessMOTD(IRCParser, ProcessingManager)): parser
    //#input(void com.dmdirc.parser.irc.ProcessMOTD(IRCParser, ProcessingManager)): this
    //#output(void com.dmdirc.parser.irc.ProcessMOTD(IRCParser, ProcessingManager)): this.myManager
    //#output(void com.dmdirc.parser.irc.ProcessMOTD(IRCParser, ProcessingManager)): this.myParser
    //#post(void com.dmdirc.parser.irc.ProcessMOTD(IRCParser, ProcessingManager)): this.myManager == manager
    //#post(void com.dmdirc.parser.irc.ProcessMOTD(IRCParser, ProcessingManager)): init'ed(this.myManager)
    //#post(void com.dmdirc.parser.irc.ProcessMOTD(IRCParser, ProcessingManager)): this.myParser == parser
    //#post(void com.dmdirc.parser.irc.ProcessMOTD(IRCParser, ProcessingManager)): init'ed(this.myParser)
    //#ProcessMOTD.java:101: end of method: void com.dmdirc.parser.irc.ProcessMOTD.com.dmdirc.parser.irc.ProcessMOTD(IRCParser, ProcessingManager)

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