author | kvn |
Fri, 12 Oct 2012 09:22:52 -0700 | |
changeset 13974 | 791cba24758f |
parent 13952 | e3cf184080bc |
parent 13973 | cb904e0b6a45 |
child 14385 | 959bbcc16725 |
permissions | -rw-r--r-- |
1 | 1 |
/* |
12263
d20640f4f8fe
7150058: Allocate symbols from null boot loader to an arena for NMT
coleenp
parents:
11412
diff
changeset
|
2 |
* Copyright (c) 1997, 2012, Oracle and/or its affiliates. All rights reserved. |
1 | 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 |
* |
|
5547
f4b087cbb361
6941466: Oracle rebranding changes for Hotspot repositories
trims
parents:
3821
diff
changeset
|
19 |
* Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA |
f4b087cbb361
6941466: Oracle rebranding changes for Hotspot repositories
trims
parents:
3821
diff
changeset
|
20 |
* or visit www.oracle.com if you need additional information or have any |
f4b087cbb361
6941466: Oracle rebranding changes for Hotspot repositories
trims
parents:
3821
diff
changeset
|
21 |
* questions. |
1 | 22 |
* |
23 |
*/ |
|
24 |
||
7397 | 25 |
#ifndef SHARE_VM_CLASSFILE_CLASSFILEPARSER_HPP |
26 |
#define SHARE_VM_CLASSFILE_CLASSFILEPARSER_HPP |
|
27 |
||
28 |
#include "classfile/classFileStream.hpp" |
|
29 |
#include "memory/resourceArea.hpp" |
|
30 |
#include "oops/oop.inline.hpp" |
|
31 |
#include "oops/typeArrayOop.hpp" |
|
32 |
#include "runtime/handles.inline.hpp" |
|
33 |
#include "utilities/accessFlags.hpp" |
|
13291
9de3b1387cb8
6711908: JVM needs direct access to some annotations
jrose
parents:
12267
diff
changeset
|
34 |
#include "classfile/symbolTable.hpp" |
7397 | 35 |
|
10546 | 36 |
class FieldAllocationCount; |
37 |
||
38 |
||
1 | 39 |
// Parser for for .class files |
40 |
// |
|
41 |
// The bytes describing the class file structure is read from a Stream object |
|
42 |
||
43 |
class ClassFileParser VALUE_OBJ_CLASS_SPEC { |
|
44 |
private: |
|
45 |
bool _need_verify; |
|
46 |
bool _relax_verify; |
|
47 |
u2 _major_version; |
|
48 |
u2 _minor_version; |
|
8076
96d498ec7ae1
6990754: Use native memory and reference counting to implement SymbolTable
coleenp
parents:
7436
diff
changeset
|
49 |
Symbol* _class_name; |
2534 | 50 |
KlassHandle _host_klass; |
1550
be2fc37a817f
6653858: dynamic languages need to be able to load anonymous classes
jrose
parents:
1
diff
changeset
|
51 |
GrowableArray<Handle>* _cp_patches; // overrides for CP entries |
1 | 52 |
|
13291
9de3b1387cb8
6711908: JVM needs direct access to some annotations
jrose
parents:
12267
diff
changeset
|
53 |
// precomputed flags |
1 | 54 |
bool _has_finalizer; |
55 |
bool _has_empty_finalizer; |
|
56 |
bool _has_vanilla_constructor; |
|
13291
9de3b1387cb8
6711908: JVM needs direct access to some annotations
jrose
parents:
12267
diff
changeset
|
57 |
int _max_bootstrap_specifier_index; // detects BSS values |
1 | 58 |
|
13291
9de3b1387cb8
6711908: JVM needs direct access to some annotations
jrose
parents:
12267
diff
changeset
|
59 |
// class attributes parsed before the instance klass is created: |
9de3b1387cb8
6711908: JVM needs direct access to some annotations
jrose
parents:
12267
diff
changeset
|
60 |
bool _synthetic_flag; |
9de3b1387cb8
6711908: JVM needs direct access to some annotations
jrose
parents:
12267
diff
changeset
|
61 |
Symbol* _sourcefile; |
9de3b1387cb8
6711908: JVM needs direct access to some annotations
jrose
parents:
12267
diff
changeset
|
62 |
Symbol* _generic_signature; |
13295 | 63 |
char* _sde_buffer; |
64 |
int _sde_length; |
|
13728
882756847a04
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
13391
diff
changeset
|
65 |
Array<u2>* _inner_classes; |
882756847a04
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
13391
diff
changeset
|
66 |
AnnotationArray* _annotations; |
13291
9de3b1387cb8
6711908: JVM needs direct access to some annotations
jrose
parents:
12267
diff
changeset
|
67 |
|
9de3b1387cb8
6711908: JVM needs direct access to some annotations
jrose
parents:
12267
diff
changeset
|
68 |
void set_class_synthetic_flag(bool x) { _synthetic_flag = x; } |
9de3b1387cb8
6711908: JVM needs direct access to some annotations
jrose
parents:
12267
diff
changeset
|
69 |
void set_class_sourcefile(Symbol* x) { _sourcefile = x; } |
9de3b1387cb8
6711908: JVM needs direct access to some annotations
jrose
parents:
12267
diff
changeset
|
70 |
void set_class_generic_signature(Symbol* x) { _generic_signature = x; } |
13295 | 71 |
void set_class_sde_buffer(char* x, int len) { _sde_buffer = x; _sde_length = len; } |
13728
882756847a04
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
13391
diff
changeset
|
72 |
void set_class_inner_classes(Array<u2>* x) { _inner_classes = x; } |
882756847a04
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
13391
diff
changeset
|
73 |
void set_class_annotations(AnnotationArray* x) { _annotations = x; } |
13291
9de3b1387cb8
6711908: JVM needs direct access to some annotations
jrose
parents:
12267
diff
changeset
|
74 |
void init_parsed_class_attributes() { |
9de3b1387cb8
6711908: JVM needs direct access to some annotations
jrose
parents:
12267
diff
changeset
|
75 |
_synthetic_flag = false; |
9de3b1387cb8
6711908: JVM needs direct access to some annotations
jrose
parents:
12267
diff
changeset
|
76 |
_sourcefile = NULL; |
9de3b1387cb8
6711908: JVM needs direct access to some annotations
jrose
parents:
12267
diff
changeset
|
77 |
_generic_signature = NULL; |
13295 | 78 |
_sde_buffer = NULL; |
79 |
_sde_length = 0; |
|
13291
9de3b1387cb8
6711908: JVM needs direct access to some annotations
jrose
parents:
12267
diff
changeset
|
80 |
// initialize the other flags too: |
9de3b1387cb8
6711908: JVM needs direct access to some annotations
jrose
parents:
12267
diff
changeset
|
81 |
_has_finalizer = _has_empty_finalizer = _has_vanilla_constructor = false; |
9de3b1387cb8
6711908: JVM needs direct access to some annotations
jrose
parents:
12267
diff
changeset
|
82 |
_max_bootstrap_specifier_index = -1; |
9de3b1387cb8
6711908: JVM needs direct access to some annotations
jrose
parents:
12267
diff
changeset
|
83 |
} |
9de3b1387cb8
6711908: JVM needs direct access to some annotations
jrose
parents:
12267
diff
changeset
|
84 |
void apply_parsed_class_attributes(instanceKlassHandle k); // update k |
9de3b1387cb8
6711908: JVM needs direct access to some annotations
jrose
parents:
12267
diff
changeset
|
85 |
|
9de3b1387cb8
6711908: JVM needs direct access to some annotations
jrose
parents:
12267
diff
changeset
|
86 |
class AnnotationCollector { |
9de3b1387cb8
6711908: JVM needs direct access to some annotations
jrose
parents:
12267
diff
changeset
|
87 |
public: |
9de3b1387cb8
6711908: JVM needs direct access to some annotations
jrose
parents:
12267
diff
changeset
|
88 |
enum Location { _in_field, _in_method, _in_class }; |
9de3b1387cb8
6711908: JVM needs direct access to some annotations
jrose
parents:
12267
diff
changeset
|
89 |
enum ID { |
9de3b1387cb8
6711908: JVM needs direct access to some annotations
jrose
parents:
12267
diff
changeset
|
90 |
_unknown = 0, |
9de3b1387cb8
6711908: JVM needs direct access to some annotations
jrose
parents:
12267
diff
changeset
|
91 |
_method_ForceInline, |
13391
30245956af37
7023639: JSR 292 method handle invocation needs a fast path for compiled code
twisti
parents:
13296
diff
changeset
|
92 |
_method_DontInline, |
30245956af37
7023639: JSR 292 method handle invocation needs a fast path for compiled code
twisti
parents:
13296
diff
changeset
|
93 |
_method_LambdaForm_Compiled, |
30245956af37
7023639: JSR 292 method handle invocation needs a fast path for compiled code
twisti
parents:
13296
diff
changeset
|
94 |
_method_LambdaForm_Hidden, |
13291
9de3b1387cb8
6711908: JVM needs direct access to some annotations
jrose
parents:
12267
diff
changeset
|
95 |
_annotation_LIMIT |
9de3b1387cb8
6711908: JVM needs direct access to some annotations
jrose
parents:
12267
diff
changeset
|
96 |
}; |
9de3b1387cb8
6711908: JVM needs direct access to some annotations
jrose
parents:
12267
diff
changeset
|
97 |
const Location _location; |
9de3b1387cb8
6711908: JVM needs direct access to some annotations
jrose
parents:
12267
diff
changeset
|
98 |
int _annotations_present; |
9de3b1387cb8
6711908: JVM needs direct access to some annotations
jrose
parents:
12267
diff
changeset
|
99 |
AnnotationCollector(Location location) |
9de3b1387cb8
6711908: JVM needs direct access to some annotations
jrose
parents:
12267
diff
changeset
|
100 |
: _location(location), _annotations_present(0) |
9de3b1387cb8
6711908: JVM needs direct access to some annotations
jrose
parents:
12267
diff
changeset
|
101 |
{ |
9de3b1387cb8
6711908: JVM needs direct access to some annotations
jrose
parents:
12267
diff
changeset
|
102 |
assert((int)_annotation_LIMIT <= (int)sizeof(_annotations_present) * BitsPerByte, ""); |
9de3b1387cb8
6711908: JVM needs direct access to some annotations
jrose
parents:
12267
diff
changeset
|
103 |
} |
9de3b1387cb8
6711908: JVM needs direct access to some annotations
jrose
parents:
12267
diff
changeset
|
104 |
// If this annotation name has an ID, report it (or _none). |
9de3b1387cb8
6711908: JVM needs direct access to some annotations
jrose
parents:
12267
diff
changeset
|
105 |
ID annotation_index(Symbol* name); |
9de3b1387cb8
6711908: JVM needs direct access to some annotations
jrose
parents:
12267
diff
changeset
|
106 |
// Set the annotation name: |
9de3b1387cb8
6711908: JVM needs direct access to some annotations
jrose
parents:
12267
diff
changeset
|
107 |
void set_annotation(ID id) { |
9de3b1387cb8
6711908: JVM needs direct access to some annotations
jrose
parents:
12267
diff
changeset
|
108 |
assert((int)id >= 0 && (int)id < (int)_annotation_LIMIT, "oob"); |
9de3b1387cb8
6711908: JVM needs direct access to some annotations
jrose
parents:
12267
diff
changeset
|
109 |
_annotations_present |= nth_bit((int)id); |
9de3b1387cb8
6711908: JVM needs direct access to some annotations
jrose
parents:
12267
diff
changeset
|
110 |
} |
9de3b1387cb8
6711908: JVM needs direct access to some annotations
jrose
parents:
12267
diff
changeset
|
111 |
// Report if the annotation is present. |
9de3b1387cb8
6711908: JVM needs direct access to some annotations
jrose
parents:
12267
diff
changeset
|
112 |
bool has_any_annotations() { return _annotations_present != 0; } |
9de3b1387cb8
6711908: JVM needs direct access to some annotations
jrose
parents:
12267
diff
changeset
|
113 |
bool has_annotation(ID id) { return (nth_bit((int)id) & _annotations_present) != 0; } |
9de3b1387cb8
6711908: JVM needs direct access to some annotations
jrose
parents:
12267
diff
changeset
|
114 |
}; |
9de3b1387cb8
6711908: JVM needs direct access to some annotations
jrose
parents:
12267
diff
changeset
|
115 |
class FieldAnnotationCollector: public AnnotationCollector { |
9de3b1387cb8
6711908: JVM needs direct access to some annotations
jrose
parents:
12267
diff
changeset
|
116 |
public: |
9de3b1387cb8
6711908: JVM needs direct access to some annotations
jrose
parents:
12267
diff
changeset
|
117 |
FieldAnnotationCollector() : AnnotationCollector(_in_field) { } |
9de3b1387cb8
6711908: JVM needs direct access to some annotations
jrose
parents:
12267
diff
changeset
|
118 |
void apply_to(FieldInfo* f); |
9de3b1387cb8
6711908: JVM needs direct access to some annotations
jrose
parents:
12267
diff
changeset
|
119 |
}; |
9de3b1387cb8
6711908: JVM needs direct access to some annotations
jrose
parents:
12267
diff
changeset
|
120 |
class MethodAnnotationCollector: public AnnotationCollector { |
9de3b1387cb8
6711908: JVM needs direct access to some annotations
jrose
parents:
12267
diff
changeset
|
121 |
public: |
9de3b1387cb8
6711908: JVM needs direct access to some annotations
jrose
parents:
12267
diff
changeset
|
122 |
MethodAnnotationCollector() : AnnotationCollector(_in_method) { } |
9de3b1387cb8
6711908: JVM needs direct access to some annotations
jrose
parents:
12267
diff
changeset
|
123 |
void apply_to(methodHandle m); |
9de3b1387cb8
6711908: JVM needs direct access to some annotations
jrose
parents:
12267
diff
changeset
|
124 |
}; |
9de3b1387cb8
6711908: JVM needs direct access to some annotations
jrose
parents:
12267
diff
changeset
|
125 |
class ClassAnnotationCollector: public AnnotationCollector { |
9de3b1387cb8
6711908: JVM needs direct access to some annotations
jrose
parents:
12267
diff
changeset
|
126 |
public: |
9de3b1387cb8
6711908: JVM needs direct access to some annotations
jrose
parents:
12267
diff
changeset
|
127 |
ClassAnnotationCollector() : AnnotationCollector(_in_class) { } |
9de3b1387cb8
6711908: JVM needs direct access to some annotations
jrose
parents:
12267
diff
changeset
|
128 |
void apply_to(instanceKlassHandle k); |
9de3b1387cb8
6711908: JVM needs direct access to some annotations
jrose
parents:
12267
diff
changeset
|
129 |
}; |
7436
dbc43da3d512
7001379: bootstrap method data needs to be moved from constant pool to a classfile attribute
jrose
parents:
7397
diff
changeset
|
130 |
|
1 | 131 |
enum { fixed_buffer_size = 128 }; |
132 |
u_char linenumbertable_buffer[fixed_buffer_size]; |
|
133 |
||
134 |
ClassFileStream* _stream; // Actual input stream |
|
135 |
||
136 |
enum { LegalClass, LegalField, LegalMethod }; // used to verify unqualified names |
|
137 |
||
138 |
// Accessors |
|
139 |
ClassFileStream* stream() { return _stream; } |
|
140 |
void set_stream(ClassFileStream* st) { _stream = st; } |
|
141 |
||
142 |
// Constant pool parsing |
|
13728
882756847a04
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
13391
diff
changeset
|
143 |
void parse_constant_pool_entries(ClassLoaderData* loader_data, |
12263
d20640f4f8fe
7150058: Allocate symbols from null boot loader to an arena for NMT
coleenp
parents:
11412
diff
changeset
|
144 |
constantPoolHandle cp, int length, TRAPS); |
1 | 145 |
|
13728
882756847a04
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
13391
diff
changeset
|
146 |
constantPoolHandle parse_constant_pool(ClassLoaderData* loader_data, TRAPS); |
1 | 147 |
|
148 |
// Interface parsing |
|
13728
882756847a04
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
13391
diff
changeset
|
149 |
Array<Klass*>* parse_interfaces(constantPoolHandle cp, |
1 | 150 |
int length, |
13952
e3cf184080bc
8000213: NPG: Should have renamed arrayKlass and typeArrayKlass
coleenp
parents:
13728
diff
changeset
|
151 |
ClassLoaderData* loader_data, |
1 | 152 |
Handle protection_domain, |
8076
96d498ec7ae1
6990754: Use native memory and reference counting to implement SymbolTable
coleenp
parents:
7436
diff
changeset
|
153 |
Symbol* class_name, |
1 | 154 |
TRAPS); |
13728
882756847a04
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
13391
diff
changeset
|
155 |
void record_defined_class_dependencies(instanceKlassHandle defined_klass, TRAPS); |
1 | 156 |
|
157 |
// Field parsing |
|
13728
882756847a04
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
13391
diff
changeset
|
158 |
void parse_field_attributes(ClassLoaderData* loader_data, |
882756847a04
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
13391
diff
changeset
|
159 |
constantPoolHandle cp, u2 attributes_count, |
1 | 160 |
bool is_static, u2 signature_index, |
161 |
u2* constantvalue_index_addr, |
|
162 |
bool* is_synthetic_addr, |
|
163 |
u2* generic_signature_index_addr, |
|
13728
882756847a04
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
13391
diff
changeset
|
164 |
AnnotationArray** field_annotations, |
13291
9de3b1387cb8
6711908: JVM needs direct access to some annotations
jrose
parents:
12267
diff
changeset
|
165 |
FieldAnnotationCollector* parsed_annotations, |
9de3b1387cb8
6711908: JVM needs direct access to some annotations
jrose
parents:
12267
diff
changeset
|
166 |
TRAPS); |
13728
882756847a04
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
13391
diff
changeset
|
167 |
Array<u2>* parse_fields(ClassLoaderData* loader_data, |
882756847a04
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
13391
diff
changeset
|
168 |
Symbol* class_name, |
13952
e3cf184080bc
8000213: NPG: Should have renamed arrayKlass and typeArrayKlass
coleenp
parents:
13728
diff
changeset
|
169 |
constantPoolHandle cp, bool is_interface, |
e3cf184080bc
8000213: NPG: Should have renamed arrayKlass and typeArrayKlass
coleenp
parents:
13728
diff
changeset
|
170 |
FieldAllocationCount *fac, |
13728
882756847a04
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
13391
diff
changeset
|
171 |
Array<AnnotationArray*>** fields_annotations, |
13952
e3cf184080bc
8000213: NPG: Should have renamed arrayKlass and typeArrayKlass
coleenp
parents:
13728
diff
changeset
|
172 |
u2* java_fields_count_ptr, TRAPS); |
1 | 173 |
|
174 |
// Method parsing |
|
13728
882756847a04
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
13391
diff
changeset
|
175 |
methodHandle parse_method(ClassLoaderData* loader_data, |
882756847a04
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
13391
diff
changeset
|
176 |
constantPoolHandle cp, |
882756847a04
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
13391
diff
changeset
|
177 |
bool is_interface, |
1 | 178 |
AccessFlags* promoted_flags, |
13728
882756847a04
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
13391
diff
changeset
|
179 |
AnnotationArray** method_annotations, |
882756847a04
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
13391
diff
changeset
|
180 |
AnnotationArray** method_parameter_annotations, |
882756847a04
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
13391
diff
changeset
|
181 |
AnnotationArray** method_default_annotations, |
1 | 182 |
TRAPS); |
13728
882756847a04
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
13391
diff
changeset
|
183 |
Array<Method*>* parse_methods(ClassLoaderData* loader_data, |
13952
e3cf184080bc
8000213: NPG: Should have renamed arrayKlass and typeArrayKlass
coleenp
parents:
13728
diff
changeset
|
184 |
constantPoolHandle cp, |
e3cf184080bc
8000213: NPG: Should have renamed arrayKlass and typeArrayKlass
coleenp
parents:
13728
diff
changeset
|
185 |
bool is_interface, |
1 | 186 |
AccessFlags* promoted_flags, |
187 |
bool* has_final_method, |
|
13952
e3cf184080bc
8000213: NPG: Should have renamed arrayKlass and typeArrayKlass
coleenp
parents:
13728
diff
changeset
|
188 |
Array<AnnotationArray*>** methods_annotations, |
e3cf184080bc
8000213: NPG: Should have renamed arrayKlass and typeArrayKlass
coleenp
parents:
13728
diff
changeset
|
189 |
Array<AnnotationArray*>** methods_parameter_annotations, |
e3cf184080bc
8000213: NPG: Should have renamed arrayKlass and typeArrayKlass
coleenp
parents:
13728
diff
changeset
|
190 |
Array<AnnotationArray*>** methods_default_annotations, |
1 | 191 |
TRAPS); |
13728
882756847a04
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
13391
diff
changeset
|
192 |
Array<int>* sort_methods(ClassLoaderData* loader_data, |
882756847a04
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
13391
diff
changeset
|
193 |
Array<Method*>* methods, |
882756847a04
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
13391
diff
changeset
|
194 |
Array<AnnotationArray*>* methods_annotations, |
882756847a04
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
13391
diff
changeset
|
195 |
Array<AnnotationArray*>* methods_parameter_annotations, |
882756847a04
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
13391
diff
changeset
|
196 |
Array<AnnotationArray*>* methods_default_annotations, |
1 | 197 |
TRAPS); |
13728
882756847a04
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
13391
diff
changeset
|
198 |
u2* parse_exception_table(ClassLoaderData* loader_data, |
882756847a04
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
13391
diff
changeset
|
199 |
u4 code_length, u4 exception_table_length, |
13282
9872915dd78d
7178145: Change constMethodOop::_exception_table to optionally inlined u2 table.
jiangli
parents:
12267
diff
changeset
|
200 |
constantPoolHandle cp, TRAPS); |
1 | 201 |
void parse_linenumber_table( |
202 |
u4 code_attribute_length, u4 code_length, |
|
203 |
CompressedLineNumberWriteStream** write_stream, TRAPS); |
|
204 |
u2* parse_localvariable_table(u4 code_length, u2 max_locals, u4 code_attribute_length, |
|
205 |
constantPoolHandle cp, u2* localvariable_table_length, |
|
206 |
bool isLVTT, TRAPS); |
|
207 |
u2* parse_checked_exceptions(u2* checked_exceptions_length, u4 method_attribute_length, |
|
208 |
constantPoolHandle cp, TRAPS); |
|
209 |
void parse_type_array(u2 array_length, u4 code_length, u4* u1_index, u4* u2_index, |
|
210 |
u1* u1_array, u2* u2_array, constantPoolHandle cp, TRAPS); |
|
13728
882756847a04
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
13391
diff
changeset
|
211 |
Array<u1>* parse_stackmap_table(ClassLoaderData* loader_data, u4 code_attribute_length, TRAPS); |
1 | 212 |
|
213 |
// Classfile attribute parsing |
|
13291
9de3b1387cb8
6711908: JVM needs direct access to some annotations
jrose
parents:
12267
diff
changeset
|
214 |
void parse_classfile_sourcefile_attribute(constantPoolHandle cp, TRAPS); |
13728
882756847a04
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
13391
diff
changeset
|
215 |
void parse_classfile_source_debug_extension_attribute(constantPoolHandle cp, |
882756847a04
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
13391
diff
changeset
|
216 |
int length, TRAPS); |
882756847a04
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
13391
diff
changeset
|
217 |
u2 parse_classfile_inner_classes_attribute(ClassLoaderData* loader_data, |
882756847a04
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
13391
diff
changeset
|
218 |
u1* inner_classes_attribute_start, |
12231
6a9cfc59a18a
7109878: The instanceKlass EnclosingMethhod attribute fields can be folded into the _inner_class field.
jiangli
parents:
11412
diff
changeset
|
219 |
bool parsed_enclosingmethod_attribute, |
6a9cfc59a18a
7109878: The instanceKlass EnclosingMethhod attribute fields can be folded into the _inner_class field.
jiangli
parents:
11412
diff
changeset
|
220 |
u2 enclosing_method_class_index, |
6a9cfc59a18a
7109878: The instanceKlass EnclosingMethhod attribute fields can be folded into the _inner_class field.
jiangli
parents:
11412
diff
changeset
|
221 |
u2 enclosing_method_method_index, |
6a9cfc59a18a
7109878: The instanceKlass EnclosingMethhod attribute fields can be folded into the _inner_class field.
jiangli
parents:
11412
diff
changeset
|
222 |
constantPoolHandle cp, |
13291
9de3b1387cb8
6711908: JVM needs direct access to some annotations
jrose
parents:
12267
diff
changeset
|
223 |
TRAPS); |
13728
882756847a04
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
13391
diff
changeset
|
224 |
void parse_classfile_attributes(ClassLoaderData* loader_data, |
882756847a04
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
13391
diff
changeset
|
225 |
constantPoolHandle cp, |
13291
9de3b1387cb8
6711908: JVM needs direct access to some annotations
jrose
parents:
12267
diff
changeset
|
226 |
ClassAnnotationCollector* parsed_annotations, |
9de3b1387cb8
6711908: JVM needs direct access to some annotations
jrose
parents:
12267
diff
changeset
|
227 |
TRAPS); |
9de3b1387cb8
6711908: JVM needs direct access to some annotations
jrose
parents:
12267
diff
changeset
|
228 |
void parse_classfile_synthetic_attribute(constantPoolHandle cp, TRAPS); |
9de3b1387cb8
6711908: JVM needs direct access to some annotations
jrose
parents:
12267
diff
changeset
|
229 |
void parse_classfile_signature_attribute(constantPoolHandle cp, TRAPS); |
13728
882756847a04
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
13391
diff
changeset
|
230 |
void parse_classfile_bootstrap_methods_attribute(ClassLoaderData* loader_data, constantPoolHandle cp, u4 attribute_length, TRAPS); |
1 | 231 |
|
232 |
// Annotations handling |
|
13728
882756847a04
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
13391
diff
changeset
|
233 |
AnnotationArray* assemble_annotations(ClassLoaderData* loader_data, |
882756847a04
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
13391
diff
changeset
|
234 |
u1* runtime_visible_annotations, |
13952
e3cf184080bc
8000213: NPG: Should have renamed arrayKlass and typeArrayKlass
coleenp
parents:
13728
diff
changeset
|
235 |
int runtime_visible_annotations_length, |
e3cf184080bc
8000213: NPG: Should have renamed arrayKlass and typeArrayKlass
coleenp
parents:
13728
diff
changeset
|
236 |
u1* runtime_invisible_annotations, |
e3cf184080bc
8000213: NPG: Should have renamed arrayKlass and typeArrayKlass
coleenp
parents:
13728
diff
changeset
|
237 |
int runtime_invisible_annotations_length, TRAPS); |
13291
9de3b1387cb8
6711908: JVM needs direct access to some annotations
jrose
parents:
12267
diff
changeset
|
238 |
int skip_annotation(u1* buffer, int limit, int index); |
9de3b1387cb8
6711908: JVM needs direct access to some annotations
jrose
parents:
12267
diff
changeset
|
239 |
int skip_annotation_value(u1* buffer, int limit, int index); |
9de3b1387cb8
6711908: JVM needs direct access to some annotations
jrose
parents:
12267
diff
changeset
|
240 |
void parse_annotations(u1* buffer, int limit, constantPoolHandle cp, |
9de3b1387cb8
6711908: JVM needs direct access to some annotations
jrose
parents:
12267
diff
changeset
|
241 |
/* Results (currently, only one result is supported): */ |
9de3b1387cb8
6711908: JVM needs direct access to some annotations
jrose
parents:
12267
diff
changeset
|
242 |
AnnotationCollector* result, |
9de3b1387cb8
6711908: JVM needs direct access to some annotations
jrose
parents:
12267
diff
changeset
|
243 |
TRAPS); |
1 | 244 |
|
245 |
// Final setup |
|
3694
942b7bc7f28c
6845368: large objects cause a crash or unexpected exception
jcoomes
parents:
3693
diff
changeset
|
246 |
unsigned int compute_oop_map_count(instanceKlassHandle super, |
942b7bc7f28c
6845368: large objects cause a crash or unexpected exception
jcoomes
parents:
3693
diff
changeset
|
247 |
unsigned int nonstatic_oop_count, |
942b7bc7f28c
6845368: large objects cause a crash or unexpected exception
jcoomes
parents:
3693
diff
changeset
|
248 |
int first_nonstatic_oop_offset); |
942b7bc7f28c
6845368: large objects cause a crash or unexpected exception
jcoomes
parents:
3693
diff
changeset
|
249 |
void fill_oop_maps(instanceKlassHandle k, |
942b7bc7f28c
6845368: large objects cause a crash or unexpected exception
jcoomes
parents:
3693
diff
changeset
|
250 |
unsigned int nonstatic_oop_map_count, |
942b7bc7f28c
6845368: large objects cause a crash or unexpected exception
jcoomes
parents:
3693
diff
changeset
|
251 |
int* nonstatic_oop_offsets, |
942b7bc7f28c
6845368: large objects cause a crash or unexpected exception
jcoomes
parents:
3693
diff
changeset
|
252 |
unsigned int* nonstatic_oop_counts); |
1 | 253 |
void set_precomputed_flags(instanceKlassHandle k); |
13728
882756847a04
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
13391
diff
changeset
|
254 |
Array<Klass*>* compute_transitive_interfaces(ClassLoaderData* loader_data, |
13952
e3cf184080bc
8000213: NPG: Should have renamed arrayKlass and typeArrayKlass
coleenp
parents:
13728
diff
changeset
|
255 |
instanceKlassHandle super, |
e3cf184080bc
8000213: NPG: Should have renamed arrayKlass and typeArrayKlass
coleenp
parents:
13728
diff
changeset
|
256 |
Array<Klass*>* local_ifs, TRAPS); |
1 | 257 |
|
258 |
// Format checker methods |
|
259 |
void classfile_parse_error(const char* msg, TRAPS); |
|
260 |
void classfile_parse_error(const char* msg, int index, TRAPS); |
|
261 |
void classfile_parse_error(const char* msg, const char *name, TRAPS); |
|
262 |
void classfile_parse_error(const char* msg, int index, const char *name, TRAPS); |
|
263 |
inline void guarantee_property(bool b, const char* msg, TRAPS) { |
|
264 |
if (!b) { classfile_parse_error(msg, CHECK); } |
|
265 |
} |
|
266 |
||
267 |
inline void assert_property(bool b, const char* msg, TRAPS) { |
|
268 |
#ifdef ASSERT |
|
269 |
if (!b) { fatal(msg); } |
|
270 |
#endif |
|
271 |
} |
|
272 |
||
273 |
inline void check_property(bool property, const char* msg, int index, TRAPS) { |
|
274 |
if (_need_verify) { |
|
275 |
guarantee_property(property, msg, index, CHECK); |
|
276 |
} else { |
|
277 |
assert_property(property, msg, CHECK); |
|
278 |
} |
|
279 |
} |
|
280 |
||
281 |
inline void check_property(bool property, const char* msg, TRAPS) { |
|
282 |
if (_need_verify) { |
|
283 |
guarantee_property(property, msg, CHECK); |
|
284 |
} else { |
|
285 |
assert_property(property, msg, CHECK); |
|
286 |
} |
|
287 |
} |
|
288 |
||
289 |
inline void guarantee_property(bool b, const char* msg, int index, TRAPS) { |
|
290 |
if (!b) { classfile_parse_error(msg, index, CHECK); } |
|
291 |
} |
|
292 |
inline void guarantee_property(bool b, const char* msg, const char *name, TRAPS) { |
|
293 |
if (!b) { classfile_parse_error(msg, name, CHECK); } |
|
294 |
} |
|
295 |
inline void guarantee_property(bool b, const char* msg, int index, const char *name, TRAPS) { |
|
296 |
if (!b) { classfile_parse_error(msg, index, name, CHECK); } |
|
297 |
} |
|
298 |
||
5709
3b5307e27c1d
6930553: classfile format checker allows invalid method descriptor in CONSTANT_NameAndType_info in some cases
kamg
parents:
3821
diff
changeset
|
299 |
void throwIllegalSignature( |
8076
96d498ec7ae1
6990754: Use native memory and reference counting to implement SymbolTable
coleenp
parents:
7436
diff
changeset
|
300 |
const char* type, Symbol* name, Symbol* sig, TRAPS); |
5709
3b5307e27c1d
6930553: classfile format checker allows invalid method descriptor in CONSTANT_NameAndType_info in some cases
kamg
parents:
3821
diff
changeset
|
301 |
|
1 | 302 |
bool is_supported_version(u2 major, u2 minor); |
303 |
bool has_illegal_visibility(jint flags); |
|
304 |
||
305 |
void verify_constantvalue(int constantvalue_index, int signature_index, constantPoolHandle cp, TRAPS); |
|
306 |
void verify_legal_utf8(const unsigned char* buffer, int length, TRAPS); |
|
8076
96d498ec7ae1
6990754: Use native memory and reference counting to implement SymbolTable
coleenp
parents:
7436
diff
changeset
|
307 |
void verify_legal_class_name(Symbol* name, TRAPS); |
96d498ec7ae1
6990754: Use native memory and reference counting to implement SymbolTable
coleenp
parents:
7436
diff
changeset
|
308 |
void verify_legal_field_name(Symbol* name, TRAPS); |
96d498ec7ae1
6990754: Use native memory and reference counting to implement SymbolTable
coleenp
parents:
7436
diff
changeset
|
309 |
void verify_legal_method_name(Symbol* name, TRAPS); |
96d498ec7ae1
6990754: Use native memory and reference counting to implement SymbolTable
coleenp
parents:
7436
diff
changeset
|
310 |
void verify_legal_field_signature(Symbol* fieldname, Symbol* signature, TRAPS); |
96d498ec7ae1
6990754: Use native memory and reference counting to implement SymbolTable
coleenp
parents:
7436
diff
changeset
|
311 |
int verify_legal_method_signature(Symbol* methodname, Symbol* signature, TRAPS); |
1 | 312 |
void verify_legal_class_modifiers(jint flags, TRAPS); |
313 |
void verify_legal_field_modifiers(jint flags, bool is_interface, TRAPS); |
|
8076
96d498ec7ae1
6990754: Use native memory and reference counting to implement SymbolTable
coleenp
parents:
7436
diff
changeset
|
314 |
void verify_legal_method_modifiers(jint flags, bool is_interface, Symbol* name, TRAPS); |
1 | 315 |
bool verify_unqualified_name(char* name, unsigned int length, int type); |
316 |
char* skip_over_field_name(char* name, bool slash_ok, unsigned int length); |
|
317 |
char* skip_over_field_signature(char* signature, bool void_ok, unsigned int length, TRAPS); |
|
318 |
||
2534 | 319 |
bool is_anonymous() { |
8883
5569135acca3
6817525: turn on method handle functionality by default for JSR 292
twisti
parents:
8725
diff
changeset
|
320 |
assert(EnableInvokeDynamic || _host_klass.is_null(), ""); |
2534 | 321 |
return _host_klass.not_null(); |
322 |
} |
|
1550
be2fc37a817f
6653858: dynamic languages need to be able to load anonymous classes
jrose
parents:
1
diff
changeset
|
323 |
bool has_cp_patch_at(int index) { |
8883
5569135acca3
6817525: turn on method handle functionality by default for JSR 292
twisti
parents:
8725
diff
changeset
|
324 |
assert(EnableInvokeDynamic, ""); |
1550
be2fc37a817f
6653858: dynamic languages need to be able to load anonymous classes
jrose
parents:
1
diff
changeset
|
325 |
assert(index >= 0, "oob"); |
be2fc37a817f
6653858: dynamic languages need to be able to load anonymous classes
jrose
parents:
1
diff
changeset
|
326 |
return (_cp_patches != NULL |
be2fc37a817f
6653858: dynamic languages need to be able to load anonymous classes
jrose
parents:
1
diff
changeset
|
327 |
&& index < _cp_patches->length() |
be2fc37a817f
6653858: dynamic languages need to be able to load anonymous classes
jrose
parents:
1
diff
changeset
|
328 |
&& _cp_patches->adr_at(index)->not_null()); |
be2fc37a817f
6653858: dynamic languages need to be able to load anonymous classes
jrose
parents:
1
diff
changeset
|
329 |
} |
be2fc37a817f
6653858: dynamic languages need to be able to load anonymous classes
jrose
parents:
1
diff
changeset
|
330 |
Handle cp_patch_at(int index) { |
be2fc37a817f
6653858: dynamic languages need to be able to load anonymous classes
jrose
parents:
1
diff
changeset
|
331 |
assert(has_cp_patch_at(index), "oob"); |
be2fc37a817f
6653858: dynamic languages need to be able to load anonymous classes
jrose
parents:
1
diff
changeset
|
332 |
return _cp_patches->at(index); |
be2fc37a817f
6653858: dynamic languages need to be able to load anonymous classes
jrose
parents:
1
diff
changeset
|
333 |
} |
be2fc37a817f
6653858: dynamic languages need to be able to load anonymous classes
jrose
parents:
1
diff
changeset
|
334 |
Handle clear_cp_patch_at(int index) { |
be2fc37a817f
6653858: dynamic languages need to be able to load anonymous classes
jrose
parents:
1
diff
changeset
|
335 |
Handle patch = cp_patch_at(index); |
be2fc37a817f
6653858: dynamic languages need to be able to load anonymous classes
jrose
parents:
1
diff
changeset
|
336 |
_cp_patches->at_put(index, Handle()); |
be2fc37a817f
6653858: dynamic languages need to be able to load anonymous classes
jrose
parents:
1
diff
changeset
|
337 |
assert(!has_cp_patch_at(index), ""); |
be2fc37a817f
6653858: dynamic languages need to be able to load anonymous classes
jrose
parents:
1
diff
changeset
|
338 |
return patch; |
be2fc37a817f
6653858: dynamic languages need to be able to load anonymous classes
jrose
parents:
1
diff
changeset
|
339 |
} |
be2fc37a817f
6653858: dynamic languages need to be able to load anonymous classes
jrose
parents:
1
diff
changeset
|
340 |
void patch_constant_pool(constantPoolHandle cp, int index, Handle patch, TRAPS); |
be2fc37a817f
6653858: dynamic languages need to be able to load anonymous classes
jrose
parents:
1
diff
changeset
|
341 |
|
be2fc37a817f
6653858: dynamic languages need to be able to load anonymous classes
jrose
parents:
1
diff
changeset
|
342 |
// Wrapper for constantTag.is_klass_[or_]reference. |
13728
882756847a04
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
13391
diff
changeset
|
343 |
// In older versions of the VM, Klass*s cannot sneak into early phases of |
1550
be2fc37a817f
6653858: dynamic languages need to be able to load anonymous classes
jrose
parents:
1
diff
changeset
|
344 |
// constant pool construction, but in later versions they can. |
be2fc37a817f
6653858: dynamic languages need to be able to load anonymous classes
jrose
parents:
1
diff
changeset
|
345 |
// %%% Let's phase out the old is_klass_reference. |
be2fc37a817f
6653858: dynamic languages need to be able to load anonymous classes
jrose
parents:
1
diff
changeset
|
346 |
bool is_klass_reference(constantPoolHandle cp, int index) { |
13973 | 347 |
return (EnableInvokeDynamic |
1550
be2fc37a817f
6653858: dynamic languages need to be able to load anonymous classes
jrose
parents:
1
diff
changeset
|
348 |
? cp->tag_at(index).is_klass_or_reference() |
be2fc37a817f
6653858: dynamic languages need to be able to load anonymous classes
jrose
parents:
1
diff
changeset
|
349 |
: cp->tag_at(index).is_klass_reference()); |
be2fc37a817f
6653858: dynamic languages need to be able to load anonymous classes
jrose
parents:
1
diff
changeset
|
350 |
} |
be2fc37a817f
6653858: dynamic languages need to be able to load anonymous classes
jrose
parents:
1
diff
changeset
|
351 |
|
1 | 352 |
public: |
353 |
// Constructor |
|
354 |
ClassFileParser(ClassFileStream* st) { set_stream(st); } |
|
355 |
||
13728
882756847a04
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
13391
diff
changeset
|
356 |
// Parse .class file and return new Klass*. The Klass* is not hooked up |
1 | 357 |
// to the system dictionary or any other structures, so a .class file can |
358 |
// be loaded several times if desired. |
|
359 |
// The system dictionary hookup is done by the caller. |
|
360 |
// |
|
361 |
// "parsed_name" is updated by this method, and is the name found |
|
362 |
// while parsing the stream. |
|
8076
96d498ec7ae1
6990754: Use native memory and reference counting to implement SymbolTable
coleenp
parents:
7436
diff
changeset
|
363 |
instanceKlassHandle parseClassFile(Symbol* name, |
1 | 364 |
Handle class_loader, |
365 |
Handle protection_domain, |
|
8076
96d498ec7ae1
6990754: Use native memory and reference counting to implement SymbolTable
coleenp
parents:
7436
diff
changeset
|
366 |
TempNewSymbol& parsed_name, |
3820
0a8fbbe180db
6830542: Performance: JVM_DefineClass already verified.
acorn
parents:
3575
diff
changeset
|
367 |
bool verify, |
1550
be2fc37a817f
6653858: dynamic languages need to be able to load anonymous classes
jrose
parents:
1
diff
changeset
|
368 |
TRAPS) { |
2534 | 369 |
KlassHandle no_host_klass; |
3820
0a8fbbe180db
6830542: Performance: JVM_DefineClass already verified.
acorn
parents:
3575
diff
changeset
|
370 |
return parseClassFile(name, class_loader, protection_domain, no_host_klass, NULL, parsed_name, verify, THREAD); |
1550
be2fc37a817f
6653858: dynamic languages need to be able to load anonymous classes
jrose
parents:
1
diff
changeset
|
371 |
} |
8076
96d498ec7ae1
6990754: Use native memory and reference counting to implement SymbolTable
coleenp
parents:
7436
diff
changeset
|
372 |
instanceKlassHandle parseClassFile(Symbol* name, |
1550
be2fc37a817f
6653858: dynamic languages need to be able to load anonymous classes
jrose
parents:
1
diff
changeset
|
373 |
Handle class_loader, |
be2fc37a817f
6653858: dynamic languages need to be able to load anonymous classes
jrose
parents:
1
diff
changeset
|
374 |
Handle protection_domain, |
2534 | 375 |
KlassHandle host_klass, |
1550
be2fc37a817f
6653858: dynamic languages need to be able to load anonymous classes
jrose
parents:
1
diff
changeset
|
376 |
GrowableArray<Handle>* cp_patches, |
8076
96d498ec7ae1
6990754: Use native memory and reference counting to implement SymbolTable
coleenp
parents:
7436
diff
changeset
|
377 |
TempNewSymbol& parsed_name, |
3820
0a8fbbe180db
6830542: Performance: JVM_DefineClass already verified.
acorn
parents:
3575
diff
changeset
|
378 |
bool verify, |
1 | 379 |
TRAPS); |
380 |
||
381 |
// Verifier checks |
|
382 |
static void check_super_class_access(instanceKlassHandle this_klass, TRAPS); |
|
383 |
static void check_super_interface_access(instanceKlassHandle this_klass, TRAPS); |
|
384 |
static void check_final_method_override(instanceKlassHandle this_klass, TRAPS); |
|
385 |
static void check_illegal_static_method(instanceKlassHandle this_klass, TRAPS); |
|
386 |
}; |
|
7397 | 387 |
|
388 |
#endif // SHARE_VM_CLASSFILE_CLASSFILEPARSER_HPP |