View Javadoc

1   // DebugImpl.java, created Sat Feb 22 13:35:27 2003 by joewhaley
2   // Copyright (C) 2001-3 mcmartin
3   // Licensed under the terms of the GNU LGPL; see COPYING for details.
4   package joeq.Runtime;
5   
6   import jwutil.util.Assert;
7   
8   /***
9    * @author  Michael Martin <mcmartin@stanford.edu>
10   * @version $Id: DebugImpl.java 2071 2004-12-10 10:53:31Z joewhaley $
11   */
12  public class DebugImpl implements Debug.Delegate, Assert.DebugDelegate {
13  
14      public void write(byte[] msg, int size) {
15          SystemInterface.debugwrite(msg, size);
16      }
17  
18      public void write(String msg) {
19          SystemInterface.debugwrite(msg);
20      }
21  
22      public void writeln(byte[] msg, int size) {
23          SystemInterface.debugwriteln(msg, size);
24      }
25  
26      public void writeln(String msg) {
27          SystemInterface.debugwriteln(msg);
28      }
29  
30      public void die(int code) {
31          if (code != 0)
32              joeq.Debugger.OnlineDebugger.debuggerEntryPoint();
33          SystemInterface.die(code);
34      }
35  
36  }