diff options
Diffstat (limited to 'gfsm/gfsm/src/programs/gfsmclosure_cmdparser.c')
-rw-r--r-- | gfsm/gfsm/src/programs/gfsmclosure_cmdparser.c | 495 |
1 files changed, 0 insertions, 495 deletions
diff --git a/gfsm/gfsm/src/programs/gfsmclosure_cmdparser.c b/gfsm/gfsm/src/programs/gfsmclosure_cmdparser.c deleted file mode 100644 index 11f7bfd..0000000 --- a/gfsm/gfsm/src/programs/gfsmclosure_cmdparser.c +++ /dev/null @@ -1,495 +0,0 @@ -/* -*- Mode: C -*- - * - * File: gfsmclosure_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 gfsmclosure_cmdparser gfsmclosure.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 "gfsmclosure" -#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 "gfsmclosure_cmdparser.h" - - -/* user code section */ - -/* end user code section */ - - -void -cmdline_parser_print_version (void) -{ - printf("gfsmclosure (%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(" Compute Kleene closure of a finite state machine\n"); - printf("\n"); - - printf("Usage: %s [OPTIONS]... BINFILE\n", "gfsmclosure"); - - printf("\n"); - printf(" Arguments:\n"); - printf(" BINFILE Stored binary gfsm file\n"); - - printf("\n"); - printf(" Options:\n"); - printf(" -h --help Print help and exit.\n"); - printf(" -V --version Print version and exit.\n"); - printf(" -nN --times=N Compute n-ary (^n) closure.\n"); - printf(" -p --plus Compute transitive (+) closure.\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->times_arg = 0; - args_info->plus_flag = 0; - 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->times_given = 0; - args_info->plus_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' }, - { "times", 1, NULL, 'n' }, - { "plus", 0, NULL, 'p' }, - { "compress", 1, NULL, 'z' }, - { "output", 1, NULL, 'F' }, - { NULL, 0, NULL, 0 } - }; - static char short_options[] = { - 'h', - 'V', - 'n', ':', - 'p', - '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 'n': /* Compute n-ary (^n) closure. */ - if (args_info->times_given) { - fprintf(stderr, "%s: `--times' (`-n') option given more than once\n", PROGRAM); - } - args_info->times_given++; - args_info->times_arg = (int)atoi(val); - break; - - case 'p': /* Compute transitive (+) closure. */ - if (args_info->plus_given) { - fprintf(stderr, "%s: `--plus' (`-p') option given more than once\n", PROGRAM); - } - args_info->plus_given++; - if (args_info->plus_given <= 1) - args_info->plus_flag = !(args_info->plus_flag); - 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); - - } - - /* Compute n-ary (^n) closure. */ - else if (strcmp(olong, "times") == 0) { - if (args_info->times_given) { - fprintf(stderr, "%s: `--times' (`-n') option given more than once\n", PROGRAM); - } - args_info->times_given++; - args_info->times_arg = (int)atoi(val); - } - - /* Compute transitive (+) closure. */ - else if (strcmp(olong, "plus") == 0) { - if (args_info->plus_given) { - fprintf(stderr, "%s: `--plus' (`-p') option given more than once\n", PROGRAM); - } - args_info->plus_given++; - if (args_info->plus_given <= 1) - args_info->plus_flag = !(args_info->plus_flag); - } - - /* 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; -} |