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

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

src/share/vm/utilities/accessFlags.hpp

Tue, 10 Sep 2013 14:51:48 -0700

author

vlivanov

date

Tue, 10 Sep 2013 14:51:48 -0700

changeset 5658

edb5ab0f3fe5

parent 4908

b84fd7d73702

child 6876

710a3c8b516e

child 7333

b12a2a9b05ca

permissions

-rw-r--r--

8001107: @Stable annotation for constant folding of lazily evaluated variables
Reviewed-by: rbackman, twisti, kvn
Contributed-by: john.r.rose@oracle.com, vladimir.x.ivanov@oracle.com

duke@435	1	/*
dcubed@4562	2	* Copyright (c) 1997, 2013, Oracle and/or its affiliates. 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	*
trims@1907	19	* Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
trims@1907	20	* or visit www.oracle.com if you need additional information or have any
trims@1907	21	* questions.
duke@435	22	*
duke@435	23	*/
duke@435	24
stefank@2314	25	#ifndef SHARE_VM_UTILITIES_ACCESSFLAGS_HPP
stefank@2314	26	#define SHARE_VM_UTILITIES_ACCESSFLAGS_HPP
stefank@2314	27
stefank@2314	28	#include "prims/jvm.h"
stefank@2314	29	#include "utilities/top.hpp"
stefank@2314	30
duke@435	31	// AccessFlags is an abstraction over Java access flags.
duke@435	32
duke@435	33
duke@435	34	enum {
duke@435	35	// See jvm.h for shared JVM_ACC_XXX access flags
duke@435	36
duke@435	37	// HotSpot-specific access flags
duke@435	38
duke@435	39	// flags actually put in .class file
duke@435	40	JVM_ACC_WRITTEN_FLAGS = 0x00007FFF,
duke@435	41
coleenp@4037	42	// Method* flags
duke@435	43	JVM_ACC_MONITOR_MATCH = 0x10000000, // True if we know that monitorenter/monitorexit bytecodes match
duke@435	44	JVM_ACC_HAS_MONITOR_BYTECODES = 0x20000000, // Method contains monitorenter/monitorexit bytecodes
duke@435	45	JVM_ACC_HAS_LOOPS = 0x40000000, // Method has loops
duke@435	46	JVM_ACC_LOOPS_FLAG_INIT = (int)0x80000000,// The loop flag has been initialized
duke@435	47	JVM_ACC_QUEUED = 0x01000000, // Queued for compilation
iveresov@2138	48	JVM_ACC_NOT_C2_COMPILABLE = 0x02000000,
iveresov@2138	49	JVM_ACC_NOT_C1_COMPILABLE = 0x04000000,
twisti@4111	50	JVM_ACC_NOT_C2_OSR_COMPILABLE = 0x08000000,
duke@435	51	JVM_ACC_HAS_LINE_NUMBER_TABLE = 0x00100000,
duke@435	52	JVM_ACC_HAS_CHECKED_EXCEPTIONS = 0x00400000,
duke@435	53	JVM_ACC_HAS_JSRS = 0x00800000,
duke@435	54	JVM_ACC_IS_OLD = 0x00010000, // RedefineClasses() has replaced this method
duke@435	55	JVM_ACC_IS_OBSOLETE = 0x00020000, // RedefineClasses() has made method obsolete
duke@435	56	JVM_ACC_IS_PREFIXED_NATIVE = 0x00040000, // JVMTI has prefixed this native method
coleenp@4037	57	JVM_ACC_ON_STACK = 0x00080000, // RedefinedClasses() is used on the stack
iveresov@2138	58
coleenp@4037	59	// Klass* flags
duke@435	60	JVM_ACC_HAS_MIRANDA_METHODS = 0x10000000, // True if this class has miranda methods in it's vtable
duke@435	61	JVM_ACC_HAS_VANILLA_CONSTRUCTOR = 0x20000000, // True if klass has a vanilla default constructor
duke@435	62	JVM_ACC_HAS_FINALIZER = 0x40000000, // True if klass has a non-empty finalize() method
duke@435	63	JVM_ACC_IS_CLONEABLE = (int)0x80000000,// True if klass supports the Clonable interface
duke@435	64	JVM_ACC_HAS_FINAL_METHOD = 0x01000000, // True if klass has final method
duke@435	65
coleenp@4037	66	// Klass* and Method* flags
duke@435	67	JVM_ACC_HAS_LOCAL_VARIABLE_TABLE= 0x00200000,
duke@435	68
duke@435	69	JVM_ACC_PROMOTED_FLAGS = 0x00200000, // flags promoted from methods to the holding klass
duke@435	70
duke@435	71	// field flags
duke@435	72	// Note: these flags must be defined in the low order 16 bits because
coleenp@4037	73	// InstanceKlass only stores a ushort worth of information from the
duke@435	74	// AccessFlags value.
duke@435	75	// These bits must not conflict with any other field-related access flags
duke@435	76	// (e.g., ACC_ENUM).
duke@435	77	// Note that the class-related ACC_ANNOTATION bit conflicts with these flags.
duke@435	78	JVM_ACC_FIELD_ACCESS_WATCHED = 0x00002000, // field access is watched by JVMTI
duke@435	79	JVM_ACC_FIELD_MODIFICATION_WATCHED = 0x00008000, // field modification is watched by JVMTI
never@3137	80	JVM_ACC_FIELD_INTERNAL = 0x00000400, // internal field, same as JVM_ACC_ABSTRACT
vlivanov@5658	81	JVM_ACC_FIELD_STABLE = 0x00000020, // @Stable field, same as JVM_ACC_SYNCHRONIZED
jiangli@3803	82	JVM_ACC_FIELD_HAS_GENERIC_SIGNATURE = 0x00000800, // field has generic signature
never@3137	83
never@3137	84	JVM_ACC_FIELD_INTERNAL_FLAGS = JVM_ACC_FIELD_ACCESS_WATCHED |
never@3137	85	JVM_ACC_FIELD_MODIFICATION_WATCHED |
jiangli@3803	86	JVM_ACC_FIELD_INTERNAL |
vlivanov@5658	87	JVM_ACC_FIELD_STABLE |
jiangli@3803	88	JVM_ACC_FIELD_HAS_GENERIC_SIGNATURE,
duke@435	89
duke@435	90	// flags accepted by set_field_flags()
never@3137	91	JVM_ACC_FIELD_FLAGS = JVM_RECOGNIZED_FIELD_MODIFIERS | JVM_ACC_FIELD_INTERNAL_FLAGS
jrose@1145	92
duke@435	93	};
duke@435	94
duke@435	95
duke@435	96	class AccessFlags VALUE_OBJ_CLASS_SPEC {
duke@435	97	friend class VMStructs;
duke@435	98	private:
duke@435	99	jint _flags;
duke@435	100
duke@435	101	public:
duke@435	102	// Java access flags
duke@435	103	bool is_public () const { return (_flags & JVM_ACC_PUBLIC ) != 0; }
duke@435	104	bool is_private () const { return (_flags & JVM_ACC_PRIVATE ) != 0; }
duke@435	105	bool is_protected () const { return (_flags & JVM_ACC_PROTECTED ) != 0; }
duke@435	106	bool is_static () const { return (_flags & JVM_ACC_STATIC ) != 0; }
duke@435	107	bool is_final () const { return (_flags & JVM_ACC_FINAL ) != 0; }
duke@435	108	bool is_synchronized() const { return (_flags & JVM_ACC_SYNCHRONIZED) != 0; }
duke@435	109	bool is_super () const { return (_flags & JVM_ACC_SUPER ) != 0; }
duke@435	110	bool is_volatile () const { return (_flags & JVM_ACC_VOLATILE ) != 0; }
duke@435	111	bool is_transient () const { return (_flags & JVM_ACC_TRANSIENT ) != 0; }
duke@435	112	bool is_native () const { return (_flags & JVM_ACC_NATIVE ) != 0; }
duke@435	113	bool is_interface () const { return (_flags & JVM_ACC_INTERFACE ) != 0; }
duke@435	114	bool is_abstract () const { return (_flags & JVM_ACC_ABSTRACT ) != 0; }
duke@435	115	bool is_strict () const { return (_flags & JVM_ACC_STRICT ) != 0; }
duke@435	116
duke@435	117	// Attribute flags
duke@435	118	bool is_synthetic () const { return (_flags & JVM_ACC_SYNTHETIC ) != 0; }
duke@435	119
coleenp@4037	120	// Method* flags
duke@435	121	bool is_monitor_matching () const { return (_flags & JVM_ACC_MONITOR_MATCH ) != 0; }
duke@435	122	bool has_monitor_bytecodes () const { return (_flags & JVM_ACC_HAS_MONITOR_BYTECODES ) != 0; }
duke@435	123	bool has_loops () const { return (_flags & JVM_ACC_HAS_LOOPS ) != 0; }
duke@435	124	bool loops_flag_init () const { return (_flags & JVM_ACC_LOOPS_FLAG_INIT ) != 0; }
duke@435	125	bool queued_for_compilation () const { return (_flags & JVM_ACC_QUEUED ) != 0; }
twisti@4111	126	bool is_not_c1_compilable () const { return (_flags & JVM_ACC_NOT_C1_COMPILABLE ) != 0; }
twisti@4111	127	bool is_not_c2_compilable () const { return (_flags & JVM_ACC_NOT_C2_COMPILABLE ) != 0; }
twisti@4111	128	bool is_not_c2_osr_compilable() const { return (_flags & JVM_ACC_NOT_C2_OSR_COMPILABLE ) != 0; }
duke@435	129	bool has_linenumber_table () const { return (_flags & JVM_ACC_HAS_LINE_NUMBER_TABLE ) != 0; }
duke@435	130	bool has_checked_exceptions () const { return (_flags & JVM_ACC_HAS_CHECKED_EXCEPTIONS ) != 0; }
duke@435	131	bool has_jsrs () const { return (_flags & JVM_ACC_HAS_JSRS ) != 0; }
duke@435	132	bool is_old () const { return (_flags & JVM_ACC_IS_OLD ) != 0; }
duke@435	133	bool is_obsolete () const { return (_flags & JVM_ACC_IS_OBSOLETE ) != 0; }
duke@435	134	bool is_prefixed_native () const { return (_flags & JVM_ACC_IS_PREFIXED_NATIVE ) != 0; }
duke@435	135
coleenp@4037	136	// Klass* flags
duke@435	137	bool has_miranda_methods () const { return (_flags & JVM_ACC_HAS_MIRANDA_METHODS ) != 0; }
duke@435	138	bool has_vanilla_constructor () const { return (_flags & JVM_ACC_HAS_VANILLA_CONSTRUCTOR) != 0; }
duke@435	139	bool has_finalizer () const { return (_flags & JVM_ACC_HAS_FINALIZER ) != 0; }
duke@435	140	bool has_final_method () const { return (_flags & JVM_ACC_HAS_FINAL_METHOD ) != 0; }
duke@435	141	bool is_cloneable () const { return (_flags & JVM_ACC_IS_CLONEABLE ) != 0; }
coleenp@4037	142	// Klass* and Method* flags
duke@435	143	bool has_localvariable_table () const { return (_flags & JVM_ACC_HAS_LOCAL_VARIABLE_TABLE) != 0; }
duke@435	144	void set_has_localvariable_table() { atomic_set_bits(JVM_ACC_HAS_LOCAL_VARIABLE_TABLE); }
duke@435	145	void clear_has_localvariable_table() { atomic_clear_bits(JVM_ACC_HAS_LOCAL_VARIABLE_TABLE); }
duke@435	146
duke@435	147	// field flags
duke@435	148	bool is_field_access_watched() const { return (_flags & JVM_ACC_FIELD_ACCESS_WATCHED) != 0; }
duke@435	149	bool is_field_modification_watched() const
duke@435	150	{ return (_flags & JVM_ACC_FIELD_MODIFICATION_WATCHED) != 0; }
coleenp@4037	151	bool on_stack() const { return (_flags & JVM_ACC_ON_STACK) != 0; }
never@3137	152	bool is_internal() const { return (_flags & JVM_ACC_FIELD_INTERNAL) != 0; }
vlivanov@5658	153	bool is_stable() const { return (_flags & JVM_ACC_FIELD_STABLE) != 0; }
jiangli@3803	154	bool field_has_generic_signature() const
jiangli@3803	155	{ return (_flags & JVM_ACC_FIELD_HAS_GENERIC_SIGNATURE) != 0; }
duke@435	156
duke@435	157	// get .class file flags
duke@435	158	jint get_flags () const { return (_flags & JVM_ACC_WRITTEN_FLAGS); }
duke@435	159
duke@435	160	// Initialization
duke@435	161	void add_promoted_flags(jint flags) { _flags |= (flags & JVM_ACC_PROMOTED_FLAGS); }
never@3137	162	void set_field_flags(jint flags) {
never@3137	163	assert((flags & JVM_ACC_FIELD_FLAGS) == flags, "only recognized flags");
never@3137	164	_flags = (flags & JVM_ACC_FIELD_FLAGS);
never@3137	165	}
duke@435	166	void set_flags(jint flags) { _flags = (flags & JVM_ACC_WRITTEN_FLAGS); }
duke@435	167
duke@435	168	void set_queued_for_compilation() { atomic_set_bits(JVM_ACC_QUEUED); }
duke@435	169	void clear_queued_for_compilation() { atomic_clear_bits(JVM_ACC_QUEUED); }
duke@435	170
duke@435	171	// Atomic update of flags
duke@435	172	void atomic_set_bits(jint bits);
duke@435	173	void atomic_clear_bits(jint bits);
duke@435	174
duke@435	175	private:
coleenp@4037	176	friend class Method;
duke@435	177	friend class Klass;
duke@435	178	friend class ClassFileParser;
duke@435	179	// the functions below should only be called on the _access_flags inst var directly,
duke@435	180	// otherwise they are just changing a copy of the flags
duke@435	181
duke@435	182	// attribute flags
duke@435	183	void set_is_synthetic() { atomic_set_bits(JVM_ACC_SYNTHETIC); }
duke@435	184
coleenp@4037	185	// Method* flags
duke@435	186	void set_monitor_matching() { atomic_set_bits(JVM_ACC_MONITOR_MATCH); }
duke@435	187	void set_has_monitor_bytecodes() { atomic_set_bits(JVM_ACC_HAS_MONITOR_BYTECODES); }
duke@435	188	void set_has_loops() { atomic_set_bits(JVM_ACC_HAS_LOOPS); }
duke@435	189	void set_loops_flag_init() { atomic_set_bits(JVM_ACC_LOOPS_FLAG_INIT); }
iveresov@2138	190	void set_not_c1_compilable() { atomic_set_bits(JVM_ACC_NOT_C1_COMPILABLE); }
iveresov@2138	191	void set_not_c2_compilable() { atomic_set_bits(JVM_ACC_NOT_C2_COMPILABLE); }
twisti@4111	192	void set_not_c2_osr_compilable() { atomic_set_bits(JVM_ACC_NOT_C2_OSR_COMPILABLE); }
duke@435	193	void set_has_linenumber_table() { atomic_set_bits(JVM_ACC_HAS_LINE_NUMBER_TABLE); }
duke@435	194	void set_has_checked_exceptions() { atomic_set_bits(JVM_ACC_HAS_CHECKED_EXCEPTIONS); }
duke@435	195	void set_has_jsrs() { atomic_set_bits(JVM_ACC_HAS_JSRS); }
duke@435	196	void set_is_old() { atomic_set_bits(JVM_ACC_IS_OLD); }
duke@435	197	void set_is_obsolete() { atomic_set_bits(JVM_ACC_IS_OBSOLETE); }
duke@435	198	void set_is_prefixed_native() { atomic_set_bits(JVM_ACC_IS_PREFIXED_NATIVE); }
duke@435	199
iignatyev@4908	200	void clear_not_c1_compilable() { atomic_clear_bits(JVM_ACC_NOT_C1_COMPILABLE); }
iignatyev@4908	201	void clear_not_c2_compilable() { atomic_clear_bits(JVM_ACC_NOT_C2_COMPILABLE); }
iignatyev@4908	202	void clear_not_c2_osr_compilable() { atomic_clear_bits(JVM_ACC_NOT_C2_OSR_COMPILABLE); }
coleenp@4037	203	// Klass* flags
duke@435	204	void set_has_vanilla_constructor() { atomic_set_bits(JVM_ACC_HAS_VANILLA_CONSTRUCTOR); }
duke@435	205	void set_has_finalizer() { atomic_set_bits(JVM_ACC_HAS_FINALIZER); }
duke@435	206	void set_has_final_method() { atomic_set_bits(JVM_ACC_HAS_FINAL_METHOD); }
duke@435	207	void set_is_cloneable() { atomic_set_bits(JVM_ACC_IS_CLONEABLE); }
duke@435	208	void set_has_miranda_methods() { atomic_set_bits(JVM_ACC_HAS_MIRANDA_METHODS); }
duke@435	209
duke@435	210	public:
duke@435	211	// field flags
duke@435	212	void set_is_field_access_watched(const bool value)
duke@435	213	{
duke@435	214	if (value) {
duke@435	215	atomic_set_bits(JVM_ACC_FIELD_ACCESS_WATCHED);
duke@435	216	} else {
duke@435	217	atomic_clear_bits(JVM_ACC_FIELD_ACCESS_WATCHED);
duke@435	218	}
duke@435	219	}
duke@435	220	void set_is_field_modification_watched(const bool value)
duke@435	221	{
duke@435	222	if (value) {
duke@435	223	atomic_set_bits(JVM_ACC_FIELD_MODIFICATION_WATCHED);
duke@435	224	} else {
duke@435	225	atomic_clear_bits(JVM_ACC_FIELD_MODIFICATION_WATCHED);
duke@435	226	}
duke@435	227	}
jiangli@3803	228	void set_field_has_generic_signature()
jiangli@3803	229	{
jiangli@3803	230	atomic_set_bits(JVM_ACC_FIELD_HAS_GENERIC_SIGNATURE);
jiangli@3803	231	}
duke@435	232
coleenp@4037	233	void set_on_stack(const bool value)
coleenp@4037	234	{
coleenp@4037	235	if (value) {
coleenp@4037	236	atomic_set_bits(JVM_ACC_ON_STACK);
coleenp@4037	237	} else {
coleenp@4037	238	atomic_clear_bits(JVM_ACC_ON_STACK);
coleenp@4037	239	}
coleenp@4037	240	}
duke@435	241	// Conversion
never@3137	242	jshort as_short() const { return (jshort)_flags; }
never@3137	243	jint as_int() const { return _flags; }
duke@435	244
jrose@1145	245	inline friend AccessFlags accessFlags_from(jint flags);
jrose@1145	246
duke@435	247	// Printing/debugging
dcubed@4562	248	#if INCLUDE_JVMTI
dcubed@4562	249	void print_on(outputStream* st) const;
dcubed@4562	250	#else
duke@435	251	void print_on(outputStream* st) const PRODUCT_RETURN;
dcubed@4562	252	#endif
duke@435	253	};
jrose@1145	254
jrose@1145	255	inline AccessFlags accessFlags_from(jint flags) {
jrose@1145	256	AccessFlags af;
jrose@1145	257	af._flags = flags;
jrose@1145	258	return af;
jrose@1145	259	}
stefank@2314	260
stefank@2314	261	#endif // SHARE_VM_UTILITIES_ACCESSFLAGS_HPP