//# 0 errors, 148 messages
//#
/*
    //#ActionEvents.java:1:1: class: com.dmdirc.actions.metatypes.ActionEvents
 * 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.Action;
import com.dmdirc.actions.interfaces.ActionMetaType;

/**
 * Defines action-related events.
 */
public enum ActionEvents implements ActionMetaType {
    //#ActionEvents.java:31: method: ActionEvents[] com.dmdirc.actions.metatypes.ActionEvents.values()
    //#input(ActionEvents[] values()): $VALUES
    //#input(ActionEvents[] values()): $VALUES.length
    //#input(ActionEvents[] values()): $VALUES[0..2]
    //#output(ActionEvents[] values()): new ActionEvents[](values#1) num objects
    //#output(ActionEvents[] values()): return_value.length
    //#output(ActionEvents[] values()): return_value[0..2]
    //#output(ActionEvents[] values()): return_value
    //#new obj(ActionEvents[] values()): new ActionEvents[](values#1)
    //#pre[1] (ActionEvents[] values()): (soft) init'ed($VALUES[0..2])
    //#post(ActionEvents[] values()): return_value == &new ActionEvents[](values#1)
    //#post(ActionEvents[] values()): new ActionEvents[](values#1) num objects == 1
    //#post(ActionEvents[] values()): return_value.length == 2
    //#post(ActionEvents[] values()): return_value[0..2] == One-of{$VALUES[0..2], undefined}
    //#ActionEvents.java:31: end of method: ActionEvents[] com.dmdirc.actions.metatypes.ActionEvents.values()
    //#ActionEvents.java:31: method: ActionEvents com.dmdirc.actions.metatypes.ActionEvents.valueOf(String)
    //#input(ActionEvents valueOf(String)): __Descendant_Table[com/dmdirc/actions/metatypes/ActionEvents]
    //#input(ActionEvents valueOf(String)): __Descendant_Table[others]
    //#input(ActionEvents valueOf(String)): name
    //#output(ActionEvents valueOf(String)): return_value
    //#presumption(ActionEvents valueOf(String)): java.lang.Enum:valueOf(...).__Tag@31 == com/dmdirc/actions/metatypes/ActionEvents
    //#post(ActionEvents valueOf(String)): init'ed(return_value)
    //#ActionEvents.java:31: end of method: ActionEvents com.dmdirc.actions.metatypes.ActionEvents.valueOf(String)
    
    /** Action event type. */
    ACTION_EVENT(new String[]{"action"}, Action.class),
    //#ActionEvents.java:34: method: com.dmdirc.actions.metatypes.ActionEvents.com.dmdirc.actions.metatypes.ActionEvents__static_init
    //#output(com.dmdirc.actions.metatypes.ActionEvents__static_init): $VALUES
    //#output(com.dmdirc.actions.metatypes.ActionEvents__static_init): ACTION_DELETED
    //#output(com.dmdirc.actions.metatypes.ActionEvents__static_init): ACTION_EVENT
    //#output(com.dmdirc.actions.metatypes.ActionEvents__static_init): __Descendant_Table[com/dmdirc/actions/metatypes/ActionEvents]
    //#output(com.dmdirc.actions.metatypes.ActionEvents__static_init): __Dispatch_Table.getArgNames()[Ljava/lang/String;
    //#output(com.dmdirc.actions.metatypes.ActionEvents__static_init): __Dispatch_Table.getArgTypes()[Ljava/lang/Class;
    //#output(com.dmdirc.actions.metatypes.ActionEvents__static_init): __Dispatch_Table.getArity()I
    //#output(com.dmdirc.actions.metatypes.ActionEvents__static_init): __Dispatch_Table.getGroup()Ljava/lang/String;
    //#output(com.dmdirc.actions.metatypes.ActionEvents__static_init): com/dmdirc/actions/interfaces/ActionMetaType.__Descendant_Table[com/dmdirc/actions/metatypes/ActionEvents]
    //#output(com.dmdirc.actions.metatypes.ActionEvents__static_init): new ActionEvents(ActionEvents__static_init#1) num objects
    //#output(com.dmdirc.actions.metatypes.ActionEvents__static_init): ACTION_EVENT.__Tag
    //#output(com.dmdirc.actions.metatypes.ActionEvents__static_init): ACTION_EVENT.argNames
    //#output(com.dmdirc.actions.metatypes.ActionEvents__static_init): ACTION_EVENT.argTypes
    //#output(com.dmdirc.actions.metatypes.ActionEvents__static_init): new ActionEvents(ActionEvents__static_init#4) num objects
    //#output(com.dmdirc.actions.metatypes.ActionEvents__static_init): ACTION_DELETED.__Tag
    //#output(com.dmdirc.actions.metatypes.ActionEvents__static_init): ACTION_DELETED.argNames
    //#output(com.dmdirc.actions.metatypes.ActionEvents__static_init): ACTION_DELETED.argTypes
    //#output(com.dmdirc.actions.metatypes.ActionEvents__static_init): new ActionEvents[](ActionEvents__static_init#7) num objects
    //#output(com.dmdirc.actions.metatypes.ActionEvents__static_init): $VALUES.length
    //#output(com.dmdirc.actions.metatypes.ActionEvents__static_init): $VALUES[0]
    //#output(com.dmdirc.actions.metatypes.ActionEvents__static_init): $VALUES[1]
    //#output(com.dmdirc.actions.metatypes.ActionEvents__static_init): new Class[](ActionEvents__static_init#3) num objects
    //#output(com.dmdirc.actions.metatypes.ActionEvents__static_init): ACTION_EVENT.argTypes.length
    //#output(com.dmdirc.actions.metatypes.ActionEvents__static_init): ACTION_EVENT.argTypes[0]
    //#output(com.dmdirc.actions.metatypes.ActionEvents__static_init): new Class[](ActionEvents__static_init#6) num objects
    //#output(com.dmdirc.actions.metatypes.ActionEvents__static_init): ACTION_DELETED.argTypes.length
    //#output(com.dmdirc.actions.metatypes.ActionEvents__static_init): ACTION_DELETED.argTypes[0]
    //#output(com.dmdirc.actions.metatypes.ActionEvents__static_init): ACTION_DELETED.argTypes[1]
    //#output(com.dmdirc.actions.metatypes.ActionEvents__static_init): new String[](ActionEvents__static_init#2) num objects
    //#output(com.dmdirc.actions.metatypes.ActionEvents__static_init): ACTION_EVENT.argNames.length
    //#output(com.dmdirc.actions.metatypes.ActionEvents__static_init): ACTION_EVENT.argNames[0]
    //#output(com.dmdirc.actions.metatypes.ActionEvents__static_init): new String[](ActionEvents__static_init#5) num objects
    //#output(com.dmdirc.actions.metatypes.ActionEvents__static_init): ACTION_DELETED.argNames.length
    //#output(com.dmdirc.actions.metatypes.ActionEvents__static_init): ACTION_DELETED.argNames[0]
    //#output(com.dmdirc.actions.metatypes.ActionEvents__static_init): ACTION_DELETED.argNames[1]
    //#new obj(com.dmdirc.actions.metatypes.ActionEvents__static_init): new ActionEvents(ActionEvents__static_init#1)
    //#new obj(com.dmdirc.actions.metatypes.ActionEvents__static_init): new ActionEvents(ActionEvents__static_init#4)
    //#new obj(com.dmdirc.actions.metatypes.ActionEvents__static_init): new ActionEvents[](ActionEvents__static_init#7)
    //#new obj(com.dmdirc.actions.metatypes.ActionEvents__static_init): new Class[](ActionEvents__static_init#3)
    //#new obj(com.dmdirc.actions.metatypes.ActionEvents__static_init): new Class[](ActionEvents__static_init#6)
    //#new obj(com.dmdirc.actions.metatypes.ActionEvents__static_init): new String[](ActionEvents__static_init#2)
    //#new obj(com.dmdirc.actions.metatypes.ActionEvents__static_init): new String[](ActionEvents__static_init#5)
    //#post(com.dmdirc.actions.metatypes.ActionEvents__static_init): $VALUES == &new ActionEvents[](ActionEvents__static_init#7)
    //#post(com.dmdirc.actions.metatypes.ActionEvents__static_init): ACTION_DELETED == &new ActionEvents(ActionEvents__static_init#4)
    //#post(com.dmdirc.actions.metatypes.ActionEvents__static_init): $VALUES[1] == &new ActionEvents(ActionEvents__static_init#4)
    //#post(com.dmdirc.actions.metatypes.ActionEvents__static_init): ACTION_EVENT == &new ActionEvents(ActionEvents__static_init#1)
    //#post(com.dmdirc.actions.metatypes.ActionEvents__static_init): $VALUES[0] == &new ActionEvents(ActionEvents__static_init#1)
    //#post(com.dmdirc.actions.metatypes.ActionEvents__static_init): __Descendant_Table[com/dmdirc/actions/metatypes/ActionEvents] == &__Dispatch_Table
    //#post(com.dmdirc.actions.metatypes.ActionEvents__static_init): com/dmdirc/actions/interfaces/ActionMetaType.__Descendant_Table[com/dmdirc/actions/metatypes/ActionEvents] == &__Dispatch_Table
    //#post(com.dmdirc.actions.metatypes.ActionEvents__static_init): __Dispatch_Table.getArgNames()[Ljava/lang/String; == &getArgNames
    //#post(com.dmdirc.actions.metatypes.ActionEvents__static_init): __Dispatch_Table.getArgTypes()[Ljava/lang/Class; == &getArgTypes
    //#post(com.dmdirc.actions.metatypes.ActionEvents__static_init): __Dispatch_Table.getArity()I == &getArity
    //#post(com.dmdirc.actions.metatypes.ActionEvents__static_init): __Dispatch_Table.getGroup()Ljava/lang/String; == &getGroup
    //#post(com.dmdirc.actions.metatypes.ActionEvents__static_init): new ActionEvents(ActionEvents__static_init#1) num objects == 1
    //#post(com.dmdirc.actions.metatypes.ActionEvents__static_init): new ActionEvents(ActionEvents__static_init#4) num objects == 1
    //#post(com.dmdirc.actions.metatypes.ActionEvents__static_init): new ActionEvents[](ActionEvents__static_init#7) num objects == 1
    //#post(com.dmdirc.actions.metatypes.ActionEvents__static_init): new Class[](ActionEvents__static_init#3) num objects == 1
    //#post(com.dmdirc.actions.metatypes.ActionEvents__static_init): ACTION_EVENT.argTypes.length == 1
    //#post(com.dmdirc.actions.metatypes.ActionEvents__static_init): new Class[](ActionEvents__static_init#6) num objects == 1
    //#post(com.dmdirc.actions.metatypes.ActionEvents__static_init): new String[](ActionEvents__static_init#2) num objects == 1
    //#post(com.dmdirc.actions.metatypes.ActionEvents__static_init): ACTION_EVENT.argNames.length == 1
    //#post(com.dmdirc.actions.metatypes.ActionEvents__static_init): new String[](ActionEvents__static_init#5) num objects == 1
    //#post(com.dmdirc.actions.metatypes.ActionEvents__static_init): ACTION_EVENT.__Tag == com/dmdirc/actions/metatypes/ActionEvents
    //#post(com.dmdirc.actions.metatypes.ActionEvents__static_init): ACTION_DELETED.__Tag == com/dmdirc/actions/metatypes/ActionEvents
    //#post(com.dmdirc.actions.metatypes.ActionEvents__static_init): ACTION_EVENT.argNames == &new String[](ActionEvents__static_init#2)
    //#post(com.dmdirc.actions.metatypes.ActionEvents__static_init): ACTION_EVENT.argTypes == &new Class[](ActionEvents__static_init#3)
    //#post(com.dmdirc.actions.metatypes.ActionEvents__static_init): ACTION_DELETED.argNames == &new String[](ActionEvents__static_init#5)
    //#post(com.dmdirc.actions.metatypes.ActionEvents__static_init): ACTION_DELETED.argTypes == &new Class[](ActionEvents__static_init#6)
    //#post(com.dmdirc.actions.metatypes.ActionEvents__static_init): $VALUES.length == 2
    //#post(com.dmdirc.actions.metatypes.ActionEvents__static_init): ACTION_DELETED.argTypes.length == 2
    //#post(com.dmdirc.actions.metatypes.ActionEvents__static_init): ACTION_DELETED.argNames.length == 2
    //#post(com.dmdirc.actions.metatypes.ActionEvents__static_init): ACTION_EVENT.argTypes[0] == &com/dmdirc/actions/Action.__Class_Obj
    //#post(com.dmdirc.actions.metatypes.ActionEvents__static_init): ACTION_DELETED.argTypes[0] == &com/dmdirc/actions/Action.__Class_Obj
    //#post(com.dmdirc.actions.metatypes.ActionEvents__static_init): ACTION_DELETED.argTypes[1] == &java.lang.String.__Class_Obj
    //#post(com.dmdirc.actions.metatypes.ActionEvents__static_init): ACTION_EVENT.argNames[0] == &"action"
    //#post(com.dmdirc.actions.metatypes.ActionEvents__static_init): ACTION_DELETED.argNames[0] == &"Action group"
    //#post(com.dmdirc.actions.metatypes.ActionEvents__static_init): ACTION_DELETED.argNames[1] == &"Action name"
    //#unanalyzed(com.dmdirc.actions.metatypes.ActionEvents__static_init): Effects-of-calling:java.lang.Enum
    /** Action event type. */
    ACTION_DELETED(new String[]{"Action group", "Action name"}, Action.class, String.class);
    //#ActionEvents.java:36: end of method: com.dmdirc.actions.metatypes.ActionEvents.com.dmdirc.actions.metatypes.ActionEvents__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
     */
    ActionEvents(final String[] argNames, final Class ... argTypes) {
    //#ActionEvents.java:49: method: void com.dmdirc.actions.metatypes.ActionEvents.com.dmdirc.actions.metatypes.ActionEvents(String, int, String[], Class[])
    //#input(void com.dmdirc.actions.metatypes.ActionEvents(String, int, String[], Class[])): Param_1
    //#input(void com.dmdirc.actions.metatypes.ActionEvents(String, int, String[], Class[])): Param_2
    //#input(void com.dmdirc.actions.metatypes.ActionEvents(String, int, String[], Class[])): argNames
    //#input(void com.dmdirc.actions.metatypes.ActionEvents(String, int, String[], Class[])): argTypes
    //#input(void com.dmdirc.actions.metatypes.ActionEvents(String, int, String[], Class[])): this
    //#output(void com.dmdirc.actions.metatypes.ActionEvents(String, int, String[], Class[])): this.argNames
    //#output(void com.dmdirc.actions.metatypes.ActionEvents(String, int, String[], Class[])): this.argTypes
    //#post(void com.dmdirc.actions.metatypes.ActionEvents(String, int, String[], Class[])): this.argNames == argNames
    //#post(void com.dmdirc.actions.metatypes.ActionEvents(String, int, String[], Class[])): init'ed(this.argNames)
    //#post(void com.dmdirc.actions.metatypes.ActionEvents(String, int, String[], Class[])): this.argTypes == argTypes
    //#post(void com.dmdirc.actions.metatypes.ActionEvents(String, int, String[], Class[])): init'ed(this.argTypes)
        this.argNames = argNames;
        this.argTypes = argTypes;
    }
    //#ActionEvents.java:52: end of method: void com.dmdirc.actions.metatypes.ActionEvents.com.dmdirc.actions.metatypes.ActionEvents(String, int, String[], Class[])
    
    /** {@inheritDoc} */
    @Override
    public int getArity() {
        return argNames.length;
    //#ActionEvents.java:57: method: int com.dmdirc.actions.metatypes.ActionEvents.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
    //#ActionEvents.java:57: end of method: int com.dmdirc.actions.metatypes.ActionEvents.getArity()
    }
    
    /** {@inheritDoc} */
    @Override
    public Class[] getArgTypes() {
        return argTypes;
    //#ActionEvents.java:63: method: Class[] com.dmdirc.actions.metatypes.ActionEvents.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)
    //#ActionEvents.java:63: end of method: Class[] com.dmdirc.actions.metatypes.ActionEvents.getArgTypes()
    }
    
    /** {@inheritDoc} */
    @Override
    public String[] getArgNames() {
        return argNames;
    //#ActionEvents.java:69: method: String[] com.dmdirc.actions.metatypes.ActionEvents.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)
    //#ActionEvents.java:69: end of method: String[] com.dmdirc.actions.metatypes.ActionEvents.getArgNames()
    }
    
    /** {@inheritDoc} */
    @Override
    public String getGroup() {
        return "Action Events";
    //#ActionEvents.java:75: method: String com.dmdirc.actions.metatypes.ActionEvents.getGroup()
    //#output(String getGroup()): return_value
    //#post(String getGroup()): return_value == &"Action Events"
    //#ActionEvents.java:75: end of method: String com.dmdirc.actions.metatypes.ActionEvents.getGroup()
    }    
    
}
    //#ActionEvents.java:: end of class: com.dmdirc.actions.metatypes.ActionEvents
