Be able to get def reach state out at a given program point
authorjjenista <jjenista>
Thu, 22 Sep 2011 23:47:25 +0000 (23:47 +0000)
committerjjenista <jjenista>
Thu, 22 Sep 2011 23:47:25 +0000 (23:47 +0000)
commit5c23611794e22e727ea0d74b0ce5e2d619d95671
tree8c018a4dc9a90974e62939c4d84cd3932fec4a86
parentb7dc33f2a7bab8b7fcb28d02320be8162f0a6694
Be able to get def reach state out at a given program point
17 files changed:
Robust/src/Analysis/Disjoint/DefiniteReachAnalysis.java
Robust/src/Analysis/Disjoint/DefiniteReachState.java
Robust/src/Analysis/Disjoint/DisjointAnalysis.java
Robust/src/Analysis/Disjoint/PointerMethod.java
Robust/src/Analysis/Loops/DeadCode.java
Robust/src/IR/Flat/BuildCode.java
Robust/src/IR/Flat/BuildFlat.java
Robust/src/IR/Flat/FKind.java
Robust/src/IR/Flat/FlatGenDefReachNode.java [new file with mode: 0644]
Robust/src/IR/Tree/BuildIR.java
Robust/src/IR/Tree/GenDefReachNode.java [new file with mode: 0644]
Robust/src/IR/Tree/Kind.java
Robust/src/IR/Tree/SemanticCheck.java
Robust/src/Lex/Keyword.java
Robust/src/Lex/Lexer.java
Robust/src/Parse/java14.cup
Robust/src/Tests/disjoint/definite/test.java