Packages

final case class ClassBType(internalName: InternalName)(cache: Map[InternalName, ClassBType]) extends RefBType with Product with Serializable

A ClassBType represents a class or interface type. The necessary information to build a ClassBType is extracted from compiler symbols and types, see BTypesFromSymbols.

The info field contains either the class information on an error message why the info could not be computed. There are two reasons for an erroneous info:

  1. The ClassBType was built from a class symbol that stems from a java source file, and the symbol's type could not be completed successfully (scala/bug#9111) 2. The ClassBType should be built from a classfile, but the class could not be found on the compilation classpath.

Note that all ClassBTypes required in a non-optimized run are built during code generation from the class symbols referenced by the ASTs, so they have a valid info. Therefore the backend often invokes info.get (which asserts the info to exist) when reading data from the ClassBType.

The inliner on the other hand uses ClassBTypes that are built from classfiles, which may have a missing info. In order not to crash the compiler unnecessarily, the inliner does not force infos using get, but it reports inliner warnings for missing infos that prevent inlining.

Source
BTypes.scala
Linear Supertypes
Serializable, java.io.Serializable, Product, Equals, RefBType, BType, AnyRef, Any
Type Hierarchy
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. ClassBType
  2. Serializable
  3. Serializable
  4. Product
  5. Equals
  6. RefBType
  7. BType
  8. AnyRef
  9. Any
Implicitly
  1. by any2stringadd
  2. by StringFormat
  3. by Ensuring
  4. by ArrowAssoc
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Instance Constructors

  1. new ClassBType(internalName: InternalName)(cache: Map[InternalName, ClassBType])

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
    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
    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 asPrimitiveBType: PrimitiveBType
    Definition Classes
    BType
  10. def asRefBType: RefBType
    Definition Classes
    BType
  11. final def buildString(builder: java.lang.StringBuilder): Unit
    Definition Classes
    BType
  12. 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
  13. def clone(): AnyRef
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  14. final def conformsTo(other: BType): Either[NoClassBTypeInfo, Boolean]
    Definition Classes
    BType
  15. 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
  16. def enclosingNestedClassesChain: Either[NoClassBTypeInfo, List[ClassBType]]
  17. def ensuring(cond: (ClassBType) ⇒ Boolean, msg: ⇒ Any): ClassBType
    Implicit
    This member is added by an implicit conversion from ClassBType to Ensuring[ClassBType] performed by method Ensuring in scala.Predef.
    Definition Classes
    Ensuring
  18. def ensuring(cond: (ClassBType) ⇒ Boolean): ClassBType
    Implicit
    This member is added by an implicit conversion from ClassBType to Ensuring[ClassBType] performed by method Ensuring in scala.Predef.
    Definition Classes
    Ensuring
  19. def ensuring(cond: Boolean, msg: ⇒ Any): ClassBType
    Implicit
    This member is added by an implicit conversion from ClassBType to Ensuring[ClassBType] performed by method Ensuring in scala.Predef.
    Definition Classes
    Ensuring
  20. def ensuring(cond: Boolean): ClassBType
    Implicit
    This member is added by an implicit conversion from ClassBType to Ensuring[ClassBType] performed by method Ensuring in scala.Predef.
    Definition Classes
    Ensuring
  21. final def eq(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  22. def finalize(): Unit
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )
  23. def formatted(fmtstr: String): String
    Implicit
    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()
  24. final def getClass(): Class[_]
    Definition Classes
    AnyRef → Any
  25. def info: Either[NoClassBTypeInfo, ClassInfo]
  26. def info_=(i: Either[NoClassBTypeInfo, ClassInfo]): Unit
  27. def inlineInfoAttribute: Either[NoClassBTypeInfo, InlineInfoAttribute]
  28. def innerClassAttributeEntry: Either[NoClassBTypeInfo, Option[InnerClassEntry]]
  29. val internalName: InternalName
  30. final def isArray: Boolean
    Definition Classes
    BType
  31. final def isBoxed: Boolean
    Definition Classes
    BType
  32. final def isClass: Boolean
    Definition Classes
    BType
  33. final def isInstanceOf[T0]: Boolean
    Definition Classes
    Any
  34. final def isIntSizedType: Boolean
    Definition Classes
    BType
  35. final def isIntegralType: Boolean
    Definition Classes
    BType
  36. def isInterface: Either[NoClassBTypeInfo, Boolean]
  37. final def isMethod: Boolean
    Definition Classes
    BType
  38. def isNestedClass: Either[NoClassBTypeInfo, Boolean]
  39. final def isNonVoidPrimitiveType: Boolean
    Definition Classes
    BType
  40. final def isNothingType: Boolean
    Definition Classes
    BType
  41. final def isNullType: Boolean
    Definition Classes
    BType
  42. final def isNumericType: Boolean
    Definition Classes
    BType
  43. final def isPrimitive: Boolean
    Definition Classes
    BType
  44. def isPublic: Either[NoClassBTypeInfo, Boolean]
  45. final def isRealType: Boolean
    Definition Classes
    BType
  46. final def isRef: Boolean
    Definition Classes
    BType
  47. def isSubtypeOf(other: ClassBType): Either[NoClassBTypeInfo, Boolean]
  48. final def isWideType: Boolean
    Definition Classes
    BType
  49. def jvmWiseLUB(other: ClassBType): Either[NoClassBTypeInfo, ClassBType]

    Finding the least upper bound in agreement with the bytecode verifier Background: http://gallium.inria.fr/~xleroy/publi/bytecode-verification-JAR.pdf http://comments.gmane.org/gmane.comp.java.vm.languages/2293 https://github.com/scala/bug/issues/3872

  50. final def maxType(other: BType): BType

    Compute the upper bound of two types.

    Compute the upper bound of two types. Takes promotions of numeric primitives into account.

    Definition Classes
    BType
  51. final def ne(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  52. final def notify(): Unit
    Definition Classes
    AnyRef
  53. final def notifyAll(): Unit
    Definition Classes
    AnyRef
  54. def packageInternalName: String

    The prefix of the internal name until the last '/', or the empty string.

  55. final def size: Int

    returns

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

    Definition Classes
    BType
  56. def superClassesTransitive: Either[NoClassBTypeInfo, List[ClassBType]]
  57. final def synchronized[T0](arg0: ⇒ T0): T0
    Definition Classes
    AnyRef
  58. 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
  59. final def toString(): String
    Definition Classes
    BType → AnyRef → Any
  60. 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
  61. final def wait(): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  62. final def wait(arg0: Long, arg1: Int): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  63. final def wait(arg0: Long): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  64. def →[B](y: B): (ClassBType, B)
    Implicit
    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 Serializable

Inherited from java.io.Serializable

Inherited from Product

Inherited from Equals

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