From 0325a0756421cd8608edf2ea3d6d25eca9fadad8 Mon Sep 17 00:00:00 2001
From: bdemsky <bdemsky>
Date: Mon, 29 Jun 2009 10:19:35 +0000
Subject: [PATCH] add new method to return positive integers only

---
 Robust/src/Benchmarks/SingleTM/common/Random.java | 8 ++++++++
 1 file changed, 8 insertions(+)

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;
-- 
2.34.1