creating eventsSince for ContactSensor and AeonKeyFobs + commenting runAfter method...

[smartthings-infrastructure.git] / AeonKeyFob / AeonKeyFobs.groovy

diff --git a/AeonKeyFob/AeonKeyFobs.groovy b/AeonKeyFob/AeonKeyFobs.groovy
index 673afa091aa7a03641f3c78eb4249e2bb9643738..6383898b5538d9af16ea8f8fc0d6375d628b0d57 100644 (file)
--- a/AeonKeyFob/AeonKeyFobs.groovy
+++ b/AeonKeyFob/AeonKeyFobs.groovy
@@ -2,6 +2,9 @@
 package AeonKeyFob
 import Timer.SimulatedTimer
 
+//JPF's Verify API
+import gov.nasa.jpf.vm.Verify
+
 public class AeonKeyFobs {
        private int deviceNumbers
        private List aeonKeyFobs
@@ -37,6 +40,9 @@ public class AeonKeyFobs {
        def each(Closure Input) {
                aeonKeyFobs.each(Input)
        }
+       def sort(Closure Input) {
+               aeonKeyFobs.sort(Input)
+       }
        def find(Closure Input) {
                aeonKeyFobs.find(Input)
        }
@@ -47,7 +53,7 @@ public class AeonKeyFobs {
 
        //methods
        def eventsSince(Date dateObj) {
-               return aeonKeyFobs[0].eventsSince(dateObj)
+               return aeonKeyFobs[0].eventsSince()
        }