X-Git-Url: http://plrg.eecs.uci.edu/git/?p=IRC.git;a=blobdiff_plain;f=Robust%2Fsrc%2FTests%2FssJava%2Fmp3decoder%2FHeader.java;h=4ffcada41b1e9953b0cfd13631b449f5a1d21bb3;hp=f4cef5c7ccf02ff7dca5e55665ea156494bb48c6;hb=88cc6f37e1158f55870e1b55100e91a09b8d1556;hpb=056c895273f8bd2502eaf74b48c210020ffcc6a6

diff --git a/Robust/src/Tests/ssJava/mp3decoder/Header.java b/Robust/src/Tests/ssJava/mp3decoder/Header.java
index f4cef5c7..4ffcada4 100644
--- a/Robust/src/Tests/ssJava/mp3decoder/Header.java
+++ b/Robust/src/Tests/ssJava/mp3decoder/Header.java
@@ -112,6 +112,9 @@ public final class Header {
   @LOC("T")
   private int _headerstring = -1; // E.B
 
+  private SideInfoBuffer sib;
+  private BitReserve br;
+
   Header() {
   }
 
@@ -802,4 +805,21 @@ public final class Header {
   public int intensity_stereo_bound() {
     return h_intensity_stereo_bound;
   }
+
+  public void setSideInfoBuf(SideInfoBuffer sib) {
+    this.sib = sib;
+  }
+
+  public void setBitReserve(BitReserve br) {
+    this.br = br;
+  }
+
+  public SideInfoBuffer getSideInfoBuffer() {
+    return sib;
+  }
+
+  public BitReserve getBitReserve() {
+    return br;
+  }
+
 }