Changes:
authorbdemsky <bdemsky>
Mon, 21 May 2007 02:36:50 +0000 (02:36 +0000)
committerbdemsky <bdemsky>
Mon, 21 May 2007 02:36:50 +0000 (02:36 +0000)
commit797b76645a04a6bd4d51c2846612657054d0c73e
tree949cbdda45e35a927d63ea0f344030ee760ff967
parent948d94811000033c44a3ee0393ea8d152e72dd91
Changes:
(1) create tag analysis that determines which objects a given task can create
(2) change makefile to build all current classes so partial makes should work
(3) fix bugs in call graph
(4) support passing tags into methods
(5) support creating objects with tags inside of methods
(6) fix other bugs
25 files changed:
Robust/src/Analysis/CallGraph/CallGraph.java
Robust/src/Analysis/TaskStateAnalysis/FlagState.java
Robust/src/Analysis/TaskStateAnalysis/TagAnalysis.java [new file with mode: 0644]
Robust/src/Analysis/TaskStateAnalysis/TagBinding.java [new file with mode: 0644]
Robust/src/Analysis/TaskStateAnalysis/TaskAnalysis.java
Robust/src/Benchmarks/ChatTag/ChatServer.java
Robust/src/ClassLibrary/ServerSocket.java
Robust/src/IR/Flat/BuildCode.java
Robust/src/IR/Flat/BuildFlat.java
Robust/src/IR/Flat/FKind.java
Robust/src/IR/Flat/FlatFlagActionNode.java
Robust/src/IR/Flat/FlatMethod.java
Robust/src/IR/Flat/TempDescriptor.java
Robust/src/IR/Flat/TempTagPair.java
Robust/src/IR/MethodDescriptor.java
Robust/src/IR/TagVarDescriptor.java
Robust/src/IR/Tree/BuildIR.java
Robust/src/IR/Tree/NameNode.java
Robust/src/IR/Tree/SemanticCheck.java
Robust/src/IR/Tree/TagDeclarationNode.java
Robust/src/IR/TypeDescriptor.java
Robust/src/IR/TypeUtil.java
Robust/src/Main/Main.java
Robust/src/Makefile
Robust/src/Parse/java14.cup