1 package joeq.Runtime;
2
3 /*
4 * @author V.Benjamin Livshits <livshits@stanford.edu>
5 * @version $Id: SilentDebugImpl.java 2170 2005-02-17 22:17:09Z livshits $
6 */
7 public class SilentDebugImpl implements Debug.Delegate {
8 public void write(byte[] msg, int size) {
9 //for (int i=0; i<size; ++i)
10 //System.err.print((char) msg[i]);
11 }
12
13 public void write(String msg) {
14 //System.err.print(msg);
15 }
16
17 public void writeln(byte[] msg, int size) {
18 // write(msg, size);
19 // System.err.println();
20 }
21
22 public void writeln(String msg) {
23 // System.err.println(msg);
24 }
25
26 public void die(int code) {
27 new InternalError().printStackTrace();
28 System.exit(code);
29 }
30
31 }