diff options
| author | Lukas Rytz <lukas.rytz@epfl.ch> | 2008-05-29 18:48:53 +0000 |
|---|---|---|
| committer | Lukas Rytz <lukas.rytz@epfl.ch> | 2008-05-29 18:48:53 +0000 |
| commit | 97e20b1ff01bf106e08369071f9c48317443a6e4 (patch) | |
| tree | 7f98cb700fe4a1f8c0fef50da398394d76f6fc70 /docs | |
| parent | 8de595a5d4a6dd0238b2a2acf2f3bebef596c029 (diff) | |
| download | scala-97e20b1ff01bf106e08369071f9c48317443a6e4.tar.gz scala-97e20b1ff01bf106e08369071f9c48317443a6e4.tar.bz2 scala-97e20b1ff01bf106e08369071f9c48317443a6e4.zip | |
updated types docu graph
Diffstat (limited to 'docs')
| -rw-r--r-- | docs/development/scala.tools.nsc/nscTypes.dot | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/docs/development/scala.tools.nsc/nscTypes.dot b/docs/development/scala.tools.nsc/nscTypes.dot index 86adc12faa..b4c0cb5960 100644 --- a/docs/development/scala.tools.nsc/nscTypes.dot +++ b/docs/development/scala.tools.nsc/nscTypes.dot @@ -9,24 +9,34 @@ digraph SQLTypes { Type + SimpleTypeProxy [label = "{SimpleTypeProxy|(trait)}"] SimpleTypeProxy -> Type + RewrappingTypeProxy [label = "{RewrappingTypeProxy|(trait)}"] RewrappingTypeProxy -> SimpleTypeProxy SubType -> Type + NotNullType [label = "{NotNullType|underlying: Type}"] NotNullType -> SubType + NotNullType -> RewrappingTypeProxy SingletonType -> SubType + SingletonType -> SimpleTypeProxy + ErrorType [label = "{ErrorType|(object)}"] ErrorType -> Type + WildcardType [label = "{WildcardType|(object)}"] WildcardType -> Type + BoundedWildcardType [label = "{BoundedWildcardType|bounds: TypeBounds}"] BoundedWildcardType -> Type + NoType [label = "{NoType|(object)}"] NoType -> Type + NoPrefix [label = "{NoPrefix|(object)}"] NoPrefix -> Type DeBruijnIndex -> Type @@ -72,6 +82,9 @@ digraph SQLTypes { PolyType[label = "{PolyType|typeParams: List[Symbol]\nresultType: Type}"] PolyType -> Type + OverloadedType[label = "{OverloadedType|quantified: List[Symbol]\nunderlying: Type}"] + ExistentialType -> RewrappingTypeProxy + OverloadedType[label = "{OverloadedType|pre: Type\nalternatives: List[Symbol]}"] OverloadedType -> Type @@ -81,6 +94,9 @@ digraph SQLTypes { TypeVar[label = "{TypeVar|origin: Type\nconstr: TypeConstraint}"] TypeVar -> Type + AnnotatedType[label = "{AnnotatedType|attributes: List[AnnotationInfo]\nunderlying: Type\nselfsym: Symbol}"] + AnnotatedType -> RewrappingTypeProxy + LazyType -> Type } |