util/Filename.java

   1 package org.de.metux.util;
   2
   3 import java.io.File;
   4 import java.io.Reader;
   5 import java.io.InputStreamReader;
   6 import java.io.FileReader;
   7 import java.io.FileNotFoundException;
   8 import java.io.IOException;
   9 import java.net.URL;
  10 import java.net.URLConnection;
  11 import java.net.MalformedURLException;
  12
  13 public class Filename
  14 {
  15         abstract class Instance
  16         {
  17                 public abstract String toString();
  18                 abstract URL    toURL() throws MalformedURLException;
  19                 abstract Reader getReader() throws FileNotFoundException, IOException;
  20         }
  21         class Instance_Name extends Instance
  22         {
  23                 String name;
  24                 Instance_Name(String n)
  25                 {
  26                         name = n;
  27                 }
  28                 public String toString()
  29                 {
  30                         return name;
  31                 }
  32                 URL toURL() throws MalformedURLException
  33                 {
  34                         return new URL(name);
  35                 }
  36                 Reader getReader() throws FileNotFoundException, IOException
  37                 {
  38                         return new FileReader(new File(name));
  39                 }
  40         }
  41         class Instance_File extends Instance
  42         {
  43                 File file;
  44                 Instance_File(File f)
  45                 {
  46                         file = f;
  47                 }
  48                 public String toString()
  49                 {
  50                         return file.toString();
  51                 }
  52                 URL toURL() throws MalformedURLException
  53                 {
  54                         return file.toURL();
  55                 }
  56                 Reader getReader() throws FileNotFoundException, IOException
  57                 {
  58                         return new FileReader(file);
  59                 }
  60         }
  61         class Instance_URL extends Instance
  62         {
  63                 URL url;
  64                 Instance_URL(URL u)
  65                 {
  66                         url = u;
  67                 }
  68                 public String toString()
  69                 {
  70                         return url.toString();
  71                 }
  72                 URL toURL() throws MalformedURLException
  73                 {
  74                         return url;
  75                 }
  76                 Reader getReader() throws FileNotFoundException, IOException
  77                 {
  78                         URLConnection conn = url.openConnection();
  79                         conn.setDoOutput(true);
  80                         return new InputStreamReader(conn.getInputStream());
  81                 }
  82         }
  83
  84         private Instance instance;
  85
  86         public Filename(String s)
  87         {
  88                 /* try whether it's a valid URL */
  89                 try
  90                 {
  91                     instance = new Instance_URL(new URL(s));
  92                 }
  93                 catch (MalformedURLException e)
  94                 {
  95                     instance = new Instance_Name(s);
  96                 }
  97         }
  98
  99         public Filename(File f)
 100         {
 101                 instance = new Instance_File(f);
 102         }
 103
 104         public Filename(URL u)
 105         {
 106                 instance = new Instance_URL(u);
 107         }
 108
 109         public URL toURL()
 110                 throws MalformedURLException
 111         {
 112                 return instance.toURL();
 113         }
 114
 115         public String toString()
 116         {
 117                 return instance.toString();
 118         }
 119
 120         public Reader getReader()
 121                 throws FileNotFoundException, IOException
 122         {
 123                 return instance.getReader();
 124         }
 125 }