diff options
author | jhugunin <jhugunin> | 2003-08-01 18:53:07 +0000 |
---|---|---|
committer | jhugunin <jhugunin> | 2003-08-01 18:53:07 +0000 |
commit | 57445dd3ec8a67d06f16fe02e7c0eaefb8ea4051 (patch) | |
tree | 4797aad7b10f19d1d71c71699d3e95de0a4d9262 /docs/teaching/exercises/support | |
parent | a92e9c5c8c8646ec08759b7a940a6d32f2c541c6 (diff) | |
download | aspectj-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.java | 45 |
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); + } +} |