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 }