01: /*
02: * delete_file.java
03: *
04: * Copyright (C) 2003-2004 Peter Graves
05: * $Id: delete_file.java,v 1.5 2004/09/16 18:34:19 piso Exp $
06: *
07: * This program is free software; you can redistribute it and/or
08: * modify it under the terms of the GNU General Public License
09: * 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:
22: package org.armedbear.lisp;
23:
24: import java.io.File;
25:
26: public final class delete_file extends Primitive1 {
27: private delete_file() {
28: super ("delete-file", "filespec");
29: }
30:
31: // ### delete-file filespec => t
32: public LispObject execute(LispObject arg) throws ConditionThrowable {
33: LispObject truename = Pathname.truename(arg, false);
34: if (arg instanceof Stream)
35: ((Stream) arg)._close();
36: if (truename instanceof Pathname) {
37: // File exists.
38: File file = Utilities.getFile((Pathname) truename);
39: for (int i = 0; i < 5; i++) {
40: if (file.delete())
41: return T;
42: System.gc();
43: Thread.yield();
44: }
45: StringBuffer sb = new StringBuffer("Unable to delete ");
46: sb.append(file.isDirectory() ? "directory " : "file ");
47: sb.append(truename.writeToString());
48: sb.append('.');
49: return signal(new FileError(sb.toString()));
50: } else {
51: // File does not exist.
52: return T;
53: }
54: }
55:
56: private static final Primitive1 DELETE_FILE = new delete_file();
57: }
|