//# 0 errors, 117 messages
//#
/*
    //#PluginEvents.java:1:1: class: com.dmdirc.actions.metatypes.PluginEvents
 * 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.actions.metatypes;

import com.dmdirc.actions.interfaces.ActionMetaType;
import com.dmdirc.plugins.PluginInfo;

/**
 * Defines plugin-related events.
 *
 * @author Chris
 */
public enum PluginEvents implements ActionMetaType {
    //#PluginEvents.java:33: method: PluginEvents[] com.dmdirc.actions.metatypes.PluginEvents.values()
    //#input(PluginEvents[] values()): $VALUES
    //#input(PluginEvents[] values()): $VALUES.length
    //#input(PluginEvents[] values()): $VALUES[0,1]
    //#output(PluginEvents[] values()): new PluginEvents[](values#1) num objects
    //#output(PluginEvents[] values()): return_value.length
    //#output(PluginEvents[] values()): return_value[0,1]
    //#output(PluginEvents[] values()): return_value
    //#new obj(PluginEvents[] values()): new PluginEvents[](values#1)
    //#pre[1] (PluginEvents[] values()): (soft) init'ed($VALUES[0,1])
    //#post(PluginEvents[] values()): return_value == &new PluginEvents[](values#1)
    //#post(PluginEvents[] values()): new PluginEvents[](values#1) num objects == 1
    //#post(PluginEvents[] values()): return_value.length == 1
    //#post(PluginEvents[] values()): return_value[0,1] == One-of{$VALUES[0,1], undefined}
    //#PluginEvents.java:33: end of method: PluginEvents[] com.dmdirc.actions.metatypes.PluginEvents.values()
    //#PluginEvents.java:33: method: PluginEvents com.dmdirc.actions.metatypes.PluginEvents.valueOf(String)
    //#input(PluginEvents valueOf(String)): __Descendant_Table[com/dmdirc/actions/metatypes/PluginEvents]
    //#input(PluginEvents valueOf(String)): __Descendant_Table[others]
    //#input(PluginEvents valueOf(String)): name
    //#output(PluginEvents valueOf(String)): return_value
    //#presumption(PluginEvents valueOf(String)): java.lang.Enum:valueOf(...).__Tag@33 == com/dmdirc/actions/metatypes/PluginEvents
    //#post(PluginEvents valueOf(String)): init'ed(return_value)
    //#PluginEvents.java:33: end of method: PluginEvents com.dmdirc.actions.metatypes.PluginEvents.valueOf(String)
    
    /** Plugin event type. */
    PLUGIN_EVENT(new String[]{"plugin"}, PluginInfo.class);
    //#PluginEvents.java:36: method: com.dmdirc.actions.metatypes.PluginEvents.com.dmdirc.actions.metatypes.PluginEvents__static_init
    //#output(com.dmdirc.actions.metatypes.PluginEvents__static_init): $VALUES
    //#output(com.dmdirc.actions.metatypes.PluginEvents__static_init): PLUGIN_EVENT
    //#output(com.dmdirc.actions.metatypes.PluginEvents__static_init): __Descendant_Table[com/dmdirc/actions/metatypes/PluginEvents]
    //#output(com.dmdirc.actions.metatypes.PluginEvents__static_init): __Dispatch_Table.getArgNames()[Ljava/lang/String;
    //#output(com.dmdirc.actions.metatypes.PluginEvents__static_init): __Dispatch_Table.getArgTypes()[Ljava/lang/Class;
    //#output(com.dmdirc.actions.metatypes.PluginEvents__static_init): __Dispatch_Table.getArity()I
    //#output(com.dmdirc.actions.metatypes.PluginEvents__static_init): __Dispatch_Table.getGroup()Ljava/lang/String;
    //#output(com.dmdirc.actions.metatypes.PluginEvents__static_init): com/dmdirc/actions/interfaces/ActionMetaType.__Descendant_Table[com/dmdirc/actions/metatypes/PluginEvents]
    //#output(com.dmdirc.actions.metatypes.PluginEvents__static_init): new Class[](PluginEvents__static_init#3) num objects
    //#output(com.dmdirc.actions.metatypes.PluginEvents__static_init): PLUGIN_EVENT.argTypes.length
    //#output(com.dmdirc.actions.metatypes.PluginEvents__static_init): PLUGIN_EVENT.argTypes[0]
    //#output(com.dmdirc.actions.metatypes.PluginEvents__static_init): new PluginEvents(PluginEvents__static_init#1) num objects
    //#output(com.dmdirc.actions.metatypes.PluginEvents__static_init): PLUGIN_EVENT.__Tag
    //#output(com.dmdirc.actions.metatypes.PluginEvents__static_init): PLUGIN_EVENT.argNames
    //#output(com.dmdirc.actions.metatypes.PluginEvents__static_init): PLUGIN_EVENT.argTypes
    //#output(com.dmdirc.actions.metatypes.PluginEvents__static_init): new PluginEvents[](PluginEvents__static_init#4) num objects
    //#output(com.dmdirc.actions.metatypes.PluginEvents__static_init): $VALUES.length
    //#output(com.dmdirc.actions.metatypes.PluginEvents__static_init): $VALUES[0]
    //#output(com.dmdirc.actions.metatypes.PluginEvents__static_init): new String[](PluginEvents__static_init#2) num objects
    //#output(com.dmdirc.actions.metatypes.PluginEvents__static_init): PLUGIN_EVENT.argNames.length
    //#output(com.dmdirc.actions.metatypes.PluginEvents__static_init): PLUGIN_EVENT.argNames[0]
    //#new obj(com.dmdirc.actions.metatypes.PluginEvents__static_init): new Class[](PluginEvents__static_init#3)
    //#new obj(com.dmdirc.actions.metatypes.PluginEvents__static_init): new PluginEvents(PluginEvents__static_init#1)
    //#new obj(com.dmdirc.actions.metatypes.PluginEvents__static_init): new PluginEvents[](PluginEvents__static_init#4)
    //#new obj(com.dmdirc.actions.metatypes.PluginEvents__static_init): new String[](PluginEvents__static_init#2)
    //#post(com.dmdirc.actions.metatypes.PluginEvents__static_init): $VALUES == &new PluginEvents[](PluginEvents__static_init#4)
    //#post(com.dmdirc.actions.metatypes.PluginEvents__static_init): PLUGIN_EVENT == &new PluginEvents(PluginEvents__static_init#1)
    //#post(com.dmdirc.actions.metatypes.PluginEvents__static_init): $VALUES[0] == &new PluginEvents(PluginEvents__static_init#1)
    //#post(com.dmdirc.actions.metatypes.PluginEvents__static_init): __Descendant_Table[com/dmdirc/actions/metatypes/PluginEvents] == &__Dispatch_Table
    //#post(com.dmdirc.actions.metatypes.PluginEvents__static_init): com/dmdirc/actions/interfaces/ActionMetaType.__Descendant_Table[com/dmdirc/actions/metatypes/PluginEvents] == &__Dispatch_Table
    //#post(com.dmdirc.actions.metatypes.PluginEvents__static_init): __Dispatch_Table.getArgNames()[Ljava/lang/String; == &getArgNames
    //#post(com.dmdirc.actions.metatypes.PluginEvents__static_init): __Dispatch_Table.getArgTypes()[Ljava/lang/Class; == &getArgTypes
    //#post(com.dmdirc.actions.metatypes.PluginEvents__static_init): __Dispatch_Table.getArity()I == &getArity
    //#post(com.dmdirc.actions.metatypes.PluginEvents__static_init): __Dispatch_Table.getGroup()Ljava/lang/String; == &getGroup
    //#post(com.dmdirc.actions.metatypes.PluginEvents__static_init): new Class[](PluginEvents__static_init#3) num objects == 1
    //#post(com.dmdirc.actions.metatypes.PluginEvents__static_init): PLUGIN_EVENT.argTypes.length == 1
    //#post(com.dmdirc.actions.metatypes.PluginEvents__static_init): new PluginEvents(PluginEvents__static_init#1) num objects == 1
    //#post(com.dmdirc.actions.metatypes.PluginEvents__static_init): new PluginEvents[](PluginEvents__static_init#4) num objects == 1
    //#post(com.dmdirc.actions.metatypes.PluginEvents__static_init): $VALUES.length == 1
    //#post(com.dmdirc.actions.metatypes.PluginEvents__static_init): new String[](PluginEvents__static_init#2) num objects == 1
    //#post(com.dmdirc.actions.metatypes.PluginEvents__static_init): PLUGIN_EVENT.argNames.length == 1
    //#post(com.dmdirc.actions.metatypes.PluginEvents__static_init): PLUGIN_EVENT.argTypes[0] == &com.dmdirc.plugins.PluginInfo.__Class_Obj
    //#post(com.dmdirc.actions.metatypes.PluginEvents__static_init): PLUGIN_EVENT.__Tag == com/dmdirc/actions/metatypes/PluginEvents
    //#post(com.dmdirc.actions.metatypes.PluginEvents__static_init): PLUGIN_EVENT.argNames == &new String[](PluginEvents__static_init#2)
    //#post(com.dmdirc.actions.metatypes.PluginEvents__static_init): PLUGIN_EVENT.argTypes == &new Class[](PluginEvents__static_init#3)
    //#post(com.dmdirc.actions.metatypes.PluginEvents__static_init): PLUGIN_EVENT.argNames[0] == &"plugin"
    //#unanalyzed(com.dmdirc.actions.metatypes.PluginEvents__static_init): Effects-of-calling:java.lang.Enum
    //#PluginEvents.java:36: end of method: com.dmdirc.actions.metatypes.PluginEvents.com.dmdirc.actions.metatypes.PluginEvents__static_init
    
    /** The names of the arguments for this meta type. */
    private String[] argNames;
    /** The classes of the arguments for this meta type. */
    private Class[] argTypes;
    
    /**
     * Creates a new instance of this meta-type.
     *
     * @param argNames The names of the meta-type's arguments
     * @param argTypes The types of the meta-type's arguments
     */
    PluginEvents(final String[] argNames, final Class ... argTypes) {
    //#PluginEvents.java:49: method: void com.dmdirc.actions.metatypes.PluginEvents.com.dmdirc.actions.metatypes.PluginEvents(String, int, String[], Class[])
    //#input(void com.dmdirc.actions.metatypes.PluginEvents(String, int, String[], Class[])): Param_1
    //#input(void com.dmdirc.actions.metatypes.PluginEvents(String, int, String[], Class[])): Param_2
    //#input(void com.dmdirc.actions.metatypes.PluginEvents(String, int, String[], Class[])): argNames
    //#input(void com.dmdirc.actions.metatypes.PluginEvents(String, int, String[], Class[])): argTypes
    //#input(void com.dmdirc.actions.metatypes.PluginEvents(String, int, String[], Class[])): this
    //#output(void com.dmdirc.actions.metatypes.PluginEvents(String, int, String[], Class[])): this.argNames
    //#output(void com.dmdirc.actions.metatypes.PluginEvents(String, int, String[], Class[])): this.argTypes
    //#post(void com.dmdirc.actions.metatypes.PluginEvents(String, int, String[], Class[])): this.argNames == argNames
    //#post(void com.dmdirc.actions.metatypes.PluginEvents(String, int, String[], Class[])): init'ed(this.argNames)
    //#post(void com.dmdirc.actions.metatypes.PluginEvents(String, int, String[], Class[])): this.argTypes == argTypes
    //#post(void com.dmdirc.actions.metatypes.PluginEvents(String, int, String[], Class[])): init'ed(this.argTypes)
        this.argNames = argNames;
        this.argTypes = argTypes;
    }
    //#PluginEvents.java:52: end of method: void com.dmdirc.actions.metatypes.PluginEvents.com.dmdirc.actions.metatypes.PluginEvents(String, int, String[], Class[])
    
    /** {@inheritDoc} */
    @Override
    public int getArity() {
        return argNames.length;
    //#PluginEvents.java:57: method: int com.dmdirc.actions.metatypes.PluginEvents.getArity()
    //#input(int getArity()): this
    //#input(int getArity()): this.argNames
    //#input(int getArity()): this.argNames.length
    //#output(int getArity()): return_value
    //#pre[2] (int getArity()): this.argNames != null
    //#pre[3] (int getArity()): this.argNames.length <= 4_294_967_295
    //#post(int getArity()): return_value == this.argNames.length
    //#post(int getArity()): return_value >= 0
    //#PluginEvents.java:57: end of method: int com.dmdirc.actions.metatypes.PluginEvents.getArity()
    }
    
    /** {@inheritDoc} */
    @Override
    public Class[] getArgTypes() {
        return argTypes;
    //#PluginEvents.java:63: method: Class[] com.dmdirc.actions.metatypes.PluginEvents.getArgTypes()
    //#input(Class[] getArgTypes()): this
    //#input(Class[] getArgTypes()): this.argTypes
    //#output(Class[] getArgTypes()): return_value
    //#pre[2] (Class[] getArgTypes()): init'ed(this.argTypes)
    //#post(Class[] getArgTypes()): return_value == this.argTypes
    //#post(Class[] getArgTypes()): init'ed(return_value)
    //#PluginEvents.java:63: end of method: Class[] com.dmdirc.actions.metatypes.PluginEvents.getArgTypes()
    }
    
    /** {@inheritDoc} */
    @Override
    public String[] getArgNames() {
        return argNames;
    //#PluginEvents.java:69: method: String[] com.dmdirc.actions.metatypes.PluginEvents.getArgNames()
    //#input(String[] getArgNames()): this
    //#input(String[] getArgNames()): this.argNames
    //#output(String[] getArgNames()): return_value
    //#pre[2] (String[] getArgNames()): init'ed(this.argNames)
    //#post(String[] getArgNames()): return_value == this.argNames
    //#post(String[] getArgNames()): init'ed(return_value)
    //#PluginEvents.java:69: end of method: String[] com.dmdirc.actions.metatypes.PluginEvents.getArgNames()
    }
    
    /** {@inheritDoc} */
    @Override
    public String getGroup() {
        return "Plugin Events";
    //#PluginEvents.java:75: method: String com.dmdirc.actions.metatypes.PluginEvents.getGroup()
    //#output(String getGroup()): return_value
    //#post(String getGroup()): return_value == &"Plugin Events"
    //#PluginEvents.java:75: end of method: String com.dmdirc.actions.metatypes.PluginEvents.getGroup()
    }    
    
}
    //#PluginEvents.java:: end of class: com.dmdirc.actions.metatypes.PluginEvents
