having a location namespace. location names appeared in field lattice declaration...
authoryeom <yeom>
Wed, 1 Jun 2011 01:26:29 +0000 (01:26 +0000)
committeryeom <yeom>
Wed, 1 Jun 2011 01:26:29 +0000 (01:26 +0000)
commit100445a0803f91bd20b9e490755a75ec8fb35365
tree07fea842ff75f998f7d12eb9bedde11af1cce861
parent52d846e6280d4eb8c4740165f6e4513cbf9d7481
having a location namespace. location names appeared in field lattice declaration are only valid within the declaration annotation. therefore a field location, which is an element of a composite location, will be specified by 'className.FieldLocation'. assuming that classname is unique right now but probably better to have a way to set each lattice with unique name.
Robust/src/Analysis/SSJava/FlowDownCheck.java
Robust/src/Analysis/SSJava/MethodLattice.java
Robust/src/Tests/ssJava/flowdown/test.java