1/* 2 * Copyright (c) 1998, 2013, Oracle and/or its affiliates. All rights reserved. 3 * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER. 4 * 5 * This code is free software; you can redistribute it and/or modify it 6 * under the terms of the GNU General Public License version 2 only, as 7 * published by the Free Software Foundation. Oracle designates this 8 * particular file as subject to the "Classpath" exception as provided 9 * by Oracle in the LICENSE file that accompanied this code. 10 * 11 * This code is distributed in the hope that it will be useful, but WITHOUT 12 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or 13 * FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License 14 * version 2 for more details (a copy is included in the LICENSE file that 15 * accompanied this code). 16 * 17 * You should have received a copy of the GNU General Public License version 18 * 2 along with this work; if not, write to the Free Software Foundation, 19 * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA. 20 * 21 * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA 22 * or visit www.oracle.com if you need additional information or have any 23 * questions. 24 */ 25 26package build.tools.dtdbuilder; 27 28import javax.swing.text.html.parser.*; 29import java.io.IOException; 30import java.io.FileInputStream; 31import java.io.InputStream; 32import java.io.Reader; 33import java.io.InputStreamReader; 34import java.io.CharArrayReader; 35import java.io.FilterReader; 36import java.util.Stack; 37import java.net.URL; 38 39/** 40 * A stream for reading HTML files. This stream takes care 41 * of \r\n conversions and parameter entity expansion. 42 * 43 * @see DTD 44 * @see DTDParser 45 * @author Arthur van Hoff 46 * @author Steven B. Byrne 47 */ 48public final 49class DTDInputStream extends FilterReader implements DTDConstants { 50 public DTD dtd; 51 public Stack<Object> stack = new Stack<>(); 52 public char str[] = new char[64]; 53 public int replace = 0; 54 public int ln = 1; 55 public int ch; 56 57 /** 58 * Create the stream. 59 */ 60 public DTDInputStream(InputStream in, DTD dtd) throws IOException { 61 super(new InputStreamReader(in)); 62 this.dtd = dtd; 63 this.ch = in.read(); 64 } 65 66 /** 67 * Error 68 */ 69 public void error(String msg) { 70 System.out.println("line " + ln + ": dtd input error: " + msg); 71 } 72 73 /** 74 * Push a single character 75 */ 76 public void push(int ch) throws IOException { 77 char data[] = {(char)ch}; 78 push(new CharArrayReader(data)); 79 } 80 81 82 /** 83 * Push an array of bytes. 84 */ 85 public void push(char data[]) throws IOException { 86 if (data.length > 0) { 87 push(new CharArrayReader(data)); 88 } 89 } 90 91 /** 92 * Push an entire input stream 93 */ 94 void push(Reader in) throws IOException { 95 stack.push(new Integer(ln)); 96 stack.push(new Integer(ch)); 97 stack.push(this.in); 98 this.in = in; 99 ch = in.read(); 100 } 101 102 /** 103 * Read a character from the input. Automatically pop 104 * a stream of the stack if the EOF is reached. Also replaces 105 * parameter entities. 106 * [60] 350:22 107 */ 108 @SuppressWarnings("fallthrough") 109 public int read() throws IOException { 110 switch (ch) { 111 case '%': { 112 ch = in.read(); 113 if (replace > 0) { 114 return '%'; 115 } 116 117 int pos = 0; 118 while (((ch >= 'a') && (ch <= 'z')) || ((ch >= 'A') && (ch <= 'Z')) || 119 ((ch >= '0') && (ch <= '9')) || (ch == '.') || (ch == '-')) { 120 str[pos++] = (char)ch; 121 ch = in.read(); 122 } 123 if (pos == 0) { 124 return '%'; 125 } 126 127 String nm = new String(str, 0, pos); 128 Entity ent = dtd.getEntity(nm); 129 if (ent == null) { 130 error("undefined entity reference: " + nm); 131 return read(); 132 } 133 134 // Skip ; or RE 135 switch (ch) { 136 case '\r': 137 ln++; 138 /* fall through */ 139 case ';': 140 ch = in.read(); 141 break; 142 case '\n': 143 ln++; 144 if ((ch = in.read()) == '\r') { 145 ch = in.read(); 146 } 147 break; 148 } 149 150 // Push the entity. 151 try { 152 push(getEntityInputReader(ent)); 153 } catch (Exception e) { 154 error("entity data not found: " + ent + ", " + ent.getString()); 155 } 156 return read(); 157 } 158 159 case '\n': 160 ln++; 161 if ((ch = in.read()) == '\r') { 162 ch = in.read(); 163 } 164 return '\n'; 165 166 case '\r': 167 ln++; 168 ch = in.read(); 169 return '\n'; 170 171 case -1: 172 if (stack.size() > 0) { 173 in = (Reader)stack.pop(); 174 ch = ((Integer)stack.pop()).intValue(); 175 ln = ((Integer)stack.pop()).intValue(); 176 return read(); 177 } 178 return -1; 179 180 default: 181 int c = ch; 182 ch = in.read(); 183 return c; 184 } 185 } 186 187 /** 188 * Return the data as a stream. 189 */ 190 private Reader getEntityInputReader(Entity ent) throws IOException { 191 if ((ent.type & Entity.PUBLIC) != 0) { 192 // InputStream is = DTDBuilder.mapping.get(ent.getString()).openStream(); 193 // return new InputStreamReader(is); 194 String path = DTDBuilder.mapping.get(ent.getString()); 195 196 return new InputStreamReader(new FileInputStream(path)); 197 } 198 if ((ent.type & Entity.SYSTEM) != 0) { 199 //InputStream is = new URL(DTDBuilder.mapping.base, ent.getString()).openStream(); 200 String path = DTDBuilder.mapping.baseStr + ent.getString(); 201 return new InputStreamReader(new FileInputStream(path)); 202 } 203 return new CharArrayReader(ent.data); 204 } 205 206} 207