diff options
| author | michelou <michelou@epfl.ch> | 2006-10-18 10:53:56 +0000 |
|---|---|---|
| committer | michelou <michelou@epfl.ch> | 2006-10-18 10:53:56 +0000 |
| commit | 4af96ffd7a9543fe5d2df6500877f5d686f089a8 (patch) | |
| tree | 495863d3e9b501b0f713e3625ae162e0f98d5469 /src | |
| parent | 07033117c93e678272bae221d8b883c3eef81916 (diff) | |
| download | scala-4af96ffd7a9543fe5d2df6500877f5d686f089a8.tar.gz scala-4af96ffd7a9543fe5d2df6500877f5d686f089a8.tar.bz2 scala-4af96ffd7a9543fe5d2df6500877f5d686f089a8.zip | |
added more Java classes in doc/script.js
Diffstat (limited to 'src')
| -rw-r--r-- | src/compiler/scala/tools/nsc/doc/script.js | 34 |
1 files changed, 33 insertions, 1 deletions
diff --git a/src/compiler/scala/tools/nsc/doc/script.js b/src/compiler/scala/tools/nsc/doc/script.js index dccda75730..a63d6834f8 100644 --- a/src/compiler/scala/tools/nsc/doc/script.js +++ b/src/compiler/scala/tools/nsc/doc/script.js @@ -11,17 +11,49 @@ var table = new Array() function init() { // initialize hashtable + table['java_io_BufferedReader'] = true; + table['java_io_BufferedWriter'] = true; + table['java_io_DataInputStream'] = true; + table['java_io_DataOutputStream'] = true; + table['java_io_File'] = true; + table['java_io_FileDescriptor'] = true; + table['java_io_FileReader'] = true; + table['java_io_FileWriter'] = true; + table['java_io_InputStream'] = true; + table['java_io_OutputStream'] = true; + table['java_io_PrintStream'] = true; + table['java_io_PrintWriter'] = true; + table['java_io_Reader'] = true; + table['java_io_StringReader'] = true; + table['java_io_StringWriter'] = true; + table['java_io_Writer'] = true; + table['java_lang_Exception'] = true; table['java_lang_Long'] = true; table['java_lang_Object'] = true; table['java_lang_String'] = true; + table['java_math_BigDecimal'] = true; + table['java_math_BigInteger'] = true; + table['java_math_MathContext'] = true; + table['java_net_InetAddress'] = true; + table['java_net_ServerSocket'] = true; + table['java_net_Socket'] = true; + table['java_net_SocketPermission'] = true; table['java_net_URI'] = true; + table['java_net_URL'] = true; table['java_sql_Connection'] = true; + table['java_sql_ResultSet'] = true; table['java_sql_ResultSetMetaData'] = true; + table['java_util_LinkedHashMap'] = true; + table['java_util_LinkedHashSet'] = true; + table['java_util_Map'] = true; table['java_util_Properties'] = true; + table['java_util_Random'] = true; + table['java_util_Set'] = true; + table['java_util_WeakHashMap'] = true; table['scala_Unit'] = true; var elems = document.getElementsByTagName('a'); - for (i = 0; i < elems.length; i++) { + for (i = 0; i < elems.length; i++) { try { key = elems[i].getAttribute('class'); if (table[key] != null) { |