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

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

diff --git a/Robust/src/Benchmarks/SSJava/MP3DecoderInfer/SideInfoBuffer.java b/Robust/src/Benchmarks/SSJava/MP3DecoderInfer/SideInfoBuffer.java
index d62c4885a3d9d3a4026b6530c2348f1ba8da0727..644d14ac474f47e9c2c8dc597be8f57f41abb1e8 100644 (file)
--- a/Robust/src/Benchmarks/SSJava/MP3DecoderInfer/SideInfoBuffer.java
+++ b/Robust/src/Benchmarks/SSJava/MP3DecoderInfer/SideInfoBuffer.java
@@ -1,11 +1,9 @@
-
-
 public class SideInfoBuffer {
 
   /**
    * The frame buffer that holds the data for the current frame.
    */
-  
+
   private final int[] framebuffer = new int[BUFFER_INT_SIZE];
 
   /**
@@ -16,36 +14,31 @@ public class SideInfoBuffer {
   /**
    * Index into <code>framebuffer</code> where the next bits are retrieved.
    */
-  
+
   private int wordpointer;
 
   /**
    * Number (0-31, from MSB to LSB) of next bit for get_bits()
    */
-  
+
   private int bitindex;
 
-  
   private int main_data_begin;
 
   public int getMain_data_begin() {
     return main_data_begin;
   }
 
-  public void setMain_data_begin( int main_data_begin) {
+  public void setMain_data_begin(int main_data_begin) {
     this.main_data_begin = main_data_begin;
   }
 
-  private static final int bitmask[] = {
-      0, // dummy
-      0x00000001, 0x00000003, 0x00000007, 0x0000000F, 0x0000001F, 0x0000003F, 0x0000007F,
-      0x000000FF, 0x000001FF, 0x000003FF, 0x000007FF, 0x00000FFF, 0x00001FFF, 0x00003FFF,
-      0x00007FFF, 0x0000FFFF, 0x0001FFFF };
+  private static final int bitmask[] = { 0, // dummy
+  0x00000001, 0x00000003, 0x00000007, 0x0000000F, 0x0000001F, 0x0000003F, 0x0000007F, 0x000000FF, 0x000001FF, 0x000003FF, 0x000007FF, 0x00000FFF, 0x00001FFF, 0x00003FFF, 0x00007FFF, 0x0000FFFF, 0x0001FFFF };
 
-  
-  public int get_bits( int number_of_bits) {
-     int returnvalue = 0;
-     int sum = bitindex + number_of_bits;
+  public int get_bits(int number_of_bits) {
+    int returnvalue = 0;
+    int sum = bitindex + number_of_bits;
     // System.out.println("bitindex=" + bitindex + " wordpointer="
     // + wordpointer);
     // E.B
@@ -70,9 +63,9 @@ public class SideInfoBuffer {
     // ((short[])&returnvalue)[0] = ((short[])wordpointer + 1)[0];
     // wordpointer++; // Added by me!
     // ((short[])&returnvalue + 1)[0] = ((short[])wordpointer)[0];
-     int Right = (framebuffer[wordpointer] & 0x0000FFFF);
+    int Right = (framebuffer[wordpointer] & 0x0000FFFF);
     wordpointer++;
-     int Left = (framebuffer[wordpointer] & 0xFFFF0000);
+    int Left = (framebuffer[wordpointer] & 0xFFFF0000);
     returnvalue = ((Right << 16) & 0xFFFF0000) | ((Left >>> 16) & 0x0000FFFF);
 
     returnvalue >>>= 48 - sum; // returnvalue >>= 16 - (number_of_bits - (32