src/share/classes/com/sun/media/sound/EventDispatcher.java

Print this page

        

@@ -55,11 +55,11 @@
 
 
     /**
      * List of events
      */
-    private final ArrayList eventQueue = new ArrayList();
+    private final ArrayList<EventInfo> eventQueue = new ArrayList<>();
 
 
     /**
      * Thread object for this EventDispatcher instance
      */

@@ -184,11 +184,11 @@
                 }
             } catch (InterruptedException e) {
             }
             if (eventQueue.size() > 0) {
                 // Remove the event from the queue and dispatch it to the listeners.
-                eventInfo = (EventInfo) eventQueue.remove(0);
+                eventInfo = eventQueue.remove(0);
             }
 
         } // end of synchronized
         if (eventInfo != null) {
             processEvent(eventInfo);

@@ -228,11 +228,11 @@
 
 
     /**
      * Send audio and MIDI events.
      */
-    void sendAudioEvents(Object event, List listeners) {
+    void sendAudioEvents(Object event, List<Object> listeners) {
         if ((listeners == null)
             || (listeners.size() == 0)) {
             // nothing to do
             return;
         }

@@ -390,11 +390,11 @@
         /**
          * Create a new instance of this event Info class
          * @param event the event to be dispatched
          * @param listeners listener list; will be copied
          */
-        EventInfo(Object event, List listeners) {
+        EventInfo(Object event, List<Object> listeners) {
             this.event = event;
             this.listeners = listeners.toArray();
         }
 
         Object getEvent() {