more changes to pass the flow-down rule

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

diff --git a/Robust/src/Tests/ssJava/mp3decoder/Player.java b/Robust/src/Tests/ssJava/mp3decoder/Player.java
index d06bfb6ed98f5ce6c4b0a97320cb78a19affad5c..83851e297c749ae17143de3d8aed154414a871f5 100644 (file)
--- a/Robust/src/Tests/ssJava/mp3decoder/Player.java
+++ b/Robust/src/Tests/ssJava/mp3decoder/Player.java
@@ -107,10 +107,10 @@ public class Player {
    * @return true if the last frame was played, or false if there are more\r
    *         frames.\r
    */\r
-  @LATTICE("IN<T,IN*,THISLOC=T")\r
-  @RETURNLOC("IN")\r
+  @LATTICE("T<IN,T*,IN*,THISLOC=T")\r
+  @RETURNLOC("T")\r
   public boolean play(@LOC("IN") int frames) throws JavaLayerException {\r
-    @LOC("IN") boolean ret = true;\r
+    @LOC("T") boolean ret = true;\r
 \r
     SSJAVA: while (frames-- > 0 && ret) {\r
       ret = decodeFrame();\r
@@ -170,7 +170,7 @@ public class Player {
    * \r
    * @return true if there are no more frames to decode, false otherwise.\r
    */\r
-  @LATTICE("C,O<THIS,THIS<IN,C*,THISLOC=THIS,RETURNLOC=O")\r
+  @LATTICE("C<THIS,O<THIS,THIS<IN,C*,THISLOC=THIS,RETURNLOC=O,GLOBALLOC=THIS")\r
   protected boolean decodeFrame() throws JavaLayerException {\r
     try {\r
       // AudioDevice out = audio;\r
@@ -178,7 +178,7 @@ public class Player {
       // return false;\r
 \r
       // Header h = bitstream.readFrame();\r
-      @LOC("IN") Header h = BitstreamWrapper.readFrame();\r
+      @LOC("THIS,Player.ST") Header h = BitstreamWrapper.readFrame();\r
 \r
       if (h == null)\r
         return false;\r