When performing the operations:
authorjjenista <jjenista>
Fri, 28 Mar 2008 17:50:13 +0000 (17:50 +0000)
committerjjenista <jjenista>
Fri, 28 Mar 2008 17:50:13 +0000 (17:50 +0000)
commitb3687e2432be33a5d592459f44beec98d1908f35
tree936a45b7b336d38ab142dada07ea09511f166a39
parentf7c64d166f69db2ad9ccdfd1e843c128e543e6e3
When performing the operations:
  assignTempToTemp
  assignTempToField
  assignFieldToTemp
the newly created reference edge was copying the properties of the
edges from labels (or other heap regions) that led to the src, dst
pair.  It creates bugs like when creating a reference from one
parameter's heap region to another, it would copy the special
"initial parameter reflexive edge" property to what is otherwise a
normal edge.  All new edges using these three basic assignment
operations are now created with no special properties.  In other
words, the context of the new edge alone should determine its
properties.
Robust/src/Analysis/OwnershipAnalysis/OwnershipGraph.java