/* * Copyright 1998-1999 Sun Microsystems, Inc. All Rights Reserved. * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER. * * This code is free software; you can redistribute it and/or modify it * under the terms of the GNU General Public License version 2 only, as * published by the Free Software Foundation. Sun designates this * particular file as subject to the "Classpath" exception as provided * by Sun in the LICENSE file that accompanied this code. * * This code is distributed in the hope that it will be useful, but WITHOUT * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or * FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License * version 2 for more details (a copy is included in the LICENSE file that * accompanied this code). * * You should have received a copy of the GNU General Public License version * 2 along with this work; if not, write to the Free Software Foundation, * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA. * * Please contact Sun Microsystems, Inc., 4150 Network Circle, Santa Clara, * CA 95054 USA or visit www.sun.com if you need additional information or * have any questions. */ package com.sun.tools.example.debug.gui; import java.io.*; import java.util.*; public class SearchPath { private String pathString; private String[] pathArray; public SearchPath(String searchPath) { //### Should check searchpath for well-formedness. StringTokenizer st = new StringTokenizer(searchPath, File.pathSeparator); List<String> dlist = new ArrayList<String>(); while (st.hasMoreTokens()) { dlist.add(st.nextToken()); } pathString = searchPath; pathArray = (String[])dlist.toArray(new String[dlist.size()]); } public boolean isEmpty() { return (pathArray.length == 0); } public String asString() { return pathString; } public String[] asArray() { return (String[])pathArray.clone(); } public File resolve(String relativeFileName) { for (int i = 0; i < pathArray.length; i++) { File path = new File(pathArray[i], relativeFileName); if (path.exists()) { return path; } } return null; } //### return List? public String[] children(String relativeDirName, FilenameFilter filter) { // If a file appears at the same relative path // with respect to multiple entries on the classpath, // the one corresponding to the earliest entry on the // classpath is retained. This is the one that will be // found if we later do a 'resolve'. SortedSet<String> s = new TreeSet<String>(); // sorted, no duplicates for (int i = 0; i < pathArray.length; i++) { File path = new File(pathArray[i], relativeDirName); if (path.exists()) { String[] childArray = path.list(filter); if (childArray != null) { for (int j = 0; j < childArray.length; j++) { if (!s.contains(childArray[j])) { s.add(childArray[j]); } } } } } return (String[])s.toArray(new String[s.size()]); } }