2003/09/10 11:43:47
[org.ibex.core.git] / src / org / xwt / util / Log.java
1 // Copyright 2002 Adam Megacz, see the COPYING file for licensing [LGPL]
2 package org.xwt.util;
3 import org.xwt.js.*;
4 import java.io.*;
5 import java.util.*;
6
7 /** easy to use logger */
8 public class Log {
9
10     public static boolean on = true;
11     public static boolean verbose = false;
12     public static boolean logDates = false;
13     public static Date lastDate = null;
14
15     /** true iff nothing has yet been logged */
16     public static boolean firstMessage = true;
17
18     /** log a message with the current JavaScript sourceName/line */
19     public static void logJS(Object o, Object message) { logJS(message); }
20     public static void logJS(Object message) {
21         JS.Thread current = org.xwt.js.JS.Thread.fromJavaThread(Thread.currentThread());
22         if (current == null) {
23             log("<none>", message);
24         } else {
25             log(current.getSourceName() + ":" + current.getLine(), message);
26         }
27     }
28
29     /** message can be a String or a Throwable */
30     public static synchronized void log(Object o, Object message) {
31         if (firstMessage && !logDates) {
32             firstMessage = false;
33             System.err.println("===========================================================================");
34             log(Log.class, "Logging enabled at " + new java.util.Date());
35         }
36
37         String classname;
38         if (o instanceof Class) classname = ((Class)o).getName();
39         else if (o instanceof String) classname = (String)o;
40         else classname = o.getClass().getName();
41         
42         if (classname.indexOf('.') != -1) classname = classname.substring(classname.lastIndexOf('.') + 1);
43         if (classname.length() > (logDates ? 14 : 20)) classname = classname.substring(0, (logDates ? 14 : 20));
44         while (classname.length() < (logDates ? 14 : 20)) classname = " " + classname;
45         classname = classname + ": ";
46
47         if (logDates) {
48             Date d = new Date();
49             if (lastDate == null || d.getYear() != lastDate.getYear() || d.getMonth() != lastDate.getMonth() || d.getDay() != lastDate.getDay()) {
50                 String now = new java.text.SimpleDateFormat("EEE dd MMM yyyy").format(d);
51                 System.err.println();
52                 System.err.println("=== " + now + " ==========================================================");
53             }
54             java.text.DateFormat df = new java.text.SimpleDateFormat("[EEE HH:mm:ss] ");
55             classname = df.format(d) + classname;
56             lastDate = d;
57         }
58
59         if (!(message instanceof Throwable)) System.err.println(classname + message);
60         else {
61             ByteArrayOutputStream baos = new ByteArrayOutputStream();
62             ((Throwable)message).printStackTrace(new PrintStream(baos));
63             byte[] b = baos.toByteArray();
64             BufferedReader br = new BufferedReader(new InputStreamReader(new ByteArrayInputStream(b)));
65             String s = null;
66             try {
67                 while((s = br.readLine()) != null) {
68                     System.err.print(classname);
69                     for(int i=0; i<s.length(); i++)
70                         System.err.print(s.charAt(i) == '\t' ? "    " : ("" + s.charAt(i)));
71                     System.err.println();
72                 }
73             } catch (Exception e) { }
74
75         }
76     }
77
78 }