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    import java.io.File;
011    
012    public class ListInputEntry extends InputEntry {
013      public ListInputEntry(String n) { super(n); }
014      public String type() { return "List"; }
015      public String typeOption() { return "list"; }
016      public String verify() {
017        return verify(name);
018      }
019      static public String verify(String name) {
020        java.io.File f= new java.io.File(name);
021        if (f.exists() && f.isFile()) return null;
022        return "List file does not exist";
023      }
024    }