//# 21 errors, 421 messages
//#
/*
    //#CallbackObjectSpecific.java:1:1: class: com.dmdirc.parser.irc.callbacks.CallbackObjectSpecific
    //#CallbackObjectSpecific.java:1:1: method: com.dmdirc.parser.irc.callbacks.CallbackObjectSpecific.com.dmdirc.parser.irc.callbacks.CallbackObjectSpecific__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.callbacks;

import java.util.Hashtable;

import com.dmdirc.parser.irc.ChannelInfo;
import com.dmdirc.parser.irc.ClientInfo;
import com.dmdirc.parser.irc.IRCParser;
import com.dmdirc.parser.irc.ParserError;
import com.dmdirc.parser.irc.callbacks.interfaces.ICallbackInterface;
import java.util.ArrayList;

/**
 * CallbackObjectSpecific.
 * Superclass for all callback types that have a "specific" target.
 *
 * @author            Shane Mc Cormack
 */
public class CallbackObjectSpecific extends CallbackObject {
	
	/** Hashtable for storing specific information for callback. */	
	protected volatile Hashtable<ICallbackInterface, String> specificData = new Hashtable<ICallbackInterface, String>();
	
	/**
	 * Create a new instance of the Callback Object.
	 *
	 * @param parser IRCParser That owns this callback
	 * @param manager CallbackManager that is in charge of this callback
     * @param type The type of callback to use
     * @since 0.6.3m1
	 */
	public CallbackObjectSpecific(final IRCParser parser,
            final CallbackManager manager, final Class<? extends ICallbackInterface> type) {
        super(parser, manager, type);
    //#CallbackObjectSpecific.java:55: method: void com.dmdirc.parser.irc.callbacks.CallbackObjectSpecific.com.dmdirc.parser.irc.callbacks.CallbackObjectSpecific(IRCParser, CallbackManager, Class)
    //#input(void com.dmdirc.parser.irc.callbacks.CallbackObjectSpecific(IRCParser, CallbackManager, Class)): manager
    //#input(void com.dmdirc.parser.irc.callbacks.CallbackObjectSpecific(IRCParser, CallbackManager, Class)): parser
    //#input(void com.dmdirc.parser.irc.callbacks.CallbackObjectSpecific(IRCParser, CallbackManager, Class)): this
    //#input(void com.dmdirc.parser.irc.callbacks.CallbackObjectSpecific(IRCParser, CallbackManager, Class)): type
    //#output(void com.dmdirc.parser.irc.callbacks.CallbackObjectSpecific(IRCParser, CallbackManager, Class)): new ArrayList(CallbackObject#1) num objects
    //#output(void com.dmdirc.parser.irc.callbacks.CallbackObjectSpecific(IRCParser, CallbackManager, Class)): new Hashtable(CallbackObjectSpecific#1) num objects
    //#output(void com.dmdirc.parser.irc.callbacks.CallbackObjectSpecific(IRCParser, CallbackManager, Class)): this.callbackInfo
    //#output(void com.dmdirc.parser.irc.callbacks.CallbackObjectSpecific(IRCParser, CallbackManager, Class)): this.myManager
    //#output(void com.dmdirc.parser.irc.callbacks.CallbackObjectSpecific(IRCParser, CallbackManager, Class)): this.myParser
    //#output(void com.dmdirc.parser.irc.callbacks.CallbackObjectSpecific(IRCParser, CallbackManager, Class)): this.specificData
    //#output(void com.dmdirc.parser.irc.callbacks.CallbackObjectSpecific(IRCParser, CallbackManager, Class)): this.type
    //#new obj(void com.dmdirc.parser.irc.callbacks.CallbackObjectSpecific(IRCParser, CallbackManager, Class)): new ArrayList(CallbackObject#1)
    //#new obj(void com.dmdirc.parser.irc.callbacks.CallbackObjectSpecific(IRCParser, CallbackManager, Class)): new Hashtable(CallbackObjectSpecific#1)
    //#post(void com.dmdirc.parser.irc.callbacks.CallbackObjectSpecific(IRCParser, CallbackManager, Class)): this.callbackInfo == &new ArrayList(CallbackObject#1)
    //#post(void com.dmdirc.parser.irc.callbacks.CallbackObjectSpecific(IRCParser, CallbackManager, Class)): this.myManager == manager
    //#post(void com.dmdirc.parser.irc.callbacks.CallbackObjectSpecific(IRCParser, CallbackManager, Class)): init'ed(this.myManager)
    //#post(void com.dmdirc.parser.irc.callbacks.CallbackObjectSpecific(IRCParser, CallbackManager, Class)): this.myParser == parser
    //#post(void com.dmdirc.parser.irc.callbacks.CallbackObjectSpecific(IRCParser, CallbackManager, Class)): init'ed(this.myParser)
    //#post(void com.dmdirc.parser.irc.callbacks.CallbackObjectSpecific(IRCParser, CallbackManager, Class)): this.specificData == &new Hashtable(CallbackObjectSpecific#1)
    //#post(void com.dmdirc.parser.irc.callbacks.CallbackObjectSpecific(IRCParser, CallbackManager, Class)): this.type == type
    //#post(void com.dmdirc.parser.irc.callbacks.CallbackObjectSpecific(IRCParser, CallbackManager, Class)): init'ed(this.type)
    //#post(void com.dmdirc.parser.irc.callbacks.CallbackObjectSpecific(IRCParser, CallbackManager, Class)): new ArrayList(CallbackObject#1) num objects == 1
    //#post(void com.dmdirc.parser.irc.callbacks.CallbackObjectSpecific(IRCParser, CallbackManager, Class)): new Hashtable(CallbackObjectSpecific#1) num objects == 1
    //#unanalyzed(void com.dmdirc.parser.irc.callbacks.CallbackObjectSpecific(IRCParser, CallbackManager, Class)): Effects-of-calling:java.util.ArrayList
    }
    //#CallbackObjectSpecific.java:56: end of method: void com.dmdirc.parser.irc.callbacks.CallbackObjectSpecific.com.dmdirc.parser.irc.callbacks.CallbackObjectSpecific(IRCParser, CallbackManager, Class)
	
	/**
	 * Used to check if a channel matches the specificData.
	 * 
	 * @param eMethod Object that is being called back to
	 * @param cChannel ChannelInfo object for the channel to test
	 * @return true if channel given matches the specifics for the method given
	 */
	protected boolean isValidChan(final ICallbackInterface eMethod, final ChannelInfo cChannel) {
		if (specificData.containsKey(eMethod)) { 
    //#CallbackObjectSpecific.java:66: method: bool com.dmdirc.parser.irc.callbacks.CallbackObjectSpecific.isValidChan(ICallbackInterface, ChannelInfo)
    //#input(bool isValidChan(ICallbackInterface, ChannelInfo)): cChannel
    //#input(bool isValidChan(ICallbackInterface, ChannelInfo)): cChannel.__Tag
    //#input(bool isValidChan(ICallbackInterface, ChannelInfo)): cChannel.sName
    //#input(bool isValidChan(ICallbackInterface, ChannelInfo)): com/dmdirc/parser/irc/ChannelInfo.__Descendant_Table[com/dmdirc/parser/irc/ChannelInfo]
    //#input(bool isValidChan(ICallbackInterface, ChannelInfo)): com/dmdirc/parser/irc/ChannelInfo.__Descendant_Table[others]
    //#input(bool isValidChan(ICallbackInterface, ChannelInfo)): com/dmdirc/parser/irc/ChannelInfo.__Dispatch_Table.getName()Ljava/lang/String;
    //#input(bool isValidChan(ICallbackInterface, ChannelInfo)): com/dmdirc/parser/irc/IRCParser.__Descendant_Table[com/dmdirc/parser/irc/IRCParser]
    //#input(bool isValidChan(ICallbackInterface, ChannelInfo)): com/dmdirc/parser/irc/IRCParser.__Descendant_Table[others]
    //#input(bool isValidChan(ICallbackInterface, ChannelInfo)): com/dmdirc/parser/irc/IRCParser.__Dispatch_Table.getIRCStringConverter()Lcom/dmdirc/parser/irc/IRCStringConverter;
    //#input(bool isValidChan(ICallbackInterface, ChannelInfo)): com/dmdirc/parser/irc/IRCStringConverter.__Descendant_Table[com/dmdirc/parser/irc/IRCStringConverter]
    //#input(bool isValidChan(ICallbackInterface, ChannelInfo)): com/dmdirc/parser/irc/IRCStringConverter.__Descendant_Table[others]
    //#input(bool isValidChan(ICallbackInterface, ChannelInfo)): com/dmdirc/parser/irc/IRCStringConverter.__Dispatch_Table.equalsIgnoreCase(Ljava/lang/String;Ljava/lang/String;)Z
    //#input(bool isValidChan(ICallbackInterface, ChannelInfo)): eMethod
    //#input(bool isValidChan(ICallbackInterface, ChannelInfo)): this
    //#input(bool isValidChan(ICallbackInterface, ChannelInfo)): this.myParser
    //#input(bool isValidChan(ICallbackInterface, ChannelInfo)): this.myParser.__Tag
    //#input(bool isValidChan(ICallbackInterface, ChannelInfo)): this.myParser.stringConverter
    //#input(bool isValidChan(ICallbackInterface, ChannelInfo)): this.myParser.stringConverter.__Tag
    //#input(bool isValidChan(ICallbackInterface, ChannelInfo)): this.myParser.stringConverter.lowercase
    //#input(bool isValidChan(ICallbackInterface, ChannelInfo)): this.myParser.stringConverter.lowercase.length
    //#input(bool isValidChan(ICallbackInterface, ChannelInfo)): this.myParser.stringConverter.lowercase[0..65_535]
    //#input(bool isValidChan(ICallbackInterface, ChannelInfo)): this.specificData
    //#output(bool isValidChan(ICallbackInterface, ChannelInfo)): new IRCStringConverter(getIRCStringConverter#1) num objects
    //#output(bool isValidChan(ICallbackInterface, ChannelInfo)): new IRCStringConverter(getIRCStringConverter#1).__Tag
    //#output(bool isValidChan(ICallbackInterface, ChannelInfo)): new IRCStringConverter(getIRCStringConverter#1).limit
    //#output(bool isValidChan(ICallbackInterface, ChannelInfo)): new IRCStringConverter(getIRCStringConverter#1).lowercase
    //#output(bool isValidChan(ICallbackInterface, ChannelInfo)): new IRCStringConverter(getIRCStringConverter#1).uppercase
    //#output(bool isValidChan(ICallbackInterface, ChannelInfo)): new char[](IRCStringConverter#1) num objects
    //#output(bool isValidChan(ICallbackInterface, ChannelInfo)): new char[](IRCStringConverter#1).length
    //#output(bool isValidChan(ICallbackInterface, ChannelInfo)): new char[](IRCStringConverter#1)[0..65_535]
    //#output(bool isValidChan(ICallbackInterface, ChannelInfo)): new char[](IRCStringConverter#2) num objects
    //#output(bool isValidChan(ICallbackInterface, ChannelInfo)): new char[](IRCStringConverter#2).length
    //#output(bool isValidChan(ICallbackInterface, ChannelInfo)): new char[](IRCStringConverter#2)[0..65_567]
    //#output(bool isValidChan(ICallbackInterface, ChannelInfo)): return_value
    //#output(bool isValidChan(ICallbackInterface, ChannelInfo)): this.myParser.stringConverter
    //#new obj(bool isValidChan(ICallbackInterface, ChannelInfo)): new IRCStringConverter(getIRCStringConverter#1)
    //#new obj(bool isValidChan(ICallbackInterface, ChannelInfo)): new char[](IRCStringConverter#1)
    //#new obj(bool isValidChan(ICallbackInterface, ChannelInfo)): new char[](IRCStringConverter#2)
    //#pre[13] (bool isValidChan(ICallbackInterface, ChannelInfo)): this.specificData != null
    //#pre[1] (bool isValidChan(ICallbackInterface, ChannelInfo)): (soft) cChannel != null
    //#pre[2] (bool isValidChan(ICallbackInterface, ChannelInfo)): (soft) cChannel.__Tag == com/dmdirc/parser/irc/ChannelInfo
    //#pre[5] (bool isValidChan(ICallbackInterface, ChannelInfo)): (soft) init'ed(this.myParser.stringConverter)
    //#pre[7] (bool isValidChan(ICallbackInterface, ChannelInfo)): (soft) this.myParser != null
    //#pre[8] (bool isValidChan(ICallbackInterface, ChannelInfo)): (soft) this.myParser.__Tag == com/dmdirc/parser/irc/IRCParser
    //#pre[9] (bool isValidChan(ICallbackInterface, ChannelInfo)): (soft) this.myParser.stringConverter.__Tag == com/dmdirc/parser/irc/IRCStringConverter
    //#pre[10] (bool isValidChan(ICallbackInterface, ChannelInfo)): (soft) this.myParser.stringConverter.lowercase != null
    //#pre[11] (bool isValidChan(ICallbackInterface, ChannelInfo)): (soft) this.myParser.stringConverter.lowercase.length >= 1
    //#pre[12] (bool isValidChan(ICallbackInterface, ChannelInfo)): (soft) init'ed(this.myParser.stringConverter.lowercase[0..65_535])
    //#post(bool isValidChan(ICallbackInterface, ChannelInfo)): init'ed(return_value)
    //#post(bool isValidChan(ICallbackInterface, ChannelInfo)): this.myParser.stringConverter == One-of{old this.myParser.stringConverter, &new IRCStringConverter(getIRCStringConverter#1)}
    //#post(bool isValidChan(ICallbackInterface, ChannelInfo)): init'ed(this.myParser.stringConverter)
    //#post(bool isValidChan(ICallbackInterface, ChannelInfo)): new IRCStringConverter(getIRCStringConverter#1) num objects == 0
    //#post(bool isValidChan(ICallbackInterface, ChannelInfo)): not_init'ed(new IRCStringConverter(getIRCStringConverter#1).__Tag)
    //#post(bool isValidChan(ICallbackInterface, ChannelInfo)): not_init'ed(new IRCStringConverter(getIRCStringConverter#1).limit)
    //#post(bool isValidChan(ICallbackInterface, ChannelInfo)): not_init'ed(new IRCStringConverter(getIRCStringConverter#1).lowercase)
    //#post(bool isValidChan(ICallbackInterface, ChannelInfo)): not_init'ed(new IRCStringConverter(getIRCStringConverter#1).uppercase)
    //#post(bool isValidChan(ICallbackInterface, ChannelInfo)): new char[](IRCStringConverter#1) num objects == 0
    //#post(bool isValidChan(ICallbackInterface, ChannelInfo)): not_init'ed(new char[](IRCStringConverter#1).length)
    //#post(bool isValidChan(ICallbackInterface, ChannelInfo)): possibly_updated(new char[](IRCStringConverter#1)[0..65_535])
    //#post(bool isValidChan(ICallbackInterface, ChannelInfo)): new char[](IRCStringConverter#2) num objects == 0
    //#post(bool isValidChan(ICallbackInterface, ChannelInfo)): not_init'ed(new char[](IRCStringConverter#2).length)
    //#post(bool isValidChan(ICallbackInterface, ChannelInfo)): possibly_updated(new char[](IRCStringConverter#2)[0..65_567])
    //#unanalyzed(bool isValidChan(ICallbackInterface, ChannelInfo)): Effects-of-calling:java.lang.String:toCharArray
    //#unanalyzed(bool isValidChan(ICallbackInterface, ChannelInfo)): Effects-of-calling:java.lang.String:length
    //#test_vector(bool isValidChan(ICallbackInterface, ChannelInfo)): java.util.Hashtable:containsKey(...)@66: {0}, {1}
			if (!myParser.getIRCStringConverter().equalsIgnoreCase(cChannel.getName(), specificData.get(eMethod))) { return false; }
    //#CallbackObjectSpecific.java:67: ?precondition failure
    //#    com/dmdirc/parser/irc/IRCStringConverter.equalsIgnoreCase: (soft) this.lowercase.length >= 1
    //#    severity: SUPPRESSED
    //#    class: com.dmdirc.parser.irc.callbacks.CallbackObjectSpecific
    //#    method: bool isValidChan(ICallbackInterface, ChannelInfo)
    //#    basic block: bb_2
    //#    assertion: (soft) getIRCStringConverter(...).lowercase.length >= 1
    //#    callee: bool com/dmdirc/parser/irc/IRCStringConverter.equalsIgnoreCase(String, String)
    //#    callee assertion: (soft) this.lowercase.length >= 1
    //#    callee file: IRCStringConverter.java
    //#    callee precondition index: [12]
    //#    callee srcpos: 123
    //#    VN: getIRCStringConverter(...).lowercase.length
    //#    Expected: {1..+Inf}
    //#    Bad: {0, Invalid}
    //#    Attribs:  Int  Bad singleton  Bad overlaps +/-1000  Soft  Bad < Exp
    //#CallbackObjectSpecific.java:67: ?precondition failure
    //#    com/dmdirc/parser/irc/IRCStringConverter.equalsIgnoreCase: (soft) init'ed(this.lowercase[0..65_535])
    //#    severity: SUPPRESSED
    //#    class: com.dmdirc.parser.irc.callbacks.CallbackObjectSpecific
    //#    method: bool isValidChan(ICallbackInterface, ChannelInfo)
    //#    basic block: bb_2
    //#    assertion: (soft) init'ed(getIRCStringConverter(...).lowercase[0..65_535])
    //#    callee: bool com/dmdirc/parser/irc/IRCStringConverter.equalsIgnoreCase(String, String)
    //#    callee assertion: (soft) init'ed(this.lowercase[0..65_535])
    //#    callee file: IRCStringConverter.java
    //#    callee precondition index: [13]
    //#    callee srcpos: 123
    //#    VN: getIRCStringConverter(...).lowercase[0..65_535]
    //#    Expected: {0..65_535}
    //#    Bad: {Invalid}
    //#    Attribs:  Int  Soft  Bad only invalid
		}
		return true;
    //#CallbackObjectSpecific.java:69: end of method: bool com.dmdirc.parser.irc.callbacks.CallbackObjectSpecific.isValidChan(ICallbackInterface, ChannelInfo)
	}
	
	/**
	 * Used to check if a hostname matches the specificData.
	 * 
	 * @param eMethod Object that is being called back to
	 * @param sHost Hostname of user that sent the query
	 * @return true if host given matches the specifics for the method given
	 */
	protected boolean isValidUser(final ICallbackInterface eMethod, final String sHost) {
		final String nickname = ClientInfo.parseHost(sHost);
    //#CallbackObjectSpecific.java:80: method: bool com.dmdirc.parser.irc.callbacks.CallbackObjectSpecific.isValidUser(ICallbackInterface, String)
    //#CallbackObjectSpecific.java:80: ?use of default init
    //#    init'ed(Obj_Id#361:parseHost(...))
    //#    severity: SUPPRESSED
    //#    class: com.dmdirc.parser.irc.callbacks.CallbackObjectSpecific
    //#    method: bool isValidUser(ICallbackInterface, String)
    //#    basic block: Entry_BB_1
    //#    assertion: init'ed(Obj_Id#361:parseHost(...))
    //#    VN: undefined
    //#    Expected: Univ-VN-Set
    //#    Bad: {Invalid}
    //#    Attribs:  Ptr  Bad only invalid
    //#CallbackObjectSpecific.java:80: ?use of default init
    //#    init'ed(parseHost(...))
    //#    severity: SUPPRESSED
    //#    class: com.dmdirc.parser.irc.callbacks.CallbackObjectSpecific
    //#    method: bool isValidUser(ICallbackInterface, String)
    //#    basic block: Entry_BB_1
    //#    assertion: init'ed(parseHost(...))
    //#    VN: undefined
    //#    Expected: Univ-VN-Set
    //#    Bad: {Invalid}
    //#    Attribs:  Ptr  Bad only invalid
    //#input(bool isValidUser(ICallbackInterface, String)): com/dmdirc/parser/irc/IRCParser.__Descendant_Table[com/dmdirc/parser/irc/IRCParser]
    //#input(bool isValidUser(ICallbackInterface, String)): com/dmdirc/parser/irc/IRCParser.__Descendant_Table[others]
    //#input(bool isValidUser(ICallbackInterface, String)): com/dmdirc/parser/irc/IRCParser.__Dispatch_Table.getIRCStringConverter()Lcom/dmdirc/parser/irc/IRCStringConverter;
    //#input(bool isValidUser(ICallbackInterface, String)): com/dmdirc/parser/irc/IRCStringConverter.__Descendant_Table[com/dmdirc/parser/irc/IRCStringConverter]
    //#input(bool isValidUser(ICallbackInterface, String)): com/dmdirc/parser/irc/IRCStringConverter.__Descendant_Table[others]
    //#input(bool isValidUser(ICallbackInterface, String)): com/dmdirc/parser/irc/IRCStringConverter.__Dispatch_Table.equalsIgnoreCase(Ljava/lang/String;Ljava/lang/String;)Z
    //#input(bool isValidUser(ICallbackInterface, String)): eMethod
    //#input(bool isValidUser(ICallbackInterface, String)): sHost
    //#input(bool isValidUser(ICallbackInterface, String)): sHost._tainted
    //#input(bool isValidUser(ICallbackInterface, String)): this
    //#input(bool isValidUser(ICallbackInterface, String)): this.myParser
    //#input(bool isValidUser(ICallbackInterface, String)): this.myParser.__Tag
    //#input(bool isValidUser(ICallbackInterface, String)): this.myParser.stringConverter
    //#input(bool isValidUser(ICallbackInterface, String)): this.myParser.stringConverter.__Tag
    //#input(bool isValidUser(ICallbackInterface, String)): this.myParser.stringConverter.lowercase
    //#input(bool isValidUser(ICallbackInterface, String)): this.myParser.stringConverter.lowercase.length
    //#input(bool isValidUser(ICallbackInterface, String)): this.myParser.stringConverter.lowercase[0..65_535]
    //#input(bool isValidUser(ICallbackInterface, String)): this.specificData
    //#output(bool isValidUser(ICallbackInterface, String)): new IRCStringConverter(getIRCStringConverter#1) num objects
    //#output(bool isValidUser(ICallbackInterface, String)): new IRCStringConverter(getIRCStringConverter#1).__Tag
    //#output(bool isValidUser(ICallbackInterface, String)): new IRCStringConverter(getIRCStringConverter#1).limit
    //#output(bool isValidUser(ICallbackInterface, String)): new IRCStringConverter(getIRCStringConverter#1).lowercase
    //#output(bool isValidUser(ICallbackInterface, String)): new IRCStringConverter(getIRCStringConverter#1).uppercase
    //#output(bool isValidUser(ICallbackInterface, String)): new char[](IRCStringConverter#1) num objects
    //#output(bool isValidUser(ICallbackInterface, String)): new char[](IRCStringConverter#1).length
    //#output(bool isValidUser(ICallbackInterface, String)): new char[](IRCStringConverter#1)[0..65_535]
    //#output(bool isValidUser(ICallbackInterface, String)): new char[](IRCStringConverter#2) num objects
    //#output(bool isValidUser(ICallbackInterface, String)): new char[](IRCStringConverter#2).length
    //#output(bool isValidUser(ICallbackInterface, String)): new char[](IRCStringConverter#2)[0..65_567]
    //#output(bool isValidUser(ICallbackInterface, String)): return_value
    //#output(bool isValidUser(ICallbackInterface, String)): this.myParser.stringConverter
    //#new obj(bool isValidUser(ICallbackInterface, String)): new IRCStringConverter(getIRCStringConverter#1)
    //#new obj(bool isValidUser(ICallbackInterface, String)): new char[](IRCStringConverter#1)
    //#new obj(bool isValidUser(ICallbackInterface, String)): new char[](IRCStringConverter#2)
    //#pre[3] (bool isValidUser(ICallbackInterface, String)): sHost != null
    //#pre[12] (bool isValidUser(ICallbackInterface, String)): this.specificData != null
    //#pre[2] (bool isValidUser(ICallbackInterface, String)): (soft) init'ed(this.myParser.stringConverter)
    //#pre[6] (bool isValidUser(ICallbackInterface, String)): (soft) this.myParser != null
    //#pre[7] (bool isValidUser(ICallbackInterface, String)): (soft) this.myParser.__Tag == com/dmdirc/parser/irc/IRCParser
    //#pre[8] (bool isValidUser(ICallbackInterface, String)): (soft) this.myParser.stringConverter.__Tag == com/dmdirc/parser/irc/IRCStringConverter
    //#pre[9] (bool isValidUser(ICallbackInterface, String)): (soft) this.myParser.stringConverter.lowercase != null
    //#pre[10] (bool isValidUser(ICallbackInterface, String)): (soft) this.myParser.stringConverter.lowercase.length >= 1
    //#pre[11] (bool isValidUser(ICallbackInterface, String)): (soft) init'ed(this.myParser.stringConverter.lowercase[0..65_535])
    //#post(bool isValidUser(ICallbackInterface, String)): init'ed(return_value)
    //#post(bool isValidUser(ICallbackInterface, String)): this.myParser.stringConverter == One-of{old this.myParser.stringConverter, &new IRCStringConverter(getIRCStringConverter#1)}
    //#post(bool isValidUser(ICallbackInterface, String)): init'ed(this.myParser.stringConverter)
    //#post(bool isValidUser(ICallbackInterface, String)): new IRCStringConverter(getIRCStringConverter#1) num objects == 0
    //#post(bool isValidUser(ICallbackInterface, String)): not_init'ed(new IRCStringConverter(getIRCStringConverter#1).__Tag)
    //#post(bool isValidUser(ICallbackInterface, String)): not_init'ed(new IRCStringConverter(getIRCStringConverter#1).limit)
    //#post(bool isValidUser(ICallbackInterface, String)): not_init'ed(new IRCStringConverter(getIRCStringConverter#1).lowercase)
    //#post(bool isValidUser(ICallbackInterface, String)): not_init'ed(new IRCStringConverter(getIRCStringConverter#1).uppercase)
    //#post(bool isValidUser(ICallbackInterface, String)): new char[](IRCStringConverter#1) num objects == 0
    //#post(bool isValidUser(ICallbackInterface, String)): not_init'ed(new char[](IRCStringConverter#1).length)
    //#post(bool isValidUser(ICallbackInterface, String)): possibly_updated(new char[](IRCStringConverter#1)[0..65_535])
    //#post(bool isValidUser(ICallbackInterface, String)): new char[](IRCStringConverter#2) num objects == 0
    //#post(bool isValidUser(ICallbackInterface, String)): not_init'ed(new char[](IRCStringConverter#2).length)
    //#post(bool isValidUser(ICallbackInterface, String)): possibly_updated(new char[](IRCStringConverter#2)[0..65_567])
    //#unanalyzed(bool isValidUser(ICallbackInterface, String)): Effects-of-calling:java.lang.String:toCharArray
    //#unanalyzed(bool isValidUser(ICallbackInterface, String)): Effects-of-calling:java.lang.String:length
    //#unanalyzed(bool isValidUser(ICallbackInterface, String)): Effects-of-calling:java.lang.String:isEmpty
    //#unanalyzed(bool isValidUser(ICallbackInterface, String)): Effects-of-calling:java.lang.String:charAt
    //#unanalyzed(bool isValidUser(ICallbackInterface, String)): Effects-of-calling:java.lang.String:substring
    //#unanalyzed(bool isValidUser(ICallbackInterface, String)): Effects-of-calling:java.lang.String:split
    //#test_vector(bool isValidUser(ICallbackInterface, String)): java.util.Hashtable:containsKey(...)@81: {0}, {1}
		if (specificData.containsKey(eMethod)) {
			if (!myParser.getIRCStringConverter().equalsIgnoreCase(nickname, specificData.get(eMethod))) { return false; }
    //#CallbackObjectSpecific.java:82: ?use of default init
    //#    init'ed(nickname)
    //#    severity: SUPPRESSED
    //#    class: com.dmdirc.parser.irc.callbacks.CallbackObjectSpecific
    //#    method: bool isValidUser(ICallbackInterface, String)
    //#    basic block: bb_2
    //#    assertion: init'ed(nickname)
    //#    VN: undefined
    //#    Expected: Univ-VN-Set
    //#    Bad: {Invalid}
    //#    Attribs:  Ptr  Bad only invalid
    //#CallbackObjectSpecific.java:82: ?precondition failure
    //#    com/dmdirc/parser/irc/IRCStringConverter.equalsIgnoreCase: (soft) this.lowercase.length >= 1
    //#    severity: SUPPRESSED
    //#    class: com.dmdirc.parser.irc.callbacks.CallbackObjectSpecific
    //#    method: bool isValidUser(ICallbackInterface, String)
    //#    basic block: bb_2
    //#    assertion: (soft) getIRCStringConverter(...).lowercase.length >= 1
    //#    callee: bool com/dmdirc/parser/irc/IRCStringConverter.equalsIgnoreCase(String, String)
    //#    callee assertion: (soft) this.lowercase.length >= 1
    //#    callee file: IRCStringConverter.java
    //#    callee precondition index: [12]
    //#    callee srcpos: 123
    //#    VN: getIRCStringConverter(...).lowercase.length
    //#    Expected: {1..+Inf}
    //#    Bad: {0, Invalid}
    //#    Attribs:  Int  Bad singleton  Bad overlaps +/-1000  Soft  Bad < Exp
    //#CallbackObjectSpecific.java:82: ?precondition failure
    //#    com/dmdirc/parser/irc/IRCStringConverter.equalsIgnoreCase: (soft) init'ed(this.lowercase[0..65_535])
    //#    severity: SUPPRESSED
    //#    class: com.dmdirc.parser.irc.callbacks.CallbackObjectSpecific
    //#    method: bool isValidUser(ICallbackInterface, String)
    //#    basic block: bb_2
    //#    assertion: (soft) init'ed(getIRCStringConverter(...).lowercase[0..65_535])
    //#    callee: bool com/dmdirc/parser/irc/IRCStringConverter.equalsIgnoreCase(String, String)
    //#    callee assertion: (soft) init'ed(this.lowercase[0..65_535])
    //#    callee file: IRCStringConverter.java
    //#    callee precondition index: [13]
    //#    callee srcpos: 123
    //#    VN: getIRCStringConverter(...).lowercase[0..65_535]
    //#    Expected: {0..65_535}
    //#    Bad: {Invalid}
    //#    Attribs:  Int  Soft  Bad only invalid
		}
		return true;
    //#CallbackObjectSpecific.java:84: end of method: bool com.dmdirc.parser.irc.callbacks.CallbackObjectSpecific.isValidUser(ICallbackInterface, String)
	}
	
	// We override the default add method to make sure that any add with no
	// specifics will have the specific data removed.
	/**
	 * Add a new callback.
	 *
	 * @param eMethod Object to callback to.
	 */
    @Override
	public void add(final ICallbackInterface eMethod) {
		addCallback(eMethod);
    //#CallbackObjectSpecific.java:96: method: void com.dmdirc.parser.irc.callbacks.CallbackObjectSpecific.add(ICallbackInterface)
    //#input(void add(ICallbackInterface)): eMethod
    //#input(void add(ICallbackInterface)): this
    //#input(void add(ICallbackInterface)): this.callbackInfo
    //#input(void add(ICallbackInterface)): this.specificData
    //#pre[3] (void add(ICallbackInterface)): this.callbackInfo != null
    //#pre[4] (void add(ICallbackInterface)): this.specificData != null
    //#unanalyzed(void add(ICallbackInterface)): Effects-of-calling:java.util.List:contains
    //#unanalyzed(void add(ICallbackInterface)): Effects-of-calling:java.util.List:add
    //#test_vector(void add(ICallbackInterface)): java.util.Hashtable:containsKey(...)@97: {0}, {1}
		if (specificData.containsKey(eMethod)) { specificData.remove(eMethod); }
	}
    //#CallbackObjectSpecific.java:98: end of method: void com.dmdirc.parser.irc.callbacks.CallbackObjectSpecific.add(ICallbackInterface)
	
	/**
	 * Add a new callback with a specific target.
	 *
	 * @param eMethod Object to callback to.
	 * @param specificTarget Target that must match for callback to be called.
	 */
	public void add(final ICallbackInterface eMethod, final String specificTarget) {
		add(eMethod);
    //#CallbackObjectSpecific.java:107: method: void com.dmdirc.parser.irc.callbacks.CallbackObjectSpecific.add(ICallbackInterface, String)
    //#input(void add(ICallbackInterface, String)): __Descendant_Table[com/dmdirc/parser/irc/callbacks/CallbackObjectSpecific]
    //#input(void add(ICallbackInterface, String)): __Descendant_Table[others]
    //#input(void add(ICallbackInterface, String)): __Dispatch_Table.add(Lcom/dmdirc/parser/irc/callbacks/interfaces/ICallbackInterface;)V
    //#input(void add(ICallbackInterface, String)): eMethod
    //#input(void add(ICallbackInterface, String)): specificTarget
    //#input(void add(ICallbackInterface, String)): this
    //#input(void add(ICallbackInterface, String)): this.__Tag
    //#input(void add(ICallbackInterface, String)): this.callbackInfo
    //#input(void add(ICallbackInterface, String)): this.specificData
    //#pre[2] (void add(ICallbackInterface, String)): specificTarget != null
    //#pre[4] (void add(ICallbackInterface, String)): this.__Tag == com/dmdirc/parser/irc/callbacks/CallbackObjectSpecific
    //#pre[5] (void add(ICallbackInterface, String)): this.callbackInfo != null
    //#pre[6] (void add(ICallbackInterface, String)): this.specificData != null
    //#unanalyzed(void add(ICallbackInterface, String)): Effects-of-calling:java.util.List:contains
    //#unanalyzed(void add(ICallbackInterface, String)): Effects-of-calling:java.util.List:add
    //#unanalyzed(void add(ICallbackInterface, String)): Effects-of-calling:java.util.Hashtable:containsKey
    //#unanalyzed(void add(ICallbackInterface, String)): Effects-of-calling:java.util.Hashtable:remove
    //#test_vector(void add(ICallbackInterface, String)): java.lang.String:isEmpty(...)@108: {1}, {0}
		if (!specificTarget.isEmpty()) {
			specificData.put(eMethod, specificTarget);
		}
	}
    //#CallbackObjectSpecific.java:111: end of method: void com.dmdirc.parser.irc.callbacks.CallbackObjectSpecific.add(ICallbackInterface, String)
	
	/**
	 * Remove a callback.
	 *
	 * @param eMethod Object to remove callback to.
	 */
    @Override
	public void del(final ICallbackInterface eMethod) {
		delCallback(eMethod);
    //#CallbackObjectSpecific.java:120: method: void com.dmdirc.parser.irc.callbacks.CallbackObjectSpecific.del(ICallbackInterface)
    //#input(void del(ICallbackInterface)): eMethod
    //#input(void del(ICallbackInterface)): this
    //#input(void del(ICallbackInterface)): this.callbackInfo
    //#input(void del(ICallbackInterface)): this.specificData
    //#pre[3] (void del(ICallbackInterface)): this.callbackInfo != null
    //#pre[4] (void del(ICallbackInterface)): this.specificData != null
    //#unanalyzed(void del(ICallbackInterface)): Effects-of-calling:java.util.List:remove
    //#test_vector(void del(ICallbackInterface)): java.util.Hashtable:containsKey(...)@121: {0}, {1}
		if (specificData.containsKey(eMethod)) { specificData.remove(eMethod); }
	}
    //#CallbackObjectSpecific.java:122: end of method: void com.dmdirc.parser.irc.callbacks.CallbackObjectSpecific.del(ICallbackInterface)

    /**
     * Actually calls this callback. The specified arguments must match those
     * specified in the callback's interface, or an error will be raised.
     *
     * @param args The arguments to pass to the callback implementation
     * @return True if a method was called, false otherwise
     */
    @Override
    public boolean call(final Object ... args) {
		boolean bResult = false;
    //#CallbackObjectSpecific.java:133: method: bool com.dmdirc.parser.irc.callbacks.CallbackObjectSpecific.call(Object[])
    //#input(bool call(Object[])): ")"._tainted
    //#input(bool call(Object[])): "Callback not found: "._tainted
    //#input(bool call(Object[])): "Exception in callback ("._tainted
    //#input(bool call(Object[])): "OnErrorInfo"._tainted
    //#input(bool call(Object[])): __Descendant_Table[com/dmdirc/parser/irc/callbacks/CallbackObjectSpecific]
    //#input(bool call(Object[])): __Descendant_Table[others]
    //#input(bool call(Object[])): __Dispatch_Table.call([Ljava/lang/Object;)Z
    //#input(bool call(Object[])): __Dispatch_Table.createFakeArgs([Ljava/lang/Object;)V
    //#input(bool call(Object[])): __Dispatch_Table.getFakeArg([Ljava/lang/Object;Ljava/lang/Class;)Ljava/lang/Object;
    //#input(bool call(Object[])): __Dispatch_Table.isValidChan(Lcom/dmdirc/parser/irc/callbacks/interfaces/ICallbackInterface;Lcom/dmdirc/parser/irc/ChannelInfo;)Z
    //#input(bool call(Object[])): __Dispatch_Table.isValidUser(Lcom/dmdirc/parser/irc/callbacks/interfaces/ICallbackInterface;Ljava/lang/String;)Z
    //#input(bool call(Object[])): args
    //#input(bool call(Object[])): args.length
    //#input(bool call(Object[])): args[0]
    //#input(bool call(Object[])): args[0].__Tag
    //#input(bool call(Object[])): args[0]._tainted
    //#input(bool call(Object[])): args[0].sHost
    //#input(bool call(Object[])): args[0].sHost._tainted
    //#input(bool call(Object[])): args[0].sName
    //#input(bool call(Object[])): args[1..+Inf]
    //#input(bool call(Object[])): args[1..+Inf].__Tag
    //#input(bool call(Object[])): args[1..+Inf]._tainted
    //#input(bool call(Object[])): args[1..+Inf].sHost
    //#input(bool call(Object[])): args[1..+Inf].sHost._tainted
    //#input(bool call(Object[])): args[1..+Inf].sName
    //#input(bool call(Object[])): com/dmdirc/parser/irc/ChannelInfo.__Descendant_Table[com/dmdirc/parser/irc/ChannelInfo]
    //#input(bool call(Object[])): com/dmdirc/parser/irc/ChannelInfo.__Descendant_Table[others]
    //#input(bool call(Object[])): com/dmdirc/parser/irc/ChannelInfo.__Dispatch_Table.getName()Ljava/lang/String;
    //#input(bool call(Object[])): com/dmdirc/parser/irc/ClientInfo.__Descendant_Table[com/dmdirc/parser/irc/ClientInfo]
    //#input(bool call(Object[])): com/dmdirc/parser/irc/ClientInfo.__Descendant_Table[others]
    //#input(bool call(Object[])): com/dmdirc/parser/irc/IRCParser.__Descendant_Table[com/dmdirc/parser/irc/IRCParser]
    //#input(bool call(Object[])): com/dmdirc/parser/irc/IRCParser.__Descendant_Table[others]
    //#input(bool call(Object[])): com/dmdirc/parser/irc/IRCParser.__Dispatch_Table.getCreateFake()Z
    //#input(bool call(Object[])): com/dmdirc/parser/irc/IRCParser.__Dispatch_Table.getIRCStringConverter()Lcom/dmdirc/parser/irc/IRCStringConverter;
    //#input(bool call(Object[])): com/dmdirc/parser/irc/IRCParser.__Dispatch_Table.getLastLine()Ljava/lang/String;
    //#input(bool call(Object[])): com/dmdirc/parser/irc/IRCStringConverter.__Descendant_Table[com/dmdirc/parser/irc/IRCStringConverter]
    //#input(bool call(Object[])): com/dmdirc/parser/irc/IRCStringConverter.__Descendant_Table[others]
    //#input(bool call(Object[])): com/dmdirc/parser/irc/IRCStringConverter.__Dispatch_Table.equalsIgnoreCase(Ljava/lang/String;Ljava/lang/String;)Z
    //#input(bool call(Object[])): com/dmdirc/parser/irc/callbacks/CallbackObject.__Descendant_Table[com/dmdirc/parser/irc/callbacks/CallbackObjectSpecific]
    //#input(bool call(Object[])): com/dmdirc/parser/irc/callbacks/CallbackObject.__Descendant_Table[com/dmdirc/parser/irc/callbacks/CallbackObject]
    //#input(bool call(Object[])): com/dmdirc/parser/irc/callbacks/CallbackObject.__Descendant_Table[others]
    //#input(bool call(Object[])): com/dmdirc/parser/irc/callbacks/CallbackObject.__Dispatch_Table.call([Ljava/lang/Object;)Z
    //#input(bool call(Object[])): com/dmdirc/parser/irc/callbacks/CallbackObject.__Dispatch_Table.getFakeArg([Ljava/lang/Object;Ljava/lang/Class;)Ljava/lang/Object;
    //#input(bool call(Object[])): com/dmdirc/parser/irc/callbacks/CallbackObject.java.lang.Boolean.TYPE
    //#input(bool call(Object[])): com/dmdirc/parser/irc/callbacks/interfaces/ICallbackInterface.__Descendant_Table[others]
    //#input(bool call(Object[])): this
    //#input(bool call(Object[])): this.__Tag
    //#input(bool call(Object[])): this.callbackInfo
    //#input(bool call(Object[])): this.myManager
    //#input(bool call(Object[])): this.myManager.callbackHash
    //#input(bool call(Object[])): this.myParser
    //#input(bool call(Object[])): this.myParser.__Tag
    //#input(bool call(Object[])): this.myParser.createFake
    //#input(bool call(Object[])): this.myParser.lastLine
    //#input(bool call(Object[])): this.myParser.stringConverter
    //#input(bool call(Object[])): this.myParser.stringConverter.__Tag
    //#input(bool call(Object[])): this.myParser.stringConverter.lowercase
    //#input(bool call(Object[])): this.myParser.stringConverter.lowercase.length
    //#input(bool call(Object[])): this.myParser.stringConverter.lowercase[0..65_535]
    //#input(bool call(Object[])): this.specificData
    //#input(bool call(Object[])): this.type
    //#output(bool call(Object[])): new IRCStringConverter(getIRCStringConverter#1) num objects
    //#output(bool call(Object[])): new IRCStringConverter(getIRCStringConverter#1).__Tag
    //#output(bool call(Object[])): new IRCStringConverter(getIRCStringConverter#1).limit
    //#output(bool call(Object[])): new IRCStringConverter(getIRCStringConverter#1).lowercase
    //#output(bool call(Object[])): new IRCStringConverter(getIRCStringConverter#1).uppercase
    //#output(bool call(Object[])): new char[](IRCStringConverter#1) num objects
    //#output(bool call(Object[])): new char[](IRCStringConverter#1).length
    //#output(bool call(Object[])): new char[](IRCStringConverter#1)[0..65_535]
    //#output(bool call(Object[])): new char[](IRCStringConverter#2) num objects
    //#output(bool call(Object[])): new char[](IRCStringConverter#2).length
    //#output(bool call(Object[])): new char[](IRCStringConverter#2)[0..65_567]
    //#output(bool call(Object[])): return_value
    //#output(bool call(Object[])): this.myParser.stringConverter
    //#new obj(bool call(Object[])): new IRCStringConverter(getIRCStringConverter#1)
    //#new obj(bool call(Object[])): new char[](IRCStringConverter#1)
    //#new obj(bool call(Object[])): new char[](IRCStringConverter#2)
    //#pre[1] (bool call(Object[])): args != null
    //#pre[21] (bool call(Object[])): this.myParser != null
    //#pre[22] (bool call(Object[])): this.myParser.__Tag == com/dmdirc/parser/irc/IRCParser
    //#pre[23] (bool call(Object[])): init'ed(this.myParser.createFake)
    //#pre[2] (bool call(Object[])): (soft) args.length in {1..4_294_967_296}
    //#pre[3] (bool call(Object[])): (soft) init'ed(args[0])
    //#pre[6] (bool call(Object[])): (soft) args[0].sHost != null
    //#pre[9] (bool call(Object[])): (soft) init'ed(args[1..+Inf])
    //#pre[12] (bool call(Object[])): (soft) args[1..+Inf].sHost != null
    //#pre[15] (bool call(Object[])): (soft) init'ed(this.myParser.stringConverter)
    //#pre[17] (bool call(Object[])): (soft) this.__Tag == com/dmdirc/parser/irc/callbacks/CallbackObjectSpecific
    //#pre[19] (bool call(Object[])): (soft) this.myManager != null
    //#pre[20] (bool call(Object[])): (soft) this.myManager.callbackHash != null
    //#pre[24] (bool call(Object[])): (soft) init'ed(this.myParser.lastLine)
    //#pre[26] (bool call(Object[])): (soft) this.myParser.stringConverter.lowercase != null
    //#pre[28] (bool call(Object[])): (soft) init'ed(this.myParser.stringConverter.lowercase[0..65_535])
    //#pre[29] (bool call(Object[])): (soft) this.specificData != null
    //#pre[30] (bool call(Object[])): (soft) this.type != null
    //#presumption(bool call(Object[])): java.lang.Class:getMethods(...).length@156 >= 1
    //#presumption(bool call(Object[])): java.lang.Class:getMethods(...)@156 != null
    //#presumption(bool call(Object[])): java.lang.Class:getMethods(...)[0]@156 != null
    //#presumption(bool call(Object[])): java.util.ArrayList:iterator(...)@143 != null
    //#presumption(bool call(Object[])): this.myParser.stringConverter.__Tag@140 is init'ed
    //#presumption(bool call(Object[])): this.myParser.stringConverter.lowercase.length@140 in range
    //#presumption(bool call(Object[])): this.myParser.stringConverter.lowercase.length@140 in range
    //#presumption(bool call(Object[])): this.myParser.stringConverter.lowercase@140 != null
    //#presumption(bool call(Object[])): this.myParser.stringConverter.lowercase@144 != null
    //#post(bool call(Object[])): init'ed(return_value)
    //#post(bool call(Object[])): init'ed(this.myParser.stringConverter)
    //#post(bool call(Object[])): init'ed(new IRCStringConverter(getIRCStringConverter#1) num objects)
    //#post(bool call(Object[])): init'ed(new IRCStringConverter(getIRCStringConverter#1).__Tag)
    //#post(bool call(Object[])): init'ed(new IRCStringConverter(getIRCStringConverter#1).limit)
    //#post(bool call(Object[])): init'ed(new IRCStringConverter(getIRCStringConverter#1).lowercase)
    //#post(bool call(Object[])): init'ed(new IRCStringConverter(getIRCStringConverter#1).uppercase)
    //#post(bool call(Object[])): init'ed(new char[](IRCStringConverter#1) num objects)
    //#post(bool call(Object[])): init'ed(new char[](IRCStringConverter#1).length)
    //#post(bool call(Object[])): init'ed(new char[](IRCStringConverter#1)[0..65_535])
    //#post(bool call(Object[])): init'ed(new char[](IRCStringConverter#2) num objects)
    //#post(bool call(Object[])): init'ed(new char[](IRCStringConverter#2).length)
    //#post(bool call(Object[])): init'ed(new char[](IRCStringConverter#2)[0..65_567])
    //#unanalyzed(bool call(Object[])): Effects-of-calling:java.util.Hashtable:containsKey
    //#unanalyzed(bool call(Object[])): Effects-of-calling:parseHost
    //#unanalyzed(bool call(Object[])): Effects-of-calling:getIRCStringConverter
    //#unanalyzed(bool call(Object[])): Effects-of-calling:java.util.Hashtable:get
    //#unanalyzed(bool call(Object[])): Effects-of-calling:java.lang.String:toCharArray
    //#unanalyzed(bool call(Object[])): Effects-of-calling:java.lang.String:length
    //#unanalyzed(bool call(Object[])): Effects-of-calling:getCreateFake
    //#unanalyzed(bool call(Object[])): Effects-of-calling:java.lang.Class:getMethods
    //#unanalyzed(bool call(Object[])): Effects-of-calling:java.lang.reflect.Method:getParameterAnnotations
    //#unanalyzed(bool call(Object[])): Effects-of-calling:java.lang.annotation.Annotation:annotationType
    //#unanalyzed(bool call(Object[])): Effects-of-calling:java.lang.Object:equals
    //#unanalyzed(bool call(Object[])): Effects-of-calling:java.lang.reflect.Method:getParameterTypes
    //#unanalyzed(bool call(Object[])): Effects-of-calling:getFakeArg
    //#unanalyzed(bool call(Object[])): Effects-of-calling:java.util.HashMap
    //#unanalyzed(bool call(Object[])): Effects-of-calling:java.util.Map:put
    //#unanalyzed(bool call(Object[])): Effects-of-calling:java.lang.Class:getConstructors
    //#unanalyzed(bool call(Object[])): Effects-of-calling:java.lang.reflect.Constructor:getParameterTypes
    //#unanalyzed(bool call(Object[])): Effects-of-calling:java.util.Map:containsKey
    //#unanalyzed(bool call(Object[])): Effects-of-calling:java.util.Map:get
    //#unanalyzed(bool call(Object[])): Effects-of-calling:java.lang.Throwable:__curr_excep_obj
    //#unanalyzed(bool call(Object[])): Effects-of-calling:java.lang.reflect.Constructor:newInstance
    //#unanalyzed(bool call(Object[])): Effects-of-calling:java.lang.reflect.Method:getName
    //#unanalyzed(bool call(Object[])): Effects-of-calling:java.lang.String:equals
    //#unanalyzed(bool call(Object[])): Effects-of-calling:java.lang.Boolean:valueOf
    //#unanalyzed(bool call(Object[])): Effects-of-calling:java.lang.reflect.Method:invoke
    //#unanalyzed(bool call(Object[])): Effects-of-calling:getLastLine
    //#unanalyzed(bool call(Object[])): Effects-of-calling:java.lang.StringBuilder
    //#unanalyzed(bool call(Object[])): Effects-of-calling:java.lang.StringBuilder:append
    //#unanalyzed(bool call(Object[])): Effects-of-calling:java.lang.StringBuilder:toString
    //#unanalyzed(bool call(Object[])): Effects-of-calling:java.util.ArrayList
    //#unanalyzed(bool call(Object[])): Effects-of-calling:java.util.ArrayList:iterator
    //#unanalyzed(bool call(Object[])): Effects-of-calling:java.util.Iterator:hasNext
    //#unanalyzed(bool call(Object[])): Effects-of-calling:java.util.Iterator:next
    //#unanalyzed(bool call(Object[])): Effects-of-calling:java.lang.Exception:getMessage
    //#unanalyzed(bool call(Object[])): Effects-of-calling:callErrorInfo
    //#unanalyzed(bool call(Object[])): Effects-of-calling:getCallbackType
    //#unanalyzed(bool call(Object[])): Effects-of-calling:call
    //#unanalyzed(bool call(Object[])): Effects-of-calling:getName
    //#unanalyzed(bool call(Object[])): Effects-of-calling:java.lang.String:isEmpty
    //#unanalyzed(bool call(Object[])): Effects-of-calling:java.lang.String:charAt
    //#unanalyzed(bool call(Object[])): Effects-of-calling:java.lang.String:substring
    //#unanalyzed(bool call(Object[])): Effects-of-calling:java.lang.String:split
    //#unanalyzed(bool call(Object[])): Effects-of-calling:java.lang.String:toLowerCase
    //#unanalyzed(bool call(Object[])): Effects-of-calling:java.lang.RuntimeException
    //#test_vector(bool call(Object[])): this.myParser.createFake: {0}, {1}
    //#test_vector(bool call(Object[])): java.lang.Class:isAnnotationPresent(...)@144: {0}, {1}
    //#test_vector(bool call(Object[])): java.util.Iterator:hasNext(...)@143: {0}, {1}

        final Object[] newArgs = new Object[args.length + 1];
        System.arraycopy(args, 0, newArgs, 1, args.length);
        newArgs[0] = myParser;

        if (myParser.getCreateFake()) {
            createFakeArgs(newArgs);
    //#CallbackObjectSpecific.java:140: ?precondition failure
    //#    com/dmdirc/parser/irc/callbacks/CallbackObject.createFakeArgs: (soft) init'ed(args[0..4_294_967_295])
    //#    severity: SUPPRESSED
    //#    class: com.dmdirc.parser.irc.callbacks.CallbackObjectSpecific
    //#    method: bool call(Object[])
    //#    basic block: bb_2
    //#    assertion: (soft) init'ed(newArgs[0..4_294_967_295])
    //#    callee: void com/dmdirc/parser/irc/callbacks/CallbackObject.createFakeArgs(Object[])
    //#    callee assertion: (soft) init'ed(args[0..4_294_967_295])
    //#    callee file: CallbackObject.java
    //#    callee precondition index: [3]
    //#    callee srcpos: 173
    //#    VN: newArgs[0..4_294_967_295]
    //#    Expected: Univ-VN-Set
    //#    Bad: {Invalid}
    //#    Attribs:  Ptr  Soft  Bad only invalid
        }

		for (ICallbackInterface iface :new ArrayList<ICallbackInterface>(callbackInfo)) {
    //#CallbackObjectSpecific.java:143: ?ClassCastException check
    //#    com/dmdirc/parser/irc/callbacks/interfaces/ICallbackInterface.__Descendant_Table[java/util/Iterator:next(...).__Tag] != null
    //#    severity: SUPPRESSED
    //#    class: com.dmdirc.parser.irc.callbacks.CallbackObjectSpecific
    //#    method: bool call(Object[])
    //#    basic block: bb_23
    //#    assertion: com/dmdirc/parser/irc/callbacks/interfaces/ICallbackInterface.__Descendant_Table[java/util/Iterator:next(...).__Tag] != null
    //#    VN: !(com/dmdirc/parser/irc/callbacks/interfaces/ICallbackInterface.__Descendant_Table[java.util.Iterator:next(...).__Tag] == null)
    //#    Expected: {-Inf..-1, 1..+Inf}
    //#    Bad: {0}
    //#    Attribs:  Int  Bad singleton  Bad overlaps +/-1000  Bad > Exp
            if (type.isAnnotationPresent(SpecificCallback.class) &&
    //#CallbackObjectSpecific.java:144: ?precondition failure
    //#    com/dmdirc/parser/irc/callbacks/CallbackObjectSpecific.isValidUser: (soft) this.myParser.stringConverter.__Tag == com/dmdirc/parser/irc/IRCStringConverter
    //#    severity: SUPPRESSED
    //#    class: com.dmdirc.parser.irc.callbacks.CallbackObjectSpecific
    //#    method: bool call(Object[])
    //#    basic block: bb_32
    //#    assertion: (soft) this.myParser.stringConverter.__Tag == com/dmdirc/parser/irc/IRCStringConverter
    //#    callee: bool com/dmdirc/parser/irc/callbacks/CallbackObjectSpecific.isValidUser(ICallbackInterface, String)
    //#    callee assertion: (soft) this.myParser.stringConverter.__Tag == com/dmdirc/parser/irc/IRCStringConverter
    //#    callee file: CallbackObjectSpecific.java
    //#    callee precondition index: [8]
    //#    callee srcpos: 80
    //#    VN: this.myParser.stringConverter.__Tag
    //#    Expected: {434_432}
    //#    Bad: {0..434_431, 434_433..+Inf}
    //#    Attribs:  Int  Exp singleton  Bad overlaps +/-1000  Soft  Bad < Exp  Bad > Exp  Uncertain
    //#CallbackObjectSpecific.java:144: ?precondition failure
    //#    com/dmdirc/parser/irc/callbacks/CallbackObjectSpecific.isValidUser: (soft) this.myParser.stringConverter.lowercase != null
    //#    severity: SUPPRESSED
    //#    class: com.dmdirc.parser.irc.callbacks.CallbackObjectSpecific
    //#    method: bool call(Object[])
    //#    basic block: bb_32
    //#    assertion: (soft) this.myParser.stringConverter.lowercase != null
    //#    callee: bool com/dmdirc/parser/irc/callbacks/CallbackObjectSpecific.isValidUser(ICallbackInterface, String)
    //#    callee assertion: (soft) this.myParser.stringConverter.lowercase != null
    //#    callee file: CallbackObjectSpecific.java
    //#    callee precondition index: [9]
    //#    callee srcpos: 80
    //#    VN: this.myParser.stringConverter.lowercase
    //#    Expected: Inverse{null}
    //#    Bad: Addr_Set{null}
    //#    Attribs:  Ptr  null in Bad  Soft
    //#CallbackObjectSpecific.java:144: ?precondition failure
    //#    com/dmdirc/parser/irc/callbacks/CallbackObjectSpecific.isValidUser: (soft) this.myParser.stringConverter.lowercase.length >= 1
    //#    severity: SUPPRESSED
    //#    class: com.dmdirc.parser.irc.callbacks.CallbackObjectSpecific
    //#    method: bool call(Object[])
    //#    basic block: bb_32
    //#    assertion: (soft) this.myParser.stringConverter.lowercase.length >= 1
    //#    callee: bool com/dmdirc/parser/irc/callbacks/CallbackObjectSpecific.isValidUser(ICallbackInterface, String)
    //#    callee assertion: (soft) this.myParser.stringConverter.lowercase.length >= 1
    //#    callee file: CallbackObjectSpecific.java
    //#    callee precondition index: [10]
    //#    callee srcpos: 80
    //#    VN: this.myParser.stringConverter.lowercase.length
    //#    Expected: {1..+Inf}
    //#    Bad: {0}
    //#    Attribs:  Int  Bad singleton  Bad overlaps +/-1000  Soft  Bad < Exp  Uncertain
    //#CallbackObjectSpecific.java:144: ?precondition failure
    //#    com/dmdirc/parser/irc/callbacks/CallbackObjectSpecific.isValidUser: (soft) init'ed(this.myParser.stringConverter.lowercase[0..65_535])
    //#    severity: SUPPRESSED
    //#    class: com.dmdirc.parser.irc.callbacks.CallbackObjectSpecific
    //#    method: bool call(Object[])
    //#    basic block: bb_32
    //#    assertion: (soft) init'ed(this.myParser.stringConverter.lowercase[0..65_535])
    //#    callee: bool com/dmdirc/parser/irc/callbacks/CallbackObjectSpecific.isValidUser(ICallbackInterface, String)
    //#    callee assertion: (soft) init'ed(this.myParser.stringConverter.lowercase[0..65_535])
    //#    callee file: CallbackObjectSpecific.java
    //#    callee precondition index: [11]
    //#    callee srcpos: 80
    //#    VN: this.myParser.stringConverter.lowercase[0..65_535]
    //#    Expected: {0..65_535}
    //#    Bad: {Invalid}
    //#    Attribs:  Int  Soft  Bad only invalid
    //#CallbackObjectSpecific.java:144: ?precondition failure
    //#    com/dmdirc/parser/irc/callbacks/CallbackObjectSpecific.isValidChan: (soft) this.myParser.stringConverter.__Tag == com/dmdirc/parser/irc/IRCStringConverter
    //#    severity: SUPPRESSED
    //#    class: com.dmdirc.parser.irc.callbacks.CallbackObjectSpecific
    //#    method: bool call(Object[])
    //#    basic block: bb_20
    //#    assertion: (soft) this.myParser.stringConverter.__Tag == com/dmdirc/parser/irc/IRCStringConverter
    //#    callee: bool com/dmdirc/parser/irc/callbacks/CallbackObjectSpecific.isValidChan(ICallbackInterface, ChannelInfo)
    //#    callee assertion: (soft) this.myParser.stringConverter.__Tag == com/dmdirc/parser/irc/IRCStringConverter
    //#    callee file: CallbackObjectSpecific.java
    //#    callee precondition index: [9]
    //#    callee srcpos: 66
    //#    VN: this.myParser.stringConverter.__Tag
    //#    Expected: {434_432}
    //#    Bad: {0..434_431, 434_433..+Inf}
    //#    Attribs:  Int  Exp singleton  Bad overlaps +/-1000  Soft  Bad < Exp  Bad > Exp  Uncertain
    //#CallbackObjectSpecific.java:144: ?precondition failure
    //#    com/dmdirc/parser/irc/callbacks/CallbackObjectSpecific.isValidChan: (soft) this.myParser.stringConverter.lowercase != null
    //#    severity: SUPPRESSED
    //#    class: com.dmdirc.parser.irc.callbacks.CallbackObjectSpecific
    //#    method: bool call(Object[])
    //#    basic block: bb_20
    //#    assertion: (soft) this.myParser.stringConverter.lowercase != null
    //#    callee: bool com/dmdirc/parser/irc/callbacks/CallbackObjectSpecific.isValidChan(ICallbackInterface, ChannelInfo)
    //#    callee assertion: (soft) this.myParser.stringConverter.lowercase != null
    //#    callee file: CallbackObjectSpecific.java
    //#    callee precondition index: [10]
    //#    callee srcpos: 66
    //#    VN: this.myParser.stringConverter.lowercase
    //#    Expected: Inverse{null}
    //#    Bad: Addr_Set{null}
    //#    Attribs:  Ptr  null in Bad  Soft
    //#CallbackObjectSpecific.java:144: ?precondition failure
    //#    com/dmdirc/parser/irc/callbacks/CallbackObjectSpecific.isValidChan: (soft) this.myParser.stringConverter.lowercase.length >= 1
    //#    severity: SUPPRESSED
    //#    class: com.dmdirc.parser.irc.callbacks.CallbackObjectSpecific
    //#    method: bool call(Object[])
    //#    basic block: bb_20
    //#    assertion: (soft) this.myParser.stringConverter.lowercase.length >= 1
    //#    callee: bool com/dmdirc/parser/irc/callbacks/CallbackObjectSpecific.isValidChan(ICallbackInterface, ChannelInfo)
    //#    callee assertion: (soft) this.myParser.stringConverter.lowercase.length >= 1
    //#    callee file: CallbackObjectSpecific.java
    //#    callee precondition index: [11]
    //#    callee srcpos: 66
    //#    VN: this.myParser.stringConverter.lowercase.length
    //#    Expected: {1..+Inf}
    //#    Bad: {0}
    //#    Attribs:  Int  Bad singleton  Bad overlaps +/-1000  Soft  Bad < Exp  Uncertain
    //#CallbackObjectSpecific.java:144: ?precondition failure
    //#    com/dmdirc/parser/irc/callbacks/CallbackObjectSpecific.isValidChan: (soft) init'ed(this.myParser.stringConverter.lowercase[0..65_535])
    //#    severity: SUPPRESSED
    //#    class: com.dmdirc.parser.irc.callbacks.CallbackObjectSpecific
    //#    method: bool call(Object[])
    //#    basic block: bb_20
    //#    assertion: (soft) init'ed(this.myParser.stringConverter.lowercase[0..65_535])
    //#    callee: bool com/dmdirc/parser/irc/callbacks/CallbackObjectSpecific.isValidChan(ICallbackInterface, ChannelInfo)
    //#    callee assertion: (soft) init'ed(this.myParser.stringConverter.lowercase[0..65_535])
    //#    callee file: CallbackObjectSpecific.java
    //#    callee precondition index: [12]
    //#    callee srcpos: 66
    //#    VN: this.myParser.stringConverter.lowercase[0..65_535]
    //#    Expected: {0..65_535}
    //#    Bad: {Invalid}
    //#    Attribs:  Int  Soft  Bad only invalid
    //#CallbackObjectSpecific.java:144: ?precondition failure
    //#    com/dmdirc/parser/irc/callbacks/CallbackObjectSpecific.isValidUser: (soft) this.myParser.stringConverter.__Tag == com/dmdirc/parser/irc/IRCStringConverter
    //#    severity: SUPPRESSED
    //#    class: com.dmdirc.parser.irc.callbacks.CallbackObjectSpecific
    //#    method: bool call(Object[])
    //#    basic block: bb_13
    //#    assertion: (soft) this.myParser.stringConverter.__Tag == com/dmdirc/parser/irc/IRCStringConverter
    //#    callee: bool com/dmdirc/parser/irc/callbacks/CallbackObjectSpecific.isValidUser(ICallbackInterface, String)
    //#    callee assertion: (soft) this.myParser.stringConverter.__Tag == com/dmdirc/parser/irc/IRCStringConverter
    //#    callee file: CallbackObjectSpecific.java
    //#    callee precondition index: [8]
    //#    callee srcpos: 80
    //#    VN: this.myParser.stringConverter.__Tag
    //#    Expected: {434_432}
    //#    Bad: {0..434_431, 434_433..+Inf}
    //#    Attribs:  Int  Exp singleton  Bad overlaps +/-1000  Soft  Bad < Exp  Bad > Exp  Uncertain
    //#CallbackObjectSpecific.java:144: ?precondition failure
    //#    com/dmdirc/parser/irc/callbacks/CallbackObjectSpecific.isValidUser: (soft) this.myParser.stringConverter.lowercase != null
    //#    severity: SUPPRESSED
    //#    class: com.dmdirc.parser.irc.callbacks.CallbackObjectSpecific
    //#    method: bool call(Object[])
    //#    basic block: bb_13
    //#    assertion: (soft) this.myParser.stringConverter.lowercase != null
    //#    callee: bool com/dmdirc/parser/irc/callbacks/CallbackObjectSpecific.isValidUser(ICallbackInterface, String)
    //#    callee assertion: (soft) this.myParser.stringConverter.lowercase != null
    //#    callee file: CallbackObjectSpecific.java
    //#    callee precondition index: [9]
    //#    callee srcpos: 80
    //#    VN: this.myParser.stringConverter.lowercase
    //#    Expected: Inverse{null}
    //#    Bad: Addr_Set{null, Invalid}
    //#    Attribs:  Ptr  null in Bad  Soft
    //#CallbackObjectSpecific.java:144: ?precondition failure
    //#    com/dmdirc/parser/irc/callbacks/CallbackObjectSpecific.isValidUser: (soft) this.myParser.stringConverter.lowercase.length >= 1
    //#    severity: SUPPRESSED
    //#    class: com.dmdirc.parser.irc.callbacks.CallbackObjectSpecific
    //#    method: bool call(Object[])
    //#    basic block: bb_13
    //#    assertion: (soft) this.myParser.stringConverter.lowercase.length >= 1
    //#    callee: bool com/dmdirc/parser/irc/callbacks/CallbackObjectSpecific.isValidUser(ICallbackInterface, String)
    //#    callee assertion: (soft) this.myParser.stringConverter.lowercase.length >= 1
    //#    callee file: CallbackObjectSpecific.java
    //#    callee precondition index: [10]
    //#    callee srcpos: 80
    //#    VN: this.myParser.stringConverter.lowercase.length
    //#    Expected: {1..+Inf}
    //#    Bad: {0}
    //#    Attribs:  Int  Bad singleton  Bad overlaps +/-1000  Soft  Bad < Exp  Uncertain
    //#CallbackObjectSpecific.java:144: ?precondition failure
    //#    com/dmdirc/parser/irc/callbacks/CallbackObjectSpecific.isValidUser: (soft) init'ed(this.myParser.stringConverter.lowercase[0..65_535])
    //#    severity: SUPPRESSED
    //#    class: com.dmdirc.parser.irc.callbacks.CallbackObjectSpecific
    //#    method: bool call(Object[])
    //#    basic block: bb_13
    //#    assertion: (soft) init'ed(this.myParser.stringConverter.lowercase[0..65_535])
    //#    callee: bool com/dmdirc/parser/irc/callbacks/CallbackObjectSpecific.isValidUser(ICallbackInterface, String)
    //#    callee assertion: (soft) init'ed(this.myParser.stringConverter.lowercase[0..65_535])
    //#    callee file: CallbackObjectSpecific.java
    //#    callee precondition index: [11]
    //#    callee srcpos: 80
    //#    VN: this.myParser.stringConverter.lowercase[0..65_535]
    //#    Expected: {0..65_535}
    //#    Bad: {Invalid}
    //#    Attribs:  Int  Soft  Bad only invalid
                    ((args[0] instanceof ClientInfo
                        && !isValidUser(iface, ((ClientInfo) args[0]).getHost()))
                        || (args[0] instanceof ChannelInfo
                        && !isValidChan(iface, (ChannelInfo) args[0]))
                        || (!(args[0] instanceof ClientInfo || args[0] instanceof ChannelInfo) &&
                        args[args.length - 1] instanceof String
                        && !isValidUser(iface, (String) args[args.length - 1])))) {
                continue;
            }

			try {
                type.getMethods()[0].invoke(iface, newArgs);
			} catch (Exception e) {
				final ParserError ei = new ParserError(ParserError.ERROR_ERROR,
                        "Exception in callback ("+e.getMessage()+")", myParser.getLastLine());
				ei.setException(e);
				callErrorInfo(ei);
			}
			bResult = true;
		}
		return bResult;
    //#CallbackObjectSpecific.java:165: end of method: bool com.dmdirc.parser.irc.callbacks.CallbackObjectSpecific.call(Object[])
    }

}
    //#output(com.dmdirc.parser.irc.callbacks.CallbackObjectSpecific__static_init): __Descendant_Table[com/dmdirc/parser/irc/callbacks/CallbackObjectSpecific]
    //#output(com.dmdirc.parser.irc.callbacks.CallbackObjectSpecific__static_init): __Dispatch_Table.add(Lcom/dmdirc/parser/irc/callbacks/interfaces/ICallbackInterface;)V
    //#output(com.dmdirc.parser.irc.callbacks.CallbackObjectSpecific__static_init): __Dispatch_Table.add(Lcom/dmdirc/parser/irc/callbacks/interfaces/ICallbackInterface;Ljava/lang/String;)V
    //#output(com.dmdirc.parser.irc.callbacks.CallbackObjectSpecific__static_init): __Dispatch_Table.addCallback(Lcom/dmdirc/parser/irc/callbacks/interfaces/ICallbackInterface;)V
    //#output(com.dmdirc.parser.irc.callbacks.CallbackObjectSpecific__static_init): __Dispatch_Table.call([Ljava/lang/Object;)Z
    //#output(com.dmdirc.parser.irc.callbacks.CallbackObjectSpecific__static_init): __Dispatch_Table.callErrorInfo(Lcom/dmdirc/parser/irc/ParserError;)Z
    //#output(com.dmdirc.parser.irc.callbacks.CallbackObjectSpecific__static_init): __Dispatch_Table.createFakeArgs([Ljava/lang/Object;)V
    //#output(com.dmdirc.parser.irc.callbacks.CallbackObjectSpecific__static_init): __Dispatch_Table.del(Lcom/dmdirc/parser/irc/callbacks/interfaces/ICallbackInterface;)V
    //#output(com.dmdirc.parser.irc.callbacks.CallbackObjectSpecific__static_init): __Dispatch_Table.delCallback(Lcom/dmdirc/parser/irc/callbacks/interfaces/ICallbackInterface;)V
    //#output(com.dmdirc.parser.irc.callbacks.CallbackObjectSpecific__static_init): __Dispatch_Table.getFakeArg([Ljava/lang/Object;Ljava/lang/Class;)Ljava/lang/Object;
    //#output(com.dmdirc.parser.irc.callbacks.CallbackObjectSpecific__static_init): __Dispatch_Table.getLowerName()Ljava/lang/String;
    //#output(com.dmdirc.parser.irc.callbacks.CallbackObjectSpecific__static_init): __Dispatch_Table.getName()Ljava/lang/String;
    //#output(com.dmdirc.parser.irc.callbacks.CallbackObjectSpecific__static_init): __Dispatch_Table.isValidChan(Lcom/dmdirc/parser/irc/callbacks/interfaces/ICallbackInterface;Lcom/dmdirc/parser/irc/ChannelInfo;)Z
    //#output(com.dmdirc.parser.irc.callbacks.CallbackObjectSpecific__static_init): __Dispatch_Table.isValidUser(Lcom/dmdirc/parser/irc/callbacks/interfaces/ICallbackInterface;Ljava/lang/String;)Z
    //#output(com.dmdirc.parser.irc.callbacks.CallbackObjectSpecific__static_init): com/dmdirc/parser/irc/callbacks/CallbackObject.__Descendant_Table[com/dmdirc/parser/irc/callbacks/CallbackObjectSpecific]
    //#post(com.dmdirc.parser.irc.callbacks.CallbackObjectSpecific__static_init): __Descendant_Table[com/dmdirc/parser/irc/callbacks/CallbackObjectSpecific] == &__Dispatch_Table
    //#post(com.dmdirc.parser.irc.callbacks.CallbackObjectSpecific__static_init): com/dmdirc/parser/irc/callbacks/CallbackObject.__Descendant_Table[com/dmdirc/parser/irc/callbacks/CallbackObjectSpecific] == &__Dispatch_Table
    //#post(com.dmdirc.parser.irc.callbacks.CallbackObjectSpecific__static_init): __Dispatch_Table.add(Lcom/dmdirc/parser/irc/callbacks/interfaces/ICallbackInterface;)V == &add
    //#post(com.dmdirc.parser.irc.callbacks.CallbackObjectSpecific__static_init): __Dispatch_Table.add(Lcom/dmdirc/parser/irc/callbacks/interfaces/ICallbackInterface;Ljava/lang/String;)V == &add
    //#post(com.dmdirc.parser.irc.callbacks.CallbackObjectSpecific__static_init): __Dispatch_Table.addCallback(Lcom/dmdirc/parser/irc/callbacks/interfaces/ICallbackInterface;)V == &com/dmdirc/parser/irc/callbacks/CallbackObject.addCallback
    //#post(com.dmdirc.parser.irc.callbacks.CallbackObjectSpecific__static_init): __Dispatch_Table.call([Ljava/lang/Object;)Z == &call
    //#post(com.dmdirc.parser.irc.callbacks.CallbackObjectSpecific__static_init): __Dispatch_Table.callErrorInfo(Lcom/dmdirc/parser/irc/ParserError;)Z == &com/dmdirc/parser/irc/callbacks/CallbackObject.callErrorInfo
    //#post(com.dmdirc.parser.irc.callbacks.CallbackObjectSpecific__static_init): __Dispatch_Table.createFakeArgs([Ljava/lang/Object;)V == &com/dmdirc/parser/irc/callbacks/CallbackObject.createFakeArgs
    //#post(com.dmdirc.parser.irc.callbacks.CallbackObjectSpecific__static_init): __Dispatch_Table.del(Lcom/dmdirc/parser/irc/callbacks/interfaces/ICallbackInterface;)V == &del
    //#post(com.dmdirc.parser.irc.callbacks.CallbackObjectSpecific__static_init): __Dispatch_Table.delCallback(Lcom/dmdirc/parser/irc/callbacks/interfaces/ICallbackInterface;)V == &com/dmdirc/parser/irc/callbacks/CallbackObject.delCallback
    //#post(com.dmdirc.parser.irc.callbacks.CallbackObjectSpecific__static_init): __Dispatch_Table.getFakeArg([Ljava/lang/Object;Ljava/lang/Class;)Ljava/lang/Object; == &com/dmdirc/parser/irc/callbacks/CallbackObject.getFakeArg
    //#post(com.dmdirc.parser.irc.callbacks.CallbackObjectSpecific__static_init): __Dispatch_Table.getLowerName()Ljava/lang/String; == &com/dmdirc/parser/irc/callbacks/CallbackObject.getLowerName
    //#post(com.dmdirc.parser.irc.callbacks.CallbackObjectSpecific__static_init): __Dispatch_Table.getName()Ljava/lang/String; == &com/dmdirc/parser/irc/callbacks/CallbackObject.getName
    //#post(com.dmdirc.parser.irc.callbacks.CallbackObjectSpecific__static_init): __Dispatch_Table.isValidChan(Lcom/dmdirc/parser/irc/callbacks/interfaces/ICallbackInterface;Lcom/dmdirc/parser/irc/ChannelInfo;)Z == &isValidChan
    //#post(com.dmdirc.parser.irc.callbacks.CallbackObjectSpecific__static_init): __Dispatch_Table.isValidUser(Lcom/dmdirc/parser/irc/callbacks/interfaces/ICallbackInterface;Ljava/lang/String;)Z == &isValidUser
    //#CallbackObjectSpecific.java:: end of method: com.dmdirc.parser.irc.callbacks.CallbackObjectSpecific.com.dmdirc.parser.irc.callbacks.CallbackObjectSpecific__static_init
    //#CallbackObjectSpecific.java:: end of class: com.dmdirc.parser.irc.callbacks.CallbackObjectSpecific
