extends the location hierarchy definition grammar.
authoryeom <yeom>
Wed, 27 Apr 2011 21:30:06 +0000 (21:30 +0000)
committeryeom <yeom>
Wed, 27 Apr 2011 21:30:06 +0000 (21:30 +0000)
commitfc2e10671ff26bec674f697d45d70465b2bfe820
tree6b723777a55c7d3d79869aa9a4b8e8d4fecb0b05
parentbdc086e2ec7fcc674a604906627b52e16fba7eb3
extends the location hierarchy definition grammar.
while working on annotating ssjava class library, realize the need to have a way to keep only one location(with top and bottom) in the local hierarchy.
Robust/src/IR/Tree/BuildIR.java
Robust/src/Parse/java14.cup
Robust/src/Util/Lattice.java