changes.

[IRC.git] / Robust / src / Benchmarks / SSJava / MP3DecoderInfer / Player.java

diff --git a/Robust/src/Benchmarks/SSJava/MP3DecoderInfer/Player.java b/Robust/src/Benchmarks/SSJava/MP3DecoderInfer/Player.java
index c7ef1c0f4310310a6df6c158b0cf1b68891da0ba..236fd3e66ad97d406b76583bb42ebe3439645dc5 100644 (file)
--- 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;\r
     System.out.println("Gobble sentinel: +++");\r
 \r
+    ret=play2(h);\r
     // int count = 0;\r
+//    SSJAVA: while (true) {\r
+//      if (h == null) {\r
+//        break;\r
+//      }\r
+//      ret = decodeFrame(init, h);\r
+//      if (!ret) {\r
+//        break;\r
+//      }\r
+//      h = BitstreamWrapper.readFrame();\r
+//    }\r
+\r
+    /*\r
+     * if (!ret) { // last frame, ensure all data flushed to the audio device.\r
+     * AudioDevice out = audio; if (out!=null) { out.flush(); synchronized\r
+     * (this) { complete = (!closed); close(); } } }\r
+     */\r
+    return ret;\r
+  }\r
+\r
+  public boolean play2( Header h){\r
+    boolean ret;\r
     SSJAVA: while (true) {\r
       if (h == null) {\r
         break;\r
       }\r
-      ret = decodeFrame(init, h);\r
+      ret = decodeFrame(true, h);\r
       if (!ret) {\r
         break;\r
       }\r
       h = BitstreamWrapper.readFrame();\r
     }\r
-\r
-    /*\r
-     * if (!ret) { // last frame, ensure all data flushed to the audio device.\r
-     * AudioDevice out = audio; if (out!=null) { out.flush(); synchronized\r
-     * (this) { complete = (!closed); close(); } } }\r
-     */\r
     return ret;\r
   }\r
-\r
   /**\r
    * Cloases this player. Any audio currently playing is stopped immediately.\r
    */\r