|
Scala Library for JVM 1.4
|
|
scala/reflect/Manifest.scala]
trait
Manifest[T]
extends AnyRef
A Manifest[T] is an opaque descriptor for type T.
Currently, its only use is to give access to the erasure of the type as a
Class instance.
BE AWARE: The different type-relation operators are all forwarded to the erased type as an approximation of the final semantics where these operators should be on the unerased type.
| Method Summary | |
def
|
<:<
(that : Manifest[Any]) : Boolean
Tests whether the type represented by this manifest is a subtype of
the type represented by `that' manifest. BE AWARE: the current
implementation is an approximation, as the test is done on the
erasure of the type.
|
def
|
>:>
(that : Manifest[Any]) : Boolean
Tests whether the type represented by this manifest is a supertype
of the type represented by `that' manifest. BE AWARE: the current
implementation is an approximation, as the test is done on the
erasure of the type.
|
override def
|
equals
(that : Any) : Boolean
Tests whether the type represented by this manifest is equal to the
type represented by `that' manifest. BE AWARE: the current
implementation is an approximation, as the test is done on the
erasure of the type.
|
abstract def
|
erasure
: java.lang.Class[Any]
A class representing the type U to which T would be erased. Note
that there is no subtyping relationship between T and U.
|
| Methods inherited from AnyRef | |
| getClass, hashCode, clone, toString, notify, notifyAll, wait, wait, wait, finalize, ==, !=, eq, ne, synchronized |
| Methods inherited from Any | |
| ==, !=, isInstanceOf, asInstanceOf |
| Method Details |
abstract
def
erasure : java.lang.Class[Any]
|
Scala Library for JVM 1.4
|
|