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 PackageInputEntry extends InputEntry {
014      public PackageInputEntry(String n) { super(n); }
015      public String type() { return "Package"; }
016      public String typeOption() { return "package"; }
017      public String verify() {
018        return verify(name);
019      }
020      static public String verify(String name) {
021        String[] p = StringUtil.parseList(name,'.');
022        if (javafe.tc.OutsideEnv.reader.accessable(p)) {
023          return null;
024        }
025        return "Package cannot be found";
026      }
027    }