have linear-type-safe source codes of mp3decoder

[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
new file mode 100644 (file)
index 0000000..45f96ef
--- /dev/null
+++ b/Robust/src/Tests/ssJava/mp3decoder/SampleBufferWrapper.java
@@ -0,0 +1,15 @@
+public class SampleBufferWrapper {
+
+  static SampleBuffer output;
+
+  @TRUST
+  static void init(int freq, int channels) {
+    output = new SampleBuffer(freq, channels);
+  }
+
+  @TRUST
+  static SampleBuffer getOutput() {
+    return output;
+  }
+
+}