Token propagation for normal assignments fixed. Tokens do not "age" with

[IRC.git] / Robust / src / Analysis / OwnershipAnalysis / OwnershipGraph.java

diff --git a/Robust/src/Analysis/OwnershipAnalysis/OwnershipGraph.java b/Robust/src/Analysis/OwnershipAnalysis/OwnershipGraph.java
index ab25e11a0ea8a44505975deb763f10a2c6b9a4e6..a7a65cd016d70a45c3e1f88da000bc53c783e796 100644 (file)
--- a/Robust/src/Analysis/OwnershipAnalysis/OwnershipGraph.java
+++ b/Robust/src/Analysis/OwnershipAnalysis/OwnershipGraph.java
@@ -357,9 +357,10 @@ public class OwnershipGraph {
                ReferenceEdgeProperties rep2 = (ReferenceEdgeProperties) meH.getValue();
                ReachabilitySet beta2        = rep2.getBeta();
 
-               ReferenceEdgeProperties rep = rep2.copy();
-               rep.setIsInitialParamReflexive( false );
-               rep.setBeta( beta1.intersection( beta2 ) );
+               ReferenceEdgeProperties rep = 
+                   new ReferenceEdgeProperties( false,
+                                                false,
+                                                beta1.intersection( beta2 ) );
 
                addReferenceEdge( dstln, hrnOneHop, rep );
            }
@@ -399,18 +400,27 @@ public class OwnershipGraph {
                
                ReachabilitySet O = srcln.getReferenceTo( hrnSrc ).getBeta();
 
+               ReferenceEdgeProperties repNew 
+                   = new ReferenceEdgeProperties( false, false, repSrc.getBeta() );
+
+               addReferenceEdge( hrn, hrnSrc, repNew );
+
+
+
                ChangeTupleSet Cy = O.unionUpArityToChangeSet( R );
-               ChangeTupleSet Cx = R.unionUpArityToChangeSet( O );
+               //ChangeTupleSet Cx = R.unionUpArityToChangeSet( O );
 
                propagateTokens( hrnSrc, Cy, nodesWithNewAlpha, edgesWithNewBeta );
-               propagateTokens( hrn,    Cx, nodesWithNewAlpha, edgesWithNewBeta );
+               //propagateTokens( hrn,    Cx, nodesWithNewAlpha, edgesWithNewBeta );
 
+               /*
                // note that this picks up the beta after the propogation has
                // been applied
                ReferenceEdgeProperties repNew 
                    = new ReferenceEdgeProperties( false, false, repSrc.getBetaNew() );
 
                addReferenceEdge( hrn, hrnSrc, repNew );
+               */
            }
        }       
 
@@ -691,6 +701,7 @@ public class OwnershipGraph {
        clearReferenceEdgesFrom( hrn0 );
        clearReferenceEdgesTo  ( hrn0 );
 
+       /*
        // now tokens in reachability sets need to "age" as well
        ReferenceEdgeProperties repToAge = null;
        Iterator itrAllLabelNodes = td2ln.entrySet().iterator();
@@ -722,7 +733,9 @@ public class OwnershipGraph {
 
                ageTokens( as, repToAge );
            }
-       }               
+       }
+       */
+       
     }
 
     protected void ageTokens( AllocationSite as, ReferenceEdgeProperties rep ) {