From: jjenista <jjenista>
Date: Fri, 28 Mar 2008 17:57:21 +0000 (+0000)
Subject: Retain properties of edges that are mapped from callee to a caller graph.
X-Git-Tag: preEdgeChange~185
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=ee7ff1810dbe2afd25cbefe05540451cb237267f;p=IRC.git

Retain properties of edges that are mapped from callee to a caller graph.
---

diff --git a/Robust/src/Analysis/OwnershipAnalysis/OwnershipGraph.java b/Robust/src/Analysis/OwnershipAnalysis/OwnershipGraph.java
index a39a1129..fc5cb76a 100644
--- a/Robust/src/Analysis/OwnershipAnalysis/OwnershipGraph.java
+++ b/Robust/src/Analysis/OwnershipAnalysis/OwnershipGraph.java
@@ -548,8 +548,7 @@ public class OwnershipGraph {
 			while( dstItr.hasNext() ) {
 			    HeapRegionNode dst = (HeapRegionNode) dstItr.next();
 
-			    ReferenceEdgeProperties rep = new ReferenceEdgeProperties();
-			    addReferenceEdge( src, dst, rep );
+			    addReferenceEdge( src, dst, repC.copy() );
 			}
 		    }
 		}