annotated
[IRC.git] / Robust / src / Tests / ssJava / mp3decoder / Header.java
index b0dd1001f05f981f8dab18e7f55a5076c3b8ebfc..09f1b2316730910310fc58675727a16404e6833d 100644 (file)
 /**\r
  * Class for extracting information from a frame header.\r
  */\r
+@LATTICE("HI<HNS,HNS<H,C<H,NS<FS,FS<H,FS<HV,H<SYNC,HV<SYNC,HV<T,SYNC*,HV*,FS*,HI*")\r
+@METHODDEFAULT("OUT<V,V<THIS,THIS<SH,SH<IN,SH*,THISLOC=THIS,GLOBALLOC=IN")\r
 public final class Header\r
 {\r
-       public  static final int[][]    frequencies =\r
+        @LOC("T") public  static final int[][] frequencies =\r
                                                {{22050, 24000, 16000, 1},\r
                                                {44100, 48000, 32000, 1},\r
                                                {11025, 12000, 8000, 1}};       // SZD: MPEG25\r
@@ -43,45 +45,50 @@ public final class Header
        /**\r
         * Constant for MPEG-2 LSF version\r
         */\r
-       public static final int         MPEG2_LSF = 0;\r
-       public static final int         MPEG25_LSF = 2; // SZD\r
+        @LOC("T") public static final int              MPEG2_LSF = 0;\r
+        @LOC("T") public static final int              MPEG25_LSF = 2; // SZD\r
 \r
        /**\r
         * Constant for MPEG-1 version\r
         */\r
-       public static final int         MPEG1 = 1;\r
-\r
-       public static final int         STEREO = 0;\r
-       public static final int         JOINT_STEREO = 1;\r
-       public static final int         DUAL_CHANNEL = 2;\r
-       public static final int         SINGLE_CHANNEL = 3;\r
-       public static final int         FOURTYFOUR_POINT_ONE = 0;\r
-       public static final int         FOURTYEIGHT=1;\r
-       public static final int         THIRTYTWO=2;\r
-\r
-       private int                             h_layer, h_protection_bit, h_bitrate_index,\r
-                                                       h_padding_bit, h_mode_extension;\r
-       private int                             h_version;\r
-       private int                             h_mode;\r
-       private int                             h_sample_frequency;\r
-       private int                             h_number_of_subbands, h_intensity_stereo_bound;\r
-       private boolean                 h_copyright, h_original;\r
+        @LOC("T") public static final int              MPEG1 = 1;\r
+\r
+        @LOC("T") public static final int              STEREO = 0;\r
+        @LOC("T") public static final int              JOINT_STEREO = 1;\r
+        @LOC("T") public static final int              DUAL_CHANNEL = 2;\r
+        @LOC("T") public static final int              SINGLE_CHANNEL = 3;\r
+        @LOC("T") public static final int              FOURTYFOUR_POINT_ONE = 0;\r
+        @LOC("T") public static final int              FOURTYEIGHT=1;\r
+        @LOC("T") public static final int              THIRTYTWO=2;\r
+\r
+    @LOC("H") private int                              h_layer;\r
+    @LOC("H") private int  h_protection_bit;\r
+    @LOC("H") private int h_bitrate_index;\r
+    @LOC("H") private int h_padding_bit;\r
+    @LOC("H") private int h_mode_extension;\r
+    @LOC("HV") private int                             h_version;\r
+    @LOC("H") private int                              h_mode;\r
+    @LOC("H") private int                              h_sample_frequency;\r
+    @LOC("HNS") private int                            h_number_of_subbands;\r
+    @LOC("HI") private int h_intensity_stereo_bound;\r
+    @LOC("H") private boolean                  h_copyright;\r
+    @LOC("H") private int h_original;\r
        // VBR support added by E.B\r
-       private double[]                h_vbr_time_per_frame = {-1, 384, 1152, 1152};\r
-       private boolean                 h_vbr;\r
-       private int                             h_vbr_frames;\r
-       private int                             h_vbr_scale;\r
-       private int                             h_vbr_bytes;\r
-       private byte[]                  h_vbr_toc;\r
+    @LOC("T") private double[]                 h_vbr_time_per_frame = {-1, 384, 1152, 1152};\r
+    @LOC("T") private boolean                  h_vbr;\r
+    @LOC("T") private int                              h_vbr_frames;\r
+    @LOC("T") private int                              h_vbr_scale;\r
+    @LOC("T") private int                              h_vbr_bytes;\r
+    @LOC("T") private byte[]                   h_vbr_toc;\r
        \r
-       private byte                    syncmode = Bitstream.INITIAL_SYNC;\r
-       private Crc16                   crc;\r
+    @LOC("SYNC") private byte                  syncmode = Bitstream.INITIAL_SYNC;\r
+    @LOC("C") private Crc16                    crc;\r
 \r
-       public short                    checksum;\r
-       public int                              framesize;\r
-       public int                              nSlots;\r
+    @LOC("C") public short                     checksum;\r
+    @LOC("FS") public int                              framesize;\r
+    @LOC("NS") public int                              nSlots;\r
 \r
-       private int                             _headerstring = -1; // E.B\r
+    @LOC("T") private int                              _headerstring = -1; // E.B\r
 \r
        Header()\r
        {\r
@@ -437,7 +444,7 @@ public final class Header
        public int mode_extension() { return h_mode_extension; }\r
 \r
        // E.B -> private to public\r
-       public static final int bitrates[][][] = {\r
+    @LOC("T") public static final int bitrates[][][] = {\r
                {{0 /*free format*/, 32000, 48000, 56000, 64000, 80000, 96000,\r
          112000, 128000, 144000, 160000, 176000, 192000 ,224000, 256000, 0},\r
                {0 /*free format*/, 8000, 16000, 24000, 32000, 40000, 48000,\r
@@ -597,7 +604,7 @@ public final class Header
        }\r
 \r
        // E.B -> private to public\r
-       public static final String bitrate_str[][][] = {\r
+    @LOC("T") public static final String bitrate_str[][][] = {\r
                {{"free format", "32 kbit/s", "48 kbit/s", "56 kbit/s", "64 kbit/s",\r
          "80 kbit/s", "96 kbit/s", "112 kbit/s", "128 kbit/s", "144 kbit/s",\r
          "160 kbit/s", "176 kbit/s", "192 kbit/s", "224 kbit/s", "256 kbit/s",\r