blob: c0b86162f6779723b9ec0ecdec3061cfd3e45cac (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
|
/* __ *\
** ________ ___ / / ___ Scala API **
** / __/ __// _ | / / / _ | (c) 2002-2005, LAMP/EPFL **
** __\ \/ /__/ __ |/ /__/ __ | **
** /____/\___/_/ |_/____/_/ | | **
** |/ **
\* */
// $Id$
package scala.reflect;
abstract class Type;
case object NoPrefix extends Type;
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);
|
