Robust/src/Tests/ssJava/mp3decoder/HuffData.java

   1 // need to have this class for liner type system
   2 @LATTICE("V")
   3 public class HuffData {
   4
   5   @LOC("V") public int x;
   6   @LOC("V") public int y;
   7   @LOC("V") public int w;
   8   @LOC("V") public int v;
   9   @LOC("V") 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 }