src/share/vm/utilities/accessFlags.hpp

Sat, 10 Sep 2011 17:29:02 -0700

author
never
date
Sat, 10 Sep 2011 17:29:02 -0700
changeset 3137
e6b1331a51d2
parent 2314
f95d63e2154a
child 3803
71afdabfd05b
permissions
-rw-r--r--

7086585: make Java field injection more flexible
Reviewed-by: jrose, twisti, kvn, coleenp

duke@435 1 /*
iveresov@2138 2 * Copyright (c) 1997, 2010, 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
duke@435 42 // methodOop 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,
duke@435 50 JVM_ACC_NOT_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
iveresov@2138 57
jrose@1145 58 JVM_MH_INVOKE_BITS // = 0x10001100 // MethodHandle.invoke quasi-native
jrose@1145 59 = (JVM_ACC_NATIVE | JVM_ACC_SYNTHETIC | JVM_ACC_MONITOR_MATCH),
duke@435 60
duke@435 61 // klassOop flags
duke@435 62 JVM_ACC_HAS_MIRANDA_METHODS = 0x10000000, // True if this class has miranda methods in it's vtable
duke@435 63 JVM_ACC_HAS_VANILLA_CONSTRUCTOR = 0x20000000, // True if klass has a vanilla default constructor
duke@435 64 JVM_ACC_HAS_FINALIZER = 0x40000000, // True if klass has a non-empty finalize() method
duke@435 65 JVM_ACC_IS_CLONEABLE = (int)0x80000000,// True if klass supports the Clonable interface
duke@435 66 JVM_ACC_HAS_FINAL_METHOD = 0x01000000, // True if klass has final method
duke@435 67
duke@435 68 // klassOop and methodOop flags
duke@435 69 JVM_ACC_HAS_LOCAL_VARIABLE_TABLE= 0x00200000,
duke@435 70
duke@435 71 JVM_ACC_PROMOTED_FLAGS = 0x00200000, // flags promoted from methods to the holding klass
duke@435 72
duke@435 73 // field flags
duke@435 74 // Note: these flags must be defined in the low order 16 bits because
duke@435 75 // instanceKlass only stores a ushort worth of information from the
duke@435 76 // AccessFlags value.
duke@435 77 // These bits must not conflict with any other field-related access flags
duke@435 78 // (e.g., ACC_ENUM).
duke@435 79 // Note that the class-related ACC_ANNOTATION bit conflicts with these flags.
duke@435 80 JVM_ACC_FIELD_ACCESS_WATCHED = 0x00002000, // field access is watched by JVMTI
duke@435 81 JVM_ACC_FIELD_MODIFICATION_WATCHED = 0x00008000, // field modification is watched by JVMTI
never@3137 82 JVM_ACC_FIELD_INTERNAL = 0x00000400, // internal field, same as JVM_ACC_ABSTRACT
never@3137 83
never@3137 84 JVM_ACC_FIELD_INTERNAL_FLAGS = JVM_ACC_FIELD_ACCESS_WATCHED |
never@3137 85 JVM_ACC_FIELD_MODIFICATION_WATCHED |
never@3137 86 JVM_ACC_FIELD_INTERNAL,
duke@435 87
duke@435 88 // flags accepted by set_field_flags()
never@3137 89 JVM_ACC_FIELD_FLAGS = JVM_RECOGNIZED_FIELD_MODIFIERS | JVM_ACC_FIELD_INTERNAL_FLAGS
jrose@1145 90
duke@435 91 };
duke@435 92
duke@435 93
duke@435 94 class AccessFlags VALUE_OBJ_CLASS_SPEC {
duke@435 95 friend class VMStructs;
duke@435 96 private:
duke@435 97 jint _flags;
duke@435 98
duke@435 99 public:
duke@435 100 // Java access flags
duke@435 101 bool is_public () const { return (_flags & JVM_ACC_PUBLIC ) != 0; }
duke@435 102 bool is_private () const { return (_flags & JVM_ACC_PRIVATE ) != 0; }
duke@435 103 bool is_protected () const { return (_flags & JVM_ACC_PROTECTED ) != 0; }
duke@435 104 bool is_static () const { return (_flags & JVM_ACC_STATIC ) != 0; }
duke@435 105 bool is_final () const { return (_flags & JVM_ACC_FINAL ) != 0; }
duke@435 106 bool is_synchronized() const { return (_flags & JVM_ACC_SYNCHRONIZED) != 0; }
duke@435 107 bool is_super () const { return (_flags & JVM_ACC_SUPER ) != 0; }
duke@435 108 bool is_volatile () const { return (_flags & JVM_ACC_VOLATILE ) != 0; }
duke@435 109 bool is_transient () const { return (_flags & JVM_ACC_TRANSIENT ) != 0; }
duke@435 110 bool is_native () const { return (_flags & JVM_ACC_NATIVE ) != 0; }
duke@435 111 bool is_interface () const { return (_flags & JVM_ACC_INTERFACE ) != 0; }
duke@435 112 bool is_abstract () const { return (_flags & JVM_ACC_ABSTRACT ) != 0; }
duke@435 113 bool is_strict () const { return (_flags & JVM_ACC_STRICT ) != 0; }
duke@435 114
duke@435 115 // Attribute flags
duke@435 116 bool is_synthetic () const { return (_flags & JVM_ACC_SYNTHETIC ) != 0; }
duke@435 117
duke@435 118 // methodOop flags
duke@435 119 bool is_monitor_matching () const { return (_flags & JVM_ACC_MONITOR_MATCH ) != 0; }
duke@435 120 bool has_monitor_bytecodes () const { return (_flags & JVM_ACC_HAS_MONITOR_BYTECODES ) != 0; }
duke@435 121 bool has_loops () const { return (_flags & JVM_ACC_HAS_LOOPS ) != 0; }
duke@435 122 bool loops_flag_init () const { return (_flags & JVM_ACC_LOOPS_FLAG_INIT ) != 0; }
duke@435 123 bool queued_for_compilation () const { return (_flags & JVM_ACC_QUEUED ) != 0; }
iveresov@2138 124 bool is_not_c1_compilable () const { return (_flags & JVM_ACC_NOT_C1_COMPILABLE ) != 0; }
iveresov@2138 125 bool is_not_c2_compilable () const { return (_flags & JVM_ACC_NOT_C2_COMPILABLE ) != 0; }
duke@435 126 bool is_not_osr_compilable () const { return (_flags & JVM_ACC_NOT_OSR_COMPILABLE ) != 0; }
duke@435 127 bool has_linenumber_table () const { return (_flags & JVM_ACC_HAS_LINE_NUMBER_TABLE ) != 0; }
duke@435 128 bool has_checked_exceptions () const { return (_flags & JVM_ACC_HAS_CHECKED_EXCEPTIONS ) != 0; }
duke@435 129 bool has_jsrs () const { return (_flags & JVM_ACC_HAS_JSRS ) != 0; }
duke@435 130 bool is_old () const { return (_flags & JVM_ACC_IS_OLD ) != 0; }
duke@435 131 bool is_obsolete () const { return (_flags & JVM_ACC_IS_OBSOLETE ) != 0; }
duke@435 132 bool is_prefixed_native () const { return (_flags & JVM_ACC_IS_PREFIXED_NATIVE ) != 0; }
duke@435 133
jrose@1145 134 // JSR 292: A method of the form MethodHandle.invoke(A...)R method is
jrose@1145 135 // neither bytecoded nor a JNI native, but rather a fast call through
jrose@1145 136 // a lightweight method handle object. Because it is not bytecoded,
jrose@1145 137 // it has the native bit set, but the monitor-match bit is also set
jrose@1145 138 // to distinguish it from a JNI native (which never has the match bit set).
jrose@1145 139 // The synthetic bit is also present, because such a method is never
jrose@1145 140 // explicitly defined in Java code.
jrose@1145 141 bool is_method_handle_invoke () const { return (_flags & JVM_MH_INVOKE_BITS) == JVM_MH_INVOKE_BITS; }
jrose@1145 142
duke@435 143 // klassOop flags
duke@435 144 bool has_miranda_methods () const { return (_flags & JVM_ACC_HAS_MIRANDA_METHODS ) != 0; }
duke@435 145 bool has_vanilla_constructor () const { return (_flags & JVM_ACC_HAS_VANILLA_CONSTRUCTOR) != 0; }
duke@435 146 bool has_finalizer () const { return (_flags & JVM_ACC_HAS_FINALIZER ) != 0; }
duke@435 147 bool has_final_method () const { return (_flags & JVM_ACC_HAS_FINAL_METHOD ) != 0; }
duke@435 148 bool is_cloneable () const { return (_flags & JVM_ACC_IS_CLONEABLE ) != 0; }
duke@435 149 // klassOop and methodOop flags
duke@435 150 bool has_localvariable_table () const { return (_flags & JVM_ACC_HAS_LOCAL_VARIABLE_TABLE) != 0; }
duke@435 151 void set_has_localvariable_table() { atomic_set_bits(JVM_ACC_HAS_LOCAL_VARIABLE_TABLE); }
duke@435 152 void clear_has_localvariable_table() { atomic_clear_bits(JVM_ACC_HAS_LOCAL_VARIABLE_TABLE); }
duke@435 153
duke@435 154 // field flags
duke@435 155 bool is_field_access_watched() const { return (_flags & JVM_ACC_FIELD_ACCESS_WATCHED) != 0; }
duke@435 156 bool is_field_modification_watched() const
duke@435 157 { return (_flags & JVM_ACC_FIELD_MODIFICATION_WATCHED) != 0; }
never@3137 158 bool is_internal() const { return (_flags & JVM_ACC_FIELD_INTERNAL) != 0; }
duke@435 159
duke@435 160 // get .class file flags
duke@435 161 jint get_flags () const { return (_flags & JVM_ACC_WRITTEN_FLAGS); }
duke@435 162
duke@435 163 // Initialization
duke@435 164 void add_promoted_flags(jint flags) { _flags |= (flags & JVM_ACC_PROMOTED_FLAGS); }
never@3137 165 void set_field_flags(jint flags) {
never@3137 166 assert((flags & JVM_ACC_FIELD_FLAGS) == flags, "only recognized flags");
never@3137 167 _flags = (flags & JVM_ACC_FIELD_FLAGS);
never@3137 168 }
duke@435 169 void set_flags(jint flags) { _flags = (flags & JVM_ACC_WRITTEN_FLAGS); }
duke@435 170
duke@435 171 void set_queued_for_compilation() { atomic_set_bits(JVM_ACC_QUEUED); }
duke@435 172 void clear_queued_for_compilation() { atomic_clear_bits(JVM_ACC_QUEUED); }
duke@435 173
duke@435 174 // Atomic update of flags
duke@435 175 void atomic_set_bits(jint bits);
duke@435 176 void atomic_clear_bits(jint bits);
duke@435 177
duke@435 178 private:
duke@435 179 friend class methodOopDesc;
duke@435 180 friend class Klass;
duke@435 181 friend class ClassFileParser;
duke@435 182 // the functions below should only be called on the _access_flags inst var directly,
duke@435 183 // otherwise they are just changing a copy of the flags
duke@435 184
duke@435 185 // attribute flags
duke@435 186 void set_is_synthetic() { atomic_set_bits(JVM_ACC_SYNTHETIC); }
duke@435 187
duke@435 188 // methodOop flags
duke@435 189 void set_monitor_matching() { atomic_set_bits(JVM_ACC_MONITOR_MATCH); }
duke@435 190 void set_has_monitor_bytecodes() { atomic_set_bits(JVM_ACC_HAS_MONITOR_BYTECODES); }
duke@435 191 void set_has_loops() { atomic_set_bits(JVM_ACC_HAS_LOOPS); }
duke@435 192 void set_loops_flag_init() { atomic_set_bits(JVM_ACC_LOOPS_FLAG_INIT); }
iveresov@2138 193 void set_not_c1_compilable() { atomic_set_bits(JVM_ACC_NOT_C1_COMPILABLE); }
iveresov@2138 194 void set_not_c2_compilable() { atomic_set_bits(JVM_ACC_NOT_C2_COMPILABLE); }
duke@435 195 void set_not_osr_compilable() { atomic_set_bits(JVM_ACC_NOT_OSR_COMPILABLE); }
duke@435 196 void set_has_linenumber_table() { atomic_set_bits(JVM_ACC_HAS_LINE_NUMBER_TABLE); }
duke@435 197 void set_has_checked_exceptions() { atomic_set_bits(JVM_ACC_HAS_CHECKED_EXCEPTIONS); }
duke@435 198 void set_has_jsrs() { atomic_set_bits(JVM_ACC_HAS_JSRS); }
duke@435 199 void set_is_old() { atomic_set_bits(JVM_ACC_IS_OLD); }
duke@435 200 void set_is_obsolete() { atomic_set_bits(JVM_ACC_IS_OBSOLETE); }
duke@435 201 void set_is_prefixed_native() { atomic_set_bits(JVM_ACC_IS_PREFIXED_NATIVE); }
duke@435 202
duke@435 203 // klassOop 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 }
duke@435 228
duke@435 229 // Conversion
never@3137 230 jshort as_short() const { return (jshort)_flags; }
never@3137 231 jint as_int() const { return _flags; }
duke@435 232
jrose@1145 233 inline friend AccessFlags accessFlags_from(jint flags);
jrose@1145 234
duke@435 235 // Printing/debugging
duke@435 236 void print_on(outputStream* st) const PRODUCT_RETURN;
duke@435 237 };
jrose@1145 238
jrose@1145 239 inline AccessFlags accessFlags_from(jint flags) {
jrose@1145 240 AccessFlags af;
jrose@1145 241 af._flags = flags;
jrose@1145 242 return af;
jrose@1145 243 }
stefank@2314 244
stefank@2314 245 #endif // SHARE_VM_UTILITIES_ACCESSFLAGS_HPP

mercurial