1 33 34 package edu.rice.cs.drjava.project; 35 36 import java.io.*; 37 import java.util.List ; 38 39 import edu.rice.cs.drjava.model.DocumentRegion; 40 import edu.rice.cs.drjava.model.debug.DebugBreakpointData; 41 import edu.rice.cs.drjava.model.debug.DebugWatchData; 42 43 public interface ProjectFileIR { 44 45 public DocFile[] getSourceFiles(); 46 47 51 public DocFile[] getAuxiliaryFiles(); 52 53 54 public File getBuildDirectory(); 55 56 57 public File getWorkingDirectory(); 58 59 62 public String [] getCollapsedPaths(); 63 64 65 public File[] getClassPaths(); 66 67 68 public File getMainClass(); 69 70 71 public File getProjectFile(); 72 73 74 public File getProjectRoot(); 75 76 77 public File getCreateJarFile(); 78 79 80 public int getCreateJarFlags(); 81 82 83 public DocumentRegion[] getBookmarks(); 84 85 86 public DebugBreakpointData[] getBreakpoints(); 87 88 89 public DebugWatchData[] getWatches(); 90 91 public void setSourceFiles(List <DocFile> sf); 92 public void setAuxiliaryFiles(List <DocFile> aux); 93 public void setCollapsedPaths(List <String > paths); 94 public void setClassPaths(List <? extends File> cp); 95 public void setBuildDirectory(File dir); 96 public void setWorkingDirectory(File dir); 97 public void setMainClass(File main); 98 public void setProjectRoot(File root); 99 public void setCreateJarFile(File createJarFile); 100 public void setCreateJarFlags(int createJarFlags); 101 public void setBookmarks(List <? extends DocumentRegion> bms); 102 public void setBreakpoints(List <? extends DebugBreakpointData> bps); 103 public void setWatches(List <? extends DebugWatchData> ws); 104 } 105 | Popular Tags |