Robust/src/Benchmarks/SSJava/EyeTracking/ImageReader.java

   1 public class ImageReader {
   2   public ImageReader() {
   3   }
   4
   5   @TRUST
   6   public static Image readImage(String file) {
   7
   8     FileInputStream fs = new FileInputStream(file);
   9     int bflen = 14; // 14 byte BITMAPFILEHEADER
  10     byte bf[] = new byte[bflen];
  11     // fs.read(bf,0,bflen);
  12     fs.read(bf);
  13     int bilen = 40; // 40-byte BITMAPINFOHEADER
  14     byte bi[] = new byte[bilen];
  15     // fs.read(bi,0,bilen);
  16     fs.read(bi);
  17     // Interperet data.
  18     int nsize =
  19         (((int) bf[5] & 0xff) << 24) | (((int) bf[4] & 0xff) << 16) | (((int) bf[3] & 0xff) << 8)
  20             | (int) bf[2] & 0xff;
  21     // System.out.println("File type is :" + (char) bf[0] + (char) bf[1]);
  22     // System.out.println("Size of file is :" + nsize);
  23     int nbisize =
  24         (((int) bi[3] & 0xff) << 24) | (((int) bi[2] & 0xff) << 16) | (((int) bi[1] & 0xff) << 8)
  25             | (int) bi[0] & 0xff;
  26     // System.out.println("Size of bitmapinfoheader is :" + nbisize);
  27     int nwidth =
  28         (((int) bi[7] & 0xff) << 24) | (((int) bi[6] & 0xff) << 16) | (((int) bi[5] & 0xff) << 8)
  29             | (int) bi[4] & 0xff;
  30     // System.out.println("Width is :" + nwidth);
  31     int nheight =
  32         (((int) bi[11] & 0xff) << 24) | (((int) bi[10] & 0xff) << 16) | (((int) bi[9] & 0xff) << 8)
  33             | (int) bi[8] & 0xff;
  34     // System.out.println("Height is :" + nheight);
  35     int nplanes = (((int) bi[13] & 0xff) << 8) | (int) bi[12] & 0xff;
  36     // System.out.println("Planes is :" + nplanes);
  37     int nbitcount = (((int) bi[15] & 0xff) << 8) | (int) bi[14] & 0xff;
  38     // System.out.println("BitCount is :" + nbitcount);
  39     // Look for non-zero values to indicate compression
  40     int ncompression =
  41         (((int) bi[19]) << 24) | (((int) bi[18]) << 16) | (((int) bi[17]) << 8) | (int) bi[16];
  42     // System.out.println("Compression is :" + ncompression);
  43     int nsizeimage =
  44         (((int) bi[23] & 0xff) << 24) | (((int) bi[22] & 0xff) << 16)
  45             | (((int) bi[21] & 0xff) << 8) | (int) bi[20] & 0xff;
  46     // System.out.println("SizeImage is :" + nsizeimage);
  47
  48     int nxpm =
  49         (((int) bi[27] & 0xff) << 24) | (((int) bi[26] & 0xff) << 16)
  50             | (((int) bi[25] & 0xff) << 8) | (int) bi[24] & 0xff;
  51     // System.out.println("X-Pixels per meter is :" + nxpm);
  52     int nypm =
  53         (((int) bi[31] & 0xff) << 24) | (((int) bi[30] & 0xff) << 16)
  54             | (((int) bi[29] & 0xff) << 8) | (int) bi[28] & 0xff;
  55     // System.out.println("Y-Pixels per meter is :" + nypm);
  56     int nclrused =
  57         (((int) bi[35] & 0xff) << 24) | (((int) bi[34] & 0xff) << 16)
  58             | (((int) bi[33] & 0xff) << 8) | (int) bi[32] & 0xff;
  59     // System.out.println("Colors used are :" + nclrused);
  60     int nclrimp =
  61         (((int) bi[39] & 0xff) << 24) | (((int) bi[38] & 0xff) << 16)
  62             | (((int) bi[37] & 0xff) << 8) | (int) bi[36] & 0xff;
  63     // System.out.println("Colors important are :" + nclrimp);
  64
  65     Image image = new Image(nwidth, nheight);
  66
  67     if (nbitcount == 24) {
  68       // No Palatte data for 24-bit format but scan lines are
  69       // padded out to even 4-byte boundaries.
  70       int npad = (nsizeimage / nheight) - nwidth * 3;
  71       // ndata = new int[(nheight * nwidth) + 4];
  72       byte brgb[] = new byte[(nwidth + npad) * 3 * nheight];
  73       // fs.read (brgb, 0, (nwidth + npad) * 3 * nheight);
  74       fs.read(brgb);
  75       int nindex = 0;
  76       int yPos = 0;
  77       for (int j = 0; j < nheight; j++) {
  78         for (int i = 0; i < nwidth; i++) {
  79           // ndata[nwidth * (nheight - j - 1) + i] =
  80           // (255 & 0xff) << 24 | (((int) brgb[nindex + 2] & 0xff) << 16)
  81           // | (((int) brgb[nindex + 1] & 0xff) << 8) | (int) brgb[nindex] &
  82           // 0xff;
  83           int ta =
  84               ((3 * ((int) (brgb[nindex + 2]) & 0xff) + 6 * ((int) brgb[nindex + 1] & 0xff) + ((int) brgb[nindex] & 0xff))) / 10;
  85
  86           // ndata[nwidth * (nheight - j - 1) + i + 4] = ta;
  87           yPos = nheight - j - 1;
  88           // System.out.println("yPos=" + yPos + " nheight=" + nheight + " j=" +
  89           // j);
  90           // System.out.println("Encoded Color at (" + i + "," + yPos + ")is:" +
  91           // brgb + " (R,G,B)= ("
  92           // + ((int) (brgb[nindex + 2]) & 0xff) + "," + ((int) brgb[nindex + 1]
  93           // & 0xff) + ","
  94           // + ((int) brgb[nindex] & 0xff) + ")" + "cufoff=" + ta);
  95           image.setPixel(i, yPos, ((int) brgb[nindex + 2] & 0xff), ((int) brgb[nindex + 1] & 0xff),
  96               ((int) brgb[nindex] & 0xff));
  97           nindex += 3;
  98         }
  99         nindex += npad;
 100       }
 101       // image = createImage
 102       // ( new MemoryImageSource (nwidth, nheight,
 103       // ndata, 0, nwidth));
 104
 105     } else if (nbitcount == 8) {
 106       // Have to determine the number of colors, the clrsused
 107       // parameter is dominant if it is greater than zero. If
 108       // zero, calculate colors based on bitsperpixel.
 109       int nNumColors = 0;
 110       if (nclrused > 0) {
 111         nNumColors = nclrused;
 112       } else {
 113         nNumColors = (1 & 0xff) << nbitcount;
 114       }
 115       System.out.println("The number of Colors is" + nNumColors);
 116       // Some bitmaps do not have the sizeimage field calculated
 117       // Ferret out these cases and fix 'em.
 118       if (nsizeimage == 0) {
 119         nsizeimage = ((((nwidth * nbitcount) + 31) & 31) >> 3);
 120         nsizeimage *= nheight;
 121         System.out.println("nsizeimage (backup) is" + nsizeimage);
 122       }
 123       // Read the palatte colors.
 124       int npalette[] = new int[nNumColors];
 125       byte bpalette[] = new byte[nNumColors * 4];
 126       // fs.read (bpalette, 0, nNumColors*4);
 127       fs.read(bpalette);
 128       int nindex8 = 0;
 129       for (int n = 0; n < nNumColors; n++) {
 130         npalette[n] =
 131             (255 & 0xff) << 24 | (((int) bpalette[nindex8 + 2] & 0xff) << 16)
 132                 | (((int) bpalette[nindex8 + 1] & 0xff) << 8) | (int) bpalette[nindex8] & 0xff;
 133         // System.out.println ("Palette Color "+n
 134         // +" is:"+npalette[n]+" (res,R,G,B)= (" +((int)(bpalette[nindex8+3]) &
 135         // 0xff)+"," +((int)(bpalette[nindex8+2]) & 0xff)+","
 136         // +((int)bpalette[nindex8+1]&0xff)+","
 137         // +((int)bpalette[nindex8]&0xff)+")");
 138
 139         nindex8 += 4;
 140       }
 141       // Read the image data (actually indices into the palette)
 142       // Scan lines are still padded out to even 4-byte
 143       // boundaries.
 144       int npad8 = (nsizeimage / nheight) - nwidth;
 145       // System.out.println("nPad is:" + npad8);
 146       // int ndata8[] = new int[nwidth * nheight];
 147       // ndata = new int[(nwidth * nheight) + 4];
 148       byte bdata[] = new byte[(nwidth + npad8) * nheight];
 149       // fs.read (bdata, 0, (nwidth+npad8)*nheight);
 150       fs.read(bdata);
 151       nindex8 = 0;
 152       for (int j8 = 0; j8 < nheight; j8++) {
 153         for (int i8 = 0; i8 < nwidth; i8++) {
 154           // ndata[nwidth * (nheight - j8 - 1) + i8 + 4] = npalette[((int)
 155           // bdata[nindex8] & 0xff)];
 156           image.setPixel(i8, j8, npalette[((int) bdata[nindex8] & 0xff)]);
 157           // System.out.println("Encoded Color at (" + i8 + "," + j8 + ")is: "
 158           // + ndata[nwidth * (nheight - j8 - 1) + i8 + 4]);
 159           nindex8++;
 160         }
 161         nindex8 += npad8;
 162       }
 163       // image = createImage ( new MemoryImageSource (nwidth, nheight,
 164       // ndata8, 0, nwidth));
 165     } else {
 166       System.out.println("Not a 24-bit or 8-bit Windows Bitmap, aborting...");
 167       // image = (Image)null;
 168     }
 169     fs.close();
 170
 171     // ndata[0] = nheight;
 172     // ndata[1] = nwidth;
 173     // ndata[2] = nheight * nwidth;
 174     // ndata[3] = 2;
 175
 176     return image;
 177     // return ndata;
 178
 179   }
 180 }