duke@435: /* dcubed@4562: * Copyright (c) 1997, 2013, Oracle and/or its affiliates. All rights reserved. duke@435: * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER. duke@435: * duke@435: * This code is free software; you can redistribute it and/or modify it duke@435: * under the terms of the GNU General Public License version 2 only, as duke@435: * published by the Free Software Foundation. duke@435: * duke@435: * This code is distributed in the hope that it will be useful, but WITHOUT duke@435: * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or duke@435: * FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License duke@435: * version 2 for more details (a copy is included in the LICENSE file that duke@435: * accompanied this code). duke@435: * duke@435: * You should have received a copy of the GNU General Public License version duke@435: * 2 along with this work; if not, write to the Free Software Foundation, duke@435: * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA. duke@435: * trims@1907: * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA trims@1907: * or visit www.oracle.com if you need additional information or have any trims@1907: * questions. duke@435: * duke@435: */ duke@435: stefank@2314: #ifndef SHARE_VM_UTILITIES_ACCESSFLAGS_HPP stefank@2314: #define SHARE_VM_UTILITIES_ACCESSFLAGS_HPP stefank@2314: stefank@2314: #include "prims/jvm.h" stefank@2314: #include "utilities/top.hpp" stefank@2314: duke@435: // AccessFlags is an abstraction over Java access flags. duke@435: duke@435: duke@435: enum { duke@435: // See jvm.h for shared JVM_ACC_XXX access flags duke@435: duke@435: // HotSpot-specific access flags duke@435: duke@435: // flags actually put in .class file duke@435: JVM_ACC_WRITTEN_FLAGS = 0x00007FFF, duke@435: coleenp@4037: // Method* flags duke@435: JVM_ACC_MONITOR_MATCH = 0x10000000, // True if we know that monitorenter/monitorexit bytecodes match duke@435: JVM_ACC_HAS_MONITOR_BYTECODES = 0x20000000, // Method contains monitorenter/monitorexit bytecodes duke@435: JVM_ACC_HAS_LOOPS = 0x40000000, // Method has loops duke@435: JVM_ACC_LOOPS_FLAG_INIT = (int)0x80000000,// The loop flag has been initialized duke@435: JVM_ACC_QUEUED = 0x01000000, // Queued for compilation iveresov@2138: JVM_ACC_NOT_C2_COMPILABLE = 0x02000000, iveresov@2138: JVM_ACC_NOT_C1_COMPILABLE = 0x04000000, twisti@4111: JVM_ACC_NOT_C2_OSR_COMPILABLE = 0x08000000, duke@435: JVM_ACC_HAS_LINE_NUMBER_TABLE = 0x00100000, duke@435: JVM_ACC_HAS_CHECKED_EXCEPTIONS = 0x00400000, duke@435: JVM_ACC_HAS_JSRS = 0x00800000, duke@435: JVM_ACC_IS_OLD = 0x00010000, // RedefineClasses() has replaced this method duke@435: JVM_ACC_IS_OBSOLETE = 0x00020000, // RedefineClasses() has made method obsolete duke@435: JVM_ACC_IS_PREFIXED_NATIVE = 0x00040000, // JVMTI has prefixed this native method coleenp@4037: JVM_ACC_ON_STACK = 0x00080000, // RedefinedClasses() is used on the stack iveresov@2138: coleenp@4037: // Klass* flags duke@435: JVM_ACC_HAS_MIRANDA_METHODS = 0x10000000, // True if this class has miranda methods in it's vtable duke@435: JVM_ACC_HAS_VANILLA_CONSTRUCTOR = 0x20000000, // True if klass has a vanilla default constructor duke@435: JVM_ACC_HAS_FINALIZER = 0x40000000, // True if klass has a non-empty finalize() method duke@435: JVM_ACC_IS_CLONEABLE = (int)0x80000000,// True if klass supports the Clonable interface duke@435: JVM_ACC_HAS_FINAL_METHOD = 0x01000000, // True if klass has final method duke@435: coleenp@4037: // Klass* and Method* flags duke@435: JVM_ACC_HAS_LOCAL_VARIABLE_TABLE= 0x00200000, duke@435: duke@435: JVM_ACC_PROMOTED_FLAGS = 0x00200000, // flags promoted from methods to the holding klass duke@435: duke@435: // field flags duke@435: // Note: these flags must be defined in the low order 16 bits because coleenp@4037: // InstanceKlass only stores a ushort worth of information from the duke@435: // AccessFlags value. duke@435: // These bits must not conflict with any other field-related access flags duke@435: // (e.g., ACC_ENUM). duke@435: // Note that the class-related ACC_ANNOTATION bit conflicts with these flags. duke@435: JVM_ACC_FIELD_ACCESS_WATCHED = 0x00002000, // field access is watched by JVMTI duke@435: JVM_ACC_FIELD_MODIFICATION_WATCHED = 0x00008000, // field modification is watched by JVMTI never@3137: JVM_ACC_FIELD_INTERNAL = 0x00000400, // internal field, same as JVM_ACC_ABSTRACT vlivanov@5658: JVM_ACC_FIELD_STABLE = 0x00000020, // @Stable field, same as JVM_ACC_SYNCHRONIZED jiangli@3803: JVM_ACC_FIELD_HAS_GENERIC_SIGNATURE = 0x00000800, // field has generic signature never@3137: never@3137: JVM_ACC_FIELD_INTERNAL_FLAGS = JVM_ACC_FIELD_ACCESS_WATCHED | never@3137: JVM_ACC_FIELD_MODIFICATION_WATCHED | jiangli@3803: JVM_ACC_FIELD_INTERNAL | vlivanov@5658: JVM_ACC_FIELD_STABLE | jiangli@3803: JVM_ACC_FIELD_HAS_GENERIC_SIGNATURE, duke@435: duke@435: // flags accepted by set_field_flags() never@3137: JVM_ACC_FIELD_FLAGS = JVM_RECOGNIZED_FIELD_MODIFIERS | JVM_ACC_FIELD_INTERNAL_FLAGS jrose@1145: duke@435: }; duke@435: duke@435: duke@435: class AccessFlags VALUE_OBJ_CLASS_SPEC { duke@435: friend class VMStructs; duke@435: private: duke@435: jint _flags; duke@435: duke@435: public: duke@435: // Java access flags duke@435: bool is_public () const { return (_flags & JVM_ACC_PUBLIC ) != 0; } duke@435: bool is_private () const { return (_flags & JVM_ACC_PRIVATE ) != 0; } duke@435: bool is_protected () const { return (_flags & JVM_ACC_PROTECTED ) != 0; } duke@435: bool is_static () const { return (_flags & JVM_ACC_STATIC ) != 0; } duke@435: bool is_final () const { return (_flags & JVM_ACC_FINAL ) != 0; } duke@435: bool is_synchronized() const { return (_flags & JVM_ACC_SYNCHRONIZED) != 0; } duke@435: bool is_super () const { return (_flags & JVM_ACC_SUPER ) != 0; } duke@435: bool is_volatile () const { return (_flags & JVM_ACC_VOLATILE ) != 0; } duke@435: bool is_transient () const { return (_flags & JVM_ACC_TRANSIENT ) != 0; } duke@435: bool is_native () const { return (_flags & JVM_ACC_NATIVE ) != 0; } duke@435: bool is_interface () const { return (_flags & JVM_ACC_INTERFACE ) != 0; } duke@435: bool is_abstract () const { return (_flags & JVM_ACC_ABSTRACT ) != 0; } duke@435: bool is_strict () const { return (_flags & JVM_ACC_STRICT ) != 0; } duke@435: duke@435: // Attribute flags duke@435: bool is_synthetic () const { return (_flags & JVM_ACC_SYNTHETIC ) != 0; } duke@435: coleenp@4037: // Method* flags duke@435: bool is_monitor_matching () const { return (_flags & JVM_ACC_MONITOR_MATCH ) != 0; } duke@435: bool has_monitor_bytecodes () const { return (_flags & JVM_ACC_HAS_MONITOR_BYTECODES ) != 0; } duke@435: bool has_loops () const { return (_flags & JVM_ACC_HAS_LOOPS ) != 0; } duke@435: bool loops_flag_init () const { return (_flags & JVM_ACC_LOOPS_FLAG_INIT ) != 0; } duke@435: bool queued_for_compilation () const { return (_flags & JVM_ACC_QUEUED ) != 0; } twisti@4111: bool is_not_c1_compilable () const { return (_flags & JVM_ACC_NOT_C1_COMPILABLE ) != 0; } twisti@4111: bool is_not_c2_compilable () const { return (_flags & JVM_ACC_NOT_C2_COMPILABLE ) != 0; } twisti@4111: bool is_not_c2_osr_compilable() const { return (_flags & JVM_ACC_NOT_C2_OSR_COMPILABLE ) != 0; } duke@435: bool has_linenumber_table () const { return (_flags & JVM_ACC_HAS_LINE_NUMBER_TABLE ) != 0; } duke@435: bool has_checked_exceptions () const { return (_flags & JVM_ACC_HAS_CHECKED_EXCEPTIONS ) != 0; } duke@435: bool has_jsrs () const { return (_flags & JVM_ACC_HAS_JSRS ) != 0; } duke@435: bool is_old () const { return (_flags & JVM_ACC_IS_OLD ) != 0; } duke@435: bool is_obsolete () const { return (_flags & JVM_ACC_IS_OBSOLETE ) != 0; } duke@435: bool is_prefixed_native () const { return (_flags & JVM_ACC_IS_PREFIXED_NATIVE ) != 0; } duke@435: coleenp@4037: // Klass* flags duke@435: bool has_miranda_methods () const { return (_flags & JVM_ACC_HAS_MIRANDA_METHODS ) != 0; } duke@435: bool has_vanilla_constructor () const { return (_flags & JVM_ACC_HAS_VANILLA_CONSTRUCTOR) != 0; } duke@435: bool has_finalizer () const { return (_flags & JVM_ACC_HAS_FINALIZER ) != 0; } duke@435: bool has_final_method () const { return (_flags & JVM_ACC_HAS_FINAL_METHOD ) != 0; } duke@435: bool is_cloneable () const { return (_flags & JVM_ACC_IS_CLONEABLE ) != 0; } coleenp@4037: // Klass* and Method* flags duke@435: bool has_localvariable_table () const { return (_flags & JVM_ACC_HAS_LOCAL_VARIABLE_TABLE) != 0; } duke@435: void set_has_localvariable_table() { atomic_set_bits(JVM_ACC_HAS_LOCAL_VARIABLE_TABLE); } duke@435: void clear_has_localvariable_table() { atomic_clear_bits(JVM_ACC_HAS_LOCAL_VARIABLE_TABLE); } duke@435: duke@435: // field flags duke@435: bool is_field_access_watched() const { return (_flags & JVM_ACC_FIELD_ACCESS_WATCHED) != 0; } duke@435: bool is_field_modification_watched() const duke@435: { return (_flags & JVM_ACC_FIELD_MODIFICATION_WATCHED) != 0; } coleenp@4037: bool on_stack() const { return (_flags & JVM_ACC_ON_STACK) != 0; } never@3137: bool is_internal() const { return (_flags & JVM_ACC_FIELD_INTERNAL) != 0; } vlivanov@5658: bool is_stable() const { return (_flags & JVM_ACC_FIELD_STABLE) != 0; } jiangli@3803: bool field_has_generic_signature() const jiangli@3803: { return (_flags & JVM_ACC_FIELD_HAS_GENERIC_SIGNATURE) != 0; } duke@435: duke@435: // get .class file flags duke@435: jint get_flags () const { return (_flags & JVM_ACC_WRITTEN_FLAGS); } duke@435: duke@435: // Initialization duke@435: void add_promoted_flags(jint flags) { _flags |= (flags & JVM_ACC_PROMOTED_FLAGS); } never@3137: void set_field_flags(jint flags) { never@3137: assert((flags & JVM_ACC_FIELD_FLAGS) == flags, "only recognized flags"); never@3137: _flags = (flags & JVM_ACC_FIELD_FLAGS); never@3137: } duke@435: void set_flags(jint flags) { _flags = (flags & JVM_ACC_WRITTEN_FLAGS); } duke@435: duke@435: void set_queued_for_compilation() { atomic_set_bits(JVM_ACC_QUEUED); } duke@435: void clear_queued_for_compilation() { atomic_clear_bits(JVM_ACC_QUEUED); } duke@435: duke@435: // Atomic update of flags duke@435: void atomic_set_bits(jint bits); duke@435: void atomic_clear_bits(jint bits); duke@435: duke@435: private: coleenp@4037: friend class Method; duke@435: friend class Klass; duke@435: friend class ClassFileParser; duke@435: // the functions below should only be called on the _access_flags inst var directly, duke@435: // otherwise they are just changing a copy of the flags duke@435: duke@435: // attribute flags duke@435: void set_is_synthetic() { atomic_set_bits(JVM_ACC_SYNTHETIC); } duke@435: coleenp@4037: // Method* flags duke@435: void set_monitor_matching() { atomic_set_bits(JVM_ACC_MONITOR_MATCH); } duke@435: void set_has_monitor_bytecodes() { atomic_set_bits(JVM_ACC_HAS_MONITOR_BYTECODES); } duke@435: void set_has_loops() { atomic_set_bits(JVM_ACC_HAS_LOOPS); } duke@435: void set_loops_flag_init() { atomic_set_bits(JVM_ACC_LOOPS_FLAG_INIT); } iveresov@2138: void set_not_c1_compilable() { atomic_set_bits(JVM_ACC_NOT_C1_COMPILABLE); } iveresov@2138: void set_not_c2_compilable() { atomic_set_bits(JVM_ACC_NOT_C2_COMPILABLE); } twisti@4111: void set_not_c2_osr_compilable() { atomic_set_bits(JVM_ACC_NOT_C2_OSR_COMPILABLE); } duke@435: void set_has_linenumber_table() { atomic_set_bits(JVM_ACC_HAS_LINE_NUMBER_TABLE); } duke@435: void set_has_checked_exceptions() { atomic_set_bits(JVM_ACC_HAS_CHECKED_EXCEPTIONS); } duke@435: void set_has_jsrs() { atomic_set_bits(JVM_ACC_HAS_JSRS); } duke@435: void set_is_old() { atomic_set_bits(JVM_ACC_IS_OLD); } duke@435: void set_is_obsolete() { atomic_set_bits(JVM_ACC_IS_OBSOLETE); } duke@435: void set_is_prefixed_native() { atomic_set_bits(JVM_ACC_IS_PREFIXED_NATIVE); } duke@435: iignatyev@4908: void clear_not_c1_compilable() { atomic_clear_bits(JVM_ACC_NOT_C1_COMPILABLE); } iignatyev@4908: void clear_not_c2_compilable() { atomic_clear_bits(JVM_ACC_NOT_C2_COMPILABLE); } iignatyev@4908: void clear_not_c2_osr_compilable() { atomic_clear_bits(JVM_ACC_NOT_C2_OSR_COMPILABLE); } coleenp@4037: // Klass* flags duke@435: void set_has_vanilla_constructor() { atomic_set_bits(JVM_ACC_HAS_VANILLA_CONSTRUCTOR); } duke@435: void set_has_finalizer() { atomic_set_bits(JVM_ACC_HAS_FINALIZER); } duke@435: void set_has_final_method() { atomic_set_bits(JVM_ACC_HAS_FINAL_METHOD); } duke@435: void set_is_cloneable() { atomic_set_bits(JVM_ACC_IS_CLONEABLE); } duke@435: void set_has_miranda_methods() { atomic_set_bits(JVM_ACC_HAS_MIRANDA_METHODS); } duke@435: duke@435: public: duke@435: // field flags duke@435: void set_is_field_access_watched(const bool value) duke@435: { duke@435: if (value) { duke@435: atomic_set_bits(JVM_ACC_FIELD_ACCESS_WATCHED); duke@435: } else { duke@435: atomic_clear_bits(JVM_ACC_FIELD_ACCESS_WATCHED); duke@435: } duke@435: } duke@435: void set_is_field_modification_watched(const bool value) duke@435: { duke@435: if (value) { duke@435: atomic_set_bits(JVM_ACC_FIELD_MODIFICATION_WATCHED); duke@435: } else { duke@435: atomic_clear_bits(JVM_ACC_FIELD_MODIFICATION_WATCHED); duke@435: } duke@435: } jiangli@3803: void set_field_has_generic_signature() jiangli@3803: { jiangli@3803: atomic_set_bits(JVM_ACC_FIELD_HAS_GENERIC_SIGNATURE); jiangli@3803: } duke@435: coleenp@4037: void set_on_stack(const bool value) coleenp@4037: { coleenp@4037: if (value) { coleenp@4037: atomic_set_bits(JVM_ACC_ON_STACK); coleenp@4037: } else { coleenp@4037: atomic_clear_bits(JVM_ACC_ON_STACK); coleenp@4037: } coleenp@4037: } duke@435: // Conversion never@3137: jshort as_short() const { return (jshort)_flags; } never@3137: jint as_int() const { return _flags; } duke@435: jrose@1145: inline friend AccessFlags accessFlags_from(jint flags); jrose@1145: duke@435: // Printing/debugging dcubed@4562: #if INCLUDE_JVMTI dcubed@4562: void print_on(outputStream* st) const; dcubed@4562: #else duke@435: void print_on(outputStream* st) const PRODUCT_RETURN; dcubed@4562: #endif duke@435: }; jrose@1145: jrose@1145: inline AccessFlags accessFlags_from(jint flags) { jrose@1145: AccessFlags af; jrose@1145: af._flags = flags; jrose@1145: return af; jrose@1145: } stefank@2314: stefank@2314: #endif // SHARE_VM_UTILITIES_ACCESSFLAGS_HPP