more changes to pass the flow-down rule

[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 72aeb6b3eb4ad12c242a9e4f58a7968587615fbb..5c691eb27f5d76af06c45d7636bbdc6d7a5f1187 100644 (file)
--- a/Robust/src/Tests/ssJava/mp3decoder/SampleBufferWrapper.java
+++ b/Robust/src/Tests/ssJava/mp3decoder/SampleBufferWrapper.java
@@ -6,6 +6,11 @@ public class SampleBufferWrapper {
   static void init(int freq, int channels) {
     output = new SampleBuffer(freq, channels);
   }
+  
+  @TRUST
+  static void clear_buffer(){
+    output.clear_buffer();
+  }
 
   @TRUST
   static SampleBuffer getOutput() {