add destructors
authorPeizhao Ou <peizhaoo@uci.edu>
Fri, 26 Feb 2016 01:27:41 +0000 (17:27 -0800)
committerPeizhao Ou <peizhaoo@uci.edu>
Fri, 26 Feb 2016 01:27:41 +0000 (17:27 -0800)
commit3f2abaf79b5d1cb74a405eb6a8c4f0471e41daa6
tree33e9b3ac32f95b54f61a5bc5361964a96f262567
parentab66367c9abeae3f68837ad1f48a11a54e4a55bf
add destructors
src/edu/uci/eecs/codeGenerator/CodeGenerator.java
src/edu/uci/eecs/codeGenerator/CodeGeneratorUtils.java
src/edu/uci/eecs/codeGenerator/Environment.java
src/edu/uci/eecs/specExtraction/GlobalConstruct.java
src/edu/uci/eecs/specExtraction/InterfaceConstruct.java
src/edu/uci/eecs/specExtraction/SpecNaming.java