/*

 * Copyright (c) 1997, 2013, Oracle and/or its affiliates. All rights reserved.

 * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.

 *

 * This code is free software; you can redistribute it and/or modify it

 * under the terms of the GNU General Public License version 2 only, as

 * published by the Free Software Foundation.

 *

 * This code is distributed in the hope that it will be useful, but WITHOUT

 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or

 * FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License

 * version 2 for more details (a copy is included in the LICENSE file that

 * accompanied this code).

 *

 * You should have received a copy of the GNU General Public License version

 * 2 along with this work; if not, write to the Free Software Foundation,

 * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.

 *

 * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA

 * or visit www.oracle.com if you need additional information or have any

 * questions.

 *

 */

#ifndef SHARE_VM_OOPS_INSTANCEKLASS_HPP

#define SHARE_VM_OOPS_INSTANCEKLASS_HPP

#include "classfile/classLoaderData.hpp"

#include "memory/referenceType.hpp"

#include "oops/annotations.hpp"

#include "oops/constMethod.hpp"

#include "oops/fieldInfo.hpp"

#include "oops/instanceOop.hpp"

#include "oops/klassVtable.hpp"

#include "runtime/atomic.hpp"

#include "runtime/handles.hpp"

#include "runtime/os.hpp"

#include "utilities/accessFlags.hpp"

#include "utilities/bitMap.inline.hpp"

#include "utilities/macros.hpp"

#include "trace/traceMacros.hpp"

// An InstanceKlass is the VM level representation of a Java class.

// It contains all information needed for at class at execution runtime.

//  InstanceKlass layout:

//    [C++ vtbl pointer           ] Klass

//    [subtype cache              ] Klass

//    [instance size              ] Klass

//    [java mirror                ] Klass

//    [super                      ] Klass

//    [access_flags               ] Klass

//    [name                       ] Klass

//    [first subklass             ] Klass

//    [next sibling               ] Klass

//    [array klasses              ]

//    [methods                    ]

//    [local interfaces           ]

//    [transitive interfaces      ]

//    [fields                     ]

//    [constants                  ]

//    [class loader               ]

//    [source file name           ]

//    [inner classes              ]

//    [static field size          ]

//    [nonstatic field size       ]

//    [static oop fields size     ]

//    [nonstatic oop maps size    ]

//    [has finalize method        ]

//    [deoptimization mark bit    ]

//    [initialization state       ]

//    [initializing thread        ]

//    [Java vtable length         ]

//    [oop map cache (stack maps) ]

//    [EMBEDDED Java vtable             ] size in words = vtable_len

//    [EMBEDDED nonstatic oop-map blocks] size in words = nonstatic_oop_map_size

//      The embedded nonstatic oop-map blocks are short pairs (offset, length)

//      indicating where oops are located in instances of this klass.

//    [EMBEDDED implementor of the interface] only exist for interface

//    [EMBEDDED host klass        ] only exist for an anonymous class (JSR 292 enabled)

// forward declaration for class -- see below for definition

class SuperTypeClosure;

class JNIid;

class jniIdMapBase;

class BreakpointInfo;

class fieldDescriptor;

class DepChange;

class nmethodBucket;

class PreviousVersionNode;

class JvmtiCachedClassFieldMap;

class MemberNameTable;

// This is used in iterators below.

class FieldClosure: public StackObj {

public:

  virtual void do_field(fieldDescriptor* fd) = 0;

};

#ifndef PRODUCT

// Print fields.

// If "obj" argument to constructor is NULL, prints static fields, otherwise prints non-static fields.

class FieldPrinter: public FieldClosure {

   oop _obj;

   outputStream* _st;

 public:

   FieldPrinter(outputStream* st, oop obj = NULL) : _obj(obj), _st(st) {}

   void do_field(fieldDescriptor* fd);

};

#endif  // !PRODUCT

// ValueObjs embedded in klass. Describes where oops are located in instances of

// this klass.

class OopMapBlock VALUE_OBJ_CLASS_SPEC {

 public:

  // Byte offset of the first oop mapped by this block.

  int offset() const          { return _offset; }

  void set_offset(int offset) { _offset = offset; }

  // Number of oops in this block.

  uint count() const         { return _count; }

  void set_count(uint count) { _count = count; }

  // sizeof(OopMapBlock) in HeapWords.

  static const int size_in_words() {

    return align_size_up(int(sizeof(OopMapBlock)), HeapWordSize) >>

      LogHeapWordSize;

  }

 private:

  int  _offset;

  uint _count;

};

struct JvmtiCachedClassFileData;

class InstanceKlass: public Klass {

  friend class VMStructs;

  friend class ClassFileParser;

  friend class CompileReplay;

 protected:

  // Constructor

  InstanceKlass(int vtable_len,

                int itable_len,

                int static_field_size,

                int nonstatic_oop_map_size,

                ReferenceType rt,

                AccessFlags access_flags,

                bool is_anonymous);

 public:

  static InstanceKlass* allocate_instance_klass(

                                          ClassLoaderData* loader_data,

                                          int vtable_len,

                                          int itable_len,

                                          int static_field_size,

                                          int nonstatic_oop_map_size,

                                          ReferenceType rt,

                                          AccessFlags access_flags,

                                          Symbol* name,

                                          Klass* super_klass,

                                          bool is_anonymous,

                                          TRAPS);

  InstanceKlass() { assert(DumpSharedSpaces || UseSharedSpaces, "only for CDS"); }

  // See "The Java Virtual Machine Specification" section 2.16.2-5 for a detailed description

  // of the class loading & initialization procedure, and the use of the states.

  enum ClassState {

    allocated,                          // allocated (but not yet linked)

    loaded,                             // loaded and inserted in class hierarchy (but not linked yet)

    linked,                             // successfully linked/verified (but not initialized yet)

    being_initialized,                  // currently running class initializer

    fully_initialized,                  // initialized (successfull final state)

    initialization_error                // error happened during initialization

  };

  static int number_of_instance_classes() { return _total_instanceKlass_count; }

 private:

  static volatile int _total_instanceKlass_count;

 protected:

  // Annotations for this class

  Annotations*    _annotations;

  // Array classes holding elements of this class.

  Klass*          _array_klasses;

  // Constant pool for this class.

  ConstantPool* _constants;

  // The InnerClasses attribute and EnclosingMethod attribute. The

  // _inner_classes is an array of shorts. If the class has InnerClasses

  // attribute, then the _inner_classes array begins with 4-tuples of shorts

  // [inner_class_info_index, outer_class_info_index,

  // inner_name_index, inner_class_access_flags] for the InnerClasses

  // attribute. If the EnclosingMethod attribute exists, it occupies the

  // last two shorts [class_index, method_index] of the array. If only

  // the InnerClasses attribute exists, the _inner_classes array length is

  // number_of_inner_classes * 4. If the class has both InnerClasses

  // and EnclosingMethod attributes the _inner_classes array length is

  // number_of_inner_classes * 4 + enclosing_method_attribute_size.

  Array<jushort>* _inner_classes;

  // the source debug extension for this klass, NULL if not specified.

  // Specified as UTF-8 string without terminating zero byte in the classfile,

  // it is stored in the instanceklass as a NULL-terminated UTF-8 string

  char*           _source_debug_extension;

  // Array name derived from this class which needs unreferencing

  // if this class is unloaded.

  Symbol*         _array_name;

  // Number of heapOopSize words used by non-static fields in this klass

  // (including inherited fields but after header_size()).

  int             _nonstatic_field_size;

  int             _static_field_size;    // number words used by static fields (oop and non-oop) in this klass

  // Constant pool index to the utf8 entry of the Generic signature,

  // or 0 if none.

  u2              _generic_signature_index;

  // Constant pool index to the utf8 entry for the name of source file

  // containing this klass, 0 if not specified.

  u2              _source_file_name_index;

  u2              _static_oop_field_count;// number of static oop fields in this klass

  u2              _java_fields_count;    // The number of declared Java fields

  int             _nonstatic_oop_map_size;// size in words of nonstatic oop map blocks

  // _is_marked_dependent can be set concurrently, thus cannot be part of the

  // _misc_flags.

  bool            _is_marked_dependent;  // used for marking during flushing and deoptimization

  enum {

    _misc_rewritten            = 1 << 0, // methods rewritten.

    _misc_has_nonstatic_fields = 1 << 1, // for sizing with UseCompressedOops

    _misc_should_verify_class  = 1 << 2, // allow caching of preverification

    _misc_is_anonymous         = 1 << 3, // has embedded _host_klass field

    _misc_is_contended         = 1 << 4, // marked with contended annotation

    _misc_has_default_methods  = 1 << 5  // class/superclass/implemented interfaces has default methods

  };

  u2              _misc_flags;

  u2              _minor_version;        // minor version number of class file

  u2              _major_version;        // major version number of class file

  Thread*         _init_thread;          // Pointer to current thread doing initialization (to handle recusive initialization)

  int             _vtable_len;           // length of Java vtable (in words)

  int             _itable_len;           // length of Java itable (in words)

  OopMapCache*    volatile _oop_map_cache;   // OopMapCache for all methods in the klass (allocated lazily)

  MemberNameTable* _member_names;        // Member names

  JNIid*          _jni_ids;              // First JNI identifier for static fields in this class

  jmethodID*      _methods_jmethod_ids;  // jmethodIDs corresponding to method_idnum, or NULL if none

  int*            _methods_cached_itable_indices;  // itable_index cache for JNI invoke corresponding to methods idnum, or NULL

  nmethodBucket*  _dependencies;         // list of dependent nmethods

  nmethod*        _osr_nmethods_head;    // Head of list of on-stack replacement nmethods for this class

  BreakpointInfo* _breakpoints;          // bpt lists, managed by Method*

  // Array of interesting part(s) of the previous version(s) of this

  // InstanceKlass. See PreviousVersionWalker below.

  GrowableArray<PreviousVersionNode *>* _previous_versions;

  // JVMTI fields can be moved to their own structure - see 6315920

  // JVMTI: cached class file, before retransformable agent modified it in CFLH

  JvmtiCachedClassFileData* _cached_class_file;

  volatile u2     _idnum_allocated_count;         // JNI/JVMTI: increments with the addition of methods, old ids don't change

  // Class states are defined as ClassState (see above).

  // Place the _init_state here to utilize the unused 2-byte after

  // _idnum_allocated_count.

  u1              _init_state;                    // state of class

  u1              _reference_type;                // reference type

  JvmtiCachedClassFieldMap* _jvmti_cached_class_field_map;  // JVMTI: used during heap iteration

  NOT_PRODUCT(int _verify_count;)  // to avoid redundant verifies

  // Method array.

  Array<Method*>* _methods;

  // Interface (Klass*s) this class declares locally to implement.

  Array<Klass*>* _local_interfaces;

  // Interface (Klass*s) this class implements transitively.

  Array<Klass*>* _transitive_interfaces;

  // Int array containing the original order of method in the class file (for JVMTI).

  Array<int>*     _method_ordering;

  // Instance and static variable information, starts with 6-tuples of shorts

  // [access, name index, sig index, initval index, low_offset, high_offset]

  // for all fields, followed by the generic signature data at the end of

  // the array. Only fields with generic signature attributes have the generic

  // signature data set in the array. The fields array looks like following:

  //

  // f1: [access, name index, sig index, initial value index, low_offset, high_offset]

  // f2: [access, name index, sig index, initial value index, low_offset, high_offset]

  //      ...

  // fn: [access, name index, sig index, initial value index, low_offset, high_offset]

  //     [generic signature index]

  //     [generic signature index]

  //     ...

  Array<u2>*      _fields;

  // embedded Java vtable follows here

  // embedded Java itables follows here

  // embedded static fields follows here

  // embedded nonstatic oop-map blocks follows here

  // embedded implementor of this interface follows here

  //   The embedded implementor only exists if the current klass is an

  //   iterface. The possible values of the implementor fall into following

  //   three cases:

  //     NULL: no implementor.

  //     A Klass* that's not itself: one implementor.

  //     Itsef: more than one implementors.

  // embedded host klass follows here

  //   The embedded host klass only exists in an anonymous class for

  //   dynamic language support (JSR 292 enabled). The host class grants

  //   its access privileges to this class also. The host class is either

  //   named, or a previously loaded anonymous class. A non-anonymous class

  //   or an anonymous class loaded through normal classloading does not

  //   have this embedded field.

  //

  friend class SystemDictionary;

 public:

  bool has_nonstatic_fields() const        {

    return (_misc_flags & _misc_has_nonstatic_fields) != 0;

  }

  void set_has_nonstatic_fields(bool b)    {

    if (b) {

      _misc_flags |= _misc_has_nonstatic_fields;

    } else {

      _misc_flags &= ~_misc_has_nonstatic_fields;

    }

  }

  // field sizes

  int nonstatic_field_size() const         { return _nonstatic_field_size; }

  void set_nonstatic_field_size(int size)  { _nonstatic_field_size = size; }

  int static_field_size() const            { return _static_field_size; }

  void set_static_field_size(int size)     { _static_field_size = size; }

  int static_oop_field_count() const       { return (int)_static_oop_field_count; }

  void set_static_oop_field_count(u2 size) { _static_oop_field_count = size; }

  // Java vtable

  int  vtable_length() const               { return _vtable_len; }

  void set_vtable_length(int len)          { _vtable_len = len; }

  // Java itable

  int  itable_length() const               { return _itable_len; }

  void set_itable_length(int len)          { _itable_len = len; }

  // array klasses

  Klass* array_klasses() const             { return _array_klasses; }

  void set_array_klasses(Klass* k)         { _array_klasses = k; }

  // methods

  Array<Method*>* methods() const          { return _methods; }

  void set_methods(Array<Method*>* a)      { _methods = a; }

  Method* method_with_idnum(int idnum);

  // method ordering

  Array<int>* method_ordering() const     { return _method_ordering; }

  void set_method_ordering(Array<int>* m) { _method_ordering = m; }

  void copy_method_ordering(intArray* m, TRAPS);

  // interfaces

  Array<Klass*>* local_interfaces() const          { return _local_interfaces; }

  void set_local_interfaces(Array<Klass*>* a)      {

    guarantee(_local_interfaces == NULL || a == NULL, "Just checking");

    _local_interfaces = a; }

  Array<Klass*>* transitive_interfaces() const     { return _transitive_interfaces; }

  void set_transitive_interfaces(Array<Klass*>* a) {

    guarantee(_transitive_interfaces == NULL || a == NULL, "Just checking");

    _transitive_interfaces = a;

  }

 private:

  friend class fieldDescriptor;

  FieldInfo* field(int index) const { return FieldInfo::from_field_array(_fields, index); }

 public:

  int     field_offset      (int index) const { return field(index)->offset(); }

  int     field_access_flags(int index) const { return field(index)->access_flags(); }

  Symbol* field_name        (int index) const { return field(index)->name(constants()); }

  Symbol* field_signature   (int index) const { return field(index)->signature(constants()); }

  // Number of Java declared fields

  int java_fields_count() const           { return (int)_java_fields_count; }

  Array<u2>* fields() const            { return _fields; }

  void set_fields(Array<u2>* f, u2 java_fields_count) {

    guarantee(_fields == NULL || f == NULL, "Just checking");

    _fields = f;

    _java_fields_count = java_fields_count;

  }

  // inner classes

  Array<u2>* inner_classes() const       { return _inner_classes; }

  void set_inner_classes(Array<u2>* f)   { _inner_classes = f; }

  enum InnerClassAttributeOffset {

    // From http://mirror.eng/products/jdk/1.1/docs/guide/innerclasses/spec/innerclasses.doc10.html#18814

    inner_class_inner_class_info_offset = 0,

    inner_class_outer_class_info_offset = 1,

    inner_class_inner_name_offset = 2,

    inner_class_access_flags_offset = 3,

    inner_class_next_offset = 4

  };

  enum EnclosingMethodAttributeOffset {

    enclosing_method_class_index_offset = 0,

    enclosing_method_method_index_offset = 1,

    enclosing_method_attribute_size = 2

  };

  // method override check

  bool is_override(methodHandle super_method, Handle targetclassloader, Symbol* targetclassname, TRAPS);

  // package

  bool is_same_class_package(Klass* class2);

  bool is_same_class_package(oop classloader2, Symbol* classname2);

  static bool is_same_class_package(oop class_loader1, Symbol* class_name1, oop class_loader2, Symbol* class_name2);

  // find an enclosing class (defined where original code was, in jvm.cpp!)

  Klass* compute_enclosing_class(bool* inner_is_member, TRAPS) {

    instanceKlassHandle self(THREAD, this);

    return compute_enclosing_class_impl(self, inner_is_member, THREAD);

  }

  static Klass* compute_enclosing_class_impl(instanceKlassHandle self,

                                               bool* inner_is_member, TRAPS);

  // tell if two classes have the same enclosing class (at package level)

  bool is_same_package_member(Klass* class2, TRAPS) {

    instanceKlassHandle self(THREAD, this);

    return is_same_package_member_impl(self, class2, THREAD);

  }

  static bool is_same_package_member_impl(instanceKlassHandle self,

                                          Klass* class2, TRAPS);

  // initialization state

  bool is_loaded() const                   { return _init_state >= loaded; }

  bool is_linked() const                   { return _init_state >= linked; }

  bool is_initialized() const              { return _init_state == fully_initialized; }

  bool is_not_initialized() const          { return _init_state <  being_initialized; }

  bool is_being_initialized() const        { return _init_state == being_initialized; }

  bool is_in_error_state() const           { return _init_state == initialization_error; }

  bool is_reentrant_initialization(Thread *thread)  { return thread == _init_thread; }

  ClassState  init_state()                 { return (ClassState)_init_state; }

  bool is_rewritten() const                { return (_misc_flags & _misc_rewritten) != 0; }

  // defineClass specified verification

  bool should_verify_class() const         {

    return (_misc_flags & _misc_should_verify_class) != 0;

  }

  void set_should_verify_class(bool value) {

    if (value) {

      _misc_flags |= _misc_should_verify_class;

    } else {

      _misc_flags &= ~_misc_should_verify_class;

    }

  }

  // marking

  bool is_marked_dependent() const         { return _is_marked_dependent; }

  void set_is_marked_dependent(bool value) { _is_marked_dependent = value; }

  // initialization (virtuals from Klass)

  bool should_be_initialized() const;  // means that initialize should be called

  void initialize(TRAPS);

  void link_class(TRAPS);

  bool link_class_or_fail(TRAPS); // returns false on failure

  void unlink_class();

  void rewrite_class(TRAPS);

  void link_methods(TRAPS);

  Method* class_initializer();

  // set the class to initialized if no static initializer is present

  void eager_initialize(Thread *thread);

  // reference type

  ReferenceType reference_type() const     { return (ReferenceType)_reference_type; }

  void set_reference_type(ReferenceType t) {

    assert(t == (u1)t, "overflow");

    _reference_type = (u1)t;

  }

  static ByteSize reference_type_offset() { return in_ByteSize(offset_of(InstanceKlass, _reference_type)); }

  // find local field, returns true if found

  bool find_local_field(Symbol* name, Symbol* sig, fieldDescriptor* fd) const;

  // find field in direct superinterfaces, returns the interface in which the field is defined

  Klass* find_interface_field(Symbol* name, Symbol* sig, fieldDescriptor* fd) const;

  // find field according to JVM spec 5.4.3.2, returns the klass in which the field is defined

  Klass* find_field(Symbol* name, Symbol* sig, fieldDescriptor* fd) const;

  // find instance or static fields according to JVM spec 5.4.3.2, returns the klass in which the field is defined

  Klass* find_field(Symbol* name, Symbol* sig, bool is_static, fieldDescriptor* fd) const;

  // find a non-static or static field given its offset within the class.

  bool contains_field_offset(int offset) {

    return instanceOopDesc::contains_field_offset(offset, nonstatic_field_size());

  }

  bool find_local_field_from_offset(int offset, bool is_static, fieldDescriptor* fd) const;