diff options
author | Lukas Rytz <lukas.rytz@epfl.ch> | 2008-05-29 07:12:15 +0000 |
---|---|---|
committer | Lukas Rytz <lukas.rytz@epfl.ch> | 2008-05-29 07:12:15 +0000 |
commit | 859d2bbba89d435529f8d0213e3a9fa5d7adc493 (patch) | |
tree | dfa190a0b1404ad2488dde02b75229e0200d1295 /docs/development | |
parent | 3fefc43327960dfc7cdc451724ae935f356e630a (diff) | |
download | scala-859d2bbba89d435529f8d0213e3a9fa5d7adc493.tar.gz scala-859d2bbba89d435529f8d0213e3a9fa5d7adc493.tar.bz2 scala-859d2bbba89d435529f8d0213e3a9fa5d7adc493.zip |
added / updated some documentation
Diffstat (limited to 'docs/development')
-rw-r--r-- | docs/development/scala.tools.nsc/nscTypes.dot | 73 |
1 files changed, 43 insertions, 30 deletions
diff --git a/docs/development/scala.tools.nsc/nscTypes.dot b/docs/development/scala.tools.nsc/nscTypes.dot index 8e4e531aa6..86adc12faa 100644 --- a/docs/development/scala.tools.nsc/nscTypes.dot +++ b/docs/development/scala.tools.nsc/nscTypes.dot @@ -4,70 +4,83 @@ digraph SQLTypes { rankdir=BT rank=max ratio=compress - + node [shape = record] - + Type - + + SimpleTypeProxy -> Type + + RewrappingTypeProxy -> SimpleTypeProxy + SubType -> Type - + + NotNullType -> SubType + SingletonType -> SubType - + ErrorType -> Type - + WildcardType -> Type - + + BoundedWildcardType -> Type + NoType -> Type - + NoPrefix -> Type - + + DeBruijnIndex -> 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[label = "{PackageClassInfoType|decls: Scope\nclazz: Symbol\nloader: LazyType}"] 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 - + + ImplicitMethodType[label = "{MethodType|pts: List[Type]\nrt: Type}"] + ImplicitMethodType -> MethodType + + JavaMethodType[label = "{MethodType|pts: List[Type]\nrt: Type}"] + JavaMethodType -> MethodType + 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 + +} |