Preparing Makefiles, stub, skeleton, config files, etc. for porting LifxLightBulb...
authorrtrimana <rtrimana@uci.edu>
Mon, 12 Dec 2016 19:46:59 +0000 (11:46 -0800)
committerrtrimana <rtrimana@uci.edu>
Mon, 12 Dec 2016 19:46:59 +0000 (11:46 -0800)
commitaeebaa13676fe92404f364e5f747766a9c2c4e6c
treec20fd97a51981eb85c39d6cba958184ed843a763
parent9192c68e9a6aa5a8845b20d9f74c0a8517e4341f
Preparing Makefiles, stub, skeleton, config files, etc. for porting LifxLightBulb and Lifxtest
129 files changed:
benchmarks/Lifxtest/Lifxtest.config [new file with mode: 0644]
benchmarks/Lifxtest/Lifxtest.java [new file with mode: 0644]
benchmarks/Lifxtest/LightBulbTest_Stub.java [new file with mode: 0644]
benchmarks/Lifxtest/Makefile [new file with mode: 0755]
benchmarks/Makefile
benchmarks/annotation/config.java [new file with mode: 0644]
benchmarks/annotation/constraint.java [new file with mode: 0644]
benchmarks/drivers/LifxLightBulb/LifxLightBulb.java
benchmarks/drivers/LifxLightBulb/LightBulb_Skeleton.java [new file with mode: 0644]
benchmarks/drivers/Makefile [new file with mode: 0644]
benchmarks/interfaces/LightBulb.java [new file with mode: 0644]
benchmarks/interfaces/LightBulbTest.java [new file with mode: 0644]
benchmarks/interfaces/Makefile [new file with mode: 0755]
benchmarks/original_interfaces/Camera.java [new file with mode: 0644]
benchmarks/original_interfaces/CameraCallback.java [new file with mode: 0644]
benchmarks/original_interfaces/GPSGateway.java [new file with mode: 0644]
benchmarks/original_interfaces/GPSGatewayCallback.java [new file with mode: 0644]
benchmarks/original_interfaces/LEDFlasher.java [new file with mode: 0644]
benchmarks/original_interfaces/Lawn.java [new file with mode: 0644]
benchmarks/original_interfaces/LightBulb.java [new file with mode: 0644]
benchmarks/original_interfaces/Makefile [new file with mode: 0755]
benchmarks/original_interfaces/MoistureSensor.java [new file with mode: 0644]
benchmarks/original_interfaces/MoistureSensorCallback.java [new file with mode: 0644]
benchmarks/original_interfaces/Room.java [new file with mode: 0644]
benchmarks/original_interfaces/Speaker.java [new file with mode: 0644]
benchmarks/original_interfaces/SpeakerCallback.java [new file with mode: 0644]
benchmarks/original_interfaces/Sprinkler.java [new file with mode: 0644]
benchmarks/original_interfaces/WeatherGateway.java [new file with mode: 0644]
benchmarks/original_interfaces/WeatherGatewayCallback.java [new file with mode: 0644]
benchmarks/original_interfaces/ZoneState.java [new file with mode: 0644]
config/iotpolicy/callbackpolicy.pol [deleted file]
config/iotpolicy/callbackrequires.pol [deleted file]
config/iotpolicy/camerapolicy.pol [deleted file]
config/iotpolicy/camerarequires.pol [deleted file]
config/iotpolicy/enum.pol [deleted file]
config/iotpolicy/lightbulbpolicy.pol [deleted file]
config/iotpolicy/lightbulbrequires.pol [deleted file]
config/iotpolicy/struct.pol [deleted file]
config/iotpolicy/testclasspolicy.pol [deleted file]
config/iotpolicy/testclasspolicy_advanced.pol [deleted file]
config/iotpolicy/testclassrequires.pol [deleted file]
config/iotpolicy/testclassrequires_advanced.pol [deleted file]
iotjava/Makefile
iotjava/gmon.out [new file with mode: 0644]
iotjava/iotpolicy/IoTCompiler.java
iotjava/iotruntime/brillo/IoTBrilloWeave.java [deleted file]
iotjava/iotruntime/brillo/IoTBrilloWeaveCloudConnection.java [deleted file]
iotjava/iotruntime/brillo/IoTBrilloWeaveCodeGenerator.java [deleted file]
iotjava/iotruntime/brillo/credentials_cache.json [deleted file]
iotjava/iotruntime/master/ClassRuntimeInstrumenterMaster.java
jars/asm-all-5.0.3.jar [new file with mode: 0644]
jars/checker.jar [new file with mode: 0644]
jars/java-json.jar [new file with mode: 0644]
jars/javac.jar [new file with mode: 0644]
jars/mysql.jar [new file with mode: 0644]
jars/zip4j_1.3.2.jar [new file with mode: 0644]
localconfig/iotinstaller/Comm_Lawn_Camera.config [new file with mode: 0644]
localconfig/iotinstaller/Comm_Lawn_Moisture.config [new file with mode: 0644]
localconfig/iotinstaller/Comm_Lawn_Sprinkler.config [new file with mode: 0644]
localconfig/iotinstaller/Comm_Room_Camera.config [new file with mode: 0644]
localconfig/iotinstaller/Comm_Room_LightBulb.config [new file with mode: 0644]
localconfig/iotinstaller/Comm_Room_Speaker.config [new file with mode: 0644]
localconfig/iotinstaller/Install_Addresses.config [new file with mode: 0644]
localconfig/iotinstaller/Install_AmcrestCamera.config [new file with mode: 0644]
localconfig/iotinstaller/Install_AudioRoom.config [new file with mode: 0644]
localconfig/iotinstaller/Install_Brillo_LEDFlasher.config [new file with mode: 0644]
localconfig/iotinstaller/Install_DeviceAddresses.config [new file with mode: 0644]
localconfig/iotinstaller/Install_DeviceAddresses_Wildcard.config [new file with mode: 0644]
localconfig/iotinstaller/Install_Host.config [new file with mode: 0644]
localconfig/iotinstaller/Install_Lawn.config [new file with mode: 0644]
localconfig/iotinstaller/Install_LightBulb.config [new file with mode: 0644]
localconfig/iotinstaller/Install_PhoneGateway_Empty_Constructor.config [new file with mode: 0644]
localconfig/iotinstaller/Install_Room_Empty_Constructor.config [new file with mode: 0644]
localconfig/iotinstaller/Install_Speaker_Empty_Constructor.config [new file with mode: 0644]
localconfig/iotinstaller/Install_Sprinkler.config [new file with mode: 0644]
localconfig/iotinstaller/Install_SpruceSensor.config [new file with mode: 0644]
localconfig/iotinstaller/Install_ZigbeeAddresses.config [new file with mode: 0644]
localconfig/iotpolicy/LifxLightBulb/lifxlightbulb.pol [new file with mode: 0644]
localconfig/iotpolicy/LifxLightBulb/lifxtest.req [new file with mode: 0644]
localconfig/iotpolicy/development/callbackpolicy.pol [new file with mode: 0644]
localconfig/iotpolicy/development/callbackrequires.pol [new file with mode: 0644]
localconfig/iotpolicy/development/camerapolicy.pol [new file with mode: 0644]
localconfig/iotpolicy/development/camerarequires.pol [new file with mode: 0644]
localconfig/iotpolicy/development/enum.pol [new file with mode: 0644]
localconfig/iotpolicy/development/lightbulbpolicy.pol [new file with mode: 0644]
localconfig/iotpolicy/development/lightbulbrequires.pol [new file with mode: 0644]
localconfig/iotpolicy/development/struct.pol [new file with mode: 0644]
localconfig/iotpolicy/development/testclasspolicy.pol [new file with mode: 0644]
localconfig/iotpolicy/development/testclasspolicy_advanced.pol [new file with mode: 0644]
localconfig/iotpolicy/development/testclassrequires.pol [new file with mode: 0644]
localconfig/iotpolicy/development/testclassrequires_advanced.pol [new file with mode: 0644]
localconfig/iotruntime/IoTMaster.config [new file with mode: 0644]
localconfig/iotruntime/IoTSlave.config [new file with mode: 0644]
localconfig/iotruntime/MySQLInterface.config [new file with mode: 0644]
localconfig/mysql/AcmeProximity_query_results [new file with mode: 0644]
localconfig/mysql/AcmeVentControl_query_results [new file with mode: 0644]
localconfig/mysql/GoogleAPIsAddress.config [new file with mode: 0644]
localconfig/mysql/GoogleAccountAddress.config [new file with mode: 0644]
localconfig/mysql/audioRooms.config [new file with mode: 0644]
localconfig/mysql/blossomSprAddressSet.config [new file with mode: 0644]
localconfig/mysql/cam_addresses.config [new file with mode: 0644]
localconfig/mysql/cameraSet.config [new file with mode: 0644]
localconfig/mysql/cameras.config [new file with mode: 0644]
localconfig/mysql/devUdpAddress.config [new file with mode: 0644]
localconfig/mysql/devZigbeeAddress.config [new file with mode: 0644]
localconfig/mysql/gpsSet.config [new file with mode: 0644]
localconfig/mysql/gps_address.config [new file with mode: 0644]
localconfig/mysql/gwSet.config [new file with mode: 0644]
localconfig/mysql/lawnCameraRelation.config [new file with mode: 0644]
localconfig/mysql/lawnMoistureSensorRelation.config [new file with mode: 0644]
localconfig/mysql/lawnSet.config [new file with mode: 0644]
localconfig/mysql/lawnSprinklerRelation.config [new file with mode: 0644]
localconfig/mysql/lb_addresses.config [new file with mode: 0644]
localconfig/mysql/led_flasher.config [new file with mode: 0644]
localconfig/mysql/lifx_light_bulb.config [new file with mode: 0644]
localconfig/mysql/light_bulbs.config [new file with mode: 0644]
localconfig/mysql/localAddressSet.config [new file with mode: 0644]
localconfig/mysql/mainRoomLightBulbs.config [new file with mode: 0644]
localconfig/mysql/moistureSensorsSet.config [new file with mode: 0644]
localconfig/mysql/ph_address.config [new file with mode: 0644]
localconfig/mysql/roomCameraRel.config [new file with mode: 0644]
localconfig/mysql/roomMainBulbRel.config [new file with mode: 0644]
localconfig/mysql/roomSpeakerRel.config [new file with mode: 0644]
localconfig/mysql/rooms.config [new file with mode: 0644]
localconfig/mysql/speakerAddresses.config [new file with mode: 0644]
localconfig/mysql/speakerSet.config [new file with mode: 0644]
localconfig/mysql/spr_Addresses.config [new file with mode: 0644]
localconfig/mysql/weatherDataAddressMain.config [new file with mode: 0644]
localconfig/mysql/weatherDataAddresses.config [new file with mode: 0644]