/*

 * Copyright 2000-2001 Sun Microsystems, Inc.  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 Sun Microsystems, Inc., 4150 Network Circle, Santa Clara,

 * CA 95054 USA or visit www.sun.com if you need additional information or

 * have any questions.

 *

 */

// ciType

//

// This class represents either a class (T_OBJECT), array (T_ARRAY),

// or one of the primitive types such as T_INT.

class ciType : public ciObject {

  CI_PACKAGE_ACCESS

  friend class ciKlass;

  friend class ciReturnAddress;

private:

  BasicType _basic_type;

  ciType(BasicType t);     // for the primitive types only

  ciType(KlassHandle k);   // for subclasses (reference types)

  ciType(ciKlass* klass);  // for unloaded types

  const char* type_string() { return "ciType"; }

  void print_impl(outputStream* st);

  // Distinguished instances of primitive ciTypes..

  static ciType* _basic_types[T_CONFLICT+1];

public:

  BasicType basic_type() const              { return _basic_type; }

  // Returns true iff the types are identical, or if both are klasses

  // and the is_subtype_of relation holds between the klasses.

  bool is_subtype_of(ciType* type);

  // Get the instance of java.lang.Class corresponding to this type.

  // There are mirrors for instance, array, and primitive types (incl. void).

  virtual ciInstance*    java_mirror();

  // Get the class which "boxes" (or "wraps") values of this type.

  // Example:  short is boxed by java.lang.Short, etc.

  // Returns self if it is a reference type.

  // Returns NULL for void, since null is used in such cases.

  ciKlass*  box_klass();

  // Returns true if this is not a klass or array (i.e., not a reference type).

  bool is_primitive_type() const            { return basic_type() != T_OBJECT && basic_type() != T_ARRAY; }

  int size() const                          { return type2size[basic_type()]; }

  bool is_void() const                      { return basic_type() == T_VOID; }

  bool is_one_word() const                  { return size() == 1; }

  bool is_two_word() const                  { return size() == 2; }

  // What kind of ciObject is this?

  bool is_type()                            { return true; }

  bool is_classless() const                 { return is_primitive_type(); }

  virtual void print_name_on(outputStream* st);

  void print_name() {

    print_name_on(tty);

  }

  static ciType* make(BasicType t);

};

// ciReturnAddress

//

// This class represents the type of a specific return address in the

// bytecodes.

class ciReturnAddress : public ciType {

  CI_PACKAGE_ACCESS

private:

  // The bci of this return address.

  int _bci;

  ciReturnAddress(int bci);

  const char* type_string() { return "ciReturnAddress"; }

  void print_impl(outputStream* st);

public:

  bool is_return_address()  { return true; }

  int  bci() { return _bci; }

  static ciReturnAddress* make(int bci);

};