aboutsummaryrefslogtreecommitdiff
path: root/gfsm/gfsm/src/programs/gfsmcompile_main.c
diff options
context:
space:
mode:
Diffstat (limited to 'gfsm/gfsm/src/programs/gfsmcompile_main.c')
-rw-r--r--gfsm/gfsm/src/programs/gfsmcompile_main.c132
1 files changed, 0 insertions, 132 deletions
diff --git a/gfsm/gfsm/src/programs/gfsmcompile_main.c b/gfsm/gfsm/src/programs/gfsmcompile_main.c
deleted file mode 100644
index feeba69..0000000
--- a/gfsm/gfsm/src/programs/gfsmcompile_main.c
+++ /dev/null
@@ -1,132 +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 <stdlib.h>
-#include <string.h>
-
-#include <gfsm.h>
-
-#include "gfsmcompile_cmdparser.h"
-
-/*--------------------------------------------------------------------------
- * Globals
- *--------------------------------------------------------------------------*/
-char *progname = "gfsmcompile";
-
-//-- options
-struct gengetopt_args_info args;
-
-//-- files
-const char *infilename = "-";
-const char *outfilename = "-";
-
-//-- global structs
-gfsmAutomaton *fsm;
-gfsmAlphabet *ilabels=NULL, *olabels=NULL, *slabels=NULL;
-gfsmError *err = NULL;
-gfsmSRType srtype = gfsmSRTUnknown;
-
-/*--------------------------------------------------------------------------
- * Option Processing
- *--------------------------------------------------------------------------*/
-void get_my_options(int argc, char **argv)
-{
- if (cmdline_parser(argc, argv, &args) != 0)
- exit(1);
-
- //-- load environmental defaults
- //cmdline_parser_envdefaults(&args);
-
- //-- filenames
- if (args.inputs_num > 0) infilename = args.inputs[0];
- 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);
- }
- }
- //-- labels: output
- if (args.olabels_given) {
- olabels = gfsm_string_alphabet_new();
- if (!gfsm_alphabet_load_filename(olabels,args.olabels_arg,&err)) {
- g_printerr("%s: load failed for output-labels file '%s': %s\n",
- progname, args.olabels_arg, err->message);
- exit(2);
- }
- }
- //-- labels: state
- if (args.slabels_given) {
- slabels = gfsm_string_alphabet_new();
- if (!gfsm_alphabet_load_filename(slabels,args.slabels_arg,&err)) {
- g_printerr("%s: load failed for state-labels file '%s': %s\n",
- progname, args.slabels_arg, err->message);
- exit(2);
- }
- }
-
- //-- initialize fsm
- fsm = gfsm_automaton_new();
- if (args.acceptor_given) fsm->flags.is_transducer = FALSE;
-
- //-- set semiring
- srtype = gfsm_sr_name_to_type(args.semiring_arg);
- if (srtype != fsm->sr->type) {
- gfsm_automaton_set_semiring(fsm, gfsm_semiring_new(srtype));
- }
-}
-
-/*--------------------------------------------------------------------------
- * MAIN
- *--------------------------------------------------------------------------*/
-int main (int argc, char **argv)
-{
- GFSM_INIT
- get_my_options(argc,argv);
-
- //-- compile automaton
- if (!gfsm_automaton_compile_filename_full(fsm,infilename,ilabels,olabels,slabels,&err)) {
- g_printerr("%s: compile failed for '%s': %s\n", progname, infilename, err->message);
- exit(3);
- }
-
- //-- store 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 (olabels) gfsm_alphabet_free(olabels);
- if (slabels) gfsm_alphabet_free(slabels);
- gfsm_automaton_free(fsm);
-
- GFSM_FINISH
- return 0;
-}