From: bdemsky <bdemsky>
Date: Mon, 29 Jun 2009 10:19:35 +0000 (+0000)
Subject: add new method to return positive integers only
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=0325a0756421cd8608edf2ea3d6d25eca9fadad8;p=IRC.git

add new method to return positive integers only
---

diff --git a/Robust/src/Benchmarks/SingleTM/common/Random.java b/Robust/src/Benchmarks/SingleTM/common/Random.java
index ab46bf13..611592b2 100644
--- a/Robust/src/Benchmarks/SingleTM/common/Random.java
+++ b/Robust/src/Benchmarks/SingleTM/common/Random.java
@@ -52,6 +52,14 @@ public class Random {
     return genrand_int32();
   }
 
+  public int posrandom_generate() {
+    int r=genrand_int32();
+    if (r>0)
+      return r;
+    else 
+      return -r;
+  }
+
   public int genrand_int32() {
     int y;
     int mti = this.mti;