get rid of the stream parsing that occurs in the Layer III decoder. BitStream.readFra...

[IRC.git] / Robust / src / Tests / ssJava / mp3decoder / SampleBuffer.java

diff --git a/Robust/src/Tests/ssJava/mp3decoder/SampleBuffer.java b/Robust/src/Tests/ssJava/mp3decoder/SampleBuffer.java
index 211a328cb70d5f7a1ab5a345478ca673f4bb2544..b32bacde738f7962bcd67a59b7b638677a11fcba 100644 (file)
--- a/Robust/src/Tests/ssJava/mp3decoder/SampleBuffer.java
+++ b/Robust/src/Tests/ssJava/mp3decoder/SampleBuffer.java
@@ -91,10 +91,10 @@ public class SampleBuffer extends Obuffer
     
   }
 
-  @LATTICE("D<IN,D<C,THISLOC=D")
+  @LATTICE("D<IN,IN<C,THISLOC=D,C*")
   public void appendSamples(@LOC("IN") int channel, @LOC("IN") float[] f)
   {
-    @LOC("D, SampleBuffer.BUFP") int pos = bufferp[channel]; 
+    @LOC("D,SampleBuffer.BUFP") int pos = bufferp[channel]; 
     // LOC(bufferp[channel])=[D,SampleBuffer.BUFP]
     // LOC(pos)=[D,SampleBuffer.BUFP]