import org.ibex.js.*;
import java.io.*;
import java.util.*;
+import java.net.*;
/** easy to use logger */
public class Log {
public static boolean on = true;
+ public static boolean rpc = false;
public static boolean color = false;
public static boolean verbose = false;
public static boolean logDates = false;
public static Date lastDate = null;
+ public static PrintStream logstream = System.err;
+
+ public static void email(String address) { throw new Error("FIXME not supported"); }
+ public static void file(String filename) throws IOException {
+ // FIXME security
+ logstream = new PrintStream(new FileOutputStream(filename));
+ }
+ public static void tcp(String host, int port) throws IOException {
+ // FIXME security
+ logstream = new PrintStream(new Socket(InetAddress.getByName(host), port).getOutputStream());
+ }
+
/** true iff nothing has yet been logged */
public static boolean firstMessage = true;
private static final int ECHO = -1;
// the usual log4j levels, minus FAIL (we just throw an Error in that case)
- private static final int DEBUG = 0;
- private static final int INFO = 1;
- private static final int WARN = 2;
- private static final int ERROR = 3;
+ public static final int DEBUG = 0;
+ public static final int INFO = 1;
+ public static final int WARN = 2;
+ public static final int ERROR = 3;
+ public static final int SILENT = Integer.MAX_VALUE;
+ public static int level = INFO;
- private static final int BLACK = 30;
private static final int BLUE = 34;
private static final int GREEN = 32;
private static final int CYAN = 36;
private static String lastClassName = null;
private static synchronized void log(Object o, Object message, int level) {
+ if (level < Log.level) return;
if (firstMessage && !logDates) {
firstMessage = false;
- System.err.println(colorize(GREEN, false, "==========================================================================="));
- diag(Log.class, "Logging enabled at " + new java.util.Date());
+ logstream.println(colorize(GREEN, false, "==========================================================================="));
+
+ // FIXME later: causes problems with method pruning
+ //diag(Log.class, "Logging enabled at " + new java.util.Date());
+
if (color) diag(Log.class, "logging messages in " +
colorize(BLUE, true, "c") +
colorize(RED, true, "o") +
}
String classname;
- if (o instanceof Class) classname = ((Class)o).getName();
+ if (o instanceof Class) {
+ classname = ((Class)o).getName();
+ if (classname.indexOf('.') != -1) classname = classname.substring(classname.lastIndexOf('.') + 1);
+ }
else if (o instanceof String) classname = (String)o;
else classname = o.getClass().getName();
if (classname.equals(lastClassName)) classname = "";
else lastClassName = classname;
- if (classname.indexOf('.') != -1) classname = classname.substring(classname.lastIndexOf('.') + 1);
if (classname.length() > (logDates ? 14 : 20)) classname = classname.substring(0, (logDates ? 14 : 20));
while (classname.length() < (logDates ? 14 : 20)) classname = " " + classname;
classname = classname + (classname.trim().length() == 0 ? " " : ": ");
Date d = new Date();
if (lastDate == null || d.getYear() != lastDate.getYear() || d.getMonth() != lastDate.getMonth() || d.getDay() != lastDate.getDay()) {
String now = new java.text.SimpleDateFormat("EEE dd MMM yyyy").format(d);
- System.err.println();
- System.err.println(colorize(GRAY, false, "=== " + now + " =========================================================="));
+ logstream.println();
+ logstream.println(colorize(GRAY, false, "=== " + now + " =========================================================="));
}
java.text.DateFormat df = new java.text.SimpleDateFormat("[EEE HH:mm:ss] ");
classname = df.format(d) + classname;
while((s = br.readLine()) != null) m += s + "\n";
log(o, m.substring(0, m.length() - 1), level);
} catch (IOException e) {
- System.err.println(colorize(RED, true, "Logger: exception thrown by ByteArrayInputStream -- this should not happen"));
+ logstream.println(colorize(RED, true, "Logger: exception thrown by ByteArrayInputStream -- this should not happen"));
}
return;
}
}
while(str.indexOf('\n') != -1) {
- System.err.println(classname + colorize(levelcolor, bright, str.substring(0, str.indexOf('\n'))));
+ logstream.println(classname + colorize(levelcolor, bright, str.substring(0, str.indexOf('\n'))));
classname = logDates ? " " : " ";
classname = colorize(GRAY,false,classname);
str = str.substring(str.indexOf('\n') + 1);
}
- System.err.println(classname + colorize(levelcolor, bright, str));
+ logstream.println(classname + colorize(levelcolor, bright, str));
}
public static void recursiveLog(String indent, String name, Object o) throws JSExn {