    001    /*
    002     * Created on Aug 21, 2005
    003     *
    004     * @design kiniry 21 Aug 2005 - Refactored out of InputEntry to avoid
    005     * existing recursion bug in typechecker in handling nested classes.
    006     */
    007
    008    package javafe;
    009
    010    public class FileInputEntry extends InputEntry {
    011      public FileInputEntry(String n) { super(n); }
    012      public String type() { return "File"; }
    013      public String typeOption() { return "file"; }
    014      public String verify() {
    015        return verify(name);
    016      }
    017      static public String verify(String name) {
    018        java.io.File f= new java.io.File(name);
    019        if (f.exists() && f.isFile()) return null;
    020        return "File does not exist";
    021      }
    022    }