Adding new policies for stub/skeleton generation - second benchmark

diff --git a/localconfig/iotpolicy/EspSprinkler/espsprinkler.pol b/localconfig/iotpolicy/EspSprinkler/espsprinkler.pol
new file mode 100644 (file)
index 0000000..e2c83b6
--- /dev/null
+++ b/localconfig/iotpolicy/EspSprinkler/espsprinkler.pol
@@ -0,0 +1,29 @@
+public interface Sprinkler {
+
+       public void init();
+       public void setZone(int _zone, boolean _onOff, int _onDurationSeconds);
+       public List<ZoneState> getZoneStates();
+       public int getNumberOfZones();
+       public boolean doesHaveZoneTimers();
+
+       capability Initialize {
+               description = "Initialize object";
+               method = "init()";
+       }
+
+       capability Zone {
+               description = "Manage zones";
+               method = "setZone(int _zone, boolean _onOff, int _onDurationSeconds)";
+               method = "getZoneStates()";
+               method = "getNumberOfZones()";
+               method = "doesHaveZoneTimers()";
+       }
+
+       struct ZoneState {
+               int zoneNumber;
+               boolean onOffState;
+               int duration;
+       }
+}
+
+

diff --git a/localconfig/iotpolicy/EspSprinkler/sprinklersmart.req b/localconfig/iotpolicy/EspSprinkler/sprinklersmart.req
new file mode 100644 (file)
index 0000000..826f227
--- /dev/null
+++ b/localconfig/iotpolicy/EspSprinkler/sprinklersmart.req
@@ -0,0 +1,3 @@
+
+requires Sprinkler with Initialize, Zone as interface SprinklerSmart;
+

diff --git a/localconfig/iotpolicy/GreenLawn/greenlawn.pol b/localconfig/iotpolicy/GreenLawn/greenlawn.pol
new file mode 100644 (file)
index 0000000..35dc21c
--- /dev/null
+++ b/localconfig/iotpolicy/GreenLawn/greenlawn.pol
@@ -0,0 +1,8 @@
+public interface Lawn {
+
+       capability Empty {
+               description = "Empty";
+       }
+}
+
+

diff --git a/localconfig/iotpolicy/GreenLawn/lawnsmart.req b/localconfig/iotpolicy/GreenLawn/lawnsmart.req
new file mode 100644 (file)
index 0000000..edba1e4
--- /dev/null
+++ b/localconfig/iotpolicy/GreenLawn/lawnsmart.req
@@ -0,0 +1,3 @@
+
+requires Lawn with Empty as interface LawnSmart;
+

diff --git a/localconfig/iotpolicy/SpruceSensor/sensorcallback.pol b/localconfig/iotpolicy/SpruceSensor/sensorcallback.pol
new file mode 100644 (file)
index 0000000..4b636fc
--- /dev/null
+++ b/localconfig/iotpolicy/SpruceSensor/sensorcallback.pol
@@ -0,0 +1,11 @@
+public interface MoistureSensorCallback {
+
+       public void newReadingAvailable(int sensorId, float moisture, long timeStampOfLastReading);
+
+       capability Callback {
+               description = "Callback method";
+               method = "newReadingAvailable(int sensorId, float moisture, long timeStampOfLastReading)";
+       }
+}
+
+

diff --git a/localconfig/iotpolicy/SpruceSensor/sensorcallback.req b/localconfig/iotpolicy/SpruceSensor/sensorcallback.req
new file mode 100644 (file)
index 0000000..668a875
--- /dev/null
+++ b/localconfig/iotpolicy/SpruceSensor/sensorcallback.req
@@ -0,0 +1,3 @@
+
+requires MoistureSensorCallback with Callback as interface SensorSmartCallback;
+

diff --git a/localconfig/iotpolicy/SpruceSensor/sensorsmart.req b/localconfig/iotpolicy/SpruceSensor/sensorsmart.req
new file mode 100644 (file)
index 0000000..ed2c2d5
--- /dev/null
+++ b/localconfig/iotpolicy/SpruceSensor/sensorsmart.req
@@ -0,0 +1,3 @@
+
+requires MoistureSensor with Initialize, Moisture, SensorId as interface SensorSmart;
+

diff --git a/localconfig/iotpolicy/SpruceSensor/sprucesensor.pol b/localconfig/iotpolicy/SpruceSensor/sprucesensor.pol
new file mode 100644 (file)
index 0000000..98fa112
--- /dev/null
+++ b/localconfig/iotpolicy/SpruceSensor/sprucesensor.pol
@@ -0,0 +1,29 @@
+public interface MoistureSensor {
+
+       public void init();
+       public float getMoisture();
+       public long getTimestampOfLastReading();
+       public void setId(int id);
+       public int getId();
+       public void registerCallback(MoistureSensorCallback _callbackTo);
+
+       capability Initialize {
+               description = "Initialize object";
+               method = "init()";
+               method = "registerCallback(MoistureSensorCallback _callbackTo)";
+       }
+
+       capability Moisture {
+               description = "Handle moisture value";
+               method = "getMoisture()";
+               method = "getTimestampOfLastReading()";
+       }
+
+       capability SensorId {
+               description = "Manage sensor Id";
+               method = "setId(int id)";
+               method = "getId()";
+       }
+}
+
+

diff --git a/localconfig/iotpolicy/WeatherPhoneGateway/weathergatewaycallback.pol b/localconfig/iotpolicy/WeatherPhoneGateway/weathergatewaycallback.pol
new file mode 100644 (file)
index 0000000..b435ec8
--- /dev/null
+++ b/localconfig/iotpolicy/WeatherPhoneGateway/weathergatewaycallback.pol
@@ -0,0 +1,11 @@
+public interface WeatherGatewayCallback {
+
+       public void informationRetrieved(double _inchesPerWeek, int _weatherZipCode, int _daysToWaterOn, double _inchesPerMinute);
+
+       capability Callback {
+               description = "Callback method";
+               method = "informationRetrieved(double _inchesPerWeek, int _weatherZipCode, int _daysToWaterOn, double _inchesPerMinute)";
+       }
+}
+
+

diff --git a/localconfig/iotpolicy/WeatherPhoneGateway/weathergatewaycallback.req b/localconfig/iotpolicy/WeatherPhoneGateway/weathergatewaycallback.req
new file mode 100644 (file)
index 0000000..61a71bc
--- /dev/null
+++ b/localconfig/iotpolicy/WeatherPhoneGateway/weathergatewaycallback.req
@@ -0,0 +1,3 @@
+
+requires WeatherGatewayCallback with Callback as interface WeatherGWSmartCallback;
+

diff --git a/localconfig/iotpolicy/WeatherPhoneGateway/weathergatewaysmart.req b/localconfig/iotpolicy/WeatherPhoneGateway/weathergatewaysmart.req
new file mode 100644 (file)
index 0000000..830a8a6
--- /dev/null
+++ b/localconfig/iotpolicy/WeatherPhoneGateway/weathergatewaysmart.req
@@ -0,0 +1,3 @@
+
+requires WeatherGateway with Initialize, WeatherUpdate as interface WeatherGatewaySmart;
+

diff --git a/localconfig/iotpolicy/WeatherPhoneGateway/weatherphonegateway.pol b/localconfig/iotpolicy/WeatherPhoneGateway/weatherphonegateway.pol
new file mode 100644 (file)
index 0000000..22096d0
--- /dev/null
+++ b/localconfig/iotpolicy/WeatherPhoneGateway/weatherphonegateway.pol
@@ -0,0 +1,29 @@
+public interface WeatherGateway {
+
+       public void init();
+       public void start();
+       public void stop();
+       public double getInchesPerWeek();
+       public int getWeatherZipCode();
+       public int getDaysToWaterOn();
+       public double getInchesPerMinute();
+       public void registerCallback(WeatherGatewayCallback _callbackTo);
+
+       capability Initialize {
+               description = "Initialize object";
+               method = "init()";
+               method = "start()";
+               method = "stop()";
+               method = "registerCallback(WeatherGatewayCallback _callbackTo)";
+       }
+
+       capability WeatherUpdate {
+               description = "Manage weather data update";
+               method = "getInchesPerWeek()";
+               method = "getWeatherZipCode()";
+               method = "getDaysToWaterOn()";
+               method = "getInchesPerMinute()";
+       }
+}
+
+