projects / iot2.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: c1acdb6) | patch
Fixing program structure; now accepting multiple policy files; cross-checking referen...
authorrtrimana <rtrimana@uci.edu>
Fri, 30 Sep 2016 22:40:26 +0000 (15:40 -0700)
committerrtrimana <rtrimana@uci.edu>
Fri, 30 Sep 2016 22:40:26 +0000 (15:40 -0700)
commit077106e62391686836096f2bd04145fe64af80ac
tree744352461cf623a4ad06bf88ecc8278a97c70797tree | snapshot
parentc1acdb6dc012d494f1ad6da4d0fc79aae164da67commit | diff
Fixing program structure; now accepting multiple policy files; cross-checking references in multiple policy files for USERDEFINED types to generate type-checked input parameters; better command line input
config/iotpolicy/camerapolicy.pol diff | blob | history
iotjava/Makefile diff | blob | history
iotjava/iotpolicy/IoTCompiler.java diff | blob | history
iotjava/iotpolicy/tree/CapabilityDecl.java diff | blob | history
iotjava/iotpolicy/tree/InterfaceDecl.java diff | blob | history
iotjava/iotpolicy/tree/RequiresDecl.java diff | blob | history
The source code and documentation of Vigilia