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 }