KickJava   Java API By Example, From Geeks To Geeks.

Java > Open Source Codes > org > armedbear > lisp > file_write_date


1 /*
2  * file_write_date.java
3  *
4  * Copyright (C) 2003-2004 Peter Graves
5  * $Id: file_write_date.java,v 1.2 2004/01/07 19:02:06 piso Exp $
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
22 package org.armedbear.lisp;
23
24 import java.io.File JavaDoc;
25
26 // ### file-write-date
27
public final class file_write_date extends Primitive1
28 {
29     private file_write_date()
30     {
31         super("file-write-date");
32     }
33
34     public LispObject execute(LispObject arg) throws ConditionThrowable
35     {
36         Pathname pathname = Pathname.coerceToPathname(arg);
37         if (pathname.isWild())
38             signal(new FileError("Bad place for a wild pathname."));
39         File JavaDoc file = Utilities.getFile(pathname);
40         long lastModified = file.lastModified();
41         if (lastModified == 0)
42             return NIL;
43         return number(lastModified / 1000 + 2208988800L);
44     }
45
46     private static final Primitive1 FILE_WRITE_DATE = new file_write_date();
47 }
48
Popular Tags