changed toString so method context's produce unique names and therefore write unique...
authorjjenista <jjenista>
Mon, 9 Mar 2009 18:00:59 +0000 (18:00 +0000)
committerjjenista <jjenista>
Mon, 9 Mar 2009 18:00:59 +0000 (18:00 +0000)
commitb4e1ec64241ecf64533403ef1e2a32bcd0a5dfff
tree16c169d4d99794aad83f94a9a3b38fc4b2f2d651
parent3c3146de15579c7aca8052efba595d2b9f826754
changed toString so method context's produce unique names and therefore write unique DOT graphs during output after analysis
Robust/src/Analysis/OwnershipAnalysis/MethodContext.java