| /* |
| * Copyright (c) 1998, Oracle and/or its affiliates. All rights reserved. |
| * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER. |
| * |
| * This code is free software; you can redistribute it and/or modify it |
| * under the terms of the GNU General Public License version 2 only, as |
| * published by the Free Software Foundation. Oracle designates this |
| * particular file as subject to the "Classpath" exception as provided |
| * by Oracle in the LICENSE file that accompanied this code. |
| * |
| * This code is distributed in the hope that it will be useful, but WITHOUT |
| * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or |
| * FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License |
| * version 2 for more details (a copy is included in the LICENSE file that |
| * accompanied this code). |
| * |
| * You should have received a copy of the GNU General Public License version |
| * 2 along with this work; if not, write to the Free Software Foundation, |
| * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA. |
| * |
| * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA |
| * or visit www.oracle.com if you need additional information or have any |
| * questions. |
| */ |
| |
| package build.tools.dtdbuilder; |
| |
| import javax.swing.text.html.parser.*; |
| import java.io.File; |
| import java.io.IOException; |
| import java.io.FileInputStream; |
| import java.io.InputStream; |
| import java.io.InputStreamReader; |
| import java.io.BufferedReader; |
| import java.util.Hashtable; |
| |
| /** |
| * A class for mapping public identifiers to locations. |
| * Note: I'm not sure if there is a more natural mapping |
| * then this. Maybe we should use properties instead? |
| * |
| * @author Arthur van Hoff |
| */ |
| final class PublicMapping { |
| |
| String baseStr; |
| Hashtable tab = new Hashtable(); |
| |
| /** |
| * Create a mapping. |
| */ |
| public PublicMapping (String baseStr, String mapFile) throws IOException { |
| // System.err.println("start loading " + baseStr); |
| this.baseStr = baseStr; |
| load(new FileInputStream(baseStr+mapFile)); |
| // System.err.println("stop loading"); |
| } |
| |
| /** |
| * Load a set of mappings from a stream. |
| */ |
| public void load(InputStream in) throws IOException { |
| InputStreamReader reader = new InputStreamReader(in); |
| BufferedReader data = new BufferedReader(reader); |
| |
| for (String ln = data.readLine() ; ln != null ; ln = data.readLine()) { |
| if (ln.startsWith("PUBLIC")) { |
| int len = ln.length(); |
| int i = 6; |
| while ((i < len) && (ln.charAt(i) != '"')) i++; |
| int j = ++i; |
| while ((j < len) && (ln.charAt(j) != '"')) j++; |
| String id = ln.substring(i, j); |
| i = ++j; |
| while ((i < len) && ((ln.charAt(i) == ' ') || (ln.charAt(i) == '\t'))) i++; |
| j = i + 1; |
| while ((j < len) && (ln.charAt(j) != ' ') && (ln.charAt(j) != '\t')) j++; |
| String where = ln.substring(i, j); |
| put(id, baseStr + where); |
| } |
| } |
| data.close(); |
| } |
| |
| /** |
| * Add a mapping from a public identifier to a path. |
| */ |
| public void put(String id, String str) { |
| |
| // System.err.println("ADD = '" + id + "' = " + str); |
| tab.put(id, str); |
| if (str.endsWith(".dtd")) { |
| int i = str.lastIndexOf(File.separator); |
| if (i >= 0) { |
| tab.put(str.substring(i + 1, str.length() - 4), str); |
| } |
| } |
| } |
| |
| /** |
| * Map a public identifier to a path.. You can also map |
| * a DTD file name (without the .dtd) to its path. |
| */ |
| public String get(String id) { |
| // System.err.println(" id = "+id); |
| return (String) tab.get(id); |
| } |
| } |