*** empty log message ***

1 files changed, 115 insertions, 0 deletions

diff --git a/sources/scala/runtime/types/Statistics.java b/sources/scala/runtime/types/Statistics.java
new file mode 100644
index 0000000000..eced2f3b69
--- /dev/null
+++ b/sources/scala/runtime/types/Statistics.java
@@ -0,0 +1,115 @@
+/*                     __                                               *\
+**     ________ ___   / /  ___     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.Iterator;
+
+/**
+ * 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 typeCastCount = 0;
+
+    private static long displaySearchIterations = 0;
+    private static long displaySearches = 0;
+
+    private static HashMap instances = new HashMap();
+
+    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 decInstanceOf() {
+        --instanceOfCount;
+        return true;
+    }
+
+    public static synchronized boolean incTypeCast() {
+        ++typeCastCount;
+        return true;
+    }
+
+    public static synchronized boolean incInstances(String className) {
+        Integer currCount = (Integer)instances.get(className);
+        if (currCount == null)
+            instances.put(className, new Integer(1));
+        else
+            instances.put(className, new Integer(currCount.intValue() + 1));
+        return true;
+    }
+
+    public static synchronized boolean addDisplaySearchIterations(int n) {
+        displaySearchIterations += n;
+        displaySearches++;
+        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");
+        if (fileName != null) {
+            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("(type-cast . "
+                           + typeCastCount + ")");
+            if (displaySearches > 0) {
+                stream.println("(display-searches . "
+                               + displaySearches + ")");
+                stream.println("(display-search-iterations . "
+                               + displaySearchIterations + ")");
+            }
+            stream.println("(instances . (");
+            Iterator instIt = instances.entrySet().iterator();
+            while (instIt.hasNext()) {
+                Map.Entry entry = (Map.Entry)instIt.next();
+                stream.println("(\"" + entry.getKey() + "\" . "
+                               + entry.getValue() + ")");
+            }
+            stream.print("))");
+            stream.println(")");
+            stream.close();
+        }
+        return true;
+    }
+}