From 97e20b1ff01bf106e08369071f9c48317443a6e4 Mon Sep 17 00:00:00 2001
From: Lukas Rytz <lukas.rytz@epfl.ch>
Date: Thu, 29 May 2008 18:48:53 +0000
Subject: updated types docu graph

---
 docs/development/scala.tools.nsc/nscTypes.dot | 16 ++++++++++++++++
 1 file changed, 16 insertions(+)

(limited to 'docs')

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
 
 }
-- 
cgit v1.2.3