changes.

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

diff --git a/Robust/src/Tests/ssJava/mp3decoder/SampleBufferWrapper.java b/Robust/src/Tests/ssJava/mp3decoder/SampleBufferWrapper.java
index 45f96ef97eaa713b37725668b3bce7e11b0ad8c6..72aeb6b3eb4ad12c242a9e4f58a7968587615fbb 100644 (file)
--- a/Robust/src/Tests/ssJava/mp3decoder/SampleBufferWrapper.java
+++ b/Robust/src/Tests/ssJava/mp3decoder/SampleBufferWrapper.java
@@ -12,4 +12,19 @@ public class SampleBufferWrapper {
     return output;
   }
 
+  @TRUST
+  static short[] getBuffer() {
+    return output.getBuffer();
+  }
+
+  @TRUST
+  static int getBufferLength() {
+    return output.getBufferLength();
+  }
+
+  @TRUST
+  static void appendSamples(int channel, float[] f) {
+    output.appendSamples(channel, f);
+  }
+
 }