diff options
author | Martin Odersky <odersky@gmail.com> | 2008-03-10 12:49:39 +0000 |
---|---|---|
committer | Martin Odersky <odersky@gmail.com> | 2008-03-10 12:49:39 +0000 |
commit | 2c0a9d6348fc680c6ec6f79d5570dea950f6c9ba (patch) | |
tree | 6a8a64e63bdf8b11ef90c3dd4a7703aad9373354 | |
parent | 83d3f475da9ab4db3bb35613639e55008b39b495 (diff) | |
download | scala-2c0a9d6348fc680c6ec6f79d5570dea950f6c9ba.tar.gz scala-2c0a9d6348fc680c6ec6f79d5570dea950f6c9ba.tar.bz2 scala-2c0a9d6348fc680c6ec6f79d5570dea950f6c9ba.zip |
added doc comments
-rwxr-xr-x | src/library/scala/reflect/Manifest.scala | 31 |
1 files changed, 31 insertions, 0 deletions
diff --git a/src/library/scala/reflect/Manifest.scala b/src/library/scala/reflect/Manifest.scala index ee4d70ebda..5cf188b7dd 100755 --- a/src/library/scala/reflect/Manifest.scala +++ b/src/library/scala/reflect/Manifest.scala @@ -7,14 +7,45 @@ \* */ package scala.reflect + +/** A Manifest[T] is a descriptor for the type T. + * The object `Manifest' defines factory methods for manifests which still need to be implemented. + * Also still to be done are manifests for refinement types. + */ object Manifest { + + /** Manifest for the singleton type `value.type' + */ def singleType[T](value: Any): Manifest[T] = null + + /** Manifest for the class type `clazz', where `clazz' is + * a top-level or static class + */ def classType[T](clazz: Predef.Class[_]): Manifest[T] = null + + /** Manifest for the class type `clazz[args]', where `clazz' is + * a top-level or static class + */ def classType[T](clazz: Predef.Class[_], args: Manifest[_]*): Manifest[T] = null + + /** Manifest for the class type `prefix # clazz' + */ def classType[T](prefix: Manifest[_], clazz: Predef.Class[_]): Manifest[T] = null + + /** Manifest for the class type `prefix # clazz[args]' + */ def classType[T](prefix: Manifest[_], clazz: Predef.Class[_], args: Manifest[_]*): Manifest[T] = null + + /** Manifest for the abstract type `prefix # name' + */ def abstractType[T](prefix: Manifest[_], name: String): Manifest[T] = null + + /** Manifest for the abstract type `prefix # name[args]' + */ def abstractType[T](prefix: Manifest[_], name: String, args: Manifest[_]*): Manifest[T] = null + + /** Manifest for the intersection type `parents_0 with ... with parents_n' + */ def intersectionType[T](parents: Manifest[_]*): Manifest[T] = null } |