blob: fb1acbc650c42ad05aca79c6c73f4c8fb623b6c7 (
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
45
46
47
48
|
/* __ *\
** ________ ___ / / ___ Scala API **
** / __/ __// _ | / / / _ | (c) 2002-2006, LAMP/EPFL **
** __\ \/ /__/ __ |/ /__/ __ | **
** /____/\___/_/ |_/____/_/ | | **
** |/ **
\* */
// $Id$
package scala.reflect
import Predef.Pair
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] */
/** <code>tpe[args1, ..., argsn]</code> */
case class AppliedType(tpe: Type, args: List[Type]) extends Type
/** [a <: lo >: hi] */
case class TypeBounds(lo: Type, hi: Type) extends Type
/** <code>(formals1 ... formalsn) restpe</code> */
case class MethodType(formals: List[Type], restpe: Type) extends Type
/** */
case class PolyType(typeParams: List[Symbol], typeBounds: List[{Type, Type}], resultType: Type) extends Type
/** */
class ImplicitMethodType(formals: List[Type], restpe: Type)
extends MethodType(formals, restpe)
|
