1 /* 2 * UpcaseStream.java 3 * 4 * Copyright (C) 2004-2005 Peter Graves 5 * $Id$ 6 * 7 * This program is free software; you can redistribute it and/or 8 * modify it under the terms of the GNU General Public License 9 * as published by the Free Software Foundation; either version 2 10 * of the License, or (at your option) any later version. 11 * 12 * This program is distributed in the hope that it will be useful, 13 * but WITHOUT ANY WARRANTY; without even the implied warranty of 14 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the 15 * GNU General Public License for more details. 16 * 17 * You should have received a copy of the GNU General Public License 18 * along with this program; if not, write to the Free Software 19 * Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA. 20 * 21 * As a special exception, the copyright holders of this library give you 22 * permission to link this library with independent modules to produce an 23 * executable, regardless of the license terms of these independent 24 * modules, and to copy and distribute the resulting executable under 25 * terms of your choice, provided that you also meet, for each linked 26 * independent module, the terms and conditions of the license of that 27 * module. An independent module is a module which is not derived from 28 * or based on this library. If you modify this library, you may extend 29 * this exception to your version of the library, but you are not 30 * obligated to do so. If you do not wish to do so, delete this 31 * exception statement from your version. 32 */ 33 34 package org.armedbear.lisp; 35 36 public final class UpcaseStream extends CaseFrobStream 37 { UpcaseStream(Stream target)38 public UpcaseStream(Stream target) 39 { 40 super(target); 41 } 42 43 @Override _writeChar(char c)44 public void _writeChar(char c) 45 { 46 target._writeChar(LispCharacter.toUpperCase(c)); 47 } 48 49 @Override _writeString(String s)50 public void _writeString(String s) 51 { 52 target._writeString(s.toUpperCase()); 53 } 54 55 @Override _writeLine(String s)56 public void _writeLine(String s) 57 { 58 target._writeLine(s.toUpperCase()); 59 } 60 } 61