01: /*
02: * This is free software, licensed under the Gnu Public License (GPL)
03: * get a copy from <http://www.gnu.org/licenses/gpl.html>
04: * $Id: OutputDevice.java,v 1.2 2005/03/24 13:57:46 hzeller Exp $
05: * author: Henner Zeller <H.Zeller@acm.org>
06: */
07: package henplus;
08:
09: /**
10: * The OutputDevice to write to.
11: */
12: public interface OutputDevice {
13: void flush();
14:
15: void write(byte[] buffer, int off, int len);
16:
17: void print(String s);
18:
19: void println(String s);
20:
21: void println();
22:
23: void attributeBold();
24:
25: void attributeReset();
26:
27: void attributeGrey();
28:
29: void close();
30:
31: boolean isTerminal();
32: }
|