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 }