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
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
|
/*
gfsm-utils : finite state automaton utilities
Copyright (C) 2005 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 "gfsmdifference_cmdparser.h"
/*--------------------------------------------------------------------------
* Globals
*--------------------------------------------------------------------------*/
char *progname = "gfsmdifference";
//-- options
struct gengetopt_args_info args;
//-- files
const char *infilename;
const char *outfilename = "-";
//-- global structs etc.
gfsmError *err = NULL;
gfsmAutomaton *fsmOut=NULL, *fsmIn=NULL;
/*--------------------------------------------------------------------------
* Option Processing
*--------------------------------------------------------------------------*/
void get_my_options(int argc, char **argv)
{
if (cmdline_parser(argc, argv, &args) != 0)
exit(1);
//-- require at least one file argument
if (args.inputs_num < 1) {
cmdline_parser_print_help();
exit(2);
}
//-- output
if (args.output_arg) outfilename = args.output_arg;
//-- load environmental defaults
//cmdline_parser_envdefaults(&args);
//-- initialize automaton
fsmIn = gfsm_automaton_new();
}
/*--------------------------------------------------------------------------
* compute_operation()
* + utility routine
*/
void compute_operation(const char *infilename)
{
//-- load automaton
if (!gfsm_automaton_load_bin_filename(fsmIn,infilename,&err)) {
g_printerr("%s: load failed for '%s': %s\n", progname, infilename, err->message);
exit(255);
}
//-- compute difference
if (fsmOut == NULL) {
fsmOut = fsmIn;
fsmIn = gfsm_automaton_new();
} else {
gfsm_automaton_difference(fsmOut,fsmIn);
}
}
/*--------------------------------------------------------------------------
* MAIN
*--------------------------------------------------------------------------*/
int main (int argc, char **argv)
{
int i;
GFSM_INIT
get_my_options(argc,argv);
for (i = 0; i < args.inputs_num; i++) {
compute_operation(args.inputs[i]);
}
if (args.inputs_num == 1) compute_operation("-");
//-- spew automaton
if (!gfsm_automaton_save_bin_filename(fsmOut,outfilename,args.compress_arg,&err)) {
g_printerr("%s: store failed to '%s': %s\n", progname, outfilename, err->message);
exit(4);
}
//-- cleanup
if (fsmIn) gfsm_automaton_free(fsmIn);
if (fsmOut) gfsm_automaton_free(fsmOut);
GFSM_FINISH
return 0;
}
|
