
Type Checking Load and Store Instructions 4.10.1.8.

Type Checking Methods with Code 4.10.1.7. Type Checking Abstract and Native Methods 4.10.1.6. Accessors for Java Virtual Machine Artifacts 4.10.1.2. Constraints on Java Virtual Machine code 4.9.1. The RuntimeInvisibleParameterAnnotations attribute 4.7.20. The RuntimeVisibleParameterAnnotations attribute 4.7.19. The RuntimeInvisibleAnnotations attribute 4.7.18. The RuntimeVisibleAnnotations attribute 4.7.16.1. The LocalVariableTypeTable Attribute 4.7.15. The SourceDebugExtension Attribute 4.7.12. Defining and Naming New Attributes 4.7.2. The CONSTANT_InvokeDynamic_info Structure 4.5.

The CONSTANT_MethodType_info Structure 4.4.10. The CONSTANT_MethodHandle_info Structure 4.4.9. The CONSTANT_NameAndType_info Structure 4.4.7. The CONSTANT_Long_info and CONSTANT_Double_info Structures 4.4.6. The CONSTANT_Integer_info and CONSTANT_Float_info Structures 4.4.5.

The CONSTANT_String_info Structure 4.4.4. The CONSTANT_Fieldref_info, CONSTANT_Methodref_info, and CONSTANT_InterfaceMethodref_info Structures 4.4.3.
