aboutsummaryrefslogtreecommitdiff
path: root/gfsm/gfsm/src/programs/gfsmsigma_cmdparser.c
diff options
context:
space:
mode:
Diffstat (limited to 'gfsm/gfsm/src/programs/gfsmsigma_cmdparser.c')
-rw-r--r--gfsm/gfsm/src/programs/gfsmsigma_cmdparser.c449
1 files changed, 449 insertions, 0 deletions
diff --git a/gfsm/gfsm/src/programs/gfsmsigma_cmdparser.c b/gfsm/gfsm/src/programs/gfsmsigma_cmdparser.c
new file mode 100644
index 0000000..7cf017f
--- /dev/null
+++ b/gfsm/gfsm/src/programs/gfsmsigma_cmdparser.c
@@ -0,0 +1,449 @@
+/* -*- Mode: C -*-
+ *
+ * File: gfsmsigma_cmdparser.c
+ * Description: Code for command-line parser struct gengetopt_args_info.
+ *
+ * File autogenerated by optgen.perl version 0.05
+ * generated with the following command:
+ * /usr/local/bin/optgen.perl -u -l --no-handle-rcfile --nopod -F gfsmsigma_cmdparser gfsmsigma.gog
+ *
+ * The developers of optgen.perl consider the fixed text that goes in all
+ * optgen.perl output files to be in the public domain:
+ * we make no copyright claims on it.
+ *
+ */
+
+#include <stdio.h>
+#include <stdlib.h>
+#include <errno.h>
+#include <string.h>
+#include <unistd.h>
+#include <ctype.h>
+
+/* If we use autoconf/autoheader. */
+#ifdef HAVE_CONFIG_H
+# include "config.h"
+#endif
+
+#ifdef HAVE_PWD_H
+# include <pwd.h>
+#endif
+
+/* Allow user-overrides for PACKAGE and VERSION */
+#ifndef PACKAGE
+# define PACKAGE "PACKAGE"
+#endif
+
+#ifndef VERSION
+# define VERSION "VERSION"
+#endif
+
+
+#ifndef PROGRAM
+# define PROGRAM "gfsmsigma"
+#endif
+
+/* #define cmdline_parser_DEBUG */
+
+/* Check for "configure's" getopt check result. */
+#ifndef HAVE_GETOPT_LONG
+# include "getopt.h"
+#else
+# include <getopt.h>
+#endif
+
+#if !defined(HAVE_STRDUP) && !defined(strdup)
+# define strdup gengetopt_strdup
+#endif /* HAVE_STRDUP */
+
+#include "gfsmsigma_cmdparser.h"
+
+
+/* user code section */
+
+/* end user code section */
+
+
+void
+cmdline_parser_print_version (void)
+{
+ printf("gfsmsigma (%s %s) by Bryan Jurish <moocow@ling.uni-potsdam.de>\n", PACKAGE, VERSION);
+}
+
+void
+cmdline_parser_print_help (void)
+{
+ cmdline_parser_print_version ();
+ printf("\n");
+ printf("Purpose:\n");
+ printf(" Create a single-state alphabet acceptor\n");
+ printf("\n");
+
+ printf("Usage: %s [OPTIONS]... LABFILE\n", "gfsmsigma");
+
+ printf("\n");
+ printf(" Arguments:\n");
+ printf(" LABFILE Alphabet file\n");
+
+ printf("\n");
+ printf(" Options:\n");
+ printf(" -h --help Print help and exit.\n");
+ printf(" -V --version Print version and exit.\n");
+ printf(" -zLEVEL --compress=LEVEL Specify compression level of output file.\n");
+ printf(" -FFILE --output=FILE Specifiy output file (default=stdout).\n");
+}
+
+#if !defined(HAVE_STRDUP) && !defined(strdup)
+/* gengetopt_strdup(): automatically generated from strdup.c. */
+/* strdup.c replacement of strdup, which is not standard */
+static char *
+gengetopt_strdup (const char *s)
+{
+ char *result = (char*)malloc(strlen(s) + 1);
+ if (result == (char*)0)
+ return (char*)0;
+ strcpy(result, s);
+ return result;
+}
+#endif /* HAVE_STRDUP */
+
+/* clear_args(args_info): clears all args & resets to defaults */
+static void
+clear_args(struct gengetopt_args_info *args_info)
+{
+ args_info->compress_arg = -1;
+ args_info->output_arg = strdup("-");
+}
+
+
+int
+cmdline_parser (int argc, char * const *argv, struct gengetopt_args_info *args_info)
+{
+ int c; /* Character of the parsed option. */
+ int missing_required_options = 0;
+
+ args_info->help_given = 0;
+ args_info->version_given = 0;
+ args_info->compress_given = 0;
+ args_info->output_given = 0;
+
+ clear_args(args_info);
+
+ /* rcfile handling */
+
+ /* end rcfile handling */
+
+ optarg = 0;
+ optind = 1;
+ opterr = 1;
+ optopt = '?';
+
+ while (1)
+ {
+ int option_index = 0;
+ static struct option long_options[] = {
+ { "help", 0, NULL, 'h' },
+ { "version", 0, NULL, 'V' },
+ { "compress", 1, NULL, 'z' },
+ { "output", 1, NULL, 'F' },
+ { NULL, 0, NULL, 0 }
+ };
+ static char short_options[] = {
+ 'h',
+ 'V',
+ 'z', ':',
+ 'F', ':',
+ '\0'
+ };
+
+ c = getopt_long (argc, argv, short_options, long_options, &option_index);
+
+ if (c == -1) break; /* Exit from 'while (1)' loop. */
+
+ if (cmdline_parser_parse_option(c, long_options[option_index].name, optarg, args_info) != 0) {
+ exit (EXIT_FAILURE);
+ }
+ } /* while */
+
+
+
+ if ( missing_required_options )
+ exit (EXIT_FAILURE);
+
+
+ if (optind < argc) {
+ int i = 0 ;
+ args_info->inputs_num = argc - optind ;
+ args_info->inputs = (char **)(malloc ((args_info->inputs_num)*sizeof(char *))) ;
+ while (optind < argc)
+ args_info->inputs[ i++ ] = strdup (argv[optind++]) ;
+ }
+
+ return 0;
+}
+
+
+/* Parse a single option */
+int
+cmdline_parser_parse_option(char oshort, const char *olong, const char *val,
+ struct gengetopt_args_info *args_info)
+{
+ if (!oshort && !(olong && *olong)) return 1; /* ignore null options */
+
+#ifdef cmdline_parser_DEBUG
+ fprintf(stderr, "parse_option(): oshort='%c', olong='%s', val='%s'\n", oshort, olong, val);*/
+#endif
+
+ switch (oshort)
+ {
+ case 'h': /* Print help and exit. */
+ if (args_info->help_given) {
+ fprintf(stderr, "%s: `--help' (`-h') option given more than once\n", PROGRAM);
+ }
+ clear_args(args_info);
+ cmdline_parser_print_help();
+ exit(EXIT_SUCCESS);
+
+ break;
+
+ case 'V': /* Print version and exit. */
+ if (args_info->version_given) {
+ fprintf(stderr, "%s: `--version' (`-V') option given more than once\n", PROGRAM);
+ }
+ clear_args(args_info);
+ cmdline_parser_print_version();
+ exit(EXIT_SUCCESS);
+
+ break;
+
+ case 'z': /* Specify compression level of output file. */
+ if (args_info->compress_given) {
+ fprintf(stderr, "%s: `--compress' (`-z') option given more than once\n", PROGRAM);
+ }
+ args_info->compress_given++;
+ args_info->compress_arg = (int)atoi(val);
+ break;
+
+ case 'F': /* Specifiy output file (default=stdout). */
+ if (args_info->output_given) {
+ fprintf(stderr, "%s: `--output' (`-F') option given more than once\n", PROGRAM);
+ }
+ args_info->output_given++;
+ if (args_info->output_arg) free(args_info->output_arg);
+ args_info->output_arg = strdup(val);
+ break;
+
+ case 0: /* Long option(s) with no short form */
+ /* Print help and exit. */
+ if (strcmp(olong, "help") == 0) {
+ if (args_info->help_given) {
+ fprintf(stderr, "%s: `--help' (`-h') option given more than once\n", PROGRAM);
+ }
+ clear_args(args_info);
+ cmdline_parser_print_help();
+ exit(EXIT_SUCCESS);
+
+ }
+
+ /* Print version and exit. */
+ else if (strcmp(olong, "version") == 0) {
+ if (args_info->version_given) {
+ fprintf(stderr, "%s: `--version' (`-V') option given more than once\n", PROGRAM);
+ }
+ clear_args(args_info);
+ cmdline_parser_print_version();
+ exit(EXIT_SUCCESS);
+
+ }
+
+ /* Specify compression level of output file. */
+ else if (strcmp(olong, "compress") == 0) {
+ if (args_info->compress_given) {
+ fprintf(stderr, "%s: `--compress' (`-z') option given more than once\n", PROGRAM);
+ }
+ args_info->compress_given++;
+ args_info->compress_arg = (int)atoi(val);
+ }
+
+ /* Specifiy output file (default=stdout). */
+ else if (strcmp(olong, "output") == 0) {
+ if (args_info->output_given) {
+ fprintf(stderr, "%s: `--output' (`-F') option given more than once\n", PROGRAM);
+ }
+ args_info->output_given++;
+ if (args_info->output_arg) free(args_info->output_arg);
+ args_info->output_arg = strdup(val);
+ }
+
+ else {
+ fprintf(stderr, "%s: unknown long option '%s'.\n", PROGRAM, olong);
+ return (EXIT_FAILURE);
+ }
+ break;
+
+ case '?': /* Invalid Option */
+ fprintf(stderr, "%s: unknown option '%s'.\n", PROGRAM, olong);
+ return (EXIT_FAILURE);
+
+
+ default: /* bug: options not considered. */
+ fprintf (stderr, "%s: option unknown: %c\n", PROGRAM, oshort);
+ abort ();
+ } /* switch */
+ return 0;
+}
+
+
+/* Initialize options not yet given from environmental defaults */
+void
+cmdline_parser_envdefaults(struct gengetopt_args_info *args_info)
+{
+
+
+ return;
+}
+
+
+/* Load option values from an .rc file */
+void
+cmdline_parser_read_rcfile(const char *filename,
+ struct gengetopt_args_info *args_info,
+ int user_specified)
+{
+ char *fullname;
+ FILE *rcfile;
+
+ if (!filename) return; /* ignore NULL filenames */
+
+#if defined(HAVE_GETUID) && defined(HAVE_GETPWUID)
+ if (*filename == '~') {
+ /* tilde-expansion hack */
+ struct passwd *pwent = getpwuid(getuid());
+ if (!pwent) {
+ fprintf(stderr, "%s: user-id %d not found!\n", PROGRAM, getuid());
+ return;
+ }
+ if (!pwent->pw_dir) {
+ fprintf(stderr, "%s: home directory for user-id %d not found!\n", PROGRAM, getuid());
+ return;
+ }
+ fullname = (char *)malloc(strlen(pwent->pw_dir)+strlen(filename));
+ strcpy(fullname, pwent->pw_dir);
+ strcat(fullname, filename+1);
+ } else {
+ fullname = strdup(filename);
+ }
+#else /* !(defined(HAVE_GETUID) && defined(HAVE_GETPWUID)) */
+ fullname = strdup(filename);
+#endif /* defined(HAVE_GETUID) && defined(HAVE_GETPWUID) */
+
+ /* try to open */
+ rcfile = fopen(fullname,"r");
+ if (!rcfile) {
+ if (user_specified) {
+ fprintf(stderr, "%s: warning: open failed for rc-file '%s': %s\n",
+ PROGRAM, fullname, strerror(errno));
+ }
+ }
+ else {
+ cmdline_parser_read_rc_stream(rcfile, fullname, args_info);
+ }
+
+ /* cleanup */
+ if (fullname != filename) free(fullname);
+ if (rcfile) fclose(rcfile);
+
+ return;
+}
+
+
+/* Parse option values from an .rc file : guts */
+#define OPTPARSE_GET 32
+void
+cmdline_parser_read_rc_stream(FILE *rcfile,
+ const char *filename,
+ struct gengetopt_args_info *args_info)
+{
+ char *optname = (char *)malloc(OPTPARSE_GET);
+ char *optval = (char *)malloc(OPTPARSE_GET);
+ size_t onsize = OPTPARSE_GET;
+ size_t ovsize = OPTPARSE_GET;
+ size_t onlen = 0;
+ size_t ovlen = 0;
+ int lineno = 0;
+ char c;
+
+#ifdef cmdline_parser_DEBUG
+ fprintf(stderr, "cmdline_parser_read_rc_stream('%s'):\n", filename);
+#endif
+
+ while ((c = fgetc(rcfile)) != EOF) {
+ onlen = 0;
+ ovlen = 0;
+ lineno++;
+
+ /* -- get next option-name */
+ /* skip leading space and comments */
+ if (isspace(c)) continue;
+ if (c == '#') {
+ while ((c = fgetc(rcfile)) != EOF) {
+ if (c == '\n') break;
+ }
+ continue;
+ }
+
+ /* parse option-name */
+ while (c != EOF && c != '=' && !isspace(c)) {
+ /* re-allocate if necessary */
+ if (onlen >= onsize-1) {
+ char *tmp = (char *)malloc(onsize+OPTPARSE_GET);
+ strcpy(tmp,optname);
+ free(optname);
+
+ onsize += OPTPARSE_GET;
+ optname = tmp;
+ }
+ optname[onlen++] = c;
+ c = fgetc(rcfile);
+ }
+ optname[onlen++] = '\0';
+
+#ifdef cmdline_parser_DEBUG
+ fprintf(stderr, "cmdline_parser_read_rc_stream('%s'): line %d: optname='%s'\n",
+ filename, lineno, optname);
+#endif
+
+ /* -- get next option-value */
+ /* skip leading space */
+ while ((c = fgetc(rcfile)) != EOF && isspace(c)) {
+ ;
+ }
+
+ /* parse option-value */
+ while (c != EOF && c != '\n') {
+ /* re-allocate if necessary */
+ if (ovlen >= ovsize-1) {
+ char *tmp = (char *)malloc(ovsize+OPTPARSE_GET);
+ strcpy(tmp,optval);
+ free(optval);
+ ovsize += OPTPARSE_GET;
+ optval = tmp;
+ }
+ optval[ovlen++] = c;
+ c = fgetc(rcfile);
+ }
+ optval[ovlen++] = '\0';
+
+ /* now do the action for the option */
+ if (cmdline_parser_parse_option('\0',optname,optval,args_info) != 0) {
+ fprintf(stderr, "%s: error in file '%s' at line %d.\n", PROGRAM, filename, lineno);
+
+ }
+ }
+
+ /* cleanup */
+ free(optname);
+ free(optval);
+
+ return;
+}
generated by cgit v1.2.1 (git 2.18.0) at 2024-06-02 13:23:17 +0000