1 /*
2  * Utilities.java
3  *
4  * Copyright (C) 2003-2007 Peter Graves
5  * $Id$
6  *
7  * This program is free software; you can redistribute it and/or
8  * modify it under the terms of the GNU General Public License
9  * as published by the Free Software Foundation; either version 2
10  * of the License, or (at your option) any later version.
11  *
12  * This program is distributed in the hope that it will be useful,
13  * but WITHOUT ANY WARRANTY; without even the implied warranty of
14  * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
15  * GNU General Public License for more details.
16  *
17  * You should have received a copy of the GNU General Public License
18  * along with this program; if not, write to the Free Software
19  * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA  02110-1301, USA.
20  *
21  * As a special exception, the copyright holders of this library give you
22  * permission to link this library with independent modules to produce an
23  * executable, regardless of the license terms of these independent
24  * modules, and to copy and distribute the resulting executable under
25  * terms of your choice, provided that you also meet, for each linked
26  * independent module, the terms and conditions of the license of that
27  * module.  An independent module is a module which is not derived from
28  * or based on this library.  If you modify this library, you may extend
29  * this exception to your version of the library, but you are not
30  * obligated to do so.  If you do not wish to do so, delete this
31  * exception statement from your version.
32  */
33 
34 package org.armedbear.lisp;
35 
36 import static org.armedbear.lisp.Lisp.*;
37 
38 import java.io.ByteArrayInputStream;
39 import java.io.ByteArrayOutputStream;
40 import java.io.File;
41 import java.io.IOException;
42 import java.io.InputStream;
43 import java.net.URI;
44 import java.net.URISyntaxException;
45 import java.util.jar.JarFile;
46 import java.util.zip.ZipEntry;
47 import java.util.zip.ZipFile;
48 import java.util.zip.ZipInputStream;
49 
50 public final class Utilities
51 {
52     public static final boolean isPlatformUnix;
53     public static final boolean isPlatformWindows;
54 
55     static {
56         String osName = System.getProperty("os.name");
57         isPlatformUnix = osName.startsWith("Linux") ||
58             osName.startsWith("Mac OS X") || osName.startsWith("Darwin") ||
59             osName.startsWith("Solaris") ||
60             osName.startsWith("SunOS") || osName.startsWith("AIX") ||
61             osName.startsWith("FreeBSD") || osName.startsWith("OpenBSD") ||
62             osName.startsWith("NetBSD");
63         isPlatformWindows = osName.startsWith("Windows");
64     }
65 
isFilenameAbsolute(String filename)66     public static boolean isFilenameAbsolute(String filename)
67     {
68         final int length = filename.length();
69         if (length > 0) {
70             char c0 = filename.charAt(0);
71             if (c0 == '\\' || c0 == '/')
72                 return true;
73             if (length > 2) {
74                 if (isPlatformWindows) {
75                     // Check for drive letter.
76                     char c1 = filename.charAt(1);
77                     if (c1 == ':') {
78                         if (c0 >= 'a' && c0 <= 'z')
79                             return true;
80                         if (c0 >= 'A' && c0 <= 'Z')
81                             return true;
82                     }
83                 } else {
84                     // Unix.
85                     if (filename.equals("~") || filename.startsWith("~/"))
86                         return true;
87                 }
88             }
89         }
90         return false;
91     }
92 
93 
escapeFormat(String s)94     static String escapeFormat(String s) {
95         return s.replace("~", "~~");
96     }
97 }
98