benchmarks/original_interfaces/SpeakerCallback.java

   1 package iotcode.interfaces;
   2
   3 // RMI Packages
   4 import java.rmi.Remote;
   5 import java.rmi.RemoteException;
   6
   7 // Checker annotations
   8 import iotchecker.qual.NonLocalRemote;
   9
  10 /** speaker Callback for when a speaker changes state (sound ends).
  11  *
  12  * @author      Ali Younis <ayounis @ uci.edu>
  13  * @version     1.0
  14  * @since       2016-01-27
  15  */
  16
  17 public interface SpeakerCallback extends Remote {
  18
  19         /** Callback method for when speaker music ends.
  20          *
  21          *   @param _speaker [speaker] .
  22          *
  23          *   @return [void] None.
  24          */
  25         public void speakerDone(@NonLocalRemote Speaker _speaker) throws RemoteException;
  26 }