public void setFiles(String[] fileNames) {
int size = Arrays.asList(fileNames).size();
Vector iFileNames = new Vector();
for (int i = 0; i < size; i++) {
IResource resource = workspaceRoot.findMember(fileNames[i]);
if (resource instanceof IFile) iFileNames.addElement(resource);
}
IFile[] dummyArray = new IFile[iFileNames.size()];
this.fileNames = (IFile[]) (iFileNames.toArray(dummyArray));
}
public void setVisible(boolean visible) {
if (visible == true) {
if (fFilters != null) {
sourceFileViewer.resetFilters();
for (Iterator i = fFilters.iterator(); i.hasNext(); )
sourceFileViewer.addFilter((ViewerFilter) i.next());
}
sourceFileViewer.setInput(ResourcesPlugin.getWorkspace().getRoot());
}
super.setVisible(visible);
}
public void addFilter(ViewerFilter filter) {
if (fFilters == null) fFilters = new Vector();
fFilters.add(filter);
}
