mp3decoder finally passes the flow-down rule checking.

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

diff --git a/Robust/src/Tests/ssJava/mp3decoder/BitReserve.java b/Robust/src/Tests/ssJava/mp3decoder/BitReserve.java
index aa47a961fb54ca12a42f84fcc0bcd5aeb5c7e700..e4167f00b0048a7c334801c46521dfba40f69068 100644 (file)
--- a/Robust/src/Tests/ssJava/mp3decoder/BitReserve.java
+++ b/Robust/src/Tests/ssJava/mp3decoder/BitReserve.java
@@ -52,7 +52,7 @@ final class BitReserve {
    */\r
   private static final int BUFSIZE_MASK = BUFSIZE - 1;\r
 \r
-  @LOC("OFF")\r
+  @LOC("BIT")\r
   private int offset;\r
 \r
   @LOC("BIT")\r
@@ -61,7 +61,7 @@ final class BitReserve {
   @LOC("BIT")\r
   private int buf_byte_idx;\r
 \r
-  @LOC("BUF")\r
+  @LOC("BIT")\r
   private final int[] buf;\r
 \r
   BitReserve() {\r
@@ -76,7 +76,7 @@ final class BitReserve {
    */\r
   @RETURNLOC("THIS,BitReserve.BIT")\r
   public int hsstell() {\r
-    return (totbit); \r
+    return (totbit);\r
   }\r
 \r
   /**\r
@@ -116,9 +116,10 @@ final class BitReserve {
    * \r
    * @returns 0 if next bit is reset, or 1 if next bit is set.\r
    */\r
+  @RETURNLOC("THIS,BitReserve.BIT")\r
   public int hget1bit() {\r
     totbit++;\r
-    @LOC("OUT") int val = buf[buf_byte_idx];\r
+    @LOC("THIS,BitReserve.BIT") int val = buf[buf_byte_idx];\r
     buf_byte_idx = (buf_byte_idx + 1) & BUFSIZE_MASK;\r
     return val;\r
   }\r