1 /* gnu.classpath.tools.gjdoc.Debug
2 Copyright (C) 2001 Free Software Foundation, Inc.
4 This file is part of GNU Classpath.
6 GNU Classpath is free software; you can redistribute it and/or modify
7 it under the terms of the GNU General Public License as published by
8 the Free Software Foundation; either version 2, or (at your option)
11 GNU Classpath is distributed in the hope that it will be useful, but
12 WITHOUT ANY WARRANTY; without even the implied warranty of
13 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
14 General Public License for more details.
16 You should have received a copy of the GNU General Public License
17 along with GNU Classpath; see the file COPYING. If not, write to the
18 Free Software Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA
21 package gnu
.classpath
.tools
.gjdoc
;
23 public final class Debug
{
25 //private static int logLevel = 7;
26 private static int logLevel
= 0;
29 String llProp
= System
.getProperty("gnu.classpath.tools.gjdoc.LogLevel");
30 if (null!=llProp
) logLevel
= Integer
.parseInt(llProp
);
33 public static final void log(String msg
) {
34 System
.err
.println(msg
);
37 public static final void log(int level
, String msg
) {
38 if (level
<=logLevel
) {
39 System
.err
.println(msg
);
43 public static final void dumpArray(int level
, Object
[] array
) {
44 if (level
<=logLevel
) {
45 for (int i
=0; i
<array
.length
; ++i
) {
46 System
.err
.println(" #"+i
+": "+array
[i
]);