benchmarks/original_interfaces/WeatherGatewayCallback.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 WeatherGatewayCallback for allowing callbacks from the PhoneGateway class.
  11  *
  12  * @author      Rahmadi Trimananda <rahmadi.trimananda @ uci.edu>
  13  * @version     1.0
  14  * @since       2016-04-26
  15  */
  16
  17 public interface WeatherGatewayCallback extends Remote {
  18
  19         /** Callback method for when the information is retrieved.
  20          *
  21          * @param _wgw [WeatherGateway].
  22          * @return [void] None.
  23          */
  24         public void informationRetrieved(@NonLocalRemote WeatherGateway _wgw) throws RemoteException;
  25 }