Adding Java Checker Framework checker option in the makefiles; basically this is...
authorrtrimana <rtrimana@uci.edu>
Wed, 8 Feb 2017 00:59:32 +0000 (16:59 -0800)
committerrtrimana <rtrimana@uci.edu>
Wed, 8 Feb 2017 00:59:32 +0000 (16:59 -0800)
commit08e4b02efbc308e23544c2562273a826c83e9d4e
treebd15bfe24c8bc4c663a8f099d3506ba73848d66a
parenta99d50d868530e84939490bae959dccfbd4416c0
Adding Java Checker Framework checker option in the makefiles; basically this is just to check and flag error when there is java.net/java.lang.reflect usage in user's code
benchmarks/Java/HomeSecurityController/Makefile
benchmarks/Java/IrrigationController/Makefile
benchmarks/Java/Lifxtest/Makefile
benchmarks/Java/SmartLightsController/Makefile
benchmarks/Java/SpeakerController/Makefile
benchmarks/drivers/Java/Makefile