Robust/src/Tests/ssJava/mp3decoder/SampleBufferWrapper.java

   1 public class SampleBufferWrapper {
   2
   3   static SampleBuffer output;
   4
   5   @TRUST
   6   static void init(int freq, int channels) {
   7     output = new SampleBuffer(freq, channels);
   8   }
   9
  10   @TRUST
  11   static SampleBuffer getOutput() {
  12     return output;
  13   }
  14
  15   @TRUST
  16   static short[] getBuffer() {
  17     return output.getBuffer();
  18   }
  19
  20   @TRUST
  21   static int getBufferLength() {
  22     return output.getBufferLength();
  23   }
  24
  25   @TRUST
  26   static void appendSamples(int channel, float[] f) {
  27     output.appendSamples(channel, f);
  28   }
  29
  30 }