Frames | No Frames |
1: /* TeeWriter.java 2: Copyright (C) 2006 Free Software Foundation, Inc. 3: 4: This file is a 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 of the License, or (at 9: your option) 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; if not, write to the Free Software 18: Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 19: 02110-1301 USA 20: 21: Linking this library statically or dynamically with other modules is 22: making a combined work based on this library. Thus, the terms and 23: conditions of the GNU General Public License cover the whole 24: combination. 25: 26: As a special exception, the copyright holders of this library give you 27: permission to link this library with independent modules to produce an 28: executable, regardless of the license terms of these independent 29: modules, and to copy and distribute the resulting executable under terms 30: of your choice, provided that you also meet, for each linked independent 31: module, the terms and conditions of the license of that module. An 32: independent module is a module which is not derived from or based on 33: this library. If you modify this library, you may extend this exception 34: to your version of the library, but you are not obligated to do so. If 35: you do not wish to do so, delete this exception statement from your 36: version. */ 37: 38: package gnu.classpath.debug; 39: 40: import java.io.*; 41: 42: /** 43: * A writer that copies all its output to an additional character sink. 44: * 45: * @author Chris Burdess 46: */ 47: public class TeeWriter 48: extends Writer 49: { 50: 51: private final Writer out; 52: private final Writer sink; 53: 54: /** 55: * Constructs a tee writer. 56: * @param out the underlying writer 57: * @param sink the output sink 58: */ 59: public TeeWriter(Writer out, Writer sink) 60: { 61: this.out = out; 62: this.sink = sink; 63: } 64: 65: public void write(int c) 66: throws IOException 67: { 68: out.write(c); 69: sink.write(c); 70: } 71: 72: public void write(char[] b, int off, int len) 73: throws IOException 74: { 75: out.write(b, off, len); 76: sink.write(b, off, len); 77: } 78: 79: public void flush() 80: throws IOException 81: { 82: out.flush(); 83: sink.flush(); 84: } 85: 86: public void close() 87: throws IOException 88: { 89: out.close(); 90: sink.close(); 91: } 92: 93: }