diff options
author | Gilles Dubochet <gilles.dubochet@epfl.ch> | 2006-02-03 13:11:41 +0000 |
---|---|---|
committer | Gilles Dubochet <gilles.dubochet@epfl.ch> | 2006-02-03 13:11:41 +0000 |
commit | fa9b107e813d7769580827afd35e2a6e8a562ee8 (patch) | |
tree | 36b878d33785b6649ed074261520a1fb7c644e43 /docs/development/scala.tools.nsc/nscTypes.dot | |
parent | 1577ce588cdee475a730be3e315fbd25401e734d (diff) | |
download | scala-fa9b107e813d7769580827afd35e2a6e8a562ee8.tar.gz scala-fa9b107e813d7769580827afd35e2a6e8a562ee8.tar.bz2 scala-fa9b107e813d7769580827afd35e2a6e8a562ee8.zip |
Added somme additional documentation.
Diffstat (limited to 'docs/development/scala.tools.nsc/nscTypes.dot')
-rw-r--r-- | docs/development/scala.tools.nsc/nscTypes.dot | 73 |
1 files changed, 73 insertions, 0 deletions
diff --git a/docs/development/scala.tools.nsc/nscTypes.dot b/docs/development/scala.tools.nsc/nscTypes.dot new file mode 100644 index 0000000000..8e4e531aa6 --- /dev/null +++ b/docs/development/scala.tools.nsc/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 |