| /* Copyright (C) 2000, 2003 Free Software Foundation |
| |
| This file is part of libgcj. |
| |
| This software is copyrighted work licensed under the terms of the |
| Libgcj License. Please consult the file "LIBGCJ_LICENSE" for |
| details. */ |
| |
| import gnu.gcj.io.MimeTypes; |
| import java.io.IOException; |
| import java.io.FileNotFoundException; |
| import java.util.Hashtable; |
| import java.util.Enumeration; |
| import java.util.NoSuchElementException; |
| |
| public class MakeDefaultMimeTypes |
| { |
| private static void fatal (String message) |
| { |
| System.err.println ("MakeDefaultMimeTypes Error: " + message); |
| System.exit (-1); |
| } |
| |
| public static void main (String[] args) |
| { |
| Hashtable mime_table = new Hashtable (); |
| |
| if (args.length != 1) |
| fatal ("missing mime type filename"); |
| |
| try { |
| MimeTypes.fillFromFile (mime_table, args[0]); |
| } catch (FileNotFoundException ex) { |
| fatal ("can't open " + args[0]); |
| } catch (IOException ex) { |
| fatal ("error reading " + args[0]); |
| } |
| |
| System.out.println ("// Do not edit this file! Create a new version with MakeDefaultMimeTypes.\n\n/* Copyright (C) 2000 Free Software Foundation\n\n This file is part of libgcj.\n\nThis software is copyrighted work licensed under the terms of the\nLibgcj License. Please consult the file \"LIBGCJ_LICENSE\" for\ndetails. */\n\npackage gnu.gcj.io; \n\npublic class DefaultMimeTypes\n{\n public static final String[] types = {"); |
| |
| Enumeration keys = mime_table.keys(); |
| Enumeration values = mime_table.elements(); |
| |
| // Prepend first element with open bracket |
| StringBuffer result = new StringBuffer(""); |
| |
| try |
| { |
| result.append(" \"" |
| + keys.nextElement().toString() |
| + "\",\t\"" |
| + values.nextElement().toString() |
| + "\"\n"); |
| } |
| catch (NoSuchElementException ex) |
| { |
| } |
| |
| // Prepend subsequent elements with ", " |
| try |
| { |
| while (true) |
| result.append(" , \"" |
| + keys.nextElement().toString() |
| + "\",\t\"" |
| + values.nextElement().toString() |
| + "\"\n"); |
| } |
| catch (NoSuchElementException ex) |
| { |
| } |
| |
| // Append last element with closing bracket |
| result.append(" };\n}\n"); |
| System.out.println(result); |
| } |
| } |