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}