001/* 002 * Copyright (c) 1999 World Wide Web Consortium 003 * (Massachusetts Institute of Technology, Institut National de Recherche 004 * en Informatique et en Automatique, Keio University). 005 * All Rights Reserved. http://www.w3.org/Consortium/Legal/ 006 * 007 * $Id: Encoding.java,v 1.1.1.1 2006/04/23 14:51:57 taqua Exp $ 008 */ 009package org.w3c.flute.util; 010 011import java.io.InputStream; 012import java.net.URL; 013import java.util.Properties; 014 015/** 016 * @version $Revision: 1.1.1.1 $ 017 * @author Philippe Le Hegaret 018 */ 019public class Encoding { 020 private Encoding() {} 021 022 /** 023 * Converts the format encoding information into Java encoding information. 024 */ 025 public static String getJavaEncoding(String encoding) { 026 String _result = encodings.getProperty(encoding); 027 if (_result == null) { 028 return encoding; 029 } 030 return _result; 031 } 032 033 static Properties encodings; 034 035 static { 036 encodings = new Properties(); 037 038 try { 039 URL url = Encoding.class.getResource("encoding.properties"); 040 InputStream f = url.openStream(); 041 encodings.load(f); 042 f.close(); 043 } catch (Exception e) { 044 System.err.println(Encoding.class 045 + ": couldn't load encoding properties "); 046 e.printStackTrace(); 047 } 048 } 049}