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

diff --git a/src/output/driver.h b/src/output/driver.h
index bc2b52183f..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;
@@ -31,6 +32,16 @@ void output_engine_pop (void);
 void output_submit (struct output_item *);
 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);
 struct output_driver *output_driver_create (struct string_map *options);
 bool output_driver_is_registered (const struct output_driver *);