diff options
author | michelou <michelou@epfl.ch> | 2005-11-29 12:03:39 +0000 |
---|---|---|
committer | michelou <michelou@epfl.ch> | 2005-11-29 12:03:39 +0000 |
commit | 9bcec1fcbd498aa28a9db73fb95e5a0bad95d60f (patch) | |
tree | a20d164e391231c8c851af6d500bcce9a658ceac | |
parent | fdeedc59a910093a447bd49c4dc445be6167f899 (diff) | |
download | scala-9bcec1fcbd498aa28a9db73fb95e5a0bad95d60f.tar.gz scala-9bcec1fcbd498aa28a9db73fb95e5a0bad95d60f.tar.bz2 scala-9bcec1fcbd498aa28a9db73fb95e5a0bad95d60f.zip |
- updated file header
-rwxr-xr-x | sources/scala/reflect/Code.scala | 6 | ||||
-rw-r--r-- | sources/scala/reflect/Print.scala | 8 | ||||
-rwxr-xr-x | sources/scala/reflect/Type.scala | 14 |
3 files changed, 21 insertions, 7 deletions
diff --git a/sources/scala/reflect/Code.scala b/sources/scala/reflect/Code.scala index ad92e4f581..b354bd753f 100755 --- a/sources/scala/reflect/Code.scala +++ b/sources/scala/reflect/Code.scala @@ -1,11 +1,13 @@ /* __ *\ ** ________ ___ / / ___ Scala API ** -** / __/ __// _ | / / / _ | (c) 2002-2004, LAMP/EPFL ** +** / __/ __// _ | / / / _ | (c) 2002-2005, LAMP/EPFL ** ** __\ \/ /__/ __ |/ /__/ __ | ** ** /____/\___/_/ |_/____/_/ | | ** ** |/ ** -** $Id$ \* */ + +// $Id$ + package scala.reflect; abstract class Code; diff --git a/sources/scala/reflect/Print.scala b/sources/scala/reflect/Print.scala index ea22f6e825..489cb90fec 100644 --- a/sources/scala/reflect/Print.scala +++ b/sources/scala/reflect/Print.scala @@ -1,11 +1,13 @@ /* __ *\ ** ________ ___ / / ___ Scala API ** -** / __/ __// _ | / / / _ | (c) 2002-2004, LAMP/EPFL ** +** / __/ __// _ | / / / _ | (c) 2002-2005, LAMP/EPFL ** ** __\ \/ /__/ __ |/ /__/ __ | ** ** /____/\___/_/ |_/____/_/ | | ** ** |/ ** -** $Id$ \* */ + +// $Id$ + package scala.reflect; object Print extends Function1[Any, String] { @@ -108,4 +110,4 @@ object Print extends Function1[Any, String] { case _ => "UnknownType" } -}
\ No newline at end of file +} diff --git a/sources/scala/reflect/Type.scala b/sources/scala/reflect/Type.scala index 204133958f..c0b86162f6 100755 --- a/sources/scala/reflect/Type.scala +++ b/sources/scala/reflect/Type.scala @@ -1,11 +1,13 @@ /* __ *\ ** ________ ___ / / ___ Scala API ** -** / __/ __// _ | / / / _ | (c) 2002-2004, LAMP/EPFL ** +** / __/ __// _ | / / / _ | (c) 2002-2005, LAMP/EPFL ** ** __\ \/ /__/ __ |/ /__/ __ | ** ** /____/\___/_/ |_/____/_/ | | ** ** |/ ** -** $Id$ \* */ + +// $Id$ + package scala.reflect; abstract class Type; @@ -15,20 +17,28 @@ case object NoType extends Type; /** fullname */ case class NamedType(fullname: String) extends Type; + /** pre # sym */ case class PrefixedType(pre: Type, sym: Symbol) extends Type; + /** pre.type # sym == pre.sym */ case class SingleType(pre: Type, sym: Symbol) extends Type; + /** clazz.this */ case class ThisType(clazz: Symbol) extends Type; + /** clazz.super[superClazz] */ /** tpe[args1, ..., argsn] */ case class AppliedType(tpe: Type, args: List[Type]) extends Type; + /** [a <: lo >: hi] */ case class TypeBounds(lo: Type, hi: Type) extends Type; + /** (formals1 ... formalsn) restpe */ case class MethodType(formals: List[Type], restpe: Type) extends Type; + /** */ case class PolyType(typeParams: List[Symbol], typeBounds: List[Pair[Type, Type]], resultType: Type) extends Type; + /** */ class ImplicitMethodType(formals: List[Type], restpe: Type) extends MethodType(formals, restpe); |