Packages

sealed abstract class ClassBType extends RefBType

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.

Linear Supertypes
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. ClassBType
  2. RefBType
  3. BType
  4. AnyRef
  5. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Abstract Value Members

  1. abstract def fromSymbol: Boolean

Concrete Value Members

  1. final def !=(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  2. final def ##(): Int
    Definition Classes
    AnyRef → Any
  3. final def ==(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  4. def asArrayBType: ArrayBType
    Definition Classes
    BType
  5. def asClassBType: ClassBType
    Definition Classes
    BType
  6. final def asInstanceOf[T0]: T0
    Definition Classes
    Any
  7. def asPrimitiveBType: PrimitiveBType
    Definition Classes
    BType
  8. def asRefBType: RefBType
    Definition Classes
    BType
  9. final def buildString(builder: java.lang.StringBuilder): Unit
    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[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( ... ) @native()
  12. final def conformsTo(other: BType): Either[NoClassBTypeInfo, Boolean]
    Definition Classes
    BType
  13. 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
  14. def enclosingNestedClassesChain: Either[NoClassBTypeInfo, List[ClassBType]]
  15. final def eq(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  16. def equals(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  17. def finalize(): Unit
    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )
  18. final def getClass(): Class[_]
    Definition Classes
    AnyRef → Any
    Annotations
    @native()
  19. def hashCode(): Int
    Definition Classes
    AnyRef → Any
    Annotations
    @native()
  20. def info: Either[NoClassBTypeInfo, ClassInfo]
  21. def inlineInfoAttribute: Either[NoClassBTypeInfo, InlineInfoAttribute]
  22. def innerClassAttributeEntry: Either[NoClassBTypeInfo, Option[InnerClassEntry]]
  23. val internalName: InternalName
  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. def isInterface: Either[NoClassBTypeInfo, Boolean]
  31. final def isMethod: Boolean
    Definition Classes
    BType
  32. def isNestedClass: Either[NoClassBTypeInfo, Boolean]
  33. final def isNonVoidPrimitiveType: Boolean
    Definition Classes
    BType
  34. final def isNothingType: Boolean
    Definition Classes
    BType
  35. final def isNullType: Boolean
    Definition Classes
    BType
  36. final def isNumericType: Boolean
    Definition Classes
    BType
  37. final def isPrimitive: Boolean
    Definition Classes
    BType
  38. def isPublic: Either[NoClassBTypeInfo, Boolean]
  39. final def isRealType: Boolean
    Definition Classes
    BType
  40. final def isRef: Boolean
    Definition Classes
    BType
  41. def isSubtypeOf(other: ClassBType): Either[NoClassBTypeInfo, Boolean]
  42. final def isWideType: Boolean
    Definition Classes
    BType
  43. 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

  44. 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
  45. final def ne(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  46. final def notify(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  47. final def notifyAll(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  48. def packageInternalName: String

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

  49. final def size: Int

    returns

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

    Definition Classes
    BType
  50. def superClassesTransitive: Either[NoClassBTypeInfo, List[ClassBType]]
  51. final def synchronized[T0](arg0: ⇒ T0): T0
    Definition Classes
    AnyRef
  52. 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
  53. final def toString(): String
    Definition Classes
    BType → AnyRef → Any
  54. 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
  55. final def wait(): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  56. final def wait(arg0: Long, arg1: Int): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  57. final def wait(arg0: Long): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... ) @native()

Inherited from RefBType

Inherited from BType

Inherited from AnyRef

Inherited from Any

Ungrouped