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 javafe.filespace.StringUtil;
011    import javafe.tc.OutsideEnv;
012    
013    public class ClassInputEntry extends InputEntry {
014      public ClassInputEntry(String n) { super(n); }
015      public String type() { return "Class"; }
016      public String typeOption() { return "class"; }
017      public String verify() {
018        return verify(name);
019      }
020      static public String verify(String name) {
021        int n = name.lastIndexOf('.');
022        String[] p = StringUtil.parseList(name.substring(0,n==-1?0:n),'.');
023        if (!javafe.tc.OutsideEnv.reader.exists(p,name.substring(n+1))) {
024          return "Class can not be found";
025        }
026        return null;
027      }
028      
029    }