1 files changed, 0 insertions, 155 deletions
diff --git a/sources/scala/runtime/types/Statistics.java b/sources/scala/runtime/types/Statistics.java
deleted file mode 100644
index db3317370b..0000000000
--- a/sources/scala/runtime/types/Statistics.java
+++ /dev/null
@@ -1,155 +0,0 @@
-/*                     __                                               *\
-**     ________ ___   / /  ___     Scala API                            **
-**    / __/ __// _ | / /  / _ |    (c) 2003, LAMP/EPFL                  **
-**  __\ \/ /__/ __ |/ /__/ __ |                                         **
-** /____/\___/_/ |_/____/_/ | |                                         **
-**                          |/                                          **
-\*                                                                      */
-
-// $Id$
-
-package scala.runtime.types;
-
-import java.io.PrintStream;
-import java.io.FileOutputStream;
-import java.util.Map;
-import java.util.HashMap;
-import java.util.HashSet;
-import java.util.Iterator;
-import java.util.ArrayList;
-
-import scala.Type;
-
-/**
- * Collect various statistics about run time types, and output them to
- * a file as s-expressions.
- *
- * Notice that all methods return true, in order to be usable as
- * assertions and disabled easily.
- *
- * @author Michel Schinz
- * @version 1.0
- */
-
-public class Statistics {
-    private static long instantiationsCount = 0;
-    private static long uniqueInstantiationsCount = 0;
-
-    private static long instanceOfCount = 0;
-    private static long weakInstanceOfCount = 0;
-    private static long typeCastCount = 0;
-
-    private static long ancestorSearchIterations = 0;
-    private static long ancestorSearches = 0;
-
-    private static HashMap instances = new HashMap();
-
-    static {
-        assert addWriteFileHook();
-    }
-
-    public static boolean addWriteFileHook() {
-        Thread writeFileHook = new Thread() {
-                public void run() {
-                    try {
-                        writeToFile();
-                    } catch (Throwable t) {
-                        throw new Error(t);
-                    }
-                }
-            };
-
-        Runtime.getRuntime().addShutdownHook(writeFileHook);
-        return true;
-    }
-
-    public static synchronized boolean incInstantiations(boolean unique) {
-        ++instantiationsCount;
-        if (unique) ++uniqueInstantiationsCount;
-        return true;
-    }
-
-    public static synchronized boolean incInstanceOf() {
-        ++instanceOfCount;
-        return true;
-    }
-
-    public static synchronized boolean incWeakInstanceOf() {
-        ++weakInstanceOfCount;
-        return true;
-    }
-
-    public static synchronized boolean decInstanceOf() {
-        --instanceOfCount;
-        return true;
-    }
-
-    public static synchronized boolean incTypeCast() {
-        ++typeCastCount;
-        return true;
-    }
-
-    public static synchronized boolean incInstances(String className,
-                                                    Type tp) {
-        ArrayList currInst = (ArrayList)instances.get(className);
-        if (currInst == null) {
-            currInst = new ArrayList();
-            instances.put(className, currInst);
-        }
-        currInst.add(tp);
-        return true;
-    }
-
-    public static synchronized boolean addAncestorSearchIterations(int n) {
-        ancestorSearchIterations += n;
-        ancestorSearches++;
-        return true;
-    }
-
-    /**
-     * Output statistics to a file, as an a-list associating numbers
-     * to tags.
-     */
-    public static boolean writeToFile() throws java.io.FileNotFoundException {
-        String fileName = System.getProperty("scala.runtime.types.statfile");
-        assert fileName != null
-            : "property scala.runtime.types.statfile not set";
-
-        System.out.println("Writing RTT statistics to file " + fileName);
-
-        PrintStream stream = new PrintStream(new FileOutputStream(fileName));
-        stream.println("(");
-        stream.println("(instantiations . "
-                       + instantiationsCount + ")");
-        stream.println("(unique-instantiations . "
-                       + uniqueInstantiationsCount + ")");
-        stream.println("(instance-of . "
-                       + instanceOfCount + ")");
-        stream.println("(weak-instance-of . "
-                       + weakInstanceOfCount + ")");
-        stream.println("(type-cast . "
-                       + typeCastCount + ")");
-        if (ancestorSearches > 0) {
-            stream.println("(ancestor-searches . "
-                           + ancestorSearches + ")");
-            stream.println("(ancestor-search-iterations . "
-                           + ancestorSearchIterations + ")");
-        }
-        stream.println("(instances . (");
-        Iterator instIt = instances.entrySet().iterator();
-        while (instIt.hasNext()) {
-            Map.Entry entry = (Map.Entry)instIt.next();
-            String name = (String)entry.getKey();
-            ArrayList instances = (ArrayList)entry.getValue();
-            HashSet uniqueInstances = new HashSet(instances);
-            stream.println("(\"" + name + "\" . "
-                           + instances.size() + ")");
-            stream.println("(\"Unique" + name + "\" . "
-                           + uniqueInstances.size() + ")");
-        }
-        stream.print("))");
-        stream.println(")");
-        stream.close();
-        return true;
-    }
-}