diff options
author | michelou <michelou@epfl.ch> | 2007-06-08 13:00:32 +0000 |
---|---|---|
committer | michelou <michelou@epfl.ch> | 2007-06-08 13:00:32 +0000 |
commit | d7b39e3597b745aa85db5abe67702f9ddc7b7ccf (patch) | |
tree | 0f4d5fdeaf675ad3ceaa4b26f7befb577b47b8b8 | |
parent | e182625e5108e7f78751200317c82702d95cfbd9 (diff) | |
download | scala-d7b39e3597b745aa85db5abe67702f9ddc7b7ccf.tar.gz scala-d7b39e3597b745aa85db5abe67702f9ddc7b7ccf.tar.bz2 scala-d7b39e3597b745aa85db5abe67702f9ddc7b7ccf.zip |
updated source links for actors library
-rw-r--r-- | src/compiler/scala/tools/nsc/doc/script.js | 19 |
1 files changed, 11 insertions, 8 deletions
diff --git a/src/compiler/scala/tools/nsc/doc/script.js b/src/compiler/scala/tools/nsc/doc/script.js index e7ff881677..90275c4e29 100644 --- a/src/compiler/scala/tools/nsc/doc/script.js +++ b/src/compiler/scala/tools/nsc/doc/script.js @@ -499,21 +499,24 @@ function init() { src['scala/actors/ActorProxy'] = actors_src_root; src['scala/actors/Channel'] = actors_src_root; src['scala/actors/Debug'] = actors_src_root; - src['scala/actors/FJTask'] = actors_src_root; - src['scala/actors/FJTaskRunner'] = actors_src_root; - src['scala/actors/FJTaskRunnerGroup'] = actors_src_root; + src['scala/actors/Exit'] = actors_src_root; + src['scala/actors/ExitActorException'] = actors_src_root; src['scala/actors/FJTaskScheduler2'] = actors_src_root; src['scala/actors/Future'] = actors_src_root; + src['scala/actors/Futures'] = actors_src_root; // object + src['scala/actors/IScheduler'] = actors_src_root; src['scala/actors/InputChannel'] = actors_src_root; - src['scala/actors/LinkedNode'] = actors_src_root; - src['scala/actors/LinkedQueue'] = actors_src_root; src['scala/actors/MessageQueue'] = actors_src_root; + src['scala/actors/MessageQueueElement'] = actors_src_root; src['scala/actors/OutputChannel'] = actors_src_root; src['scala/actors/Reaction'] = actors_src_root; - src['scala/actors/Scheduler'] = actors_src_root; - src['scala/actors/ThreadPoolScheduler'] = actors_src_root; + src['scala/actors/Scheduler'] = actors_src_root; // object + src['scala/actors/SingleThreadedScheduler'] = actors_src_root; + src['scala/actors/SuspendActorException'] = actors_src_root; + src['scala/actors/TIMEOUT'] = actors_src_root; // object src['scala/actors/TickedScheduler'] = actors_src_root; - src['scala/actors/TimerThread'] = actors_src_root; + src['scala/actors/TimerThread'] = actors_src_root; // object + src['scala/actors/WorkerThread'] = actors_src_root; src['scala/actors/remote/FreshNameCreator'] = actors_src_root; src['scala/actors/remote/JavaSerizalizer'] = actors_src_root; src['scala/actors/remote/NetKernel'] = actors_src_root; |