changes: fixes the case that a shared location appears in the middle of a composite...
authoryeom <yeom>
Tue, 23 Oct 2012 06:59:30 +0000 (06:59 +0000)
committeryeom <yeom>
Tue, 23 Oct 2012 06:59:30 +0000 (06:59 +0000)
commite7c8e9210252cff4bae7cb0551182bd179fa98a2
treebf6b39b54c0f84541ba1ccfe98ab8fd40a6c8087
parent2dcc891b7dfc2a791c10b820da51755813adefd7
changes: fixes the case that a shared location appears in the middle of a composite location.
Robust/src/Analysis/SSJava/FlowDownCheck.java
Robust/src/Analysis/SSJava/FlowGraph.java
Robust/src/Analysis/SSJava/LocationInference.java
Robust/src/Analysis/SSJava/NodeTupleSet.java