1 files changed, 71 insertions, 0 deletions
diff --git a/gfsm/gfsm/src/programs/gfsmproject_cmdparser.h b/gfsm/gfsm/src/programs/gfsmproject_cmdparser.h
new file mode 100644
index 0000000..e7fbb80
--- /dev/null
+++ b/gfsm/gfsm/src/programs/gfsmproject_cmdparser.h
@@ -0,0 +1,71 @@
+/* -*- Mode: C -*-
+ *
+ * File: gfsmproject_cmdparser.h
+ * Description: Headers for command-line parser struct gengetopt_args_info.
+ *
+ * File autogenerated by optgen.perl version 0.05.
+ *
+ */
+
+#ifndef gfsmproject_cmdparser_h
+#define gfsmproject_cmdparser_h
+
+#ifdef __cplusplus
+extern "C" {
+#endif /* __cplusplus */
+
+/*
+ * moocow: Never set PACKAGE and VERSION here.
+ */
+
+struct gengetopt_args_info {
+  int first_flag;	 /* Project lower side [default]. (default=0). */
+  int i_flag;	 /* Project input tape (alias for -1) (default=0). */
+  int second_flag;	 /* Project upper side. (default=0). */
+  int o_flag;	 /* Project output side (alias for -2) (default=0). */
+  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 first_given;	 /* Whether first was given */
+  int i_given;	 /* Whether - was given */
+  int second_given;	 /* Whether second was given */
+  int o_given;	 /* Whether - 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 /* gfsmproject_cmdparser_h */