changes.

[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 6a82e59ad199bfe4105355de5cdb04ffb26f635f..aa47a961fb54ca12a42f84fcc0bcd5aeb5c7e700 100644 (file)
--- a/Robust/src/Tests/ssJava/mp3decoder/BitReserve.java
+++ b/Robust/src/Tests/ssJava/mp3decoder/BitReserve.java
@@ -37,7 +37,7 @@
 \r
 // REVIEW: there is no range checking, so buffer underflow or overflow\r
 // can silently occur.\r
-@LATTICE("BUF<OFF,BIT,BIT*,OFF*")\r
+@LATTICE("BUF<OFF,BUF<BIT,BIT*,OFF*")\r
 @METHODDEFAULT("OUT<THIS,THIS<IN,IN*,THISLOC=THIS,RETURNLOC=OUT")\r
 final class BitReserve {\r
   /**\r
@@ -74,9 +74,9 @@ final class BitReserve {
   /**\r
    * Return totbit Field.\r
    */\r
-\r
+  @RETURNLOC("THIS,BitReserve.BIT")\r
   public int hsstell() {\r
-    return (totbit);\r
+    return (totbit); \r
   }\r
 \r
   /**\r