    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    }