more changes to pass the flow-down rule
[IRC.git] / 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 }