summaryrefslogtreecommitdiff
path: root/sources
diff options
context:
space:
mode:
authorpaltherr <paltherr@epfl.ch>2003-10-29 21:11:00 +0000
committerpaltherr <paltherr@epfl.ch>2003-10-29 21:11:00 +0000
commit0d71e3976b88075bee9a1ad62d416e9ebb6d0de5 (patch)
treec311a1ab464b0d1d54bd4694b1deececb0b1f11d /sources
parentd1f3dd8f8cf1d9d6446c22c62d44b5c8646987b3 (diff)
downloadscala-0d71e3976b88075bee9a1ad62d416e9ebb6d0de5.tar.gz
scala-0d71e3976b88075bee9a1ad62d416e9ebb6d0de5.tar.bz2
scala-0d71e3976b88075bee9a1ad62d416e9ebb6d0de5.zip
- Removed reference to Definitions.ROOT_TYPE
Diffstat (limited to 'sources')
-rw-r--r--sources/scala/tools/scaladoc/HTMLGenerator.java8
1 files changed, 5 insertions, 3 deletions
diff --git a/sources/scala/tools/scaladoc/HTMLGenerator.java b/sources/scala/tools/scaladoc/HTMLGenerator.java
index fc718f0e40..e97c6f3f1e 100644
--- a/sources/scala/tools/scaladoc/HTMLGenerator.java
+++ b/sources/scala/tools/scaladoc/HTMLGenerator.java
@@ -224,6 +224,7 @@ public class HTMLGenerator {
protected final Symbol helpPage = new NoSymbol();
private final Symbol JAVALANG; // !!! remove ?
+ private final Type ROOT_TYPE; // !!! remove ?
/**
* Creates a new instance.
@@ -238,6 +239,7 @@ public class HTMLGenerator {
this.anchors = Anchors.apply(tree);
this.JAVALANG = global.definitions.getClass(Names.java_lang);
+ this.ROOT_TYPE = global.definitions.ROOT.thisType();
assert global.args instanceof HTMLGeneratorCommand;
HTMLGeneratorCommand args = (HTMLGeneratorCommand) global.args;
this.representation = new HTMLRepresentation(
@@ -1045,7 +1047,7 @@ public class HTMLGenerator {
if (pre1 == null && args.length == 0 && isReferenced(sym))
return null;
else {
- pre1 = pre1 == null ? global.definitions.ROOT_TYPE : pre1;
+ pre1 = pre1 == null ? ROOT_TYPE : pre1;
return Type.typeRef(pre1, sym, args);
}
case SingleType(Type pre, Symbol sym):
@@ -1056,9 +1058,9 @@ public class HTMLGenerator {
return null;
}
else
- return Type.singleType(global.definitions.ROOT_TYPE, sym);
+ return Type.singleType(ROOT_TYPE, sym);
else
- return Type.singleType(global.definitions.ROOT_TYPE, sym);
+ return Type.singleType(ROOT_TYPE, sym);
}
else
return Type.singleType(pre1, sym);