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     */
009    package org.w3c.flute.util;
010    
011    import java.io.InputStream;
012    import java.net.URL;
013    import java.util.Properties;
014    
015    /**
016     * @version $Revision: 1.1.1.1 $
017     * @author  Philippe Le Hegaret
018     */
019    public 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    }