diff options
author | Burak Emir <emir@epfl.ch> | 2007-07-03 18:08:40 +0000 |
---|---|---|
committer | Burak Emir <emir@epfl.ch> | 2007-07-03 18:08:40 +0000 |
commit | 9b5d61596c8fe2b438fe05da6b82a50168ca011c (patch) | |
tree | 26c4617294465aaec8ed0d132d0bbb7f7b0e5003 | |
parent | 842391cb5c1fd2331b97b15f464f73bafb34d8ec (diff) | |
download | scala-9b5d61596c8fe2b438fe05da6b82a50168ca011c.tar.gz scala-9b5d61596c8fe2b438fe05da6b82a50168ca011c.tar.bz2 scala-9b5d61596c8fe2b438fe05da6b82a50168ca011c.zip |
added scaladoc
-rw-r--r-- | src/compiler/scala/tools/nsc/io/AladdinReader.scala | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/src/compiler/scala/tools/nsc/io/AladdinReader.scala b/src/compiler/scala/tools/nsc/io/AladdinReader.scala index e8dd056312..e5f56525d6 100644 --- a/src/compiler/scala/tools/nsc/io/AladdinReader.scala +++ b/src/compiler/scala/tools/nsc/io/AladdinReader.scala @@ -4,6 +4,15 @@ import java.io.{File, FileInputStream, InputStream, IOException} import java.net.{ContentHandler, ContentHandlerFactory, URL, URLConnection} import java.nio.charset.CharsetDecoder +/** + * This class downloads the "code" field of a bug report of aladdin's bugtracking module + * and compiles it. + * + * For instance, you can call the compiler with an argument "bug1023.scala" + * This file must exists locally, and contain a bug identifier, like "#1023". + * The AladdinReader will establish an HTTP connection and download bug #1023 - the file + * contents will be replaced by what is found in the bugtracking database. + */ class AladdinReader(decoder: CharsetDecoder) extends SourceReader(decoder) { final val ALADDIN_URL = "http://scala-webapps.epfl.ch/bugtracking/bugs/json/" |