X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=Robust%2Fsrc%2FBenchmarks%2FSSJava%2FMP3DecoderInfer%2FPlayer.java;h=236fd3e66ad97d406b76583bb42ebe3439645dc5;hb=16c9b68be88b7753b0b2a8b5766983ce06d0c2ad;hp=c7ef1c0f4310310a6df6c158b0cf1b68891da0ba;hpb=fb05874138a200322015a06ddd9818a5bdd32f67;p=IRC.git

diff --git a/Robust/src/Benchmarks/SSJava/MP3DecoderInfer/Player.java b/Robust/src/Benchmarks/SSJava/MP3DecoderInfer/Player.java
index c7ef1c0f..236fd3e6 100644
--- a/Robust/src/Benchmarks/SSJava/MP3DecoderInfer/Player.java
+++ b/Robust/src/Benchmarks/SSJava/MP3DecoderInfer/Player.java
@@ -120,26 +120,41 @@ public class Player {
     sampleNumber = 1;
     System.out.println("Gobble sentinel: +++");
 
+    ret=play2(h);
     // int count = 0;
+//    SSJAVA: while (true) {
+//      if (h == null) {
+//        break;
+//      }
+//      ret = decodeFrame(init, h);
+//      if (!ret) {
+//        break;
+//      }
+//      h = BitstreamWrapper.readFrame();
+//    }
+
+    /*
+     * if (!ret) { // last frame, ensure all data flushed to the audio device.
+     * AudioDevice out = audio; if (out!=null) { out.flush(); synchronized
+     * (this) { complete = (!closed); close(); } } }
+     */
+    return ret;
+  }
+
+  public boolean play2( Header h){
+    boolean ret;
     SSJAVA: while (true) {
       if (h == null) {
         break;
       }
-      ret = decodeFrame(init, h);
+      ret = decodeFrame(true, h);
       if (!ret) {
         break;
       }
       h = BitstreamWrapper.readFrame();
     }
-
-    /*
-     * if (!ret) { // last frame, ensure all data flushed to the audio device.
-     * AudioDevice out = audio; if (out!=null) { out.flush(); synchronized
-     * (this) { complete = (!closed); close(); } } }
-     */
     return ret;
   }
-
   /**
    * Cloases this player. Any audio currently playing is stopped immediately.
    */