Scala Library Documentation
|
|
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 Documentation
|
|