org/jpc/luaextensions/DelayedDelete.java

   1 /*
   2     JPC-RR: A x86 PC Hardware Emulator
   3     Release 1
   4
   5     Copyright (C) 2007-2009 Isis Innovation Limited
   6     Copyright (C) 2009 H. Ilari Liusvaara
   7
   8     This program is free software; you can redistribute it and/or modify
   9     it under the terms of the GNU General Public License version 2 as published by
  10     the Free Software Foundation.
  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 along
  18     with this program; if not, write to the Free Software Foundation, Inc.,
  19     51 Franklin Street, Fifth Floor, Boston, MA 02110-1301 USA.
  20
  21     Based on JPC x86 PC Hardware emulator,
  22     A project from the Physics Dept, The University of Oxford
  23
  24     Details about original JPC can be found at:
  25
  26     www-jpc.physics.ox.ac.uk
  27
  28 */
  29
  30 package org.jpc.luaextensions;
  31
  32 import mnj.lua.*;
  33
  34 import java.io.*;
  35
  36 import org.jpc.plugins.LuaPlugin;
  37 import static org.jpc.Misc.tempname;
  38
  39 //Locking this class is used for preventing termination and when terminating.
  40 public class DelayedDelete extends LuaPlugin.LuaResource
  41 {
  42     File object;
  43
  44     DelayedDelete(LuaPlugin plugin, String name)
  45     {
  46         super(plugin);
  47         object = new File(name);
  48     }
  49
  50     public void destroy() throws IOException
  51     {
  52         object.delete();
  53         object = null;
  54     }
  55
  56     public static int luaCB_random_temporary_name(Lua l, LuaPlugin plugin)
  57     {
  58         String name = tempname(l.checkString(2));
  59         String fileName = l.checkString(1) + name;
  60         new DelayedDelete(plugin, fileName);
  61         l.push(name);
  62         l.push(fileName);
  63         return 2;
  64     }
  65 }