aboutsummaryrefslogtreecommitdiff
path: root/src/extensions/far/farextract.cc
diff options
context:
space:
mode:
authorAlexander Gutkin <agutkin@google.com>2013-02-28 00:24:20 +0000
committerAlexander Gutkin <agutkin@google.com>2013-02-28 00:24:20 +0000
commit5b6dc79427b8f7eeb6a7ff68034ab8548ce670ea (patch)
tree19e17fc79b8873e66f211276d4dd169c480cede1 /src/extensions/far/farextract.cc
parent3da1eb108d36da35333b2d655202791af854996b (diff)
downloadopenfst-5b6dc79427b8f7eeb6a7ff68034ab8548ce670ea.tar.gz
Bumped OpenFST implementation to openfst-1.3.3-CL41851770.
Updated OpenFST implementation to the most recent version used by Greco3 (corresponds to nlp::fst exported at Perforce CL 41851770). In particular this version has an improved PDT support. Change-Id: I5aadfc962297eef73922c67e7d57866f11ee7d81
Diffstat (limited to 'src/extensions/far/farextract.cc')
-rw-r--r--src/extensions/far/farextract.cc14
1 files changed, 7 insertions, 7 deletions
diff --git a/src/extensions/far/farextract.cc b/src/extensions/far/farextract.cc
index 66b7840..e701e8a 100644
--- a/src/extensions/far/farextract.cc
+++ b/src/extensions/far/farextract.cc
@@ -27,11 +27,11 @@ DEFINE_string(filename_prefix, "", "Prefix to append to filenames");
DEFINE_string(filename_suffix, "", "Suffix to append to filenames");
DEFINE_int32(generate_filenames, 0,
"Generate N digit numeric filenames (def: use keys)");
-DEFINE_string(begin_key, "",
- "First key to extract (def: first key in archive)");
-DEFINE_string(end_key, "",
- "Last key to extract (def: last key in archive)");
-
+DEFINE_string(keys, "",
+ "Extract set of keys separated by comma (default) "
+ "including ranges delimited by dash (default)" );
+DEFINE_string(key_separator, ",", "Separator for individual keys");
+DEFINE_string(range_delimiter, "-", "Delimiter for ranges of keys");
int main(int argc, char **argv) {
namespace s = fst::script;
@@ -51,8 +51,8 @@ int main(int argc, char **argv) {
const string &arc_type = fst::LoadArcTypeFromFar(ifilenames[0]);
s::FarExtract(ifilenames, arc_type, FLAGS_generate_filenames,
- FLAGS_begin_key, FLAGS_end_key, FLAGS_filename_prefix,
- FLAGS_filename_suffix);
+ FLAGS_keys, FLAGS_key_separator, FLAGS_range_delimiter,
+ FLAGS_filename_prefix, FLAGS_filename_suffix);
return 0;
}