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

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