Preparing files, stubs, and skeletons for 2nd benchmark
authorrtrimana <rtrimana@uci.edu>
Wed, 4 Jan 2017 23:50:47 +0000 (15:50 -0800)
committerrtrimana <rtrimana@uci.edu>
Wed, 4 Jan 2017 23:50:47 +0000 (15:50 -0800)
commitf0cd7e27b48bdb5338ffe6cf23b0628cf027b37c
tree439d255801cad07f9a218619b4e543c2ed558786
parente1efcd1397214872d9215fc63eb5d4ccaed5ab50
Preparing files, stubs, and skeletons for 2nd benchmark
57 files changed:
benchmarks/IrrigationController/IrrigationController.java
benchmarks/IrrigationController/LawnSmart_Stub.java [new file with mode: 0644]
benchmarks/IrrigationController/LawnState.java
benchmarks/IrrigationController/Makefile
benchmarks/IrrigationController/MoistureSensorCallback_CallbackSkeleton.java [new file with mode: 0644]
benchmarks/IrrigationController/MoistureSensorSmart_Stub.java [new file with mode: 0644]
benchmarks/IrrigationController/MotionDetection.java
benchmarks/IrrigationController/MotionDetectionCallback.java
benchmarks/IrrigationController/SprinklerSmart_Stub.java [new file with mode: 0644]
benchmarks/IrrigationController/WeatherGatewayCallback_CallbackSkeleton.java [new file with mode: 0644]
benchmarks/IrrigationController/WeatherGatewaySmart_Stub.java [new file with mode: 0644]
benchmarks/Makefile
benchmarks/drivers/EspSprinkler/EspSprinkler.config [new file with mode: 0644]
benchmarks/drivers/EspSprinkler/EspSprinkler.java [new file with mode: 0644]
benchmarks/drivers/EspSprinkler/Sprinkler_Skeleton.java [new file with mode: 0644]
benchmarks/drivers/GreenLawn/GreenLawn.config [new file with mode: 0644]
benchmarks/drivers/GreenLawn/GreenLawn.java [new file with mode: 0644]
benchmarks/drivers/GreenLawn/Lawn_Skeleton.java [new file with mode: 0644]
benchmarks/drivers/Makefile
benchmarks/drivers/SpruceSensor/MoistureSensorSmartCallback_CallbackStub.java [new file with mode: 0644]
benchmarks/drivers/SpruceSensor/MoistureSensor_Skeleton.java [new file with mode: 0644]
benchmarks/drivers/SpruceSensor/SpruceSensor.config [new file with mode: 0644]
benchmarks/drivers/SpruceSensor/SpruceSensor.java [new file with mode: 0644]
benchmarks/drivers/WeatherPhoneGateway/WeatherGatewaySmartCallback_CallbackStub.java [new file with mode: 0644]
benchmarks/drivers/WeatherPhoneGateway/WeatherGateway_Skeleton.java [new file with mode: 0644]
benchmarks/drivers/WeatherPhoneGateway/WeatherInfo.java [new file with mode: 0644]
benchmarks/drivers/WeatherPhoneGateway/WeatherInfoInterface.java [new file with mode: 0644]
benchmarks/drivers/WeatherPhoneGateway/WeatherPhoneGateway.config [new file with mode: 0644]
benchmarks/drivers/WeatherPhoneGateway/WeatherPhoneGateway.java [new file with mode: 0644]
benchmarks/interfaces/Lawn.java [new file with mode: 0644]
benchmarks/interfaces/LawnSmart.java [new file with mode: 0644]
benchmarks/interfaces/MoistureSensor.java [new file with mode: 0644]
benchmarks/interfaces/MoistureSensorCallback.java [new file with mode: 0644]
benchmarks/interfaces/MoistureSensorSmart.java [new file with mode: 0644]
benchmarks/interfaces/MoistureSensorSmartCallback.java [new file with mode: 0644]
benchmarks/interfaces/Sprinkler.java [new file with mode: 0644]
benchmarks/interfaces/SprinklerSmart.java [new file with mode: 0644]
benchmarks/interfaces/WeatherGateway.java [new file with mode: 0644]
benchmarks/interfaces/WeatherGatewayCallback.java [new file with mode: 0644]
benchmarks/interfaces/WeatherGatewaySmart.java [new file with mode: 0644]
benchmarks/interfaces/WeatherGatewaySmartCallback.java [new file with mode: 0644]
benchmarks/interfaces/ZoneState.java [new file with mode: 0644]
iotjava/Makefile
localconfig/iotpolicy/EspSprinkler/smartsprinkler.req [new file with mode: 0644]
localconfig/iotpolicy/EspSprinkler/sprinklersmart.req [deleted file]
localconfig/iotpolicy/GreenLawn/lawnsmart.req [deleted file]
localconfig/iotpolicy/GreenLawn/smartlawn.req [new file with mode: 0644]
localconfig/iotpolicy/SpruceSensor/moisturesensorcallback.pol [new file with mode: 0644]
localconfig/iotpolicy/SpruceSensor/moisturesensorcallback.req [new file with mode: 0644]
localconfig/iotpolicy/SpruceSensor/sensorcallback.pol [deleted file]
localconfig/iotpolicy/SpruceSensor/sensorcallback.req [deleted file]
localconfig/iotpolicy/SpruceSensor/sensorsmart.req [deleted file]
localconfig/iotpolicy/SpruceSensor/smartsensor.req [new file with mode: 0644]
localconfig/iotpolicy/WeatherPhoneGateway/smartweathergateway.req [new file with mode: 0644]
localconfig/iotpolicy/WeatherPhoneGateway/smartweathergatewaycallback.req [new file with mode: 0644]
localconfig/iotpolicy/WeatherPhoneGateway/weathergatewaycallback.req [deleted file]
localconfig/iotpolicy/WeatherPhoneGateway/weathergatewaysmart.req [deleted file]