From 3525e9f547ecfd8281ab53f3c9ff8cb373771465 Mon Sep 17 00:00:00 2001 From: adash Date: Tue, 16 Jun 2009 00:13:08 +0000 Subject: [PATCH] forgot a file --- Robust/src/Benchmarks/SingleTM/Bayes/Queue.java | 12 ------------ 1 file changed, 12 deletions(-) diff --git a/Robust/src/Benchmarks/SingleTM/Bayes/Queue.java b/Robust/src/Benchmarks/SingleTM/Bayes/Queue.java index a6b816a4..d67fcd02 100644 --- a/Robust/src/Benchmarks/SingleTM/Bayes/Queue.java +++ b/Robust/src/Benchmarks/SingleTM/Bayes/Queue.java @@ -167,10 +167,6 @@ public class Queue { public boolean queue_isEmpty () { - //int pop = queuePtr.pop; - //int push = queuePtr.push; - //int capacity = queuePtr.capacity; - return (((pop + 1) % capacity == push) ? true : false); } @@ -274,7 +270,6 @@ public class Queue { } } - //elements = null; elements = newElements; pop = newCapacity - 1; capacity = newCapacity; @@ -412,20 +407,13 @@ public class Queue { * ============================================================================= */ public int - //queue_pop (Queue queuePtr) queue_pop () { - //int pop = queuePtr.pop; - //int push = queuePtr.push; - //int capacity = queuePtr.capacity; - int newPop = (pop + 1) % capacity; if (newPop == push) { return 0; } - //int dataPtr = queuePtr.elements[newPop]; - //queuePtr.pop = newPop; int dataPtr = elements[newPop]; pop = newPop; -- 2.34.1