aboutsummaryrefslogtreecommitdiff
path: root/gfsm/gfsm/src/programs/gfsmcomplement_main.c
diff options
context:
space:
mode:
Diffstat (limited to 'gfsm/gfsm/src/programs/gfsmcomplement_main.c')
-rw-r--r--gfsm/gfsm/src/programs/gfsmcomplement_main.c105
1 files changed, 0 insertions, 105 deletions
diff --git a/gfsm/gfsm/src/programs/gfsmcomplement_main.c b/gfsm/gfsm/src/programs/gfsmcomplement_main.c
deleted file mode 100644
index 227b963..0000000
--- a/gfsm/gfsm/src/programs/gfsmcomplement_main.c
+++ /dev/null
@@ -1,105 +0,0 @@
-/*
- gfsm-utils : finite state automaton utilities
- Copyright (C) 2004 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 "gfsmcomplement_cmdparser.h"
-
-/*--------------------------------------------------------------------------
- * Globals
- *--------------------------------------------------------------------------*/
-char *progname = "gfsmcomplement";
-
-//-- options
-struct gengetopt_args_info args;
-
-//-- files
-const char *infilename = "-";
-const char *outfilename = "-";
-
-//-- global structs
-gfsmAutomaton *fsm;
-gfsmAlphabet *ilabels=NULL;
-gfsmError *err=NULL;
-
-/*--------------------------------------------------------------------------
- * Option Processing
- *--------------------------------------------------------------------------*/
-void get_my_options(int argc, char **argv)
-{
- if (cmdline_parser(argc, argv, &args) != 0)
- exit(1);
-
- //-- output
- if (args.inputs_num) infilename = args.inputs[0];
- if (args.output_arg) outfilename = args.output_arg;
-
- //-- labels: input
- if (args.ilabels_given) {
- ilabels = gfsm_string_alphabet_new();
- if (!gfsm_alphabet_load_filename(ilabels,args.ilabels_arg,&err)) {
- g_printerr("%s: load failed for input-labels file '%s': %s\n",
- progname, args.ilabels_arg, err->message);
- exit(2);
- }
- }
-
- //-- initialize automaton
- fsm = gfsm_automaton_new();
-}
-
-
-/*--------------------------------------------------------------------------
- * MAIN
- *--------------------------------------------------------------------------*/
-int main (int argc, char **argv)
-{
- get_my_options(argc,argv);
-
- //-- load automaton
- if (!gfsm_automaton_load_bin_filename(fsm,infilename,&err)) {
- g_printerr("%s: load failed for '%s': %s\n", progname, infilename, err->message);
- exit(255);
- }
-
- //-- complement
- if (ilabels) gfsm_automaton_complement_full(fsm,ilabels);
- else gfsm_automaton_complement(fsm);
-
- //-- spew automaton
- if (!gfsm_automaton_save_bin_filename(fsm,outfilename,args.compress_arg,&err)) {
- g_printerr("%s: store failed to '%s': %s\n", progname, outfilename, err->message);
- exit(4);
- }
-
- //-- cleanup
- if (ilabels) gfsm_alphabet_free(ilabels);
- if (fsm) gfsm_automaton_free(fsm);
-
- return 0;
-}