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    }