aboutsummaryrefslogtreecommitdiff
path: root/gfsm/gfsm/src/programs/gfsmintersect_main.c
diff options
context:
space:
mode:
Diffstat (limited to 'gfsm/gfsm/src/programs/gfsmintersect_main.c')
-rw-r--r--gfsm/gfsm/src/programs/gfsmintersect_main.c123
1 files changed, 0 insertions, 123 deletions
diff --git a/gfsm/gfsm/src/programs/gfsmintersect_main.c b/gfsm/gfsm/src/programs/gfsmintersect_main.c
deleted file mode 100644
index 4fd05ff..0000000
--- a/gfsm/gfsm/src/programs/gfsmintersect_main.c
+++ /dev/null
@@ -1,123 +0,0 @@
-/*
- gfsm-utils : finite state automaton utilities
- Copyright (C) 2005 by Bryan Jurish <moocow@ling.uni-potsdam.de>
-
- This library is free software; you can redistribute it and/or
- modify it under the terms of the GNU Lesser General Public
- License as published by the Free Software Foundation; either
- version 2.1 of the License, or (at your option) any later version.
-
- This library is distributed in the hope that it will be useful,
- but WITHOUT ANY WARRANTY; without even the implied warranty of
- MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
- Lesser General Public License for more details.
-
- You should have received a copy of the GNU Lesser General Public
- License along with this library; if not, write to the Free Software
- Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA
-*/
-
-#ifdef HAVE_CONFIG_H
-# include <config.h>
-#endif
-
-#include <stdio.h>
-#include <errno.h>
-#include <string.h>
-#include <stdlib.h>
-
-#include <gfsm.h>
-
-#include "gfsmintersect_cmdparser.h"
-
-/*--------------------------------------------------------------------------
- * Globals
- *--------------------------------------------------------------------------*/
-char *progname = "gfsmintersect";
-
-//-- options
-struct gengetopt_args_info args;
-
-//-- files
-const char *infilename;
-const char *outfilename = "-";
-
-//-- global structs etc.
-gfsmError *err = NULL;
-gfsmAutomaton *fsmOut=NULL, *fsmIn=NULL;
-
-/*--------------------------------------------------------------------------
- * Option Processing
- *--------------------------------------------------------------------------*/
-void get_my_options(int argc, char **argv)
-{
- if (cmdline_parser(argc, argv, &args) != 0)
- exit(1);
-
- //-- require at least one file argument
- if (args.inputs_num < 1) {
- cmdline_parser_print_help();
- exit(2);
- }
-
- //-- output
- if (args.output_arg) outfilename = args.output_arg;
-
- //-- load environmental defaults
- //cmdline_parser_envdefaults(&args);
-
- //-- initialize automaton
- fsmIn = gfsm_automaton_new();
-}
-
-/*--------------------------------------------------------------------------
- * compute_operation()
- * + utility routine
- */
-void compute_operation(const char *infilename)
-{
- //-- load automaton
- if (!gfsm_automaton_load_bin_filename(fsmIn,infilename,&err)) {
- g_printerr("%s: load failed for '%s': %s\n", progname, infilename, err->message);
- exit(255);
- }
-
- //-- compute underlying FSM operation
- if (fsmOut == NULL) {
- fsmOut = fsmIn;
- fsmIn = gfsm_automaton_new();
- } else {
- gfsm_automaton_intersect(fsmOut,fsmIn);
- }
-}
-
-/*--------------------------------------------------------------------------
- * MAIN
- *--------------------------------------------------------------------------*/
-int main (int argc, char **argv)
-{
- int i;
-
- GFSM_INIT
-
- get_my_options(argc,argv);
-
- for (i = 0; i < args.inputs_num; i++) {
- compute_operation(args.inputs[i]);
- }
- if (args.inputs_num == 1) compute_operation("-");
-
- //-- spew automaton
- if (!gfsm_automaton_save_bin_filename(fsmOut,outfilename,args.compress_arg,&err)) {
- g_printerr("%s: store failed to '%s': %s\n", progname, outfilename, err->message);
- exit(4);
- }
-
- //-- cleanup
- if (fsmIn) gfsm_automaton_free(fsmIn);
- if (fsmOut) gfsm_automaton_free(fsmOut);
-
- GFSM_FINISH
-
- return 0;
-}