| 1 | /* | 
|---|
| 2 | * delete_file.java | 
|---|
| 3 | * | 
|---|
| 4 | * Copyright (C) 2003-2005 Peter Graves | 
|---|
| 5 | * $Id: delete_file.java 12448 2010-02-11 12:16:51Z mevenson $ | 
|---|
| 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., 59 Temple Place - Suite 330, Boston, MA  02111-1307, 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.File; | 
|---|
| 39 | import java.io.IOException; | 
|---|
| 40 |  | 
|---|
| 41 | public final class delete_file extends Primitive | 
|---|
| 42 | { | 
|---|
| 43 | private delete_file() | 
|---|
| 44 | { | 
|---|
| 45 | super("delete-file", "filespec"); | 
|---|
| 46 | } | 
|---|
| 47 |  | 
|---|
| 48 | // ### delete-file filespec => t | 
|---|
| 49 | @Override | 
|---|
| 50 | public LispObject execute(LispObject arg) | 
|---|
| 51 | { | 
|---|
| 52 | // Don't follow symlinks! We want to delete the symlink itself, not | 
|---|
| 53 | // the linked-to file. | 
|---|
| 54 | Pathname pathname = coerceToPathname(arg); | 
|---|
| 55 | if (arg instanceof Stream) | 
|---|
| 56 | ((Stream)arg)._close(); | 
|---|
| 57 | if (pathname instanceof LogicalPathname) | 
|---|
| 58 | pathname = LogicalPathname.translateLogicalPathname((LogicalPathname)pathname); | 
|---|
| 59 | if (pathname.isWild()) | 
|---|
| 60 | return error(new FileError("Bad place for a wild pathname.", | 
|---|
| 61 | pathname)); | 
|---|
| 62 | final Pathname defaultedPathname = | 
|---|
| 63 | Pathname.mergePathnames(pathname, | 
|---|
| 64 | coerceToPathname(Symbol.DEFAULT_PATHNAME_DEFAULTS.symbolValue()), | 
|---|
| 65 | NIL); | 
|---|
| 66 | final String namestring = defaultedPathname.getNamestring(); | 
|---|
| 67 | if (namestring == null) | 
|---|
| 68 | return error(new FileError("Pathname has no namestring: " + defaultedPathname.writeToString(), | 
|---|
| 69 | defaultedPathname)); | 
|---|
| 70 | final File file = new File(namestring); | 
|---|
| 71 | ZipCache.remove(file); | 
|---|
| 72 | if (file.exists()) { | 
|---|
| 73 | // File exists. | 
|---|
| 74 | for (int i = 0; i < 5; i++) { | 
|---|
| 75 | if (file.delete()) | 
|---|
| 76 | return T; | 
|---|
| 77 | System.gc(); | 
|---|
| 78 | Thread.yield(); | 
|---|
| 79 | } | 
|---|
| 80 | Pathname truename = new Pathname(file.getAbsolutePath()); | 
|---|
| 81 | StringBuilder sb = new StringBuilder("Unable to delete "); | 
|---|
| 82 | sb.append(file.isDirectory() ? "directory " : "file "); | 
|---|
| 83 | sb.append(truename.writeToString()); | 
|---|
| 84 | sb.append('.'); | 
|---|
| 85 | return error(new FileError(sb.toString(), truename)); | 
|---|
| 86 | } else { | 
|---|
| 87 | // File does not exist. | 
|---|
| 88 | return T; | 
|---|
| 89 | } | 
|---|
| 90 | } | 
|---|
| 91 |  | 
|---|
| 92 | private static final Primitive DELETE_FILE = new delete_file(); | 
|---|
| 93 | } | 
|---|