reformat benchmark source codes to meet the requirements of the annotation generation.

[IRC.git] / Robust / src / Benchmarks / SSJava / MP3DecoderInfer / Crc16.java

diff --git a/Robust/src/Benchmarks/SSJava/MP3DecoderInfer/Crc16.java b/Robust/src/Benchmarks/SSJava/MP3DecoderInfer/Crc16.java
index 90351d15222919a370b078714480fac65f7288ea..f822adf6abe9dc3a4735eb388c45dbfb2fc50bd5 100644 (file)
--- a/Robust/src/Benchmarks/SSJava/MP3DecoderInfer/Crc16.java
+++ b/Robust/src/Benchmarks/SSJava/MP3DecoderInfer/Crc16.java
@@ -27,48 +27,40 @@
  * 16-Bit CRC checksum\r
  */\r
 \r
-\r
-public final class Crc16\r
-{\r
-   private static      short polynomial=(short)0x8005;\r
-   private                     short crc;\r
+public final class Crc16 {\r
+  private static short polynomial = (short) 0x8005;\r
+  private short crc;\r
 \r
   /**\r
    * Dummy Constructor\r
    */\r
-  public Crc16()\r
-  { \r
-       crc = (short) 0xFFFF;\r
+  public Crc16() {\r
+    crc = (short) 0xFFFF;\r
   }\r
 \r
   /**\r
    * Feed a bitstring to the crc calculation (0 < length <= 32).\r
    */\r
-  //ssjava\r
- \r
-  public void add_bits ( int bitstring,  int length)\r
-  {\r
-     int bitmask = 1 << (length - 1);\r
-    do{\r
-      if (((crc & 0x8000) == 0) ^ ((bitstring & bitmask) == 0 ))\r
-      {\r
+  // ssjava\r
+\r
+  public void add_bits(int bitstring, int length) {\r
+    int bitmask = 1 << (length - 1);\r
+    do {\r
+      if (((crc & 0x8000) == 0) ^ ((bitstring & bitmask) == 0)) {\r
         crc <<= 1;\r
         crc ^= polynomial;\r
-      }\r
-      else{\r
+      } else {\r
         crc <<= 1;\r
       }\r
-    }while ((bitmask >>>= 1) != 0);\r
+    } while ((bitmask >>>= 1) != 0);\r
   }\r
 \r
   /**\r
-   * Return the calculated checksum.\r
-   * Erase it for next calls to add_bits().\r
+   * Return the calculated checksum. Erase it for next calls to add_bits().\r
    */\r
-  \r
-  public short checksum()\r
-  {\r
-     short sum = crc;\r
+\r
+  public short checksum() {\r
+    short sum = crc;\r
     crc = (short) 0xFFFF;\r
     return sum;\r
   }\r