aboutsummaryrefslogtreecommitdiffstats
path: root/docs/teaching/exercises/support
diff options
context:
space:
mode:
authorjhugunin <jhugunin>2003-08-01 18:53:07 +0000
committerjhugunin <jhugunin>2003-08-01 18:53:07 +0000
commit57445dd3ec8a67d06f16fe02e7c0eaefb8ea4051 (patch)
tree4797aad7b10f19d1d71c71699d3e95de0a4d9262 /docs/teaching/exercises/support
parenta92e9c5c8c8646ec08759b7a940a6d32f2c541c6 (diff)
downloadaspectj-57445dd3ec8a67d06f16fe02e7c0eaefb8ea4051.tar.gz
aspectj-57445dd3ec8a67d06f16fe02e7c0eaefb8ea4051.zip
Addendum to the original contribution from PARC. Three presentations:
oneHour talk three hour tutorial six hour tutorial including exercises
Diffstat (limited to 'docs/teaching/exercises/support')
-rw-r--r--docs/teaching/exercises/support/Log.java45
1 files changed, 45 insertions, 0 deletions
diff --git a/docs/teaching/exercises/support/Log.java b/docs/teaching/exercises/support/Log.java
new file mode 100644
index 000000000..37d4d7ad2
--- /dev/null
+++ b/docs/teaching/exercises/support/Log.java
@@ -0,0 +1,45 @@
+/* *******************************************************************
+ * 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
+ * ******************************************************************/
+
+
+package support;
+
+public class Log {
+ static StringBuffer data = new StringBuffer();
+
+ 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()));
+ }
+ }
+
+ public static String getString() {
+ return data.toString();
+ }
+
+ public static void clear() {
+ data.setLength(0);
+ }
+}