The Java
®
Virtual Machine Specification
v
4.4.5 The CONSTANT_Long_info and CONSTANT_Double_info
Structures 83
4.4.6 The CONSTANT_NameAndType_info Structure 85
4.4.7 The CONSTANT_Utf8_info Structure 85
4.4.8 The CONSTANT_MethodHandle_info Structure 87
4.4.9 The CONSTANT_MethodType_info Structure 89
4.4.10 The CONSTANT_InvokeDynamic_info Structure 89
4.5 Fields 90
4.6 Methods 92
4.7 Attributes 95
4.7.1 Defining and Naming New Attributes 101
4.7.2 The ConstantValue Attribute 101
4.7.3 The Code Attribute 102
4.7.4 The StackMapTable Attribute 106
4.7.5 The Exceptions Attribute 113
4.7.6 The InnerClasses Attribute 114
4.7.7 The EnclosingMethod Attribute 117
4.7.8 The Synthetic Attribute 118
4.7.9 The Signature Attribute 119
4.7.9.1 Signatures 120
4.7.10 The SourceFile Attribute 124
4.7.11 The SourceDebugExtension Attribute 124
4.7.12 The LineNumberTable Attribute 125
4.7.13 The LocalVariableTable Attribute 126
4.7.14 The LocalVariableTypeTable Attribute 128
4.7.15 The Deprecated Attribute 130
4.7.16 The RuntimeVisibleAnnotations Attribute 131
4.7.16.1 The element_value structure 133
4.7.17 The RuntimeInvisibleAnnotations Attribute 136
4.7.18 The RuntimeVisibleParameterAnnotations Attribute 137
4.7.19 The RuntimeInvisibleParameterAnnotations Attribute 139
4.7.20 The RuntimeVisibleTypeAnnotations Attribute 140
4.7.20.1 The target_info union 146
4.7.20.2 The type_path structure 150
4.7.21 The RuntimeInvisibleTypeAnnotations Attribute 154
4.7.22 The AnnotationDefault Attribute 155
4.7.23 The BootstrapMethods Attribute 156
4.7.24 The MethodParameters Attribute 158
4.8 Format Checking 160
4.9 Constraints on Java Virtual Machine Code 161
4.9.1 Static Constraints 161
4.9.2 Structural Constraints 165
4.10 Verification of class Files 168
4.10.1 Verification by Type Checking 170
4.10.1.1 Accessors for Java Virtual Machine Artifacts 172
4.10.1.2 Verification Type System 176
4.10.1.3 Instruction Representation 180
4.10.1.4 Stack Map Frames and Type Transitions 181
