Preparing files, stubs, and skeletons for 2nd benchmark

[iot2.git] / benchmarks / IrrigationController / MotionDetectionCallback.java

diff --git a/benchmarks/IrrigationController/MotionDetectionCallback.java b/benchmarks/IrrigationController/MotionDetectionCallback.java
index 5961305068732ccf5515c078dbf1306f93874624..d7dfb8345985c2bd4897d4073b5e92b049fdd7c2 100644 (file)
--- a/benchmarks/IrrigationController/MotionDetectionCallback.java
+++ b/benchmarks/IrrigationController/MotionDetectionCallback.java
@@ -9,7 +9,6 @@ package IrrigationController;
  */
 
 // Checker annotations
-import iotchecker.qual.*;
 import java.rmi.Remote;
 import java.rmi.RemoteException;
 
@@ -22,5 +21,6 @@ public interface MotionDetectionCallback extends Remote {
         *
         *   @return [void] None.
         */
-       public void motionDetected(@NonLocalRemote MotionDetection _wg) throws RemoteException;
+       //public void motionDetected(@NonLocalRemote MotionDetection _wg) throws RemoteException;
+       public void motionDetected(long timeStampOfLastMotion) throws RemoteException;
 }