From 7fa8d8b0988419cf9b6e3e24d2021c989bf1d45f Mon Sep 17 00:00:00 2001
From: Gilles Dubochet <gilles.dubochet@epfl.ch>
Date: Sun, 13 Nov 2005 14:10:24 +0000
Subject: A graph of NSC's datatype classes.

---
 doc/devel/nscTypes.dot | 73 ++++++++++++++++++++++++++++++++++++++++++++++++++
 1 file changed, 73 insertions(+)
 create mode 100644 doc/devel/nscTypes.dot

(limited to 'doc/devel/nscTypes.dot')

diff --git a/doc/devel/nscTypes.dot b/doc/devel/nscTypes.dot
new file mode 100644
index 0000000000..8e4e531aa6
--- /dev/null
+++ b/doc/devel/nscTypes.dot
@@ -0,0 +1,73 @@
+digraph SQLTypes {
+
+  size="4,4"
+  rankdir=BT
+  rank=max
+  ratio=compress
+  
+  node [shape = record]
+  
+  Type
+  
+  SubType -> Type
+  
+  SingletonType -> SubType
+  
+  ErrorType -> Type
+  
+  WildcardType -> Type
+  
+  NoType -> Type
+  
+  NoPrefix -> Type
+  
+  ThisType [label = "{ThisType|sym: Symbol}"]
+  ThisType -> SingletonType
+  
+  SingleType [label = "{SingleType|pre: Type\nsym: Symbol}"]
+  SingleType -> SingletonType
+  
+  SuperType [label = "{SuperType|thistpe: Type\nsupertp: Type}"]
+  SuperType -> SingletonType
+  
+  TypeBounds [label = "{TypeBounds|lo: Type\nhi: Type}"]
+  TypeBounds -> SubType
+  
+  CompoundType -> Type
+  
+  RefinedType[label = "{RefinedType|parents: List[Type]\ndecls: Scope}"]
+  RefinedType -> CompoundType
+  
+  ClassInfoType[label = "{ClassInfoType|parents: List[Type]\ndecls: Scope\nsymbol: Symbol}"]
+  ClassInfoType -> CompoundType
+  
+  PackageClassInfoType[label = "{PackageClassInfoType|decls: Scope\nclazz: Symbol}"]
+  PackageClassInfoType -> ClassInfoType
+  
+  ConstantType[label = "{ConstantType|value: Constant}"]
+  ConstantType -> SingletonType
+  
+  TypeRef[label = "{TypeRef|pre: Type\nsym: Symbol\nargs: List[Type]}"]
+  TypeRef -> Type
+  
+  MethodType[label = "{MethodType|paramTypes: List[Type]\nresultType: Type}"]
+  MethodType -> Type
+  
+  PolyType[label = "{PolyType|typeParams: List[Symbol]\nresultType: Type}"]
+  PolyType -> Type
+  
+  OverloadedType[label = "{OverloadedType|pre: Type\nalternatives: List[Symbol]}"]
+  OverloadedType -> Type
+  
+  AntiPolyType[label = "{AntiPolyType|pre: Type\ntargs: List[Type]}"]
+  AntiPolyType -> Type
+  
+  TypeVar[label = "{TypeVar|origin: Type\nconstr: TypeConstraint}"]
+  TypeVar -> Type
+  
+  LazyType -> Type
+  
+  LazyPolyType[label = "{LazyPolyType|typeParams: List[Symbol]\nrestp: Type}"]
+  LazyPolyType -> LazyType
+  
+}
\ No newline at end of file
-- 
cgit v1.2.3