changes on the loop termination analysis: associate a labeled statement with a corres...
authoryeom <yeom>
Fri, 19 Aug 2011 02:30:46 +0000 (02:30 +0000)
committeryeom <yeom>
Fri, 19 Aug 2011 02:30:46 +0000 (02:30 +0000)
commite23c316baea2eaf8fed44a761cecaefbcb9a7a36
tree6bf8ab74c352b51df538e21e9feef570e8c16936
parent2c4882eb5bb49314d697c83cfe3a5b5f68e9a29f
changes on the loop termination analysis: associate a labeled statement with a corresponding LoopNode rather than attaching it to a BlockNode. this is interim implementation until we have branching statements.
Robust/src/Analysis/Loops/LoopTerminate.java
Robust/src/Analysis/SSJava/MethodAnnotationCheck.java
Robust/src/Analysis/SSJava/SSJavaAnalysis.java
Robust/src/IR/Flat/BuildFlat.java
Robust/src/IR/Tree/BlockNode.java
Robust/src/IR/Tree/BuildIR.java
Robust/src/IR/Tree/LoopNode.java