benchmarks/original_interfaces/GPSGatewayCallback.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 /** Interface GPSGatewayCallback for allowing callbacks from the GPSGateway class.
  11  *
  12  * @author      Rahmadi Trimananda <rahmadi.trimananda @ uci.edu>
  13  * @version     1.0
  14  * @since       2016-04-28
  15  */
  16
  17 public interface GPSGatewayCallback extends Remote {
  18
  19         /** Callback method for when room ID is retrieved.
  20          *
  21          * @param _wgw [GPSGateway].
  22          * @return [void] None.
  23          */
  24         public void newRoomIDRetrieved(@NonLocalRemote GPSGateway _wgw) throws RemoteException;
  25
  26         /** Callback method for when ring status is retrieved.
  27          *
  28          * @param _wgw [GPSGateway].
  29          * @return [void] None.
  30          */
  31         public void newRingStatusRetrieved(@NonLocalRemote GPSGateway _wgw) throws RemoteException;
  32 }