X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Flibpspp%2Fpool.h;h=ebc00c5f0fa6c433d2c1a0200633dc653b87ed57;hb=46d5b8be272fca7206f3f1cb280a90dca1785744;hp=fc24b2f9e6ff0ae38221a2ac7f9d3bba60aa8fbf;hpb=3bbb4370239deb29ebbf813d258aef6249e2a431;p=pspp

diff --git a/src/libpspp/pool.h b/src/libpspp/pool.h
index fc24b2f9e6..ebc00c5f0f 100644
--- a/src/libpspp/pool.h
+++ b/src/libpspp/pool.h
@@ -1,5 +1,5 @@
 /* PSPP - a program for statistical analysis.
-   Copyright (C) 2000, 2006 Free Software Foundation, Inc.
+   Copyright (C) 2000, 2006, 2010 Free Software Foundation, Inc.
 
    This program is free software: you can redistribute it and/or modify
    it under the terms of the GNU General Public License as published by
@@ -85,10 +85,15 @@ void pool_add_subpool (struct pool *, struct pool *subpool);
 /* Files. */
 FILE *pool_fopen (struct pool *, const char *, const char *);
 int pool_fclose (struct pool *, FILE *) WARN_UNUSED_RESULT;
-FILE *pool_tmpfile (struct pool *);
 void pool_attach_file (struct pool *, FILE *);
 void pool_detach_file (struct pool *, FILE *);
 
+/* Temporary files. */
+FILE *pool_create_temp_file (struct pool *);
+void pool_fclose_temp_file (struct pool *, FILE *);
+void pool_attach_temp_file (struct pool *, FILE *);
+void pool_detach_temp_file (struct pool *, FILE *);
+
 /* Custom allocations. */
 void pool_register (struct pool *, void (*free) (void *), void *p);
 bool pool_unregister (struct pool *, void *);
@@ -97,8 +102,4 @@ bool pool_unregister (struct pool *, void *);
 void pool_mark (struct pool *, struct pool_mark *);
 void pool_release (struct pool *, const struct pool_mark *);
 
-#if DEBUGGING
-void pool_dump (const struct pool *, const char *title);
-#endif
-
 #endif /* pool.h */