43 // Link information for getfield/putfield & getstatic/putstatic bytecodes. |
43 // Link information for getfield/putfield & getstatic/putstatic bytecodes. |
44 |
44 |
45 class FieldAccessInfo: public LinkInfo { |
45 class FieldAccessInfo: public LinkInfo { |
46 protected: |
46 protected: |
47 KlassHandle _klass; |
47 KlassHandle _klass; |
48 symbolHandle _name; |
48 Symbol* _name; |
49 AccessFlags _access_flags; |
49 AccessFlags _access_flags; |
50 int _field_index; // original index in the klass |
50 int _field_index; // original index in the klass |
51 int _field_offset; |
51 int _field_offset; |
52 BasicType _field_type; |
52 BasicType _field_type; |
53 |
53 |
54 public: |
54 public: |
55 void set(KlassHandle klass, symbolHandle name, int field_index, int field_offset, |
55 void set(KlassHandle klass, Symbol* name, int field_index, int field_offset, |
56 BasicType field_type, AccessFlags access_flags); |
56 BasicType field_type, AccessFlags access_flags); |
57 KlassHandle klass() const { return _klass; } |
57 KlassHandle klass() const { return _klass; } |
58 symbolHandle name() const { return _name; } |
58 Symbol* name() const { return _name; } |
59 int field_index() const { return _field_index; } |
59 int field_index() const { return _field_index; } |
60 int field_offset() const { return _field_offset; } |
60 int field_offset() const { return _field_offset; } |
61 BasicType field_type() const { return _field_type; } |
61 BasicType field_type() const { return _field_type; } |
62 AccessFlags access_flags() const { return _access_flags; } |
62 AccessFlags access_flags() const { return _access_flags; } |
63 |
63 |
105 // The LinkResolver is used to resolve constant-pool references at run-time. |
105 // The LinkResolver is used to resolve constant-pool references at run-time. |
106 // It does all necessary link-time checks & throws exceptions if necessary. |
106 // It does all necessary link-time checks & throws exceptions if necessary. |
107 |
107 |
108 class LinkResolver: AllStatic { |
108 class LinkResolver: AllStatic { |
109 private: |
109 private: |
110 static void lookup_method_in_klasses (methodHandle& result, KlassHandle klass, symbolHandle name, symbolHandle signature, TRAPS); |
110 static void lookup_method_in_klasses (methodHandle& result, KlassHandle klass, Symbol* name, Symbol* signature, TRAPS); |
111 static void lookup_instance_method_in_klasses (methodHandle& result, KlassHandle klass, symbolHandle name, symbolHandle signature, TRAPS); |
111 static void lookup_instance_method_in_klasses (methodHandle& result, KlassHandle klass, Symbol* name, Symbol* signature, TRAPS); |
112 static void lookup_method_in_interfaces (methodHandle& result, KlassHandle klass, symbolHandle name, symbolHandle signature, TRAPS); |
112 static void lookup_method_in_interfaces (methodHandle& result, KlassHandle klass, Symbol* name, Symbol* signature, TRAPS); |
113 static void lookup_implicit_method (methodHandle& result, KlassHandle klass, symbolHandle name, symbolHandle signature, |
113 static void lookup_implicit_method (methodHandle& result, KlassHandle klass, Symbol* name, Symbol* signature, |
114 KlassHandle current_klass, TRAPS); |
114 KlassHandle current_klass, TRAPS); |
115 |
115 |
116 static int vtable_index_of_miranda_method(KlassHandle klass, symbolHandle name, symbolHandle signature, TRAPS); |
116 static int vtable_index_of_miranda_method(KlassHandle klass, Symbol* name, Symbol* signature, TRAPS); |
117 |
117 |
118 static void resolve_klass (KlassHandle& result, constantPoolHandle pool, int index, TRAPS); |
118 static void resolve_klass (KlassHandle& result, constantPoolHandle pool, int index, TRAPS); |
119 static void resolve_klass_no_update (KlassHandle& result, constantPoolHandle pool, int index, TRAPS); // no update of constantPool entry |
119 static void resolve_klass_no_update (KlassHandle& result, constantPoolHandle pool, int index, TRAPS); // no update of constantPool entry |
120 |
120 |
121 static void resolve_pool (KlassHandle& resolved_klass, symbolHandle& method_name, symbolHandle& method_signature, KlassHandle& current_klass, constantPoolHandle pool, int index, TRAPS); |
121 static void resolve_pool (KlassHandle& resolved_klass, Symbol*& method_name, Symbol*& method_signature, KlassHandle& current_klass, constantPoolHandle pool, int index, TRAPS); |
122 |
122 |
123 static void resolve_interface_method(methodHandle& resolved_method, KlassHandle resolved_klass, symbolHandle method_name, symbolHandle method_signature, KlassHandle current_klass, bool check_access, TRAPS); |
123 static void resolve_interface_method(methodHandle& resolved_method, KlassHandle resolved_klass, Symbol* method_name, Symbol* method_signature, KlassHandle current_klass, bool check_access, TRAPS); |
124 static void resolve_method (methodHandle& resolved_method, KlassHandle resolved_klass, symbolHandle method_name, symbolHandle method_signature, KlassHandle current_klass, bool check_access, TRAPS); |
124 static void resolve_method (methodHandle& resolved_method, KlassHandle resolved_klass, Symbol* method_name, Symbol* method_signature, KlassHandle current_klass, bool check_access, TRAPS); |
125 |
125 |
126 static void linktime_resolve_static_method (methodHandle& resolved_method, KlassHandle resolved_klass, symbolHandle method_name, symbolHandle method_signature, KlassHandle current_klass, bool check_access, TRAPS); |
126 static void linktime_resolve_static_method (methodHandle& resolved_method, KlassHandle resolved_klass, Symbol* method_name, Symbol* method_signature, KlassHandle current_klass, bool check_access, TRAPS); |
127 static void linktime_resolve_special_method (methodHandle& resolved_method, KlassHandle resolved_klass, symbolHandle method_name, symbolHandle method_signature, KlassHandle current_klass, bool check_access, TRAPS); |
127 static void linktime_resolve_special_method (methodHandle& resolved_method, KlassHandle resolved_klass, Symbol* method_name, Symbol* method_signature, KlassHandle current_klass, bool check_access, TRAPS); |
128 static void linktime_resolve_virtual_method (methodHandle &resolved_method, KlassHandle resolved_klass, symbolHandle method_name, symbolHandle method_signature,KlassHandle current_klass, bool check_access, TRAPS); |
128 static void linktime_resolve_virtual_method (methodHandle &resolved_method, KlassHandle resolved_klass, Symbol* method_name, Symbol* method_signature,KlassHandle current_klass, bool check_access, TRAPS); |
129 static void linktime_resolve_interface_method (methodHandle& resolved_method, KlassHandle resolved_klass, symbolHandle method_name, symbolHandle method_signature, KlassHandle current_klass, bool check_access, TRAPS); |
129 static void linktime_resolve_interface_method (methodHandle& resolved_method, KlassHandle resolved_klass, Symbol* method_name, Symbol* method_signature, KlassHandle current_klass, bool check_access, TRAPS); |
130 |
130 |
131 static void runtime_resolve_special_method (CallInfo& result, methodHandle resolved_method, KlassHandle resolved_klass, KlassHandle current_klass, bool check_access, TRAPS); |
131 static void runtime_resolve_special_method (CallInfo& result, methodHandle resolved_method, KlassHandle resolved_klass, KlassHandle current_klass, bool check_access, TRAPS); |
132 static void runtime_resolve_virtual_method (CallInfo& result, methodHandle resolved_method, KlassHandle resolved_klass, Handle recv, KlassHandle recv_klass, bool check_null_and_abstract, TRAPS); |
132 static void runtime_resolve_virtual_method (CallInfo& result, methodHandle resolved_method, KlassHandle resolved_klass, Handle recv, KlassHandle recv_klass, bool check_null_and_abstract, TRAPS); |
133 static void runtime_resolve_interface_method (CallInfo& result, methodHandle resolved_method, KlassHandle resolved_klass, Handle recv, KlassHandle recv_klass, bool check_null_and_abstract, TRAPS); |
133 static void runtime_resolve_interface_method (CallInfo& result, methodHandle resolved_method, KlassHandle resolved_klass, Handle recv, KlassHandle recv_klass, bool check_null_and_abstract, TRAPS); |
134 |
134 |
150 static void resolve_field(FieldAccessInfo& result, constantPoolHandle pool, int index, Bytecodes::Code byte, bool check_only, bool update_pool, TRAPS); |
150 static void resolve_field(FieldAccessInfo& result, constantPoolHandle pool, int index, Bytecodes::Code byte, bool check_only, bool update_pool, TRAPS); |
151 |
151 |
152 // runtime resolving: |
152 // runtime resolving: |
153 // resolved_klass = specified class (i.e., static receiver class) |
153 // resolved_klass = specified class (i.e., static receiver class) |
154 // current_klass = sending method holder (i.e., class containing the method containing the call being resolved) |
154 // current_klass = sending method holder (i.e., class containing the method containing the call being resolved) |
155 static void resolve_static_call (CallInfo& result, KlassHandle& resolved_klass, symbolHandle method_name, symbolHandle method_signature, KlassHandle current_klass, bool check_access, bool initialize_klass, TRAPS); |
155 static void resolve_static_call (CallInfo& result, KlassHandle& resolved_klass, Symbol* method_name, Symbol* method_signature, KlassHandle current_klass, bool check_access, bool initialize_klass, TRAPS); |
156 static void resolve_special_call (CallInfo& result, KlassHandle resolved_klass, symbolHandle method_name, symbolHandle method_signature, KlassHandle current_klass, bool check_access, TRAPS); |
156 static void resolve_special_call (CallInfo& result, KlassHandle resolved_klass, Symbol* method_name, Symbol* method_signature, KlassHandle current_klass, bool check_access, TRAPS); |
157 static void resolve_virtual_call (CallInfo& result, Handle recv, KlassHandle recv_klass, KlassHandle resolved_klass, symbolHandle method_name, symbolHandle method_signature, KlassHandle current_klass, bool check_access, bool check_null_and_abstract, TRAPS); |
157 static void resolve_virtual_call (CallInfo& result, Handle recv, KlassHandle recv_klass, KlassHandle resolved_klass, Symbol* method_name, Symbol* method_signature, KlassHandle current_klass, bool check_access, bool check_null_and_abstract, TRAPS); |
158 static void resolve_interface_call(CallInfo& result, Handle recv, KlassHandle recv_klass, KlassHandle resolved_klass, symbolHandle method_name, symbolHandle method_signature, KlassHandle current_klass, bool check_access, bool check_null_and_abstract, TRAPS); |
158 static void resolve_interface_call(CallInfo& result, Handle recv, KlassHandle recv_klass, KlassHandle resolved_klass, Symbol* method_name, Symbol* method_signature, KlassHandle current_klass, bool check_access, bool check_null_and_abstract, TRAPS); |
159 |
159 |
160 // same as above for compile-time resolution; but returns null handle instead of throwing an exception on error |
160 // same as above for compile-time resolution; but returns null handle instead of throwing an exception on error |
161 // also, does not initialize klass (i.e., no side effects) |
161 // also, does not initialize klass (i.e., no side effects) |
162 static methodHandle resolve_virtual_call_or_null (KlassHandle receiver_klass, KlassHandle resolved_klass, symbolHandle method_name, symbolHandle method_signature, KlassHandle current_klass); |
162 static methodHandle resolve_virtual_call_or_null (KlassHandle receiver_klass, KlassHandle resolved_klass, Symbol* method_name, Symbol* method_signature, KlassHandle current_klass); |
163 static methodHandle resolve_interface_call_or_null(KlassHandle receiver_klass, KlassHandle resolved_klass, symbolHandle method_name, symbolHandle method_signature, KlassHandle current_klass); |
163 static methodHandle resolve_interface_call_or_null(KlassHandle receiver_klass, KlassHandle resolved_klass, Symbol* method_name, Symbol* method_signature, KlassHandle current_klass); |
164 static methodHandle resolve_static_call_or_null (KlassHandle resolved_klass, symbolHandle method_name, symbolHandle method_signature, KlassHandle current_klass); |
164 static methodHandle resolve_static_call_or_null (KlassHandle resolved_klass, Symbol* method_name, Symbol* method_signature, KlassHandle current_klass); |
165 static methodHandle resolve_special_call_or_null (KlassHandle resolved_klass, symbolHandle method_name, symbolHandle method_signature, KlassHandle current_klass); |
165 static methodHandle resolve_special_call_or_null (KlassHandle resolved_klass, Symbol* method_name, Symbol* method_signature, KlassHandle current_klass); |
166 |
166 |
167 // same as above for compile-time resolution; returns vtable_index if current_klass if linked |
167 // same as above for compile-time resolution; returns vtable_index if current_klass if linked |
168 static int resolve_virtual_vtable_index (KlassHandle receiver_klass, KlassHandle resolved_klass, symbolHandle method_name, symbolHandle method_signature, KlassHandle current_klass); |
168 static int resolve_virtual_vtable_index (KlassHandle receiver_klass, KlassHandle resolved_klass, Symbol* method_name, Symbol* method_signature, KlassHandle current_klass); |
169 |
169 |
170 // static resolving for compiler (does not throw exceptions, returns null handle if unsuccessful) |
170 // static resolving for compiler (does not throw exceptions, returns null handle if unsuccessful) |
171 static methodHandle linktime_resolve_virtual_method_or_null (KlassHandle resolved_klass, symbolHandle method_name, symbolHandle method_signature, KlassHandle current_klass, bool check_access); |
171 static methodHandle linktime_resolve_virtual_method_or_null (KlassHandle resolved_klass, Symbol* method_name, Symbol* method_signature, KlassHandle current_klass, bool check_access); |
172 static methodHandle linktime_resolve_interface_method_or_null(KlassHandle resolved_klass, symbolHandle method_name, symbolHandle method_signature, KlassHandle current_klass, bool check_access); |
172 static methodHandle linktime_resolve_interface_method_or_null(KlassHandle resolved_klass, Symbol* method_name, Symbol* method_signature, KlassHandle current_klass, bool check_access); |
173 |
173 |
174 // runtime resolving from constant pool |
174 // runtime resolving from constant pool |
175 static void resolve_invokestatic (CallInfo& result, constantPoolHandle pool, int index, TRAPS); |
175 static void resolve_invokestatic (CallInfo& result, constantPoolHandle pool, int index, TRAPS); |
176 static void resolve_invokespecial (CallInfo& result, constantPoolHandle pool, int index, TRAPS); |
176 static void resolve_invokespecial (CallInfo& result, constantPoolHandle pool, int index, TRAPS); |
177 static void resolve_invokevirtual (CallInfo& result, Handle recv, constantPoolHandle pool, int index, TRAPS); |
177 static void resolve_invokevirtual (CallInfo& result, Handle recv, constantPoolHandle pool, int index, TRAPS); |