diff options
author | green <green@138bc75d-0d04-0410-961f-82ee72b054a4> | 2000-09-04 16:55:48 +0000 |
---|---|---|
committer | green <green@138bc75d-0d04-0410-961f-82ee72b054a4> | 2000-09-04 16:55:48 +0000 |
commit | 8e9ed72dc7ff97f81b7d423a22a6adb47395da61 (patch) | |
tree | 0e11c3202467de16f9293623c00841fbe6ad2149 /libjava/gnu | |
parent | e918284936f0f82196fd15141f8b9bf3a6356115 (diff) | |
download | gcc-8e9ed72dc7ff97f81b7d423a22a6adb47395da61.tar.gz |
* java/io/File.java (deleteOnExit): New method.
* gnu/gcj/runtime/FileDeleter.java: New class.
* java/lang/natRuntime.cc (exit): Call
FileDeleter.deleteOnExitNow()
* Makefile.am: Add FileDeleter.java.
* Makefile.in: Rebuilt.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@36141 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'libjava/gnu')
-rw-r--r-- | libjava/gnu/gcj/runtime/FileDeleter.java | 38 |
1 files changed, 38 insertions, 0 deletions
diff --git a/libjava/gnu/gcj/runtime/FileDeleter.java b/libjava/gnu/gcj/runtime/FileDeleter.java new file mode 100644 index 00000000000..cc7aa9d50b7 --- /dev/null +++ b/libjava/gnu/gcj/runtime/FileDeleter.java @@ -0,0 +1,38 @@ +/* Copyright (C) 2000 Free Software Foundation + + This file is part of libgcj. + +This software is copyrighted work licensed under the terms of the +Libgcj License. Please consult the file "LIBGCJ_LICENSE" for +details. */ + +package gnu.gcj.runtime; + +import java.io.*; +import java.util.*; + +public final class FileDeleter +{ + public synchronized static void add (File f) + { + if (deleteOnExitStack == null) + deleteOnExitStack = new Stack (); + + deleteOnExitStack.push (f); + } + + // Helper method called by java.lang.Runtime.exit() to perform + // pending deletions. + public static void deleteOnExitNow () + { + while (!deleteOnExitStack.empty ()) + ((File)(deleteOnExitStack.pop ())).delete (); + } + + // A stack of files to delete upon normal termination. + private static Stack deleteOnExitStack; +} + + + + |