View Javadoc

1   // DebugInterface.java, created Sat Dec 14  2:54:05 2002 by mcmartin
2   // Copyright (C) 2001-3 John Whaley <jwhaley@alum.mit.edu>
3   // Licensed under the terms of the GNU LGPL; see COPYING for details.
4   package joeq.Runtime;
5   
6   /***
7    * @author  John Whaley <jwhaley@alum.mit.edu>
8    * @version $Id: DebugInterface.java 1457 2004-03-09 22:38:33Z jwhaley $
9    */
10  public abstract class DebugInterface {
11  
12      public static void debugwrite(String msg) {
13          System.err.println(msg);
14          return;
15      }
16      
17      public static void debugwriteln(String msg) {
18          System.err.println(msg);
19          return;
20      }
21      
22      public static void die(int code) {
23          new InternalError().printStackTrace();
24          System.exit(code);
25      }
26  }