X-Git-Url: http://plrg.eecs.uci.edu/git/?p=IRC.git;a=blobdiff_plain;f=Robust%2Fsrc%2FTests%2FssJava%2Fmp3decoder%2FBitReserve.java;h=e4167f00b0048a7c334801c46521dfba40f69068;hp=aa47a961fb54ca12a42f84fcc0bcd5aeb5c7e700;hb=2c4882eb5bb49314d697c83cfe3a5b5f68e9a29f;hpb=cbf149e6d6d5d28b8d0f7774958bef0b2e6eac5c

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