changes.

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

diff --git a/Robust/src/Tests/ssJava/mp3decoder/LayerIDecoder.java b/Robust/src/Tests/ssJava/mp3decoder/LayerIDecoder.java
index 990d942c2aceab3684a7306dacd410b9ae9e3719..b895dafe9beb2a2a7eed4226e5b41b57c8356eb7 100644 (file)
--- a/Robust/src/Tests/ssJava/mp3decoder/LayerIDecoder.java
+++ b/Robust/src/Tests/ssJava/mp3decoder/LayerIDecoder.java
@@ -263,6 +263,7 @@ class LayerIDecoder implements FrameDecoder {
       return false;
     }
 
+    @METHODDEFAULT("OUT<V,V<THIS,THIS<C,C<IN,C*,THISLOC=THIS,RETURNLOC=OUT")
     public boolean put_next_sample(@LOC("IN") int channels, @LOC("IN") SynthesisFilter filter1,
         @LOC("IN") SynthesisFilter filter2) {
       if ((allocation != 0) && (channels != OutputChannels.RIGHT_CHANNEL)) {