moved to List

diff --git a/docs/teaching/exercises/support/Log.java b/docs/teaching/exercises/support/Log.java
index 37d4d7ad2d4ca1bdf9340503cb780883595e1e7c..8e258d7539ae997f1931fc3b8624c8d6b90afa7a 100644 (file)
--- a/docs/teaching/exercises/support/Log.java
+++ b/docs/teaching/exercises/support/Log.java
@@ -1,45 +1,47 @@
 /* *******************************************************************
  * Copyright (c) 2002 Palo Alto Research Center, Incorporated (PARC).
- * All rights reserved. 
- * This program and the accompanying materials are made available 
- * under the terms of the Common Public License v1.0 
- * which accompanies this distribution and is available at 
- * http://www.eclipse.org/legal/cpl-v10.html 
- *  
- * Contributors: 
- *     PARC     initial implementation 
+ * All rights reserved.
+ * This program and the accompanying materials are made available
+ * under the terms of the Common Public License v1.0
+ * which accompanies this distribution and is available at
+ * http://www.eclipse.org/legal/cpl-v10.html
+ *
+ * Contributors:
+ *     PARC     initial implementation
  * ******************************************************************/
 
 
 package support;
 
+import java.util.List;
+import java.util.ArrayList;
+
 public class Log {
-    static StringBuffer data = new StringBuffer();
+    static List data = new ArrayList();
 
     public static void traceObject(Object o) {
         throw new UnsupportedOperationException();
     }
 
     public static void log(String s) {
-        data.append(s);
-        data.append(';');
-    }
-
-    public static void logClassName(Class _class) {
-        String name = _class.getName();
-        int dot = name.lastIndexOf('.');
-        if (dot == -1) {
-            log(name);
-        } else {
-            log(name.substring(dot+1, name.length()));
-        }
+        data.add(s);
     }
 
-    public static String getString() {
-        return data.toString();
+//     public static void logClassName(Class _class) {
+//         String name = _class.getName();
+//         int dot = name.lastIndexOf('.');
+//         if (dot == -1) {
+//             log(name);
+//         } else {
+//             log(name.substring(dot+1, name.length()));
+//         }
+//     }
+
+    public static List getData() {
+        return data;
     }
 
     public static void clear() {
-        data.setLength(0);
+        data.clear();
     }
 }