• file
• revisions
• annotate
• diff
• comparison
• raw

src/share/vm/utilities/accessFlags.hpp@e5b0439ef4ae (annotated)

src/share/vm/utilities/accessFlags.hpp

Wed, 08 Apr 2009 10:56:49 -0700

author

jrose

date

Wed, 08 Apr 2009 10:56:49 -0700

changeset 1145

e5b0439ef4ae

parent 435

a61af66fc99e

child 1907

c18cbe5936b8

permissions

-rw-r--r--

6655638: dynamic languages need method handles
Summary: initial implementation, with known omissions (x86/64, sparc, compiler optim., c-oops, C++ interp.)
Reviewed-by: kvn, twisti, never

duke@435	1	/*
jrose@1145	2	* Copyright 1997-2009 Sun Microsystems, Inc. All Rights Reserved.
duke@435	3	* DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
duke@435	4	*
duke@435	5	* This code is free software; you can redistribute it and/or modify it
duke@435	6	* under the terms of the GNU General Public License version 2 only, as
duke@435	7	* published by the Free Software Foundation.
duke@435	8	*
duke@435	9	* This code is distributed in the hope that it will be useful, but WITHOUT
duke@435	10	* ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
duke@435	11	* FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
duke@435	12	* version 2 for more details (a copy is included in the LICENSE file that
duke@435	13	* accompanied this code).
duke@435	14	*
duke@435	15	* You should have received a copy of the GNU General Public License version
duke@435	16	* 2 along with this work; if not, write to the Free Software Foundation,
duke@435	17	* Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
duke@435	18	*
duke@435	19	* Please contact Sun Microsystems, Inc., 4150 Network Circle, Santa Clara,
duke@435	20	* CA 95054 USA or visit www.sun.com if you need additional information or
duke@435	21	* have any questions.
duke@435	22	*
duke@435	23	*/
duke@435	24
duke@435	25	// AccessFlags is an abstraction over Java access flags.
duke@435	26
duke@435	27
duke@435	28	enum {
duke@435	29	// See jvm.h for shared JVM_ACC_XXX access flags
duke@435	30
duke@435	31	// HotSpot-specific access flags
duke@435	32
duke@435	33	// flags actually put in .class file
duke@435	34	JVM_ACC_WRITTEN_FLAGS = 0x00007FFF,
duke@435	35
duke@435	36	// methodOop flags
duke@435	37	JVM_ACC_MONITOR_MATCH = 0x10000000, // True if we know that monitorenter/monitorexit bytecodes match
duke@435	38	JVM_ACC_HAS_MONITOR_BYTECODES = 0x20000000, // Method contains monitorenter/monitorexit bytecodes
duke@435	39	JVM_ACC_HAS_LOOPS = 0x40000000, // Method has loops
duke@435	40	JVM_ACC_LOOPS_FLAG_INIT = (int)0x80000000,// The loop flag has been initialized
duke@435	41	JVM_ACC_QUEUED = 0x01000000, // Queued for compilation
duke@435	42	JVM_ACC_NOT_TIER1_COMPILABLE = 0x04000000,
duke@435	43	JVM_ACC_NOT_OSR_COMPILABLE = 0x08000000,
duke@435	44	JVM_ACC_HAS_LINE_NUMBER_TABLE = 0x00100000,
duke@435	45	JVM_ACC_HAS_CHECKED_EXCEPTIONS = 0x00400000,
duke@435	46	JVM_ACC_HAS_JSRS = 0x00800000,
duke@435	47	JVM_ACC_IS_OLD = 0x00010000, // RedefineClasses() has replaced this method
duke@435	48	JVM_ACC_IS_OBSOLETE = 0x00020000, // RedefineClasses() has made method obsolete
duke@435	49	JVM_ACC_IS_PREFIXED_NATIVE = 0x00040000, // JVMTI has prefixed this native method
jrose@1145	50	JVM_MH_INVOKE_BITS // = 0x10001100 // MethodHandle.invoke quasi-native
jrose@1145	51	= (JVM_ACC_NATIVE | JVM_ACC_SYNTHETIC | JVM_ACC_MONITOR_MATCH),
duke@435	52
duke@435	53	// klassOop flags
duke@435	54	JVM_ACC_HAS_MIRANDA_METHODS = 0x10000000, // True if this class has miranda methods in it's vtable
duke@435	55	JVM_ACC_HAS_VANILLA_CONSTRUCTOR = 0x20000000, // True if klass has a vanilla default constructor
duke@435	56	JVM_ACC_HAS_FINALIZER = 0x40000000, // True if klass has a non-empty finalize() method
duke@435	57	JVM_ACC_IS_CLONEABLE = (int)0x80000000,// True if klass supports the Clonable interface
duke@435	58	JVM_ACC_HAS_FINAL_METHOD = 0x01000000, // True if klass has final method
duke@435	59
duke@435	60	// klassOop and methodOop flags
duke@435	61	JVM_ACC_HAS_LOCAL_VARIABLE_TABLE= 0x00200000,
duke@435	62
duke@435	63	JVM_ACC_PROMOTED_FLAGS = 0x00200000, // flags promoted from methods to the holding klass
duke@435	64
duke@435	65	// field flags
duke@435	66	// Note: these flags must be defined in the low order 16 bits because
duke@435	67	// instanceKlass only stores a ushort worth of information from the
duke@435	68	// AccessFlags value.
duke@435	69	// These bits must not conflict with any other field-related access flags
duke@435	70	// (e.g., ACC_ENUM).
duke@435	71	// Note that the class-related ACC_ANNOTATION bit conflicts with these flags.
duke@435	72	JVM_ACC_FIELD_ACCESS_WATCHED = 0x00002000, // field access is watched by JVMTI
duke@435	73	JVM_ACC_FIELD_MODIFICATION_WATCHED = 0x00008000, // field modification is watched by JVMTI
duke@435	74
duke@435	75	// flags accepted by set_field_flags()
duke@435	76	JVM_ACC_FIELD_FLAGS = 0x00008000 | JVM_ACC_WRITTEN_FLAGS
jrose@1145	77
duke@435	78	};
duke@435	79
duke@435	80
duke@435	81	class AccessFlags VALUE_OBJ_CLASS_SPEC {
duke@435	82	friend class VMStructs;
duke@435	83	private:
duke@435	84	jint _flags;
duke@435	85
duke@435	86	public:
duke@435	87	// Java access flags
duke@435	88	bool is_public () const { return (_flags & JVM_ACC_PUBLIC ) != 0; }
duke@435	89	bool is_private () const { return (_flags & JVM_ACC_PRIVATE ) != 0; }
duke@435	90	bool is_protected () const { return (_flags & JVM_ACC_PROTECTED ) != 0; }
duke@435	91	bool is_static () const { return (_flags & JVM_ACC_STATIC ) != 0; }
duke@435	92	bool is_final () const { return (_flags & JVM_ACC_FINAL ) != 0; }
duke@435	93	bool is_synchronized() const { return (_flags & JVM_ACC_SYNCHRONIZED) != 0; }
duke@435	94	bool is_super () const { return (_flags & JVM_ACC_SUPER ) != 0; }
duke@435	95	bool is_volatile () const { return (_flags & JVM_ACC_VOLATILE ) != 0; }
duke@435	96	bool is_transient () const { return (_flags & JVM_ACC_TRANSIENT ) != 0; }
duke@435	97	bool is_native () const { return (_flags & JVM_ACC_NATIVE ) != 0; }
duke@435	98	bool is_interface () const { return (_flags & JVM_ACC_INTERFACE ) != 0; }
duke@435	99	bool is_abstract () const { return (_flags & JVM_ACC_ABSTRACT ) != 0; }
duke@435	100	bool is_strict () const { return (_flags & JVM_ACC_STRICT ) != 0; }
duke@435	101
duke@435	102	// Attribute flags
duke@435	103	bool is_synthetic () const { return (_flags & JVM_ACC_SYNTHETIC ) != 0; }
duke@435	104
duke@435	105	// methodOop flags
duke@435	106	bool is_monitor_matching () const { return (_flags & JVM_ACC_MONITOR_MATCH ) != 0; }
duke@435	107	bool has_monitor_bytecodes () const { return (_flags & JVM_ACC_HAS_MONITOR_BYTECODES ) != 0; }
duke@435	108	bool has_loops () const { return (_flags & JVM_ACC_HAS_LOOPS ) != 0; }
duke@435	109	bool loops_flag_init () const { return (_flags & JVM_ACC_LOOPS_FLAG_INIT ) != 0; }
duke@435	110	bool queued_for_compilation () const { return (_flags & JVM_ACC_QUEUED ) != 0; }
duke@435	111	bool is_not_tier1_compilable () const { return (_flags & JVM_ACC_NOT_TIER1_COMPILABLE ) != 0; }
duke@435	112	bool is_not_osr_compilable () const { return (_flags & JVM_ACC_NOT_OSR_COMPILABLE ) != 0; }
duke@435	113	bool has_linenumber_table () const { return (_flags & JVM_ACC_HAS_LINE_NUMBER_TABLE ) != 0; }
duke@435	114	bool has_checked_exceptions () const { return (_flags & JVM_ACC_HAS_CHECKED_EXCEPTIONS ) != 0; }
duke@435	115	bool has_jsrs () const { return (_flags & JVM_ACC_HAS_JSRS ) != 0; }
duke@435	116	bool is_old () const { return (_flags & JVM_ACC_IS_OLD ) != 0; }
duke@435	117	bool is_obsolete () const { return (_flags & JVM_ACC_IS_OBSOLETE ) != 0; }
duke@435	118	bool is_prefixed_native () const { return (_flags & JVM_ACC_IS_PREFIXED_NATIVE ) != 0; }
duke@435	119
jrose@1145	120	// JSR 292: A method of the form MethodHandle.invoke(A...)R method is
jrose@1145	121	// neither bytecoded nor a JNI native, but rather a fast call through
jrose@1145	122	// a lightweight method handle object. Because it is not bytecoded,
jrose@1145	123	// it has the native bit set, but the monitor-match bit is also set
jrose@1145	124	// to distinguish it from a JNI native (which never has the match bit set).
jrose@1145	125	// The synthetic bit is also present, because such a method is never
jrose@1145	126	// explicitly defined in Java code.
jrose@1145	127	bool is_method_handle_invoke () const { return (_flags & JVM_MH_INVOKE_BITS) == JVM_MH_INVOKE_BITS; }
jrose@1145	128
duke@435	129	// klassOop flags
duke@435	130	bool has_miranda_methods () const { return (_flags & JVM_ACC_HAS_MIRANDA_METHODS ) != 0; }
duke@435	131	bool has_vanilla_constructor () const { return (_flags & JVM_ACC_HAS_VANILLA_CONSTRUCTOR) != 0; }
duke@435	132	bool has_finalizer () const { return (_flags & JVM_ACC_HAS_FINALIZER ) != 0; }
duke@435	133	bool has_final_method () const { return (_flags & JVM_ACC_HAS_FINAL_METHOD ) != 0; }
duke@435	134	bool is_cloneable () const { return (_flags & JVM_ACC_IS_CLONEABLE ) != 0; }
duke@435	135	// klassOop and methodOop flags
duke@435	136	bool has_localvariable_table () const { return (_flags & JVM_ACC_HAS_LOCAL_VARIABLE_TABLE) != 0; }
duke@435	137	void set_has_localvariable_table() { atomic_set_bits(JVM_ACC_HAS_LOCAL_VARIABLE_TABLE); }
duke@435	138	void clear_has_localvariable_table() { atomic_clear_bits(JVM_ACC_HAS_LOCAL_VARIABLE_TABLE); }
duke@435	139
duke@435	140	// field flags
duke@435	141	bool is_field_access_watched() const { return (_flags & JVM_ACC_FIELD_ACCESS_WATCHED) != 0; }
duke@435	142	bool is_field_modification_watched() const
duke@435	143	{ return (_flags & JVM_ACC_FIELD_MODIFICATION_WATCHED) != 0; }
duke@435	144
duke@435	145	// get .class file flags
duke@435	146	jint get_flags () const { return (_flags & JVM_ACC_WRITTEN_FLAGS); }
duke@435	147
duke@435	148	// Initialization
duke@435	149	void add_promoted_flags(jint flags) { _flags |= (flags & JVM_ACC_PROMOTED_FLAGS); }
duke@435	150	void set_field_flags(jint flags) { _flags = (flags & JVM_ACC_FIELD_FLAGS); }
duke@435	151	void set_flags(jint flags) { _flags = (flags & JVM_ACC_WRITTEN_FLAGS); }
duke@435	152
duke@435	153	void set_queued_for_compilation() { atomic_set_bits(JVM_ACC_QUEUED); }
duke@435	154	void clear_queued_for_compilation() { atomic_clear_bits(JVM_ACC_QUEUED); }
duke@435	155
duke@435	156	// Atomic update of flags
duke@435	157	void atomic_set_bits(jint bits);
duke@435	158	void atomic_clear_bits(jint bits);
duke@435	159
duke@435	160	private:
duke@435	161	friend class methodOopDesc;
duke@435	162	friend class Klass;
duke@435	163	friend class ClassFileParser;
duke@435	164	// the functions below should only be called on the _access_flags inst var directly,
duke@435	165	// otherwise they are just changing a copy of the flags
duke@435	166
duke@435	167	// attribute flags
duke@435	168	void set_is_synthetic() { atomic_set_bits(JVM_ACC_SYNTHETIC); }
duke@435	169
duke@435	170	// methodOop flags
duke@435	171	void set_monitor_matching() { atomic_set_bits(JVM_ACC_MONITOR_MATCH); }
duke@435	172	void set_has_monitor_bytecodes() { atomic_set_bits(JVM_ACC_HAS_MONITOR_BYTECODES); }
duke@435	173	void set_has_loops() { atomic_set_bits(JVM_ACC_HAS_LOOPS); }
duke@435	174	void set_loops_flag_init() { atomic_set_bits(JVM_ACC_LOOPS_FLAG_INIT); }
duke@435	175	void set_not_tier1_compilable() { atomic_set_bits(JVM_ACC_NOT_TIER1_COMPILABLE); }
duke@435	176	void set_not_osr_compilable() { atomic_set_bits(JVM_ACC_NOT_OSR_COMPILABLE); }
duke@435	177	void set_has_linenumber_table() { atomic_set_bits(JVM_ACC_HAS_LINE_NUMBER_TABLE); }
duke@435	178	void set_has_checked_exceptions() { atomic_set_bits(JVM_ACC_HAS_CHECKED_EXCEPTIONS); }
duke@435	179	void set_has_jsrs() { atomic_set_bits(JVM_ACC_HAS_JSRS); }
duke@435	180	void set_is_old() { atomic_set_bits(JVM_ACC_IS_OLD); }
duke@435	181	void set_is_obsolete() { atomic_set_bits(JVM_ACC_IS_OBSOLETE); }
duke@435	182	void set_is_prefixed_native() { atomic_set_bits(JVM_ACC_IS_PREFIXED_NATIVE); }
duke@435	183
duke@435	184	// klassOop flags
duke@435	185	void set_has_vanilla_constructor() { atomic_set_bits(JVM_ACC_HAS_VANILLA_CONSTRUCTOR); }
duke@435	186	void set_has_finalizer() { atomic_set_bits(JVM_ACC_HAS_FINALIZER); }
duke@435	187	void set_has_final_method() { atomic_set_bits(JVM_ACC_HAS_FINAL_METHOD); }
duke@435	188	void set_is_cloneable() { atomic_set_bits(JVM_ACC_IS_CLONEABLE); }
duke@435	189	void set_has_miranda_methods() { atomic_set_bits(JVM_ACC_HAS_MIRANDA_METHODS); }
duke@435	190
duke@435	191	public:
duke@435	192	// field flags
duke@435	193	void set_is_field_access_watched(const bool value)
duke@435	194	{
duke@435	195	if (value) {
duke@435	196	atomic_set_bits(JVM_ACC_FIELD_ACCESS_WATCHED);
duke@435	197	} else {
duke@435	198	atomic_clear_bits(JVM_ACC_FIELD_ACCESS_WATCHED);
duke@435	199	}
duke@435	200	}
duke@435	201	void set_is_field_modification_watched(const bool value)
duke@435	202	{
duke@435	203	if (value) {
duke@435	204	atomic_set_bits(JVM_ACC_FIELD_MODIFICATION_WATCHED);
duke@435	205	} else {
duke@435	206	atomic_clear_bits(JVM_ACC_FIELD_MODIFICATION_WATCHED);
duke@435	207	}
duke@435	208	}
duke@435	209
duke@435	210	// Conversion
duke@435	211	jshort as_short() { return (jshort)_flags; }
duke@435	212	jint as_int() { return _flags; }
duke@435	213
jrose@1145	214	inline friend AccessFlags accessFlags_from(jint flags);
jrose@1145	215
duke@435	216	// Printing/debugging
duke@435	217	void print_on(outputStream* st) const PRODUCT_RETURN;
duke@435	218	};
jrose@1145	219
jrose@1145	220	inline AccessFlags accessFlags_from(jint flags) {
jrose@1145	221	AccessFlags af;
jrose@1145	222	af._flags = flags;
jrose@1145	223	return af;
jrose@1145	224	}