projects
/
IRC.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
method call first draft almost finished. Need to go back and make sure shadow nodes...
[IRC.git]
/
Robust
/
src
/
Analysis
/
OwnershipAnalysis
/
OwnershipAnalysis.java
diff --git
a/Robust/src/Analysis/OwnershipAnalysis/OwnershipAnalysis.java
b/Robust/src/Analysis/OwnershipAnalysis/OwnershipAnalysis.java
index 4e7be31b37d06af9c53dbe3503a59e85dda3fe0f..37457ecba58c89ecb79a06de44258796a5517c87 100644
(file)
--- a/
Robust/src/Analysis/OwnershipAnalysis/OwnershipAnalysis.java
+++ b/
Robust/src/Analysis/OwnershipAnalysis/OwnershipAnalysis.java
@@
-166,7
+166,9
@@
public class OwnershipAnalysis {
// ownership graph with an object in another
// graph that logically represents the same
// heap region
// ownership graph with an object in another
// graph that logically represents the same
// heap region
- static private int uniqueIDcount = 0;
+ // start at 10 and incerement to leave some
+ // reserved IDs for special purposes
+ static private int uniqueIDcount = 10;
// Use these data structures to track progress of
// Use these data structures to track progress of