libjava/classpath/tools/gnu/classpath/tools/gjdoc/Debug.java

   1 /* gnu.classpath.tools.gjdoc.Debug
   2    Copyright (C) 2001 Free Software Foundation, Inc.
   3
   4 This file is part of GNU Classpath.
   5
   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)
   9 any later version.
  10
  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.
  15
  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
  19 02111-1307 USA. */
  20
  21 package gnu.classpath.tools.gjdoc;
  22
  23 public final class Debug {
  24
  25    //private static int logLevel = 7;
  26    private static int logLevel = 0;
  27
  28    static {
  29       String llProp = System.getProperty("gnu.classpath.tools.gjdoc.LogLevel");
  30       if (null!=llProp) logLevel = Integer.parseInt(llProp);
  31    }
  32
  33    public static final void log(String msg) {
  34       System.err.println(msg);
  35    }
  36
  37    public static final void log(int level, String msg) {
  38       if (level<=logLevel) {
  39          System.err.println(msg);
  40       }
  41    }
  42
  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]);
  47          }
  48       }
  49    }
  50 }