public enum EventId extends java.lang.Enum<EventId>
SiGMLPlayerApplet
's event dispatch thread.
These event ids are partitioned into the four categories defined
in the EventCategory
enumeration.Modifier and Type | Method and Description |
---|---|
boolean |
isAnimationEvent()
Tests whether this is an animation event.
|
boolean |
isAvatarEvent()
Tests whether this is an avatar event.
|
boolean |
isFramesGenEvent()
Tests whether this is a frames generation event.
|
boolean |
isIn(java.util.EnumSet<EventId> eids)
Tests whether this event is in the given set.
|
boolean |
isUIEvent()
Tests whether this is a HTML/LiveConnect UI generated event.
|
static void |
main(java.lang.String[] args) |
static java.util.EnumSet<EventId> |
spaEventIds(EventId e0,
EventId e1)
Returns a set containing the given pair of SPA event ids.
|
static java.util.EnumSet<EventId> |
spaEventIds(EventId s0,
EventId s1,
EventId s2)
Returns a set containing the given trio of SPA event ids.
|
static EventId |
valueOf(java.lang.String name)
Returns the enum constant of this type with the specified name.
|
static EventId[] |
values()
Returns an array containing the constants of this enum type, in
the order they are declared.
|
public static final EventId HALT
public static final EventId SHUT_DOWN
public static final EventId LOAD_AVATAR
public static final EventId PLAY_SIGML_URL
public static final EventId PLAY_SIGML_TEXT
public static final EventId START_PLAY_SIGML_PIPED
public static final EventId APPEND_TO_SIGML_PIPE
public static final EventId CLOSE_SIGML_PIPE
public static final EventId STOP_PLAY_SIGML
public static final EventId SET_SPEED_UP
public static final EventId SET_ANIMGEN_FPS
public static final EventId SET_DO_LOG_DROPPED_FRAMES
public static final EventId SUSPEND_IF_PLAYING
public static final EventId RESUME_IF_PLAYING
public static final EventId AVATAR_LOADED_OK
public static final EventId AVATAR_LOAD_FAILED
public static final EventId AVATAR_UNLOADED
public static final EventId LOAD_FRAMES_START
public static final EventId LOADED_NEXT_SIGN
public static final EventId LOAD_FRAMES_DONE_OK
public static final EventId LOAD_FRAMES_DONE_BAD
public static final EventId PLAY_FRAME
public static final EventId SKIP_FRAME
public static final EventId PLAY_FIRST_FRAME_OF_SIGN
public static final EventId SKIP_FIRST_FRAME_OF_SIGN
public static final EventId PLAY_DONE
public static EventId[] values()
for (EventId c : EventId.values()) System.out.println(c);
public static EventId valueOf(java.lang.String name)
name
- the name of the enum constant to be returned.java.lang.IllegalArgumentException
- if this enum type has no constant with the specified namejava.lang.NullPointerException
- if the argument is nullpublic static void main(java.lang.String[] args)
public final boolean isUIEvent()
public final boolean isAvatarEvent()
public final boolean isFramesGenEvent()
public final boolean isAnimationEvent()
public final boolean isIn(java.util.EnumSet<EventId> eids)
public static final java.util.EnumSet<EventId> spaEventIds(EventId e0, EventId e1)