BuildCode.java: removes (1) the calls to build a traverser thread (2) the calls to...
authoryeom <yeom>
Sat, 13 Nov 2010 06:11:43 +0000 (06:11 +0000)
committeryeom <yeom>
Sat, 13 Nov 2010 06:11:43 +0000 (06:11 +0000)
commitff0c37092456be2f3b523818d4ec1d2b285c3762
tree56a734c03bc069d007f2cd21abe9618a0410a538
parente600b4eb22e7d27d5211c427d39d39ef5eeae8a0
BuildCode.java: removes (1) the calls to build a traverser thread (2) the calls to enqueueTR when SESE only has empty traversers.

FlatSESEEnterNode.java CallGraph.java, RblockRelationAnalysis.java: maintains additional DS having a set of SESE that is the first reachable SESE from the current SESE through transitive method invocations

RuntimeConflictResolver.java : add helper function that checks if the given SESE only has empty traversers.
Robust/src/Analysis/CallGraph/CallGraph.java
Robust/src/Analysis/OoOJava/RBlockRelationAnalysis.java
Robust/src/IR/Flat/BuildCode.java
Robust/src/IR/Flat/FlatSESEEnterNode.java
Robust/src/IR/Flat/RuntimeConflictResolver.java