1 /*
   2  * Copyright (c) 2018, Oracle and/or its affiliates. All rights reserved.
   3  * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
   4  *
   5  * This code is free software; you can redistribute it and/or modify it
   6  * under the terms of the GNU General Public License version 2 only, as
   7  * published by the Free Software Foundation.
   8  *
   9  * This code is distributed in the hope that it will be useful, but WITHOUT
  10  * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
  11  * FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License
  12  * version 2 for more details (a copy is included in the LICENSE file that
  13  * accompanied this code).
  14  *
  15  * You should have received a copy of the GNU General Public License version
  16  * 2 along with this work; if not, write to the Free Software Foundation,
  17  * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
  18  *
  19  * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
  20  * or visit www.oracle.com if you need additional information or have any
  21  * questions.
  22  *
  23  */
  24 
  25 // This file contains multiple illegal value type classes that should cause
  26 // ClassFormatError exceptions when attempted to be loaded.
  27 //
  28 // The .jcod classes were originally generated from this Java file and then
  29 // modified to cause ClassFormatError or ClassCircularityError exceptions.  The
  30 // '(bad)' comments in most of the tests show where the modifications were made.
  31 //
  32 // final __ByValue class Value {
  33 //     static final Value VT = makeValue(0x01234567);
  34 //     final int int_v;
  35 //     Value() {
  36 //         int_v = 1;
  37 //     }
  38 //     static Value makeValue(int x) {
  39 //         Value v = __MakeDefault Value();
  40 //         v = __WithField(v.int_v, x);
  41 //         return v;
  42 //     }
  43 // }
  44 
  45 
  46 // Test that class modifiers cannot have both ACC_VALUE and ACC_ABSTRATCT set.
  47 //
  48 class ValueAbstract {
  49   0xCAFEBABE;
  50   0; // minor version
  51   55; // version
  52   [27] { // Constant Pool
  53     ; // first element is empty
  54     Method #7 #21; // #1     at 0x0A
  55     Field #3 #22; // #2     at 0x0F
  56     class #23; // #3     at 0x14
  57     int 0x01234567; // #4     at 0x17
  58     Method #3 #24; // #5     at 0x1C
  59     Field #3 #25; // #6     at 0x21
  60     class #26; // #7     at 0x26
  61     Utf8 "VT"; // #8     at 0x29
  62     Utf8 "LValueAbstract;"; // #9     at 0x2E
  63     Utf8 "int_v"; // #10     at 0x3C
  64     Utf8 "I"; // #11     at 0x44
  65     Utf8 "<init>"; // #12     at 0x48
  66     Utf8 "()V"; // #13     at 0x51
  67     Utf8 "Code"; // #14     at 0x57
  68     Utf8 "LineNumberTable"; // #15     at 0x5E
  69     Utf8 "makeValueAbstract"; // #16     at 0x70
  70     Utf8 "(I)LValueAbstract;"; // #17     at 0x80
  71     Utf8 "<clinit>"; // #18     at 0x91
  72     Utf8 "SourceFile"; // #19     at 0x9C
  73     Utf8 "ValueAbstract.java"; // #20     at 0xA9
  74     NameAndType #12 #13; // #21     at 0xBA
  75     NameAndType #10 #11; // #22     at 0xBF
  76     Utf8 "ValueAbstract"; // #23     at 0xC4
  77     NameAndType #16 #17; // #24     at 0xD0
  78     NameAndType #8 #9; // #25     at 0xD5
  79     Utf8 "java/lang/Object"; // #26     at 0xDA

  80   } // Constant Pool
  81 
  82   0x0530; // access [ ACC_VALUE ACC_ABSTRACT(bad) ACC_SUPER ACC_FINAL ]
  83   #3;// this_cpx
  84   #7;// super_cpx
  85 
  86   [0] { // Interfaces
  87   } // Interfaces
  88 
  89   [2] { // fields
  90     { // Member at 0xF7
  91       0x0018; // access
  92       #8; // name_cpx
  93       #9; // sig_cpx
  94       [0] { // Attributes
  95       } // Attributes
  96     } // Member
  97     ;
  98     { // Member at 0xFF
  99       0x0010; // access
 100       #10; // name_cpx
 101       #11; // sig_cpx
 102       [0] { // Attributes
 103       } // Attributes
 104     } // Member
 105   } // fields
 106 
 107   [1] { // methods
 108     { // Member at 0x0141



























 109       0x0008; // access
 110       #16; // name_cpx
 111       #17; // sig_cpx
 112       [1] { // Attributes
 113         Attr(#14, 44) { // Code at 0x0149
 114           2; // max_stack
 115           2; // max_locals
 116           Bytes[12]{
 117             0xCB00034C2B1ACC00;
 118             0x024C2BB0;
 119           };
 120           [0] { // Traps
 121           } // end Traps
 122           [1] { // Attributes
 123             Attr(#15, 14) { // LineNumberTable at 0x0167
 124               [3] { // LineNumberTable
 125                 0  8; //  at 0x0173
 126                 4  9; //  at 0x0177
 127                 10  10; //  at 0x017B

























 128               }
 129             } // end LineNumberTable
 130           } // Attributes
 131         } // end Code
 132       } // Attributes
 133     } // Member
 134   } // methods
 135 
 136   [1] { // Attributes
 137     Attr(#19, 2) { // SourceFile at 0x01AC
 138       #20;
 139     } // end SourceFile




 140   } // Attributes
 141 } // end class ValueAbstract
 142 
 143 //////////////////////////////////////////////////////////////////////
 144 
 145 // Test that class modifiers cannot have both ACC_VALUE and ACC_ENUM set.
 146 //
 147 class ValueEnum {
 148   0xCAFEBABE;
 149   0; // minor version
 150   55; // version
 151   [27] { // Constant Pool
 152     ; // first element is empty
 153     Method #7 #21; // #1     at 0x0A
 154     Field #3 #22; // #2     at 0x0F
 155     class #23; // #3     at 0x14
 156     int 0x01234567; // #4     at 0x17
 157     Method #3 #24; // #5     at 0x1C
 158     Field #3 #25; // #6     at 0x21
 159     class #26; // #7     at 0x26
 160     Utf8 "VT"; // #8     at 0x29
 161     Utf8 "LValueEnum;"; // #9     at 0x2E
 162     Utf8 "int_v"; // #10     at 0x3C
 163     Utf8 "I"; // #11     at 0x44
 164     Utf8 "<init>"; // #12     at 0x48
 165     Utf8 "()V"; // #13     at 0x51
 166     Utf8 "Code"; // #14     at 0x57
 167     Utf8 "LineNumberTable"; // #15     at 0x5E
 168     Utf8 "makeValueEnum"; // #16     at 0x70
 169     Utf8 "(I)LValueEnum;"; // #17     at 0x80
 170     Utf8 "<clinit>"; // #18     at 0x91
 171     Utf8 "SourceFile"; // #19     at 0x9C
 172     Utf8 "ValueEnum.java"; // #20     at 0xA9
 173     NameAndType #12 #13; // #21     at 0xBA
 174     NameAndType #10 #11; // #22     at 0xBF
 175     Utf8 "ValueEnum"; // #23     at 0xC4
 176     NameAndType #16 #17; // #24     at 0xD0
 177     NameAndType #8 #9; // #25     at 0xD5
 178     Utf8 "java/lang/Object"; // #26     at 0xDA

 179   } // Constant Pool
 180 
 181   0x4130; // access [ ACC_VALUE ACC_ENUM(bad) ACC_SUPER ACC_FINAL ]
 182   #3;// this_cpx
 183   #7;// super_cpx
 184 
 185   [0] { // Interfaces
 186   } // Interfaces
 187 
 188   [2] { // fields
 189     { // Member at 0xF7
 190       0x0018; // access
 191       #8; // name_cpx
 192       #9; // sig_cpx
 193       [0] { // Attributes
 194       } // Attributes
 195     } // Member
 196     ;
 197     { // Member at 0xFF
 198       0x0010; // access
 199       #10; // name_cpx
 200       #11; // sig_cpx
 201       [0] { // Attributes
 202       } // Attributes
 203     } // Member
 204   } // fields
 205 
 206   [1] { // methods
 207     { // Member at 0x0141



























 208       0x0008; // access
 209       #16; // name_cpx
 210       #17; // sig_cpx
 211       [1] { // Attributes
 212         Attr(#14, 44) { // Code at 0x0149
 213           2; // max_stack
 214           2; // max_locals
 215           Bytes[12]{
 216             0xCB00034C2B1ACC00;
 217             0x024C2BB0;
 218           };
 219           [0] { // Traps
 220           } // end Traps
 221           [1] { // Attributes
 222             Attr(#15, 14) { // LineNumberTable at 0x0167
 223               [3] { // LineNumberTable
 224                 0  8; //  at 0x0173
 225                 4  9; //  at 0x0177
 226                 10  10; //  at 0x017B

























 227               }
 228             } // end LineNumberTable
 229           } // Attributes
 230         } // end Code
 231       } // Attributes
 232     } // Member
 233   } // methods
 234 
 235   [1] { // Attributes
 236     Attr(#19, 2) { // SourceFile at 0x01AC
 237       #20;
 238     } // end SourceFile




 239   } // Attributes
 240 } // end class ValueEnum
 241 
 242 //////////////////////////////////////////////////////////////////////
 243 
 244 // Test that value type fields must be final.
 245 //
 246 class ValueFieldNotFinal {
 247   0xCAFEBABE;
 248   0; // minor version
 249   55; // version
 250   [27] { // Constant Pool
 251     ; // first element is empty
 252     Method #7 #21; // #1     at 0x0A
 253     Field #3 #22; // #2     at 0x0F
 254     class #23; // #3     at 0x14
 255     int 0x01234567; // #4     at 0x17
 256     Method #3 #24; // #5     at 0x1C
 257     Field #3 #25; // #6     at 0x21
 258     class #26; // #7     at 0x26
 259     Utf8 "VT"; // #8     at 0x29
 260     Utf8 "LValueFieldNotFinal;"; // #9     at 0x2E
 261     Utf8 "int_v"; // #10     at 0x3C
 262     Utf8 "I"; // #11     at 0x44
 263     Utf8 "<init>"; // #12     at 0x48
 264     Utf8 "()V"; // #13     at 0x51
 265     Utf8 "Code"; // #14     at 0x57
 266     Utf8 "LineNumberTable"; // #15     at 0x5E
 267     Utf8 "makeValueFieldNotFinal"; // #16     at 0x70
 268     Utf8 "(I)LValueFieldNotFinal;"; // #17     at 0x80
 269     Utf8 "<clinit>"; // #18     at 0x91
 270     Utf8 "SourceFile"; // #19     at 0x9C
 271     Utf8 "ValueFieldNotFinal.java"; // #20     at 0xA9
 272     NameAndType #12 #13; // #21     at 0xBA
 273     NameAndType #10 #11; // #22     at 0xBF
 274     Utf8 "ValueFieldNotFinal"; // #23     at 0xC4
 275     NameAndType #16 #17; // #24     at 0xD0
 276     NameAndType #8 #9; // #25     at 0xD5
 277     Utf8 "java/lang/Object"; // #26     at 0xDA

 278   } // Constant Pool
 279 
 280   0x0130; // access [ ACC_VALUE ACC_SUPER ACC_FINAL ]
 281   #3;// this_cpx
 282   #7;// super_cpx
 283 
 284   [0] { // Interfaces
 285   } // Interfaces
 286 
 287   [2] { // fields
 288     { // Member at 0xF7
 289       0x0018; // access
 290       #8; // name_cpx
 291       #9; // sig_cpx
 292       [0] { // Attributes
 293       } // Attributes
 294     } // Member
 295     ;
 296     { // Member at 0xFF
 297       0x0000; // access [ Field not ACC_FINAL(bad) ]
 298       #10; // name_cpx
 299       #11; // sig_cpx
 300       [0] { // Attributes
 301       } // Attributes
 302     } // Member
 303   } // fields
 304 
 305   [1] { // methods
 306     { // Member at 0x0141



























 307       0x0008; // access
 308       #16; // name_cpx
 309       #17; // sig_cpx
 310       [1] { // Attributes
 311         Attr(#14, 44) { // Code at 0x0149
 312           2; // max_stack
 313           2; // max_locals
 314           Bytes[12]{
 315             0xCB00034C2B1ACC00;
 316             0x024C2BB0;
 317           };
 318           [0] { // Traps
 319           } // end Traps
 320           [1] { // Attributes
 321             Attr(#15, 14) { // LineNumberTable at 0x0167
 322               [3] { // LineNumberTable
 323                 0  8; //  at 0x0173
 324                 4  9; //  at 0x0177
 325                 10  10; //  at 0x017B

























 326               }
 327             } // end LineNumberTable
 328           } // Attributes
 329         } // end Code
 330       } // Attributes
 331     } // Member
 332   } // methods
 333 
 334   [1] { // Attributes
 335     Attr(#19, 2) { // SourceFile at 0x01AC
 336       #20;
 337     } // end SourceFile




 338   } // Attributes
 339 } // end class ValueFieldNotFinal
 340 
 341 //////////////////////////////////////////////////////////////////////
 342 
 343 // Test that arrays cannot have ACC_FLATTENABLE set.
 344 //
 345 class ValueFlatArray {
 346   0xCAFEBABE;
 347   0; // minor version
 348   55; // version
 349   [31] { // Constant Pool
 350     ; // first element is empty
 351     Method #8 #24; // #1     at 0x0A
 352     Field #4 #25; // #2     at 0x0F
 353     Field #4 #26; // #3     at 0x14
 354     class #27; // #4     at 0x19
 355     int 0x01234567; // #5     at 0x1C
 356     Method #4 #28; // #6     at 0x21
 357     Field #4 #29; // #7     at 0x26
 358     class #30; // #8     at 0x2B
 359     Utf8 "VT"; // #9     at 0x2E
 360     Utf8 "LValueFlatArray;"; // #10     at 0x33
 361     Utf8 "int_v"; // #11     at 0x46
 362     Utf8 "I"; // #12     at 0x4E
 363     Utf8 "int_a"; // #13     at 0x52
 364     Utf8 "[I"; // #14     at 0x5A
 365     Utf8 "<init>"; // #15     at 0x5F
 366     Utf8 "()V"; // #16     at 0x68
 367     Utf8 "Code"; // #17     at 0x6E
 368     Utf8 "LineNumberTable"; // #18     at 0x75
 369     Utf8 "makeValueFlatArray"; // #19     at 0x87
 370     Utf8 "(I)LValueFlatArray;"; // #20     at 0x9C
 371     Utf8 "<clinit>"; // #21     at 0xB2
 372     Utf8 "SourceFile"; // #22     at 0xBD
 373     Utf8 "ValueFlatArray.java"; // #23     at 0xCA
 374     NameAndType #15 #16; // #24     at 0xE0
 375     NameAndType #11 #12; // #25     at 0xE5
 376     NameAndType #13 #14; // #26     at 0xEA
 377     Utf8 "ValueFlatArray"; // #27     at 0xEF
 378     NameAndType #19 #20; // #28     at 0x0100
 379     NameAndType #9 #10; // #29     at 0x0105
 380     Utf8 "java/lang/Object"; // #30     at 0x010A

 381   } // Constant Pool
 382 
 383   0x0130; // access [ ACC_SUPER ACC_FINAL ]
 384   #4;// this_cpx
 385   #8;// super_cpx
 386 
 387   [0] { // Interfaces
 388   } // Interfaces
 389 
 390   [3] { // fields
 391     { // Member at 0x0127
 392       0x0018; // access
 393       #9; // name_cpx
 394       #10; // sig_cpx
 395       [0] { // Attributes
 396       } // Attributes
 397     } // Member
 398     ;
 399     { // Member at 0x012F
 400       0x0010; // access
 401       #11; // name_cpx
 402       #12; // sig_cpx
 403       [0] { // Attributes
 404       } // Attributes
 405     } // Member
 406     ;
 407     { // Member at 0x0137
 408       0x0110; // access [ ACC_FINAL ACC_FLATTENABLE(bad) ]
 409       #13; // name_cpx
 410       #14; // sig_cpx
 411       [0] { // Attributes
 412       } // Attributes
 413     } // Member
 414   } // fields
 415 
 416   [1] { // methods
 417     { // Member at 0x018F




























 418       0x0008; // access
 419       #19; // name_cpx
 420       #20; // sig_cpx
 421       [1] { // Attributes
 422         Attr(#17, 44) { // Code at 0x0197
 423           2; // max_stack
 424           2; // max_locals
 425           Bytes[12]{
 426             0xCB00044C2B1ACC00;
 427             0x024C2BB0;
 428           };
 429           [0] { // Traps
 430           } // end Traps
 431           [1] { // Attributes
 432             Attr(#18, 14) { // LineNumberTable at 0x01B5
 433               [3] { // LineNumberTable
 434                 0  11; //  at 0x01C1
 435                 4  12; //  at 0x01C5
 436                 10  13; //  at 0x01C9

























 437               }
 438             } // end LineNumberTable
 439           } // Attributes
 440         } // end Code
 441       } // Attributes
 442     } // Member
 443   } // methods
 444 
 445   [1] { // Attributes
 446     Attr(#22, 2) { // SourceFile at 0x01FA
 447       #23;
 448     } // end SourceFile




 449   } // Attributes
 450 } // end class ValueFlatArray
 451 
 452 //////////////////////////////////////////////////////////////////////
 453 
 454 // Test that a value type cannot have a method named <init>.
 455 //
 456 class ValueInitMethod {
 457   0xCAFEBABE;
 458   0; // minor version
 459   55; // version
 460   [27] { // Constant Pool
 461     ; // first element is empty
 462     Method #7 #21; // #1     at 0x0A
 463     Field #3 #22; // #2     at 0x0F
 464     class #23; // #3     at 0x14
 465     int 0x01234567; // #4     at 0x17
 466     Method #3 #24; // #5     at 0x1C
 467     Field #3 #25; // #6     at 0x21
 468     class #26; // #7     at 0x26
 469     Utf8 "VT"; // #8     at 0x29
 470     Utf8 "LValueInitMethod;"; // #9     at 0x2E
 471     Utf8 "int_v"; // #10     at 0x42
 472     Utf8 "I"; // #11     at 0x4A
 473     Utf8 "<init>"; // #12     at 0x4E
 474     Utf8 "()V"; // #13     at 0x57
 475     Utf8 "Code"; // #14     at 0x5D
 476     Utf8 "LineNumberTable"; // #15     at 0x64
 477     Utf8 "makeValueInitMethod"; // #16     at 0x76
 478     Utf8 "(I)LValueInitMethod;"; // #17     at 0x8C
 479     Utf8 "<clinit>"; // #18     at 0xA3
 480     Utf8 "SourceFile"; // #19     at 0xAE
 481     Utf8 "ValueInitMethod.java"; // #20     at 0xBB
 482     NameAndType #12 #13; // #21     at 0xD2
 483     NameAndType #10 #11; // #22     at 0xD7
 484     Utf8 "ValueInitMethod"; // #23     at 0xDC
 485     NameAndType #16 #17; // #24     at 0xEE
 486     NameAndType #8 #9; // #25     at 0xF3
 487     Utf8 "java/lang/Object"; // #26     at 0xF8

 488   } // Constant Pool
 489 
 490   0x0130; // access [ ACC_SUPER ACC_FINAL ]
 491   #3;// this_cpx
 492   #7;// super_cpx
 493 
 494   [0] { // Interfaces
 495   } // Interfaces
 496 
 497   [2] { // fields
 498     { // Member at 0x0115
 499       0x0018; // access
 500       #8; // name_cpx
 501       #9; // sig_cpx
 502       [0] { // Attributes
 503       } // Attributes
 504     } // Member
 505     ;
 506     { // Member at 0x011D
 507       0x0010; // access
 508       #10; // name_cpx
 509       #11; // sig_cpx
 510       [0] { // Attributes
 511       } // Attributes
 512     } // Member
 513   } // fields
 514 
 515   [2] { // methods
 516     { // Member at 0x0127
 517       0x0000; // access
 518       #12; // name_cpx (bad) <init>
 519       #13; // sig_cpx
 520       [1] { // Attributes
 521         Attr(#14, 42) { // Code at 0x012F
 522           2; // max_stack
 523           1; // max_locals
 524           Bytes[10]{
 525             0x2AB700012A04B500;
 526             0x02B1;
 527           };
 528           [0] { // Traps
 529           } // end Traps
 530           [1] { // Attributes
 531             Attr(#15, 14) { // LineNumberTable at 0x014B
 532               [3] { // LineNumberTable
 533                 0  4; //  at 0x0157
 534                 4  5; //  at 0x015B
 535                 9  6; //  at 0x015F
 536               }
 537             } // end LineNumberTable
 538           } // Attributes
 539         } // end Code
 540       } // Attributes
 541     } // Member
 542     ;
 543     { // Member at 0x015F
 544       0x0008; // access
 545       #16; // name_cpx
 546       #17; // sig_cpx
 547       [1] { // Attributes
 548         Attr(#14, 44) { // Code at 0x0167
 549           2; // max_stack
 550           2; // max_locals
 551           Bytes[12]{
 552             0xCB00034C2B1ACC00;
 553             0x024C2BB0;
 554           };
 555           [0] { // Traps
 556           } // end Traps
 557           [1] { // Attributes
 558             Attr(#15, 14) { // LineNumberTable at 0x0185
 559               [3] { // LineNumberTable
 560                 0  8; //  at 0x0191
 561                 4  9; //  at 0x0195
 562                 10  10; //  at 0x0199

























 563               }
 564             } // end LineNumberTable
 565           } // Attributes
 566         } // end Code
 567       } // Attributes
 568     } // Member
 569   } // methods
 570 
 571   [1] { // Attributes
 572     Attr(#19, 2) { // SourceFile at 0x01CA
 573       #20;
 574     } // end SourceFile




 575   } // Attributes
 576 } // end class ValueInitMethod
 577 
 578 //////////////////////////////////////////////////////////////////////
 579 
 580 // Test that class modifiers cannot have both ACC_VALUE and ACC_INTERFACE set.
 581 //
 582 class ValueInterface {
 583   0xCAFEBABE;
 584   0; // minor version
 585   55; // version
 586   [27] { // Constant Pool
 587     ; // first element is empty
 588     Method #7 #21; // #1     at 0x0A
 589     Field #3 #22; // #2     at 0x0F
 590     class #23; // #3     at 0x14
 591     int 0x01234567; // #4     at 0x17
 592     Method #3 #24; // #5     at 0x1C
 593     Field #3 #25; // #6     at 0x21
 594     class #26; // #7     at 0x26
 595     Utf8 "VT"; // #8     at 0x29
 596     Utf8 "LValueInterface;"; // #9     at 0x2E
 597     Utf8 "int_v"; // #10     at 0x3C
 598     Utf8 "I"; // #11     at 0x44
 599     Utf8 "<init>"; // #12     at 0x48
 600     Utf8 "()V"; // #13     at 0x51
 601     Utf8 "Code"; // #14     at 0x57
 602     Utf8 "LineNumberTable"; // #15     at 0x5E
 603     Utf8 "makeValueInterface"; // #16     at 0x70
 604     Utf8 "(I)LValueInterface;"; // #17     at 0x80
 605     Utf8 "<clinit>"; // #18     at 0x91
 606     Utf8 "SourceFile"; // #19     at 0x9C
 607     Utf8 "ValueInterface.java"; // #20     at 0xA9
 608     NameAndType #12 #13; // #21     at 0xBA
 609     NameAndType #10 #11; // #22     at 0xBF
 610     Utf8 "ValueInterface"; // #23     at 0xC4
 611     NameAndType #16 #17; // #24     at 0xD0
 612     NameAndType #8 #9; // #25     at 0xD5
 613     Utf8 "java/lang/Object"; // #26     at 0xDA
 614   } // Constant Pool
 615 
 616   0x0330; // access [ ACC_VALUE ACC_INTERFACE(bad) ACC_SUPER ACC_FINAL ]
 617   #3;// this_cpx
 618   #7;// super_cpx
 619 
 620   [0] { // Interfaces
 621   } // Interfaces
 622 
 623   [2] { // fields
 624     { // Member at 0xF7
 625       0x0018; // access
 626       #8; // name_cpx
 627       #9; // sig_cpx
 628       [0] { // Attributes
 629       } // Attributes
 630     } // Member
 631     ;
 632     { // Member at 0xFF
 633       0x0010; // access
 634       #10; // name_cpx
 635       #11; // sig_cpx
 636       [0] { // Attributes
 637       } // Attributes
 638     } // Member
 639   } // fields
 640 
 641   [1] { // methods
 642     { // Member at 0x0141
 643       0x0008; // access
 644       #16; // name_cpx
 645       #17; // sig_cpx
 646       [1] { // Attributes
 647         Attr(#14, 44) { // Code at 0x0149
 648           2; // max_stack
 649           2; // max_locals
 650           Bytes[12]{
 651             0xCB00034C2B1ACC00;
 652             0x024C2BB0;
 653           };
 654           [0] { // Traps
 655           } // end Traps
 656           [1] { // Attributes
 657             Attr(#15, 14) { // LineNumberTable at 0x0167
 658               [3] { // LineNumberTable
 659                 0  8; //  at 0x0173
 660                 4  9; //  at 0x0177
 661                 10  10; //  at 0x017B
 662               }
 663             } // end LineNumberTable
 664           } // Attributes
 665         } // end Code
 666       } // Attributes
 667     } // Member
 668   } // methods
 669 
 670   [1] { // Attributes
 671     Attr(#19, 2) { // SourceFile at 0x01AC
 672       #20;
 673     } // end SourceFile
 674   } // Attributes
 675 } // end class ValueInterface
 676 
 677 //////////////////////////////////////////////////////////////////////
 678 
 679 // Test that value type instance methods cannot be synchronized.
 680 //
 681 class ValueMethodSynch {
 682   0xCAFEBABE;
 683   0; // minor version
 684   55; // version
 685   [28] { // Constant Pool
 686     ; // first element is empty
 687     Method #7 #22; // #1     at 0x0A
 688     Field #3 #23; // #2     at 0x0F
 689     class #24; // #3     at 0x14
 690     int 0x01234567; // #4     at 0x17
 691     Method #3 #25; // #5     at 0x1C
 692     Field #3 #26; // #6     at 0x21
 693     class #27; // #7     at 0x26
 694     Utf8 "VT"; // #8     at 0x29
 695     Utf8 "LValueMethodSynch;"; // #9     at 0x2E
 696     Utf8 "int_v"; // #10     at 0x43
 697     Utf8 "I"; // #11     at 0x4B
 698     Utf8 "<init>"; // #12     at 0x4F
 699     Utf8 "()V"; // #13     at 0x58
 700     Utf8 "Code"; // #14     at 0x5E
 701     Utf8 "LineNumberTable"; // #15     at 0x65
 702     Utf8 "makeValueMethodSynch"; // #16     at 0x77
 703     Utf8 "(I)LValueMethodSynch;"; // #17     at 0x8E
 704     Utf8 "instanceMethod"; // #18     at 0xA6
 705     Utf8 "<clinit>"; // #19     at 0xB7
 706     Utf8 "SourceFile"; // #20     at 0xC2
 707     Utf8 "ValueMethodSynch.java"; // #21     at 0xCF
 708     NameAndType #12 #13; // #22     at 0xE7
 709     NameAndType #10 #11; // #23     at 0xEC
 710     Utf8 "ValueMethodSynch"; // #24     at 0xF1
 711     NameAndType #16 #17; // #25     at 0x0104
 712     NameAndType #8 #9; // #26     at 0x0109
 713     Utf8 "java/lang/Object"; // #27     at 0x010E

 714   } // Constant Pool
 715 
 716   0x0130; // access [ ACC_VALUE ACC_SUPER ACC_FINAL ]
 717   #3;// this_cpx
 718   #7;// super_cpx
 719 
 720   [0] { // Interfaces
 721   } // Interfaces
 722 
 723   [2] { // fields
 724     { // Member at 0x012B
 725       0x0018; // access
 726       #8; // name_cpx
 727       #9; // sig_cpx
 728       [0] { // Attributes
 729       } // Attributes
 730     } // Member
 731     ;
 732     { // Member at 0x0133
 733       0x0010; // access
 734       #10; // name_cpx
 735       #11; // sig_cpx
 736       [0] { // Attributes
 737       } // Attributes
 738     } // Member
 739   } // fields
 740 
 741   [2] { // methods
 742     { // Member at 0x0175
 743       0x0008; // access
 744       #16; // name_cpx
 745       #17; // sig_cpx
 746       [1] { // Attributes
 747         Attr(#14, 44) { // Code at 0x017D
 748           2; // max_stack
 749           2; // max_locals
 750           Bytes[12]{
 751             0xCB00034C2B1ACC00;
 752             0x024C2BB0;
 753           };
 754           [0] { // Traps
 755           } // end Traps
 756           [1] { // Attributes
 757             Attr(#15, 14) { // LineNumberTable at 0x019B
 758               [3] { // LineNumberTable
 759                 0  8; //  at 0x01A7
 760                 4  9; //  at 0x01AB
 761                 10  10; //  at 0x01AF
 762               }
 763             } // end LineNumberTable
 764           } // Attributes
 765         } // end Code
 766       } // Attributes
 767     } // Member
 768     ;
 769     { // Member at 0x01AF
 770       0x0020; // access [ ACC_SYNCHRONIZED(bad) ]
 771       #18; // name_cpx
 772       #13; // sig_cpx
 773       [1] { // Attributes
 774         Attr(#14, 25) { // Code at 0x01B7
 775           0; // max_stack
 776           1; // max_locals
 777           Bytes[1]{
 778             0xB1;
 779           };
 780           [0] { // Traps
 781           } // end Traps
 782           [1] { // Attributes
 783             Attr(#15, 6) { // LineNumberTable at 0x01CA
 784               [1] { // LineNumberTable
 785                 0  12; //  at 0x01D6




















































 786               }
 787             } // end LineNumberTable
 788           } // Attributes
 789         } // end Code
 790       } // Attributes
 791     } // Member
 792   } // methods
 793 
 794   [1] { // Attributes
 795     Attr(#20, 2) { // SourceFile at 0x0207
 796       #21;
 797     } // end SourceFile




 798   } // Attributes
 799 } // end class ValueMethodSynch
 800 
 801 //////////////////////////////////////////////////////////////////////
 802 
 803 // Test that a value type's super class must be java.lang.Object.
 804 //
 805 class ValueSuperClass {
 806   0xCAFEBABE;
 807   0; // minor version
 808   55; // version
 809   [26] { // Constant Pool
 810     ; // first element is empty
 811     int 0x01234567; // #1     at 0x0A
 812     Field #7 #10; // #2     at 0x0F
 813     Field #7 #17; // #3     at 0x14
 814     Method #7 #16; // #4     at 0x19
 815     Method #11 #14; // #5     at 0x1E
 816     Utf8 "makeValueSuperClass"; // #6     at 0x23
 817     class #9; // #7     at 0x39
 818     Utf8 "int_v"; // #8     at 0x3C
 819     Utf8 "ValueSuperClass"; // #9     at 0x44
 820     NameAndType #21 #23; // #10     at 0x56
 821     class #12; // #11     at 0x5B
 822     Utf8 "java/lang/Throwable"; // #12     at 0x5E
 823     Utf8 "(I)LValueSuperClass;"; // #13     at 0x74
 824     NameAndType #24 #18; // #14     at 0x8B
 825     Utf8 "SourceFile"; // #15     at 0x90
 826     NameAndType #6 #13; // #16     at 0x9D
 827     NameAndType #8 #20; // #17     at 0xA2
 828     Utf8 "()V"; // #18     at 0xA7
 829     Utf8 "ValueSuperClass.jasm"; // #19     at 0xAD
 830     Utf8 "I"; // #20     at 0xC4
 831     Utf8 "VT"; // #21     at 0xC8
 832     Utf8 "Code"; // #22     at 0xCD
 833     Utf8 "LValueSuperClass;"; // #23     at 0xD4
 834     Utf8 "<init>"; // #24     at 0xE8
 835     Utf8 "<clinit>"; // #25     at 0xF1




 836   } // Constant Pool
 837 
 838   0x0130; // access [ ACC_VALUE ACC_SUPER ACC_FINAL ]
 839   #7;// this_cpx
 840   #11;// super_cpx  (bad) points to java/lang/Throwable
 841 
 842   [0] { // Interfaces
 843   } // Interfaces
 844 
 845   [2] { // fields
 846     { // Member at 0x0106
 847       0x0018; // access
 848       #21; // name_cpx
 849       #23; // sig_cpx








 850       [0] { // Attributes
 851       } // Attributes
 852     } // Member
 853     ;
 854     { // Member at 0x010E
 855       0x0010; // access
 856       #8; // name_cpx
 857       #20; // sig_cpx
 858       [0] { // Attributes
















































 859       } // Attributes
 860     } // Member
 861   } // fields
 862 
 863   [1] { // methods
 864     { // Member at 0x013C
 865       0x0008; // access
 866       #6; // name_cpx
 867       #13; // sig_cpx
 868       [1] { // Attributes
 869         Attr(#22, 20) { // Code at 0x0144
 870           3; // max_stack
 871           3; // max_locals
 872           Bytes[8]{
 873             0x014C2B1A014C2BB0;

 874           };
 875           [0] { // Traps
 876           } // end Traps
 877           [0] { // Attributes





 878           } // Attributes
 879         } // end Code
 880       } // Attributes
 881     } // Member
 882   } // methods
 883 
 884   [1] { // Attributes
 885     Attr(#15, 2) { // SourceFile at 0x0183
 886       #19;
 887     } // end SourceFile




 888   } // Attributes
 889 } // end class ValueSuperClass
 890 
 891 //////////////////////////////////////////////////////////////////////
 892 
 893 // Value types Circ and Circ2 have fields of each other's type.  This should
 894 // cause a ClassCircularityError exception when one of them is being loaded.
 895 //
 896 // The value types are based on these two Java classes:
 897 //
 898 // final __ByValue class Circ {
 899 //     static final Circ VT = makeCirc(0x01234567);
 900 //     final int int_v;
 901 //     __Flattenable final Circ2 v2;
 902 //     Circ() {
 903 //         int_v = 1;
 904 //         v2 = __MakeDefault Circ2();
 905 //     }
 906 //     static Circ makeCirc(int x) {
 907 //         Circ v = __MakeDefault Circ();
 908 //         v = __WithField(v.int_v, x);
 909 //         return v;
 910 //     }

 911 //----------------------------------------------------------------
 912 // final __ByValue class Circ2 {
 913 //     static final Circ2 VT = makeCirc2('\u0123');
 914 //     final char char_v;
 915 //     __Flattenable final Circ vv;
 916 //     Circ2() {
 917 //         char_v = 'z';
 918 //         vv = __MakeDefault Circ();
 919 //     }
 920 //     static Circ2 makeCirc2(char c) {
 921 //         Circ2 v = __MakeDefault Circ2();
 922 //         v = __WithField(v.char_v, c);
 923 //         return v;
 924 //     }
 925 // }
 926 
 927 class Circ {
 928   0xCAFEBABE;
 929   0; // minor version
 930   55; // version
 931   [33] { // Constant Pool
 932     ; // first element is empty
 933     Method #9 #25; // #1     at 0x0A
 934     Field #5 #26; // #2     at 0x0F
 935     class #27; // #3     at 0x14
 936     Field #5 #28; // #4     at 0x17
 937     class #29; // #5     at 0x1C
 938     int 0x01234567; // #6     at 0x1F
 939     Method #5 #30; // #7     at 0x24
 940     Field #5 #31; // #8     at 0x29
 941     class #32; // #9     at 0x2E
 942     Utf8 "VT"; // #10     at 0x31
 943     Utf8 "LCirc;"; // #11     at 0x36
 944     Utf8 "int_v"; // #12     at 0x40
 945     Utf8 "I"; // #13     at 0x48
 946     Utf8 "v2"; // #14     at 0x4C
 947     Utf8 "LCirc2;"; // #15     at 0x51
 948     Utf8 "<init>"; // #16     at 0x5C
 949     Utf8 "()V"; // #17     at 0x65
 950     Utf8 "Code"; // #18     at 0x6B
 951     Utf8 "LineNumberTable"; // #19     at 0x72
 952     Utf8 "makeCirc"; // #20     at 0x84
 953     Utf8 "(I)LCirc;"; // #21     at 0x90
 954     Utf8 "<clinit>"; // #22     at 0x9D
 955     Utf8 "SourceFile"; // #23     at 0xA8
 956     Utf8 "Circ.java"; // #24     at 0xB5
 957     NameAndType #16 #17; // #25     at 0xC2
 958     NameAndType #12 #13; // #26     at 0xC7
 959     Utf8 "Circ2"; // #27     at 0xCC
 960     NameAndType #14 #15; // #28     at 0xD5
 961     Utf8 "Circ"; // #29     at 0xDA
 962     NameAndType #20 #21; // #30     at 0xE2
 963     NameAndType #10 #11; // #31     at 0xE7
 964     Utf8 "java/lang/Object"; // #32     at 0xEC

 965   } // Constant Pool
 966 
 967   0x0130; // access [ ACC_SUPER ACC_FINAL ]
 968   #5;// this_cpx
 969   #9;// super_cpx
 970 
 971   [0] { // Interfaces
 972   } // Interfaces
 973 
 974   [3] { // fields
 975     { // Member at 0x0109
 976       0x0018; // access
 977       #10; // name_cpx
 978       #11; // sig_cpx
 979       [0] { // Attributes
 980       } // Attributes
 981     } // Member
 982     ;
 983     { // Member at 0x0111
 984       0x0010; // access
 985       #12; // name_cpx
 986       #13; // sig_cpx
 987       [0] { // Attributes
 988       } // Attributes
 989     } // Member
 990     ;
 991     { // Member at 0x0119
 992       0x0110; // access
 993       #14; // name_cpx
 994       #15; // sig_cpx
 995       [0] { // Attributes
 996       } // Attributes
 997     } // Member
 998   } // fields
 999 
1000   [1] { // methods
1001     { // Member at 0x0166





























1002       0x0008; // access
1003       #20; // name_cpx
1004       #21; // sig_cpx
1005       [1] { // Attributes
1006         Attr(#18, 44) { // Code at 0x016E
1007           2; // max_stack
1008           2; // max_locals
1009           Bytes[12]{
1010             0xCB00054C2B1ACC00;
1011             0x024C2BB0;
1012           };
1013           [0] { // Traps
1014           } // end Traps
1015           [1] { // Attributes
1016             Attr(#19, 14) { // LineNumberTable at 0x018C
1017               [3] { // LineNumberTable
1018                 0  10; //  at 0x0198
1019                 4  11; //  at 0x019C
1020                 10  12; //  at 0x01A0

























1021               }
1022             } // end LineNumberTable
1023           } // Attributes
1024         } // end Code
1025       } // Attributes
1026     } // Member
1027   } // methods
1028 
1029   [1] { // Attributes
1030     Attr(#23, 2) { // SourceFile at 0x01D1
1031       #24;
1032     } // end SourceFile




1033   } // Attributes
1034 } // end class Circ
1035 
1036 
1037 class Circ2 {
1038   0xCAFEBABE;
1039   0; // minor version
1040   55; // version
1041   [32] { // Constant Pool
1042     ; // first element is empty
1043     Method #8 #24; // #1     at 0x0A
1044     Field #5 #25; // #2     at 0x0F
1045     class #26; // #3     at 0x14
1046     Field #5 #27; // #4     at 0x17
1047     class #28; // #5     at 0x1C
1048     Method #5 #29; // #6     at 0x1F
1049     Field #5 #30; // #7     at 0x24
1050     class #31; // #8     at 0x29
1051     Utf8 "VT"; // #9     at 0x2C
1052     Utf8 "LCirc2;"; // #10     at 0x31
1053     Utf8 "char_v"; // #11     at 0x3C
1054     Utf8 "C"; // #12     at 0x45
1055     Utf8 "vv"; // #13     at 0x49
1056     Utf8 "LCirc;"; // #14     at 0x4E
1057     Utf8 "<init>"; // #15     at 0x58
1058     Utf8 "()V"; // #16     at 0x61
1059     Utf8 "Code"; // #17     at 0x67
1060     Utf8 "LineNumberTable"; // #18     at 0x6E
1061     Utf8 "makeCirc2"; // #19     at 0x80
1062     Utf8 "(C)LCirc2;"; // #20     at 0x8D
1063     Utf8 "<clinit>"; // #21     at 0x9B
1064     Utf8 "SourceFile"; // #22     at 0xA6
1065     Utf8 "Circ2.java"; // #23     at 0xB3
1066     NameAndType #15 #16; // #24     at 0xC1
1067     NameAndType #11 #12; // #25     at 0xC6
1068     Utf8 "Circ"; // #26     at 0xCB
1069     NameAndType #13 #14; // #27     at 0xD3
1070     Utf8 "Circ2"; // #28     at 0xD8
1071     NameAndType #19 #20; // #29     at 0xE1
1072     NameAndType #9 #10; // #30     at 0xE6
1073     Utf8 "java/lang/Object"; // #31     at 0xEB

1074   } // Constant Pool
1075 
1076   0x0130; // access [ ACC_SUPER ACC_FINAL ]
1077   #5;// this_cpx
1078   #8;// super_cpx
1079 
1080   [0] { // Interfaces
1081   } // Interfaces
1082 
1083   [3] { // fields
1084     { // Member at 0x0108
1085       0x0018; // access
1086       #9; // name_cpx
1087       #10; // sig_cpx
1088       [0] { // Attributes
1089       } // Attributes
1090     } // Member
1091     ;
1092     { // Member at 0x0110
1093       0x0010; // access
1094       #11; // name_cpx
1095       #12; // sig_cpx
1096       [0] { // Attributes
1097       } // Attributes
1098     } // Member
1099     ;
1100     { // Member at 0x0118
1101       0x0110; // access
1102       #13; // name_cpx
1103       #14; // sig_cpx
1104       [0] { // Attributes
1105       } // Attributes
1106     } // Member
1107   } // fields
1108 
1109   [1] { // methods
1110     { // Member at 0x0166





























1111       0x0008; // access
1112       #19; // name_cpx
1113       #20; // sig_cpx
1114       [1] { // Attributes
1115         Attr(#17, 44) { // Code at 0x016E
1116           2; // max_stack
1117           2; // max_locals
1118           Bytes[12]{
1119             0xCB00054C2B1ACC00;
1120             0x024C2BB0;
1121           };
1122           [0] { // Traps
1123           } // end Traps
1124           [1] { // Attributes
1125             Attr(#18, 14) { // LineNumberTable at 0x018C
1126               [3] { // LineNumberTable
1127                 0  10; //  at 0x0198
1128                 4  11; //  at 0x019C
1129                 10  12; //  at 0x01A0

























1130               }
1131             } // end LineNumberTable
1132           } // Attributes
1133         } // end Code
1134       } // Attributes
1135     } // Member
1136   } // methods
1137 
1138   [1] { // Attributes
1139     Attr(#22, 2) { // SourceFile at 0x01D2
1140       #23;
1141     } // end SourceFile




1142   } // Attributes
1143 } // end class Circ2
1144 
1145 //////////////////////////////////////////////////////////////////////
1146 
1147 // Value types CircStaticA and CircStaticB have static fields of each other's
1148 // type.  This should cause a ClassCircularityError exception when one of them
1149 // is being loaded.
1150 //
1151 // The value types are based on these two Java classes:
1152 //
1153 // final __ByValue class CircStaticA {
1154 //     static final CircStaticA VT = makeCircStaticA(0x01234567);
1155 //     final int int_v;
1156 //     __Flattenable static final CircStaticB v2 = __MakeDefault CircStaticB();
1157 //     CircStaticA() {
1158 //         int_v = 1;
1159 //     }
1160 //     static CircStaticA makeCircStaticA(int x) {
1161 //         CircStaticA v = __MakeDefault CircStaticA();
1162 //         v = __WithField(v.int_v, x);
1163 //         return v;
1164 //     }
1165 // }
1166 //----------------------------------------------------------------
1167 // final __ByValue class CircStaticB {
1168 //     static final CircStaticB VT = makeCircStaticB(0x01234567);
1169 //     final int int_v;
1170 //     __Flattenable static final CircStaticA v2 = __MakeDefault CircStaticA();
1171 //     CircStaticB() {
1172 //         int_v = 1;
1173 //     }
1174 //     static CircStaticB makeCircStaticB(int x) {
1175 //         CircStaticB v = __MakeDefault CircStaticB();
1176 //         v = __WithField(v.int_v, x);
1177 //         return v;
1178 //     }
1179 // }
1180 
1181 class CircStaticA {
1182   0xCAFEBABE;
1183   0; // minor version
1184   55; // version
1185   [33] { // Constant Pool
1186     ; // first element is empty
1187     Method #9 #25; // #1     at 0x0A
1188     Field #3 #26; // #2     at 0x0F
1189     class #27; // #3     at 0x14
1190     int 0x01234567; // #4     at 0x17
1191     Method #3 #28; // #5     at 0x1C
1192     Field #3 #29; // #6     at 0x21
1193     class #30; // #7     at 0x26
1194     Field #3 #31; // #8     at 0x29
1195     class #32; // #9     at 0x2E
1196     Utf8 "VT"; // #10     at 0x31
1197     Utf8 "LCircStaticA;"; // #11     at 0x36
1198     Utf8 "int_v"; // #12     at 0x46
1199     Utf8 "I"; // #13     at 0x4E
1200     Utf8 "v2"; // #14     at 0x52
1201     Utf8 "LCircStaticB;"; // #15     at 0x57
1202     Utf8 "<init>"; // #16     at 0x67
1203     Utf8 "()V"; // #17     at 0x70
1204     Utf8 "Code"; // #18     at 0x76
1205     Utf8 "LineNumberTable"; // #19     at 0x7D
1206     Utf8 "makeCircStaticA"; // #20     at 0x8F
1207     Utf8 "(I)LCircStaticA;"; // #21     at 0xA1
1208     Utf8 "<clinit>"; // #22     at 0xB4
1209     Utf8 "SourceFile"; // #23     at 0xBF
1210     Utf8 "CircStaticA.java"; // #24     at 0xCC
1211     NameAndType #16 #17; // #25     at 0xDF
1212     NameAndType #12 #13; // #26     at 0xE4
1213     Utf8 "CircStaticA"; // #27     at 0xE9
1214     NameAndType #20 #21; // #28     at 0xF7
1215     NameAndType #10 #11; // #29     at 0xFC
1216     Utf8 "CircStaticB"; // #30     at 0x0101
1217     NameAndType #14 #15; // #31     at 0x010F
1218     Utf8 "java/lang/Object"; // #32     at 0x0114

1219   } // Constant Pool
1220 
1221   0x0130; // access [ ACC_SUPER ACC_FINAL ]
1222   #3;// this_cpx
1223   #9;// super_cpx
1224 
1225   [0] { // Interfaces
1226   } // Interfaces
1227 
1228   [3] { // fields
1229     { // Member at 0x0131
1230       0x0018; // access
1231       #10; // name_cpx
1232       #11; // sig_cpx
1233       [0] { // Attributes
1234       } // Attributes
1235     } // Member
1236     ;
1237     { // Member at 0x0139
1238       0x0010; // access
1239       #12; // name_cpx
1240       #13; // sig_cpx
1241       [0] { // Attributes
1242       } // Attributes
1243     } // Member
1244     ;
1245     { // Member at 0x0141
1246       0x0118; // access
1247       #14; // name_cpx
1248       #15; // sig_cpx
1249       [0] { // Attributes
1250       } // Attributes
1251     } // Member
1252   } // fields
1253 
1254   [1] { // methods
1255     { // Member at 0x0183



























1256       0x0008; // access
1257       #20; // name_cpx
1258       #21; // sig_cpx
1259       [1] { // Attributes
1260         Attr(#18, 44) { // Code at 0x018B
1261           2; // max_stack
1262           2; // max_locals
1263           Bytes[12]{
1264             0xCB00034C2B1ACC00;
1265             0x024C2BB0;
1266           };
1267           [0] { // Traps
1268           } // end Traps
1269           [1] { // Attributes
1270             Attr(#19, 14) { // LineNumberTable at 0x01A9
1271               [3] { // LineNumberTable
1272                 0  10; //  at 0x01B5
1273                 4  11; //  at 0x01B9
1274                 10  12; //  at 0x01BD


























1275               }
1276             } // end LineNumberTable
1277           } // Attributes
1278         } // end Code
1279       } // Attributes
1280     } // Member
1281   } // methods
1282 
1283   [1] { // Attributes
1284     Attr(#23, 2) { // SourceFile at 0x01F8
1285       #24;
1286     } // end SourceFile




1287   } // Attributes
1288 } // end class CircStaticA
1289 
1290 class CircStaticB {
1291   0xCAFEBABE;
1292   0; // minor version
1293   55; // version
1294   [33] { // Constant Pool
1295     ; // first element is empty
1296     Method #9 #25; // #1     at 0x0A
1297     Field #3 #26; // #2     at 0x0F
1298     class #27; // #3     at 0x14
1299     int 0x01234567; // #4     at 0x17
1300     Method #3 #28; // #5     at 0x1C
1301     Field #3 #29; // #6     at 0x21
1302     class #30; // #7     at 0x26
1303     Field #3 #31; // #8     at 0x29
1304     class #32; // #9     at 0x2E
1305     Utf8 "VT"; // #10     at 0x31
1306     Utf8 "LCircStaticB;"; // #11     at 0x36
1307     Utf8 "int_v"; // #12     at 0x46
1308     Utf8 "I"; // #13     at 0x4E
1309     Utf8 "v2"; // #14     at 0x52
1310     Utf8 "LCircStaticA;"; // #15     at 0x57
1311     Utf8 "<init>"; // #16     at 0x67
1312     Utf8 "()V"; // #17     at 0x70
1313     Utf8 "Code"; // #18     at 0x76
1314     Utf8 "LineNumberTable"; // #19     at 0x7D
1315     Utf8 "makeCircStaticB"; // #20     at 0x8F
1316     Utf8 "(I)LCircStaticB;"; // #21     at 0xA1
1317     Utf8 "<clinit>"; // #22     at 0xB4
1318     Utf8 "SourceFile"; // #23     at 0xBF
1319     Utf8 "CircStaticB.java"; // #24     at 0xCC
1320     NameAndType #16 #17; // #25     at 0xDF
1321     NameAndType #12 #13; // #26     at 0xE4
1322     Utf8 "CircStaticB"; // #27     at 0xE9
1323     NameAndType #20 #21; // #28     at 0xF7
1324     NameAndType #10 #11; // #29     at 0xFC
1325     Utf8 "CircStaticA"; // #30     at 0x0101
1326     NameAndType #14 #15; // #31     at 0x010F
1327     Utf8 "java/lang/Object"; // #32     at 0x0114

1328   } // Constant Pool
1329 
1330   0x0130; // access [ ACC_SUPER ACC_FINAL ]
1331   #3;// this_cpx
1332   #9;// super_cpx
1333 
1334   [0] { // Interfaces
1335   } // Interfaces
1336 
1337   [3] { // fields
1338     { // Member at 0x0131
1339       0x0018; // access
1340       #10; // name_cpx
1341       #11; // sig_cpx
1342       [0] { // Attributes
1343       } // Attributes
1344     } // Member
1345     ;
1346     { // Member at 0x0139
1347       0x0010; // access
1348       #12; // name_cpx
1349       #13; // sig_cpx
1350       [0] { // Attributes
1351       } // Attributes
1352     } // Member
1353     ;
1354     { // Member at 0x0141
1355       0x0118; // access
1356       #14; // name_cpx
1357       #15; // sig_cpx
1358       [0] { // Attributes
1359       } // Attributes
1360     } // Member
1361   } // fields
1362 
1363   [1] { // methods
1364     { // Member at 0x0183



























1365       0x0008; // access
1366       #20; // name_cpx
1367       #21; // sig_cpx
1368       [1] { // Attributes
1369         Attr(#18, 44) { // Code at 0x018B
1370           2; // max_stack
1371           2; // max_locals
1372           Bytes[12]{
1373             0xCB00034C2B1ACC00;
1374             0x024C2BB0;
1375           };
1376           [0] { // Traps
1377           } // end Traps
1378           [1] { // Attributes
1379             Attr(#19, 14) { // LineNumberTable at 0x01A9
1380               [3] { // LineNumberTable
1381                 0  9; //  at 0x01B5
1382                 4  10; //  at 0x01B9
1383                 10  11; //  at 0x01BD


























1384               }
1385             } // end LineNumberTable
1386           } // Attributes
1387         } // end Code
1388       } // Attributes
1389     } // Member
1390   } // methods
1391 
1392   [1] { // Attributes
1393     Attr(#23, 2) { // SourceFile at 0x01F8
1394       #24;
1395     } // end SourceFile




1396   } // Attributes
1397 } // end class CircStaticB
1398 

1399 
1400 // Test that a value type cannot be Cloneable.
1401 //
1402 // final __ByValue class ValueCloneable implements Cloneable {
1403 //    final int field;
1404 //    private ValueCloneable() { field = 0; }
1405 //}
1406 
1407 class ValueCloneable {
1408   0xCAFEBABE;
1409   0; // minor version
1410   55; // version
1411   [] { // Constant Pool
1412     ; // first element is empty
1413     Method #4 #14; // #1
1414     Field #3 #15; // #2
1415     class #16; // #3
1416     class #17; // #4
1417     class #18; // #5
1418     Utf8 "field"; // #6
1419     Utf8 "I"; // #7
1420     Utf8 "<init>"; // #8
1421     Utf8 "()V"; // #9
1422     Utf8 "Code"; // #10
1423     Utf8 "LineNumberTable"; // #11
1424     Utf8 "SourceFile"; // #12
1425     Utf8 "ValueCloneable.java"; // #13
1426     NameAndType #8 #9; // #14
1427     NameAndType #6 #7; // #15
1428     Utf8 "ValueCloneable"; // #16
1429     Utf8 "java/lang/Object"; // #17
1430     Utf8 "java/lang/Cloneable"; // #18

1431   } // Constant Pool
1432 
1433   0x0130; // access
1434   #3;// this_cpx
1435   #4;// super_cpx
1436 
1437   [] { // Interfaces
1438     #5;
1439   } // Interfaces
1440 
1441   [] { // fields
1442     { // Member
1443       0x0010; // access
1444       #6; // name_cpx
1445       #7; // sig_cpx
1446       [] { // Attributes
1447       } // Attributes
1448     } // Member
1449   } // fields
1450 
1451   [] { // methods
1452     { // Member
1453       0x0002; // access
1454       #8; // name_cpx
1455       #9; // sig_cpx
1456       [] { // Attributes
1457         Attr(#10) { // Code
1458           2; // max_stack
1459           1; // max_locals
1460           Bytes[]{
1461             0x2AB700012A03B500;
1462             0x02B1;
1463           }
1464           [] { // Traps
1465           } // end Traps
1466           [] { // Attributes
1467             Attr(#11) { // LineNumberTable
1468               [] { // LineNumberTable
1469                 0  4;
1470               }
1471             } // end LineNumberTable
1472           } // Attributes
1473         } // end Code
1474       } // Attributes
1475     } // Member
1476   } // methods
1477 
1478   [] { // Attributes
1479     Attr(#12) { // SourceFile
1480       #13;
1481     } // end SourceFile




1482   } // Attributes
1483 } // end class ValueCloneable
--- EOF ---