From: bdemsky <bdemsky>
Date: Mon, 23 Mar 2009 18:17:03 +0000 (+0000)
Subject: evil hack...need to fix arity scheme to match paper and remove this
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=5d3d71db37d45ab0bcaab45dd582bdf05e8d50d1;p=IRC.git

evil hack...need to fix arity scheme to match paper and remove this
---

diff --git a/Robust/src/Analysis/OwnershipAnalysis/TokenTuple.java b/Robust/src/Analysis/OwnershipAnalysis/TokenTuple.java
index 84c2c26e..6b30e1ba 100644
--- a/Robust/src/Analysis/OwnershipAnalysis/TokenTuple.java
+++ b/Robust/src/Analysis/OwnershipAnalysis/TokenTuple.java
@@ -28,6 +28,7 @@ public class TokenTuple extends Canonical {
     token         = hrn.getID();
     isMultiObject = !hrn.isSingleObject();
     arity         = ARITY_ONE;
+    fixStuff();
   }
 
   public TokenTuple(Integer token,
@@ -38,6 +39,13 @@ public class TokenTuple extends Canonical {
     this.token         = token;
     this.isMultiObject = isMultiObject;
     this.arity         = arity;
+    fixStuff();
+  }
+
+  private void fixStuff() {
+    if (!isMultiObject) {
+	arity=ARITY_ONE;
+    }
   }