aboutsummaryrefslogtreecommitdiff
path: root/gfsm/gfsm/src/programs/gfsmprint.gog
diff options
context:
space:
mode:
Diffstat (limited to 'gfsm/gfsm/src/programs/gfsmprint.gog')
-rw-r--r--gfsm/gfsm/src/programs/gfsmprint.gog80
1 files changed, 80 insertions, 0 deletions
diff --git a/gfsm/gfsm/src/programs/gfsmprint.gog b/gfsm/gfsm/src/programs/gfsmprint.gog
new file mode 100644
index 0000000..4a01ef2
--- /dev/null
+++ b/gfsm/gfsm/src/programs/gfsmprint.gog
@@ -0,0 +1,80 @@
+# -*- Mode: Shell-Script -*-
+#
+# Getopt::Gen specification
+#-----------------------------------------------------------------------------
+program "gfsmprint"
+#program_version "0.01"
+
+purpose "Convert binary format gfsm files to text"
+author "Bryan Jurish <moocow@ling.uni-potsdam.de>"
+on_reparse "warn"
+
+#-----------------------------------------------------------------------------
+# Details
+#-----------------------------------------------------------------------------
+details ""
+
+#-----------------------------------------------------------------------------
+# Files
+#-----------------------------------------------------------------------------
+#rcfile "/etc/gfsmrc"
+#rcfile "~/.gfsmrc"
+
+#-----------------------------------------------------------------------------
+# Arguments
+#-----------------------------------------------------------------------------
+argument "BINFILE" "Stored binary gfsm file" \
+ details="
+If unspecified, standard input will be read
+"
+
+argument "TXTFILE" "Output text file" \
+ details="
+If unspecified, output will be written to standard output.
+"
+
+#-----------------------------------------------------------------------------
+# Options
+#-----------------------------------------------------------------------------
+#group "Basic Options"
+
+string "ilabels" i "Specify input (lower) labels file." \
+ arg="LABELS"
+
+string "olabels" o "Specify output (upper) labels file." \
+ arg="LABELS"
+
+string "slabels" s "Specify state labels file." \
+ arg="LABELS"
+
+int "compress" z "Specify compression level of output file." \
+ arg="LEVEL" \
+ default="0" \
+ details="
+Specify zlib compression level of output file. -1 indicates
+the library default compression level, 0 (default) indicates no zlib compression at all,
+and 9 indicates the best possible compression.
+"
+
+#-----------------------------------------------------------------------------
+# Addenda
+#-----------------------------------------------------------------------------
+#addenda ""
+
+#-----------------------------------------------------------------------------
+# Bugs
+#-----------------------------------------------------------------------------
+bugs "
+
+None known.
+
+"
+
+#-----------------------------------------------------------------------------
+# Footer
+#-----------------------------------------------------------------------------
+#acknowledge `cat acknowledge.pod`
+
+seealso "
+L<gfsmutils>
+"