Erasure

Type Members

abstract class ErasureMap extends TypeMap
class JavaErasureMap extends ErasureMap
class ScalaErasureMap extends ErasureMap

Scala's more precise erasure than java's is problematic as follows:

Abstract Value Members

abstract val global: SymbolTable

Concrete Value Members

final def !=(arg0: AnyRef): Boolean

Definition Classes
AnyRef
final def !=(arg0: Any): Boolean

Definition Classes
Any
final def ##(): Int

Definition Classes
AnyRef → Any
def +(other: String): String

Implicit information
This member is added by an implicit conversion from Erasure to StringAdd performed by method any2stringadd in scala.Predef.
Definition Classes
StringAdd
def ->[B](y: B): (Erasure, B)

Implicit information
This member is added by an implicit conversion from Erasure to ArrowAssoc[Erasure] performed by method any2ArrowAssoc in scala.Predef.
Definition Classes
ArrowAssoc
Annotations
@inline()
final def ==(arg0: AnyRef): Boolean

Definition Classes
AnyRef
final def ==(arg0: Any): Boolean

Definition Classes
Any
object GenericArray extends AnyRef

An extractor object for generic arrays
final def asInstanceOf[T0]: T0

Definition Classes
Any
def clone(): AnyRef

Attributes
protected[lang]
Definition Classes
AnyRef
Annotations
@throws()
def ensuring(cond: (Erasure) ⇒ Boolean, msg: ⇒ Any): Erasure

Implicit information
This member is added by an implicit conversion from Erasure to Ensuring[Erasure] performed by method any2Ensuring in scala.Predef.
Definition Classes
Ensuring
def ensuring(cond: (Erasure) ⇒ Boolean): Erasure

Implicit information
This member is added by an implicit conversion from Erasure to Ensuring[Erasure] performed by method any2Ensuring in scala.Predef.
Definition Classes
Ensuring
def ensuring(cond: Boolean, msg: ⇒ Any): Erasure

Implicit information
This member is added by an implicit conversion from Erasure to Ensuring[Erasure] performed by method any2Ensuring in scala.Predef.
Definition Classes
Ensuring
def ensuring(cond: Boolean): Erasure

Implicit information
This member is added by an implicit conversion from Erasure to Ensuring[Erasure] performed by method any2Ensuring in scala.Predef.
Definition Classes
Ensuring
final def eq(arg0: AnyRef): Boolean

Definition Classes
AnyRef
def equals(arg0: Any): Boolean

Definition Classes
AnyRef → Any
def erasedTypeRef(sym: Symbol): Type

Type reference after erasure
def erasure(sym: Symbol): ErasureMap

The erasure |T| of a type T.
The erasure |T| of a type T. This is:
- For a constant type, itself.
- For a type-bounds structure, the erasure of its upper bound.
- For every other singleton type, the erasure of its supertype.
- For a typeref scala.Array+[T] where T is an abstract type, AnyRef.
- For a typeref scala.Array+[T] where T is not an abstract type, scala.Array+[|T|].
- For a typeref scala.Any or scala.AnyVal, java.lang.Object.
- For a typeref scala.Unit, scala.runtime.BoxedUnit.
- For a typeref P.C[Ts] where C refers to a class, |P|.C. (Where P is first rebound to the class that directly defines C.)
- For a typeref P.C[Ts] where C refers to an alias type, the erasure of C's alias.
- For a typeref P.C[Ts] where C refers to an abstract type, the erasure of C's upper bound.
- For a non-empty type intersection (possibly with refinement)
  - in scala, the erasure of the intersection dominator
  - in java, the erasure of its first parent <--- @PP: not yet in spec.
- For an empty type intersection, java.lang.Object.
- For a method type (Fs)scala.Unit, (|Fs|)scala#Unit.
- For any other method type (Fs)Y, (|Fs|)|T|.
- For a polymorphic type, the erasure of its result type.
- For the class info type of java.lang.Object, the same type without any parents.
- For a class info type of a value class, the same type without any parents.
- For any other class info type with parents Ps, the same type with parents |Ps|, but with duplicate references of Object removed.
- for all other types, the type itself (with any sub-components erased)
def finalize(): Unit

Attributes
protected[lang]
Definition Classes
AnyRef
Annotations
@throws()
def formatted(fmtstr: String): String

Implicit information
This member is added by an implicit conversion from Erasure to StringFormat performed by method any2stringfmt in scala.Predef.
Definition Classes
StringFormat
Annotations
@inline()
final def getClass(): Class[_]

Definition Classes
AnyRef → Any
def hashCode(): Int

Definition Classes
AnyRef → Any
def intersectionDominator(parents: List[Type]): Type

The intersection dominator (SLS 3.
The intersection dominator (SLS 3.7) of a list of types is computed as follows.
- If the list contains one or more occurrences of scala.Array with type parameters El1, El2, ... then the dominator is scala.Array with type parameter of intersectionDominator(List(El1, El2, ...)). <--- @PP: not yet in spec.
- Otherwise, the list is reduced to a subsequence containing only types which are not subtypes of other listed types (the span.)
- If the span is empty, the dominator is Object.
- If the span contains a class Tc which is not a trait and which is not Object, the dominator is Tc. <--- @PP: "which is not Object" not in spec.
- Otherwise, the dominator is the first element of the span.
final def isInstanceOf[T0]: Boolean

Definition Classes
Any
object javaErasure extends JavaErasureMap
final def ne(arg0: AnyRef): Boolean

Definition Classes
AnyRef
final def notify(): Unit

Definition Classes
AnyRef
final def notifyAll(): Unit

Definition Classes
AnyRef
def rebindInnerClass(pre: Type, cls: Symbol): Type

Attributes
protected
object scalaErasure extends ScalaErasureMap
val self: Any

Implicit information
This member is added by an implicit conversion from Erasure to StringFormat performed by method any2stringfmt in scala.Predef.
Definition Classes
StringFormat
val self: Any

Implicit information
This member is added by an implicit conversion from Erasure to StringAdd performed by method any2stringadd in scala.Predef.
Definition Classes
StringAdd
def specialErasure(sym: Symbol)(tp: Type): Type

This is used as the Scala erasure during the erasure phase itself It differs from normal erasure in that value classes are erased to ErasedValueTypes which are then later converted to the underlying parameter type in phase posterasure.
def specialErasureAvoiding(clazz: Symbol, tpe: Type): Type
object specialScalaErasure extends ScalaErasureMap

This is used as the Scala erasure during the erasure phase itself It differs from normal erasure in that value classes are erased to ErasedValueTypes which are then later converted to the underlying parameter type in phase posterasure.
final def synchronized[T0](arg0: ⇒ T0): T0

Definition Classes
AnyRef
def toString(): String

Definition Classes
AnyRef → Any
def transformInfo(sym: Symbol, tp: Type): Type

The symbol's erased info.
The symbol's erased info. This is the type's erasure, except for the following symbols:
- For $asInstanceOf : [T]T
- For $isInstanceOf : [T]scala#Boolean
- For class Array : [T]C where C is the erased classinfo of the Array class.
- For Array[T].<init> : {scala#Int)Array[T]
- For a type parameter : A type bounds type consisting of the erasures of its bounds.
def unboundedGenericArrayLevel(tp: Type): Int

Attributes
protected
def underlyingOfValueClass(clazz: Symbol): Type
object verifiedJavaErasure extends JavaErasureMap
def verifyJavaErasure: Boolean

Attributes
protected
final def wait(): Unit

Definition Classes
AnyRef
Annotations
@throws()
final def wait(arg0: Long, arg1: Int): Unit

Definition Classes
AnyRef
Annotations
@throws()
final def wait(arg0: Long): Unit

Definition Classes
AnyRef
Annotations
@throws()
def →[B](y: B): (Erasure, B)

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

Deprecated Value Members

def x: Erasure

Implicit information
This member is added by an implicit conversion from Erasure to ArrowAssoc[Erasure] performed by method any2ArrowAssoc in scala.Predef.
Definition Classes
ArrowAssoc
Annotations
@deprecated
Deprecated
(Since version 2.10.0) Use leftOfArrow instead
def x: Erasure

Implicit information
This member is added by an implicit conversion from Erasure to Ensuring[Erasure] performed by method any2Ensuring in scala.Predef.
Definition Classes
Ensuring
Annotations
@deprecated
Deprecated
(Since version 2.10.0) Use resultOfEnsuring instead

trait Erasure extends AnyRef

Type Members

abstract class ErasureMap extends TypeMap

class JavaErasureMap extends ErasureMap

class ScalaErasureMap extends ErasureMap

Abstract Value Members

abstract val global: SymbolTable

Concrete Value Members

final def !=(arg0: AnyRef): Boolean

final def !=(arg0: Any): Boolean

final def ##(): Int

def +(other: String): String

def ->[B](y: B): (Erasure, B)

final def ==(arg0: AnyRef): Boolean

final def ==(arg0: Any): Boolean

object GenericArray extends AnyRef

final def asInstanceOf[T0]: T0

def clone(): AnyRef

def ensuring(cond: (Erasure) ⇒ Boolean, msg: ⇒ Any): Erasure

def ensuring(cond: (Erasure) ⇒ Boolean): Erasure

def ensuring(cond: Boolean, msg: ⇒ Any): Erasure

def ensuring(cond: Boolean): Erasure

final def eq(arg0: AnyRef): Boolean

def equals(arg0: Any): Boolean

def erasedTypeRef(sym: Symbol): Type

def erasure(sym: Symbol): ErasureMap

def finalize(): Unit

def formatted(fmtstr: String): String

final def getClass(): Class[_]

def hashCode(): Int

def intersectionDominator(parents: List[Type]): Type

final def isInstanceOf[T0]: Boolean

object javaErasure extends JavaErasureMap

final def ne(arg0: AnyRef): Boolean

final def notify(): Unit

final def notifyAll(): Unit

def rebindInnerClass(pre: Type, cls: Symbol): Type

object scalaErasure extends ScalaErasureMap

val self: Any

val self: Any

def specialErasure(sym: Symbol)(tp: Type): Type

def specialErasureAvoiding(clazz: Symbol, tpe: Type): Type

object specialScalaErasure extends ScalaErasureMap

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

def toString(): String

def transformInfo(sym: Symbol, tp: Type): Type

def unboundedGenericArrayLevel(tp: Type): Int

def underlyingOfValueClass(clazz: Symbol): Type

object verifiedJavaErasure extends JavaErasureMap

def verifyJavaErasure: Boolean

final def wait(): Unit

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

final def wait(arg0: Long): Unit

def →[B](y: B): (Erasure, B)

Deprecated Value Members

def x: Erasure

def x: Erasure

Inherited from AnyRef

Inherited from Any

Inherited by implicit conversion any2stringfmt from Erasure to StringFormat

Inherited by implicit conversion any2stringadd from Erasure to StringAdd

Inherited by implicit conversion any2ArrowAssoc from Erasure to ArrowAssoc[Erasure]

Inherited by implicit conversion any2Ensuring from Erasure to Ensuring[Erasure]