benchmarks/IrrigationController/MotionDetectionCallback.java

   1 package IrrigationController;
   2
   3 /** Interface MotionDetectionCallback for allowing callbacks from the MotionDetection class.
   4  *
   5  *
   6  * @author      Ali Younis <ayounis @ uci.edu>
   7  * @version     1.0
   8  * @since       2016-03-21
   9  */
  10
  11 // Checker annotations
  12 import iotchecker.qual.*;
  13 import java.rmi.Remote;
  14 import java.rmi.RemoteException;
  15
  16
  17 public interface MotionDetectionCallback extends Remote {
  18
  19         /** Callback method for when motion is detected.
  20          *
  21          *   @param _md [MotionDetection].
  22          *
  23          *   @return [void] None.
  24          */
  25         public void motionDetected(@NonLocalRemote MotionDetection _wg) throws RemoteException;
  26 }