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 void clear_buffer(){
  12     output.clear_buffer();
  13   }
  14
  15   @TRUST
  16   static SampleBuffer getOutput() {
  17     return output;
  18   }
  19
  20   @TRUST
  21   static short[] getBuffer() {
  22     return output.getBuffer();
  23   }
  24
  25   @TRUST
  26   static int getBufferLength() {
  27     return output.getBufferLength();
  28   }
  29
  30   @TRUST
  31   static void appendSamples(int channel, float[] f) {
  32     output.appendSamples(channel, f);
  33   }
  34
  35 }