+ public void addNewClass(String cl, Set todo) {
+ for(int i=0;i<state.classpath.size();i++) {
+ String path=(String)state.classpath.get(i);
+ File f=new File(path, cl+".java");
+ if (f.exists()) {
+ try {
+ ParseNode pn=Main.readSourceFile(state, f.getCanonicalPath());
+ bir.buildtree(pn, todo);
+ return;
+ } catch (Exception e) {
+ throw new Error(e);
+ }
+ }
+ }
+ throw new Error("Couldn't find class "+cl);
+ }
+
+
+