projects
/
iot2.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
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
*/
// Checker annotations
-import iotchecker.qual.*;
import java.rmi.Remote;
import java.rmi.RemoteException;
import java.rmi.Remote;
import java.rmi.RemoteException;
@@
-22,5
+21,6
@@
public interface MotionDetectionCallback extends Remote {
*
* @return [void] None.
*/
*
* @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;
}
}