X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Foutput%2Fdriver.h;h=acf052aeb20b4781cfdac37c1813211860eb3151;hb=4bb1368b5040adb4083cf8d186024a7294456f24;hp=5849a06ac14f450505c66bd22090808730d1d761;hpb=b561da06cecf48556e94b4e033bd749eeba3bef7;p=pspp

diff --git a/src/output/driver.h b/src/output/driver.h
index 5849a06ac1..acf052aeb2 100644
--- a/src/output/driver.h
+++ b/src/output/driver.h
@@ -18,6 +18,7 @@
 #define OUTPUT_DRIVER_H 1
 
 #include <stdbool.h>
+#include <stddef.h>
 
 struct output_item;
 struct string_set;
@@ -33,6 +34,11 @@ void output_flush (void);
 
 void output_set_title (const char *);
 void output_set_subtitle (const char *);
+void output_set_filename (const char *);
+
+char *output_get_command_name (void);
+
+size_t output_get_group_level (void);
 
 void output_driver_parse_option (const char *option,
                                  struct string_map *options);