/** * Constructs a new source location that will retrieve source * elements from the given directory. * * @param directory a directory */ public DirectorySourceLocation(File directory) { setDirectory(directory); }
/** * Constructs a new source location that will retrieve source * elements from the given directory. * * @param directory a directory */ public DirectorySourceLocation(File directory) { setDirectory(directory); }
File dir = new File(path); if (dir.exists() && dir.isDirectory()) { setDirectory(dir); } else { abort(NLS.bind(LaunchingMessages.DirectorySourceLocation_Unable_to_initialize_source_location___directory_does_not_exist___0__4, new String[] {path}), null);
File dir = new File(path); if (dir.exists() && dir.isDirectory()) { setDirectory(dir); } else { abort(NLS.bind(LaunchingMessages.DirectorySourceLocation_Unable_to_initialize_source_location___directory_does_not_exist___0__4, new String[] {path}), null);