(&self)
| 635 | ArrayGet { |
| 636 | dest: String, |
| 637 | array: Operand, |
| 638 | index: Operand, |
| 639 | }, |
| 640 | Length { |
| 641 | dest: String, |
| 642 | array: Operand, |
| 643 | }, |
| 644 | ConstructObject { |
| 645 | dest: String, // Variable to hold the new object reference |
| 646 | class_name: String, // JVM class name (e.g., my_crate/MyStruct) |
| 647 | args: Vec<(Operand, Type)>, // Constructor arguments in field declaration order. |
| 648 | }, |
| 649 | SetField { |
| 650 | object: String, // Variable holding the object reference |
| 651 | field_name: String, // Name of the field in the class |
| 652 | value: Operand, // Value to store in the field |
| 653 | field_ty: Type, // Type of the field (needed for JVM descriptor) |
| 654 | owner_class: String, // JVM class name where the field is defined |
| 655 | }, |
| 656 | GetField { |
| 657 | dest: String, // Variable to store the loaded field value |
| 658 | object: Operand, // Variable holding the object reference |
| 659 | field_name: String, // Name of the field in the class |
| 660 | field_ty: Type, // Type of the field (needed for JVM descriptor) |
| 661 | owner_class: String, // JVM class name where the field is defined |
| 662 | }, |
| 663 | /// An exact JVM instance-field load. Unlike Rust-generated object fields, |
| 664 | /// pointer values are self-contained and have no companion offset fields. |
| 665 | GetJvmField { |
| 666 | dest: String, |
| 667 | object: Operand, |
| 668 | class_name: String, |
| 669 | field_name: String, |
| 670 | field_ty: Type, |
| 671 | }, |
| 672 | /// An exact JVM instance-field store; pointer offsets are materialized |
| 673 | /// into the public `Pointer` carrier before the value crosses the ABI. |
| 674 | SetJvmField { |
| 675 | object: Operand, |
| 676 | class_name: String, |
| 677 | field_name: String, |
| 678 | value: Operand, |
| 679 | field_ty: Type, |
no outgoing calls
no test coverage detected