remove more unused code
[fleet.git] / src / edu / berkeley / fleet / marina / MarinaTest.java
index 44587df..23e48ef 100644 (file)
@@ -352,14 +352,13 @@ public class MarinaTest {
         return ans;
     }
     private void stopToStop(ProperStopper s1, ProperStopper s2, 
-                            Counter ctr,
                             List<BitVector> din) {
         prln("Begin stopToStop");
         adjustIndent(2);
         
         s1.stop();
         
-        long ctrStart = ctr==null ? 0 : ctr.getCount();
+        long ctrStart = 0;
         
         s1.fillMany(din);
         waitUntilQuiescent();
@@ -368,15 +367,6 @@ public class MarinaTest {
         
         MarinaUtils.compareItemsOrdered(din, dout);
         
-        if (ctr!=null) {
-            long ctrEnd = ctr.getCount();
-            long delta = ctrEnd - ctrStart;
-            long expect = din.size();
-            fatal(delta!=expect, 
-                  "counter delta wrong: expected delta: "+expect+
-                  " counter before:"+ctrStart+" counter after:"+ctrEnd);
-        }
-        
         adjustIndent(-2);
         prln("End stopToStop");
     }
@@ -384,7 +374,6 @@ public class MarinaTest {
      * is then run to allow the burst to flow. */
     private void stopToStopBurst(ProperStopper src, ProperStopper gate, 
                                  ProperStopper dst,
-                                 Counter ctr,
                                  List<BitVector> din) {
         prln("Begin stopToStopBurst test");
         adjustIndent(2);
@@ -392,7 +381,7 @@ public class MarinaTest {
         src.stop();
         gate.stop();
                 
-        long ctrStart = ctr==null ? 0 : ctr.getCount();
+        long ctrStart = 0;
                 
         src.fillMany(din);
         waitUntilQuiescent();
@@ -405,39 +394,29 @@ public class MarinaTest {
                 
         MarinaUtils.compareItemsOrdered(din, dout);
                 
-        if (ctr!=null) {
-            long ctrEnd = ctr.getCount();
-            long delta = ctrEnd - ctrStart;
-                
-            long expectA = din.size();
-            fatal(delta!=expectA, 
-                  "counter delta wrong: expected delta: "+expectA+
-                  " counter before:"+ctrStart+" counter after:"+ctrEnd);
-        }
-                
         adjustIndent(-2);
         prln("End stopToStopBurst test");
     }
 
     private void stopToStopOne(ProperStopper s1, ProperStopper s2, 
-                               Counter ctr, int adr) {
+                               int adr) {
         prln("Begin stopToStopOne");
         adjustIndent(2);
         
         List<BitVector> din = makeIncrDataConstAdr(1, adr);
-        stopToStop(s1, s2, ctr, din);
+        stopToStop(s1, s2, din);
 
         adjustIndent(-2);
         prln("End stopToStopOne");
     }
     
     private void stopToStopThree(ProperStopper s1, ProperStopper s2, 
-                                 Counter ctr, int adr) {
+                                 int adr) {
         prln("Begin stopToStopOne");
         adjustIndent(2);
         
         List<BitVector> din = makeIncrDataConstAdr(3, adr);
-        stopToStop(s1, s2, ctr, din);
+        stopToStop(s1, s2, din);
 
         adjustIndent(-2);
         prln("End stopToStopOne");