1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
|
/*
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 "gfsmrenumber_cmdparser.h"
/*--------------------------------------------------------------------------
* Globals
*--------------------------------------------------------------------------*/
char *progname = "gfsmrenumber";
//-- options
struct gengetopt_args_info args;
//-- files
const char *infilename = "-";
const char *outfilename = "-";
//-- global structs
gfsmAutomaton *fsm;
/*--------------------------------------------------------------------------
* 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;
//-- load environmental defaults
//cmdline_parser_envdefaults(&args);
//-- initialize automaton
fsm = gfsm_automaton_new();
}
/*--------------------------------------------------------------------------
* MAIN
*--------------------------------------------------------------------------*/
int main (int argc, char **argv)
{
gfsmError *err = NULL;
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);
}
//-- renumber
gfsm_automaton_renumber_states(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 (fsm) gfsm_automaton_free(fsm);
return 0;
}
|
