diff options
Diffstat (limited to 'gfsm/gfsm/src/programs/gfsmarith_main.c')
-rw-r--r-- | gfsm/gfsm/src/programs/gfsmarith_main.c | 132 |
1 files changed, 132 insertions, 0 deletions
diff --git a/gfsm/gfsm/src/programs/gfsmarith_main.c b/gfsm/gfsm/src/programs/gfsmarith_main.c new file mode 100644 index 0000000..53f5708 --- /dev/null +++ b/gfsm/gfsm/src/programs/gfsmarith_main.c @@ -0,0 +1,132 @@ +/* + 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 "gfsmarith_cmdparser.h" + +/*-------------------------------------------------------------------------- + * Globals + *--------------------------------------------------------------------------*/ +char *progname = "gfsmarith"; + +//-- options +struct gengetopt_args_info args; + +//-- files +const char *infilename = "-"; +const char *outfilename = "-"; + +//-- global structs +gfsmAutomaton *fsm; +gfsmError *err = NULL; + +//-- arithmetic operation +gfsmArithOp op=gfsmAONone; +gfsmWeight arg=0; + +//-- weight selection +gboolean do_arcs; +gboolean do_finals; +gboolean do_zero; + +//-- state & label selection +gfsmStateId qid; +gfsmLabelVal lo; +gfsmLabelVal hi; + +/*-------------------------------------------------------------------------- + * 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; + + //-- operator selection + if (args.exp_given) { op = gfsmAOExp; } + else if (args.log_given) { op = gfsmAOLog; } + else if (args.multiply_given) { op = gfsmAOMult; arg=args.multiply_arg; } + else if (args.add_given) { op = gfsmAOAdd; arg=args.add_arg; } + else if (args.positive_given) { op = gfsmAONoNeg; } + else if (args.times_given) { op = gfsmAOSRTimes; arg=args.times_arg; } + else if (args.plus_given) { op = gfsmAOSRPlus; arg=args.plus_arg; } + else if (args.sr_positive_given) { op = gfsmAOSRNoNeg; } + + //-- weight selection + do_arcs = !args.no_arcs_given; + do_finals = !args.no_finals_given; + do_zero = args.zero_given; + + //-- state & label selection + qid = args.state_given ? args.state_arg : gfsmNoState; + lo = args.lower_given ? args.lower_arg : gfsmNoLabel; + hi = args.upper_given ? args.upper_arg : gfsmNoLabel; + + //-- initialize fsm + fsm = gfsm_automaton_new(); +} + +/*-------------------------------------------------------------------------- + * MAIN + *--------------------------------------------------------------------------*/ +int main (int argc, char **argv) +{ + GFSM_INIT + 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(3); + } + + //-- hack: initial-state selection + if (args.initial_flag) qid=fsm->root_id; + + //-- perform weight aritmetic + gfsm_automaton_arith_state(fsm, qid, op, arg, lo, hi, do_arcs, do_finals, do_zero); + + //-- 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 + gfsm_automaton_free(fsm); + + GFSM_FINISH + return 0; +} |