1 files changed, 69 insertions, 0 deletions
diff --git a/gfsm/gfsm/src/programs/gfsmconvert_cmdparser.h b/gfsm/gfsm/src/programs/gfsmconvert_cmdparser.h
new file mode 100644
index 0000000..93a2291
--- /dev/null
+++ b/gfsm/gfsm/src/programs/gfsmconvert_cmdparser.h
@@ -0,0 +1,69 @@
+/* -*- Mode: C -*-
+ *
+ * File: gfsmconvert_cmdparser.h
+ * Description: Headers for command-line parser struct gengetopt_args_info.
+ *
+ * File autogenerated by optgen.perl version 0.05.
+ *
+ */
+
+#ifndef gfsmconvert_cmdparser_h
+#define gfsmconvert_cmdparser_h
+
+#ifdef __cplusplus
+extern "C" {
+#endif /* __cplusplus */
+
+/*
+ * moocow: Never set PACKAGE and VERSION here.
+ */
+
+struct gengetopt_args_info {
+  int transducer_arg;	 /* Specify whether automaton is a transducer (default=0). */
+  int weighted_arg;	 /* Specify whether automaton is weighted (default=0). */
+  char * semiring_arg;	 /* Specify semiring type. (default=NULL). */
+  int compress_arg;	 /* Specify compression level of output file. (default=-1). */
+  char * output_arg;	 /* Specifiy output file (default=stdout). (default=-). */
+
+  int help_given;	 /* Whether help was given */
+  int version_given;	 /* Whether version was given */
+  int transducer_given;	 /* Whether transducer was given */
+  int weighted_given;	 /* Whether weighted was given */
+  int semiring_given;	 /* Whether semiring was given */
+  int compress_given;	 /* Whether compress was given */
+  int output_given;	 /* Whether output was given */
+  
+  char **inputs;         /* unnamed arguments */
+  unsigned inputs_num;   /* number of unnamed arguments */
+};
+
+/* read rc files (if any) and parse all command-line options in one swell foop */
+int  cmdline_parser (int argc, char *const *argv, struct gengetopt_args_info *args_info);
+
+/* instantiate defaults from environment variables: you must call this yourself! */
+void cmdline_parser_envdefaults (struct gengetopt_args_info *args_info);
+
+/* read a single rc-file */
+void cmdline_parser_read_rcfile (const char *filename,
+				    struct gengetopt_args_info *args_info,
+				    int user_specified);
+
+/* read a single rc-file (stream) */
+void cmdline_parser_read_rc_stream (FILE *rcfile,
+				       const char *filename,
+				       struct gengetopt_args_info *args_info);
+
+/* parse a single option */
+int cmdline_parser_parse_option (char oshort, const char *olong, const char *val,
+				    struct gengetopt_args_info *args_info);
+
+/* print help message */
+void cmdline_parser_print_help(void);
+
+/* print version */
+void cmdline_parser_print_version(void);
+
+#ifdef __cplusplus
+}
+#endif /* __cplusplus */
+#endif /* gfsmconvert_cmdparser_h */