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 }