scala.tools.nsc.backend.jvm.BTypes

ClassBType

class ClassBType extends RefBType

Class or Interface type.

Classes are represented using their name as a slice of the chrs array. This representation is efficient because the JVM class name is initially created using classSymbol.javaBinaryName. This already adds the necessary string to the chrs array, so it makes sense to reuse the same name table in the backend.

Not a case class because that would expose the (Int, Int) constructor (didn't find a way to make it private, also the factory in the companion).

Source
BTypes.scala
Linear Supertypes
RefBType, BType, AnyRef, Any
Type Hierarchy Learn more about scaladoc diagrams
Ordering
  1. Alphabetic
  2. By inheritance
Inherited
  1. ClassBType
  2. RefBType
  3. BType
  4. AnyRef
  5. Any
Implicitly
  1. by any2stringadd
  2. by StringFormat
  3. by Ensuring
  4. by ArrowAssoc
  1. Hide All
  2. Show all
Learn more about member selection
Visibility
  1. Public
  2. All

Instance Constructors

  1. new ClassBType(s: String)

    Construct a ClassBType for a given java class name.

    Construct a ClassBType for a given java class name.

    s

    A class name of the form "java/lang/String", without the surrounding 'L' and ';'.

  2. new ClassBType(n: BTypeName)

    Construct a ClassBType for a given (intenred) class name.

    Construct a ClassBType for a given (intenred) class name.

    n

    The class name as a slice of the chrs array, without the surrounding 'L' and ';'. Note that classSymbol.javaBinaryName returns exactly such a name.

Value Members

  1. final def !=(arg0: Any): Boolean

    Definition Classes
    AnyRef → Any

  2. final def ##(): Int

    Definition Classes
    AnyRef → Any

  3. def +(other: String): String

    Implicit information
    This member is added by an implicit conversion from ClassBType to any2stringadd[ClassBType] performed by method any2stringadd in scala.Predef.
    Definition Classes
    any2stringadd

  4. def ->[B](y: B): (ClassBType, B)

    Implicit information
    This member is added by an implicit conversion from ClassBType to ArrowAssoc[ClassBType] performed by method ArrowAssoc in scala.Predef.
    Definition Classes
    ArrowAssoc
    Annotations
    @inline()

  5. final def ==(arg0: Any): Boolean

    Definition Classes
    AnyRef → Any

  6. def asArrayBType: ArrayBType

    Definition Classes
    BType

  7. def asClassBType: ClassBType

    Definition Classes
    BType

  8. final def asInstanceOf[T0]: T0

    Definition Classes
    Any

  9. def asRefBType: RefBType

    Definition Classes
    BType

  10. def classOrArrayType: String

    The class or array type of this reference type.

    The class or array type of this reference type. Used for ANEWARRAY, MULTIANEWARRAY, INSTANCEOF and CHECKCAST instructions. Also used for emitting invokevirtual calls to (a: Array[T]).clone() for any T, see genApply.

    In contrast to the descriptor, this string does not contain the surrounding 'L' and ';' for class types, for example "java/lang/String". However, for array types, the full descriptor is used, for example "[Ljava/lang/String;".

    This can be verified for example using javap or ASMifier.

    Definition Classes
    RefBType

  11. def clone(): AnyRef

    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

  12. final def descriptor: String

    returns

    The Java descriptor of this type. Examples:

    • int: I
    • java.lang.String: Ljava/lang/String;
    • int[]: [I
    • Object m(String s, double d): (Ljava/lang/String;D)Ljava/lang/Object;
    Definition Classes
    BType

  13. def ensuring(cond: (ClassBType) ⇒ Boolean, msg: ⇒ Any): ClassBType

    Implicit information
    This member is added by an implicit conversion from ClassBType to Ensuring[ClassBType] performed by method Ensuring in scala.Predef.
    Definition Classes
    Ensuring

  14. def ensuring(cond: (ClassBType) ⇒ Boolean): ClassBType

    Implicit information
    This member is added by an implicit conversion from ClassBType to Ensuring[ClassBType] performed by method Ensuring in scala.Predef.
    Definition Classes
    Ensuring

  15. def ensuring(cond: Boolean, msg: ⇒ Any): ClassBType

    Implicit information
    This member is added by an implicit conversion from ClassBType to Ensuring[ClassBType] performed by method Ensuring in scala.Predef.
    Definition Classes
    Ensuring

  16. def ensuring(cond: Boolean): ClassBType

    Implicit information
    This member is added by an implicit conversion from ClassBType to Ensuring[ClassBType] performed by method Ensuring in scala.Predef.
    Definition Classes
    Ensuring

  17. final def eq(arg0: AnyRef): Boolean

    Definition Classes
    AnyRef

  18. def equals(o: Any): Boolean

    Custom equals / hashCode are needed because this is not a case class.

    Custom equals / hashCode are needed because this is not a case class.

    Definition Classes
    ClassBType → AnyRef → Any

  19. def finalize(): Unit

    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )

  20. def formatted(fmtstr: String): String

    Implicit information
    This member is added by an implicit conversion from ClassBType to StringFormat[ClassBType] performed by method StringFormat in scala.Predef.
    Definition Classes
    StringFormat
    Annotations
    @inline()

  21. final def getClass(): Class[_]

    Definition Classes
    AnyRef → Any

  22. def hashCode(): Int

    Definition Classes
    ClassBType → AnyRef → Any

  23. def internalName: String

    The internal name of a class is the string returned by java.lang.Class.getName, with all '.' replaced by '/'.

    The internal name of a class is the string returned by java.lang.Class.getName, with all '.' replaced by '/'. For example "java/lang/String".

  24. final def isArray: Boolean

    Definition Classes
    BType

  25. final def isBoxed: Boolean

    Definition Classes
    BType

  26. final def isClass: Boolean

    Definition Classes
    BType

  27. final def isInstanceOf[T0]: Boolean

    Definition Classes
    Any

  28. final def isIntSizedType: Boolean

    Definition Classes
    BType

  29. final def isIntegralType: Boolean

    Definition Classes
    BType

  30. final def isMethod: Boolean

    Definition Classes
    BType

  31. final def isNonSpecial: Boolean

    Definition Classes
    BType

  32. final def isNonVoidPrimitiveType: Boolean

    Definition Classes
    BType

  33. final def isNothingType: Boolean

    Definition Classes
    BType

  34. final def isNullType: Boolean

    Definition Classes
    BType

  35. final def isNumericType: Boolean

    Definition Classes
    BType

  36. final def isPhantomType: Boolean

    Definition Classes
    BType

  37. final def isPrimitive: Boolean

    Definition Classes
    BType

  38. final def isRealType: Boolean

    Definition Classes
    BType

  39. final def isRef: Boolean

    Definition Classes
    BType

  40. final def isWideType: Boolean

    Definition Classes
    BType

  41. val length: Int

  42. final def ne(arg0: AnyRef): Boolean

    Definition Classes
    AnyRef

  43. final def notify(): Unit

    Definition Classes
    AnyRef

  44. final def notifyAll(): Unit

    Definition Classes
    AnyRef

  45. val offset: Int

  46. def simpleName: String

    returns

    The class name without the package prefix

  47. final def size: Int

    returns

    0 for void, 2 for long and double, 1 otherwise

    Definition Classes
    BType

  48. final def synchronized[T0](arg0: ⇒ T0): T0

    Definition Classes
    AnyRef

  49. def toASMType: Type

    The asm.Type corresponding to this BType.

    The asm.Type corresponding to this BType.

    Note about asm.Type.getObjectType (*): For class types, the method expects the internal name, i.e. without the surrounding 'L' and ';'. For array types on the other hand, the method expects a full descriptor, for example "[Ljava/lang/String;".

    See method asm.Type.getType that creates a asm.Type from a type descriptor

    • for an OBJECT type, the 'L' and ';' are not part of the range of the created Type
    • for an ARRAY type, the full descriptor is part of the range
    Definition Classes
    BType

  50. final def toString(): String

    Definition Classes
    BType → AnyRef → Any

  51. final def typedOpcode(opcode: Int): Int

    Some JVM opcodes have typed variants.

    Some JVM opcodes have typed variants. This method returns the correct opcode according to the type.

    opcode

    A JVM instruction opcode. This opcode must be one of ILOAD, ISTORE, IALOAD, IASTORE, IADD, ISUB, IMUL, IDIV, IREM, INEG, ISHL, ISHR, IUSHR, IAND, IOR IXOR and IRETURN.

    returns

    The opcode adapted to this java type. For example, if this type is float and opcode is IRETURN, this method returns FRETURN.

    Definition Classes
    BType

  52. final def wait(): Unit

    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

  53. final def wait(arg0: Long, arg1: Int): Unit

    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

  54. final def wait(arg0: Long): Unit

    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

  55. def →[B](y: B): (ClassBType, B)

    Implicit information
    This member is added by an implicit conversion from ClassBType to ArrowAssoc[ClassBType] performed by method ArrowAssoc in scala.Predef.
    Definition Classes
    ArrowAssoc

Inherited from RefBType

Inherited from BType

Inherited from AnyRef

Inherited from Any

Inherited by implicit conversion any2stringadd from ClassBType to any2stringadd[ClassBType]

Inherited by implicit conversion StringFormat from ClassBType to StringFormat[ClassBType]

Inherited by implicit conversion Ensuring from ClassBType to Ensuring[ClassBType]

Inherited by implicit conversion ArrowAssoc from ClassBType to ArrowAssoc[ClassBType]

Ungrouped