1 files changed, 105 insertions, 0 deletions
diff --git a/gfsm/gfsm/src/programs/gfsmcomplement_main.c b/gfsm/gfsm/src/programs/gfsmcomplement_main.c
new file mode 100644
index 0000000..227b963
--- /dev/null
+++ b/gfsm/gfsm/src/programs/gfsmcomplement_main.c
@@ -0,0 +1,105 @@
+/*
+   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;
+}