libjava/gnu/gcj/runtime/FileDeleter.java


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
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;
}