Robust/src/Benchmarks/SSJava/MP3DecoderInfer/HuffData.java

   1 // need to have this class for liner type system
   2
   3 public class HuffData {
   4
   5   public int x;
   6   public int y;
   7   public int w;
   8   public int v;
   9   public BitReserve br;
  10
  11   public HuffData(int x, int y, int w, int v, BitReserve br) {
  12     this.x = x;
  13     this.y = y;
  14     this.w = w;
  15     this.v = v;
  16     this.br = br;
  17   }
  18
  19 }